Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is QuasiCertifProtocol-COL-28, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-149440926300227
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-0
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-1
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-10
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-11
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-12
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-13
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-14
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-15
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-2
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-3
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-4
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-5
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-6
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-7
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-8
FORMULA_NAME QuasiCertifProtocol-COL-28-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494762094569


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ QuasiCertifProtocol-COL-28 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3444/65536 symbol table entries, 448 collisions
lola: preprocessing...
lola: finding significant places
lola: 2998 places, 446 transitions, 445 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 591 transition conflict sets
lola: TASK
lola: reading formula from QuasiCertifProtocol-COL-28-UpperBounds.task
lola: MAX(p2069 + p2070 + p2071 + p2072 + p2073 + p2074 + p2075 + p2076 + p2077 + p2078 + p2079 + p2080 + p2081 + p2082 + p2083 + p2084 + p2085 + p2086 + p2087 + p2088 + p2089 + p2090 + p2091 + p2092 + p2093 + p2094 + p2095 + p2096 + p2097 + p2098 + p2881 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2127 + p2446 + p2417 + p2156 + p2185 + p2388 + p2359 + p2330 + p2301 + p2272 + p2243 + p2214 + p2200 + p2201 + p2202 + p2203 + p2204 + p2205 + p2206 + p2207 + p2208 + p2209 + p2210 + p2211 + p2212 + p2213 + p2215 + p2216 + p2217 + p2218 + p2219 + p2220 + p2221 + p2222 + p2223 + p2224 + p2225 + p2226 + p2227 + p2228 + p2229 + p2230 + p2231 + p2232 + p2233 + p2234 + p2235 + p2236 + p2237 + p2238 + p2239 + p2240 + p2241 + p2242 + p2244 + p2245 + p2246 + p2247 + p2248 + p2249 + p2250 + p2251 + p2252 + p2253 + p2254 + p2255 + p2256 + p2257 + p2258 + p2259 + p2260 + p2261 + p2262 + p2263 + p2264 + p2265 + p2266 + p2267 + p2268 + p2269 + p2270 + p2271 + p2273 + p2274 + p2275 + p2276 + p2277 + p2278 + p2279 + p2280 + p2281 + p2282 + p2283 + p2284 + p2285 + p2286 + p2287 + p2288 + p2289 + p2290 + p2291 + p2292 + p2293 + p2294 + p2295 + p2296 + p2297 + p2298 + p2299 + p2300 + p2302 + p2303 + p2304 + p2305 + p2306 + p2307 + p2308 + p2309 + p2310 + p2311 + p2312 + p2313 + p2314 + p2315 + p2316 + p2317 + p2318 + p2319 + p2320 + p2321 + p2322 + p2323 + p2324 + p2325 + p2326 + p2327 + p2328 + p2329 + p2331 + p2332 + p2333 + p2334 + p2335 + p2336 + p2337 + p2338 + p2339 + p2340 + p2341 + p2342 + p2343 + p2344 + p2345 + p2346 + p2347 + p2348 + p2349 + p2350 + p2351 + p2352 + p2353 + p2354 + p2355 + p2356 + p2357 + p2358 + p2360 + p2361 + p2362 + p2363 + p2364 + p2365 + p2366 + p2367 + p2368 + p2369 + p2370 + p2371 + p2372 + p2373 + p2374 + p2375 + p2376 + p2377 + p2378 + p2379 + p2380 + p2381 + p2199 + p2382 + p2198 + p2383 + p2197 + p2384 + p2196 + p2385 + p2195 + p2386 + p2194 + p2387 + p2193 + p2192 + p2191 + p2389 + p2190 + p2189 + p2390 + p2391 + p2188 + p2392 + p2187 + p2393 + p2186 + p2394 + p2184 + p2395 + p2183 + p2396 + p2182 + p2397 + p2181 + p2398 + p2180 + p2399 + p2179 + p2178 + p2177 + p2176 + p2175 + p2174 + p2173 + p2172 + p2171 + p2170 + p2169 + p2168 + p2167 + p2166 + p2165 + p2164 + p2163 + p2162 + p2161 + p2160 + p2159 + p2158 + p2157 + p2155 + p2154 + p2153 + p2152 + p2151 + p2150 + p2149 + p2148 + p2147 + p2146 + p2145 + p2144 + p2400 + p2401 + p2402 + p2403 + p2404 + p2405 + p2406 + p2407 + p2408 + p2409 + p2143 + p2410 + p2411 + p2412 + p2413 + p2414 + p2415 + p2416 + p2142 + p2418 + p2419 + p2420 + p2421 + p2422 + p2423 + p2424 + p2425 + p2426 + p2427 + p2428 + p2429 + p2430 + p2431 + p2141 + p2432 + p2140 + p2433 + p2139 + p2434 + p2138 + p2435 + p2137 + p2436 + p2136 + p2437 + p2135 + p2438 + p2134 + p2439 + p2133 + p2440 + p2441 + p2442 + p2443 + p2444 + p2445 + p2132 + p2447 + p2448 + p2449 + p2450 + p2451 + p2452 + p2453 + p2454 + p2455 + p2456 + p2457 + p2458 + p2459 + p2460 + p2461 + p2462 + p2463 + p2464 + p2465 + p2466 + p2467 + p2468 + p2131 + p2469 + p2130 + p2129 + p2470 + p2471 + p2128 + p2472 + p2126 + p2473 + p2125 + p2474 + p2124 + p2123 + p2122 + p2476 + p2121 + p2477 + p2120 + p2478 + p2119 + p2479 + p2118 + p2117 + p2480 + p2481 + p2116 + p2482 + p2115 + p2483 + p2114 + p2484 + p2113 + p2485 + p2112 + p2486 + p2111 + p2487 + p2110 + p2488 + p2489 + p2490 + p2491 + p2492 + p2493 + p2494 + p2495 + p2496 + p2497 + p2498 + p2109 + p2499 + p2108 + p2107 + p2106 + p2105 + p2104 + p2103 + p2102 + p2101 + p2100 + p2500 + p2501 + p2502 + p2503 + p2505 + p2506 + p2507 + p2508 + p2509 + p2510 + p2511 + p2512 + p2513 + p2514 + p2515 + p2516 + p2517 + p2518 + p2519 + p2520 + p2521 + p2522 + p2523 + p2524 + p2525 + p2526 + p2527 + p2528 + p2529 + p2530 + p2531 + p2532 + p2534 + p2535 + p2536 + p2537 + p2538 + p2539 + p2540 + p2541 + p2542 + p2543 + p2544 + p2545 + p2546 + p2547 + p2548 + p2549 + p2550 + p2551 + p2552 + p2553 + p2554 + p2555 + p2556 + p2557 + p2558 + p2559 + p2560 + p2561 + p2563 + p2564 + p2565 + p2566 + p2567 + p2568 + p2569 + p2570 + p2571 + p2572 + p2573 + p2574 + p2575 + p2576 + p2577 + p2578 + p2579 + p2580 + p2581 + p2582 + p2583 + p2584 + p2585 + p2586 + p2587 + p2588 + p2589 + p2590 + p2592 + p2593 + p2594 + p2595 + p2596 + p2597 + p2598 + p2599 + p2600 + p2601 + p2602 + p2603 + p2604 + p2605 + p2606 + p2607 + p2608 + p2609 + p2610 + p2611 + p2612 + p2613 + p2614 + p2615 + p2616 + p2617 + p2618 + p2619 + p2621 + p2622 + p2623 + p2624 + p2625 + p2626 + p2627 + p2628 + p2629 + p2630 + p2631 + p2632 + p2633 + p2634 + p2635 + p2636 + p2637 + p2638 + p2639 + p2640 + p2641 + p2642 + p2643 + p2644 + p2645 + p2646 + p2647 + p2648 + p2650 + p2651 + p2652 + p2653 + p2654 + p2655 + p2656 + p2657 + p2658 + p2659 + p2660 + p2661 + p2662 + p2663 + p2664 + p2665 + p2666 + p2667 + p2668 + p2669 + p2670 + p2671 + p2672 + p2673 + p2674 + p2675 + p2676 + p2677 + p2679 + p2680 + p2681 + p2682 + p2683 + p2684 + p2685 + p2686 + p2687 + p2688 + p2689 + p2690 + p2691 + p2692 + p2693 + p2694 + p2695 + p2696 + p2697 + p2698 + p2699 + p2700 + p2701 + p2702 + p2703 + p2704 + p2705 + p2706 + p2708 + p2709 + p2710 + p2711 + p2712 + p2713 + p2714 + p2715 + p2716 + p2717 + p2718 + p2719 + p2720 + p2721 + p2722 + p2723 + p2724 + p2725 + p2726 + p2727 + p2728 + p2729 + p2730 + p2731 + p2732 + p2733 + p2734 + p2735 + p2737 + p2738 + p2739 + p2740 + p2741 + p2742 + p2743 + p2744 + p2745 + p2746 + p2747 + p2748 + p2749 + p2750 + p2751 + p2752 + p2753 + p2754 + p2755 + p2756 + p2757 + p2758 + p2759 + p2760 + p2761 + p2762 + p2763 + p2764 + p2766 + p2767 + p2768 + p2769 + p2770 + p2771 + p2772 + p2773 + p2774 + p2775 + p2776 + p2777 + p2778 + p2779 + p2780 + p2781 + p2782 + p2783 + p2784 + p2785 + p2786 + p2787 + p2788 + p2789 + p2790 + p2791 + p2792 + p2793 + p2795 + p2796 + p2797 + p2798 + p2799 + p2800 + p2801 + p2802 + p2803 + p2804 + p2805 + p2806 + p2807 + p2808 + p2809 + p2810 + p2811 + p2812 + p2813 + p2814 + p2815 + p2816 + p2817 + p2818 + p2819 + p2820 + p2821 + p2822 + p2824 + p2825 + p2826 + p2827 + p2828 + p2829 + p2830 + p2831 + p2832 + p2833 + p2834 + p2835 + p2836 + p2837 + p2838 + p2839 + p2840 + p2841 + p2842 + p2843 + p2844 + p2845 + p2846 + p2847 + p2848 + p2849 + p2850 + p2851 + p2853 + p2854 + p2855 + p2856 + p2857 + p2858 + p2859 + p2860 + p2861 + p2862 + p2863 + p2864 + p2865 + p2866 + p2867 + p2868 + p2869 + p2870 + p2871 + p2872 + p2873 + p2874 + p2875 + p2876 + p2877 + p2878 + p2879 + p2880 + p2882 + p2883 + p2884 + p2885 + p2886 + p2887 + p2888 + p2889 + p2890 + p2891 + p2892 + p2893 + p2894 + p2895 + p2896 + p2897 + p2898 + p2899 + p2099 + p2900 + p2901 + p2902 + p2903 + p2904 + p2905 + p2906 + p2907 + p2908 + p2909) : MAX(p960 + p961 + p962 + p963 + p964 + p965 + p966 + p967 + p968 + p969 + p970 + p971 + p972 + p973 + p974 + p975 + p976 + p977 + p978 + p979 + p980 + p981 + p982 + p983 + p984 + p985 + p986 + p987 + p988) : MAX(p1105) : MAX(p2069 + p2070 + p2071 + p2072 + p2073 + p2074 + p2075 + p2076 + p2077 + p2078 + p2079 + p2080 + p2081 + p2082 + p2083 + p2084 + p2085 + p2086 + p2087 + p2088 + p2089 + p2090 + p2091 + p2092 + p2093 + p2094 + p2095 + p2096 + p2097 + p2098 + p2881 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2127 + p2446 + p2417 + p2156 + p2185 + p2388 + p2359 + p2330 + p2301 + p2272 + p2243 + p2214 + p2200 + p2201 + p2202 + p2203 + p2204 + p2205 + p2206 + p2207 + p2208 + p2209 + p2210 + p2211 + p2212 + p2213 + p2215 + p2216 + p2217 + p2218 + p2219 + p2220 + p2221 + p2222 + p2223 + p2224 + p2225 + p2226 + p2227 + p2228 + p2229 + p2230 + p2231 + p2232 + p2233 + p2234 + p2235 + p2236 + p2237 + p2238 + p2239 + p2240 + p2241 + p2242 + p2244 + p2245 + p2246 + p2247 + p2248 + p2249 + p2250 + p2251 + p2252 + p2253 + p2254 + p2255 + p2256 + p2257 + p2258 + p2259 + p2260 + p2261 + p2262 + p2263 + p2264 + p2265 + p2266 + p2267 + p2268 + p2269 + p2270 + p2271 + p2273 + p2274 + p2275 + p2276 + p2277 + p2278 + p2279 + p2280 + p2281 + p2282 + p2283 + p2284 + p2285 + p2286 + p2287 + p2288 + p2289 + p2290 + p2291 + p2292 + p2293 + p2294 + p2295 + p2296 + p2297 + p2298 + p2299 + p2300 + p2302 + p2303 + p2304 + p2305 + p2306 + p2307 + p2308 + p2309 + p2310 + p2311 + p2312 + p2313 + p2314 + p2315 + p2316 + p2317 + p2318 + p2319 + p2320 + p2321 + p2322 + p2323 + p2324 + p2325 + p2326 + p2327 + p2328 + p2329 + p2331 + p2332 + p2333 + p2334 + p2335 + p2336 + p2337 + p2338 + p2339 + p2340 + p2341 + p2342 + p2343 + p2344 + p2345 + p2346 + p2347 + p2348 + p2349 + p2350 + p2351 + p2352 + p2353 + p2354 + p2355 + p2356 + p2357 + p2358 + p2360 + p2361 + p2362 + p2363 + p2364 + p2365 + p2366 + p2367 + p2368 + p2369 + p2370 + p2371 + p2372 + p2373 + p2374 + p2375 + p2376 + p2377 + p2378 + p2379 + p2380 + p2381 + p2199 + p2382 + p2198 + p2383 + p2197 + p2384 + p2196 + p2385 + p2195 + p2386 + p2194 + p2387 + p2193 + p2192 + p2191 + p2389 + p2190 + p2189 + p2390 + p2391 + p2188 + p2392 + p2187 + p2393 + p2186 + p2394 + p2184 + p2395 + p2183 + p2396 + p2182 + p2397 + p2181 + p2398 + p2180 + p2399 + p2179 + p2178 + p2177 + p2176 + p2175 + p2174 + p2173 + p2172 + p2171 + p2170 + p2169 + p2168 + p2167 + p2166 + p2165 + p2164 + p2163 + p2162 + p2161 + p2160 + p2159 + p2158 + p2157 + p2155 + p2154 + p2153 + p2152 + p2151 + p2150 + p2149 + p2148 + p2147 + p2146 + p2145 + p2144 + p2400 + p2401 + p2402 + p2403 + p2404 + p2405 + p2406 + p2407 + p2408 + p2409 + p2143 + p2410 + p2411 + p2412 + p2413 + p2414 + p2415 + p2416 + p2142 + p2418 + p2419 + p2420 + p2421 + p2422 + p2423 + p2424 + p2425 + p2426 + p2427 + p2428 + p2429 + p2430 + p2431 + p2141 + p2432 + p2140 + p2433 + p2139 + p2434 + p2138 + p2435 + p2137 + p2436 + p2136 + p2437 + p2135 + p2438 + p2134 + p2439 + p2133 + p2440 + p2441 + p2442 + p2443 + p2444 + p2445 + p2132 + p2447 + p2448 + p2449 + p2450 + p2451 + p2452 + p2453 + p2454 + p2455 + p2456 + p2457 + p2458 + p2459 + p2460 + p2461 + p2462 + p2463 + p2464 + p2465 + p2466 + p2467 + p2468 + p2131 + p2469 + p2130 + p2129 + p2470 + p2471 + p2128 + p2472 + p2126 + p2473 + p2125 + p2474 + p2124 + p2123 + p2122 + p2476 + p2121 + p2477 + p2120 + p2478 + p2119 + p2479 + p2118 + p2117 + p2480 + p2481 + p2116 + p2482 + p2115 + p2483 + p2114 + p2484 + p2113 + p2485 + p2112 + p2486 + p2111 + p2487 + p2110 + p2488 + p2489 + p2490 + p2491 + p2492 + p2493 + p2494 + p2495 + p2496 + p2497 + p2498 + p2109 + p2499 + p2108 + p2107 + p2106 + p2105 + p2104 + p2103 + p2102 + p2101 + p2100 + p2500 + p2501 + p2502 + p2503 + p2505 + p2506 + p2507 + p2508 + p2509 + p2510 + p2511 + p2512 + p2513 + p2514 + p2515 + p2516 + p2517 + p2518 + p2519 + p2520 + p2521 + p2522 + p2523 + p2524 + p2525 + p2526 + p2527 + p2528 + p2529 + p2530 + p2531 + p2532 + p2534 + p2535 + p2536 + p2537 + p2538 + p2539 + p2540 + p2541 + p2542 + p2543 + p2544 + p2545 + p2546 + p2547 + p2548 + p2549 + p2550 + p2551 + p2552 + p2553 + p2554 + p2555 + p2556 + p2557 + p2558 + p2559 + p2560 + p2561 + p2563 + p2564 + p2565 + p2566 + p2567 + p2568 + p2569 + p2570 + p2571 + p2572 + p2573 + p2574 + p2575 + p2576 + p2577 + p2578 + p2579 + p2580 + p2581 + p2582 + p2583 + p2584 + p2585 + p2586 + p2587 + p2588 + p2589 + p2590 + p2592 + p2593 + p2594 + p2595 + p2596 + p2597 + p2598 + p2599 + p2600 + p2601 + p2602 + p2603 + p2604 + p2605 + p2606 + p2607 + p2608 + p2609 + p2610 + p2611 + p2612 + p2613 + p2614 + p2615 + p2616 + p2617 + p2618 + p2619 + p2621 + p2622 + p2623 + p2624 + p2625 + p2626 + p2627 + p2628 + p2629 + p2630 + p2631 + p2632 + p2633 + p2634 + p2635 + p2636 + p2637 + p2638 + p2639 + p2640 + p2641 + p2642 + p2643 + p2644 + p2645 + p2646 + p2647 + p2648 + p2650 + p2651 + p2652 + p2653 + p2654 + p2655 + p2656 + p2657 + p2658 + p2659 + p2660 + p2661 + p2662 + p2663 + p2664 + p2665 + p2666 + p2667 + p2668 + p2669 + p2670 + p2671 + p2672 + p2673 + p2674 + p2675 + p2676 + p2677 + p2679 + p2680 + p2681 + p2682 + p2683 + p2684 + p2685 + p2686 + p2687 + p2688 + p2689 + p2690 + p2691 + p2692 + p2693 + p2694 + p2695 + p2696 + p2697 + p2698 + p2699 + p2700 + p2701 + p2702 + p2703 + p2704 + p2705 + p2706 + p2708 + p2709 + p2710 + p2711 + p2712 + p2713 + p2714 + p2715 + p2716 + p2717 + p2718 + p2719 + p2720 + p2721 + p2722 + p2723 + p2724 + p2725 + p2726 + p2727 + p2728 + p2729 + p2730 + p2731 + p2732 + p2733 + p2734 + p2735 + p2737 + p2738 + p2739 + p2740 + p2741 + p2742 + p2743 + p2744 + p2745 + p2746 + p2747 + p2748 + p2749 + p2750 + p2751 + p2752 + p2753 + p2754 + p2755 + p2756 + p2757 + p2758 + p2759 + p2760 + p2761 + p2762 + p2763 + p2764 + p2766 + p2767 + p2768 + p2769 + p2770 + p2771 + p2772 + p2773 + p2774 + p2775 + p2776 + p2777 + p2778 + p2779 + p2780 + p2781 + p2782 + p2783 + p2784 + p2785 + p2786 + p2787 + p2788 + p2789 + p2790 + p2791 + p2792 + p2793 + p2795 + p2796 + p2797 + p2798 + p2799 + p2800 + p2801 + p2802 + p2803 + p2804 + p2805 + p2806 + p2807 + p2808 + p2809 + p2810 + p2811 + p2812 + p2813 + p2814 + p2815 + p2816 + p2817 + p2818 + p2819 + p2820 + p2821 + p2822 + p2824 + p2825 + p2826 + p2827 + p2828 + p2829 + p2830 + p2831 + p2832 + p2833 + p2834 + p2835 + p2836 + p2837 + p2838 + p2839 + p2840 + p2841 + p2842 + p2843 + p2844 + p2845 + p2846 + p2847 + p2848 + p2849 + p2850 + p2851 + p2853 + p2854 + p2855 + p2856 + p2857 + p2858 + p2859 + p2860 + p2861 + p2862 + p2863 + p2864 + p2865 + p2866 + p2867 + p2868 + p2869 + p2870 + p2871 + p2872 + p2873 + p2874 + p2875 + p2876 + p2877 + p2878 + p2879 + p2880 + p2882 + p2883 + p2884 + p2885 + p2886 + p2887 + p2888 + p2889 + p2890 + p2891 + p2892 + p2893 + p2894 + p2895 + p2896 + p2897 + p2898 + p2899 + p2099 + p2900 + p2901 + p2902 + p2903 + p2904 + p2905 + p2906 + p2907 + p2908 + p2909) : MAX(p2939) : MAX(p1138) : MAX(p1167 + p1166 + p1165 + p1164 + p1163 + p1162 + p1161 + p1160 + p1159 + p1158 + p1157 + p1156 + p1155 + p1154 + p1153 + p1152 + p1151 + p1150 + p1149 + p1148 + p1147 + p1146 + p1145 + p1144 + p1143 + p1142 + p1141 + p1140 + p1139) : MAX(p1108 + p1109 + p1110 + p1111 + p1112 + p1113 + p1114 + p1115 + p1116 + p1117 + p1118 + p1119 + p1120 + p1121 + p1122 + p1123 + p1124 + p1125 + p1126 + p1127 + p1128 + p1129 + p1130 + p1131 + p1132 + p1133 + p1134 + p1135 + p1136) : MAX(p2069 + p2070 + p2071 + p2072 + p2073 + p2074 + p2075 + p2076 + p2077 + p2078 + p2079 + p2080 + p2081 + p2082 + p2083 + p2084 + p2085 + p2086 + p2087 + p2088 + p2089 + p2090 + p2091 + p2092 + p2093 + p2094 + p2095 + p2096 + p2097 + p2098 + p2881 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2127 + p2446 + p2417 + p2156 + p2185 + p2388 + p2359 + p2330 + p2301 + p2272 + p2243 + p2214 + p2200 + p2201 + p2202 + p2203 + p2204 + p2205 + p2206 + p2207 + p2208 + p2209 + p2210 + p2211 + p2212 + p2213 + p2215 + p2216 + p2217 + p2218 + p2219 + p2220 + p2221 + p2222 + p2223 + p2224 + p2225 + p2226 + p2227 + p2228 + p2229 + p2230 + p2231 + p2232 + p2233 + p2234 + p2235 + p2236 + p2237 + p2238 + p2239 + p2240 + p2241 + p2242 + p2244 + p2245 + p2246 + p2247 + p2248 + p2249 + p2250 + p2251 + p2252 + p2253 + p2254 + p2255 + p2256 + p2257 + p2258 + p2259 + p2260 + p2261 + p2262 + p2263 + p2264 + p2265 + p2266 + p2267 + p2268 + p2269 + p2270 + p2271 + p2273 + p2274 + p2275 + p2276 + p2277 + p2278 + p2279 + p2280 + p2281 + p2282 + p2283 + p2284 + p2285 + p2286 + p2287 + p2288 + p2289 + p2290 + p2291 + p2292 + p2293 + p2294 + p2295 + p2296 + p2297 + p2298 + p2299 + p2300 + p2302 + p2303 + p2304 + p2305 + p2306 + p2307 + p2308 + p2309 + p2310 + p2311 + p2312 + p2313 + p2314 + p2315 + p2316 + p2317 + p2318 + p2319 + p2320 + p2321 + p2322 + p2323 + p2324 + p2325 + p2326 + p2327 + p2328 + p2329 + p2331 + p2332 + p2333 + p2334 + p2335 + p2336 + p2337 + p2338 + p2339 + p2340 + p2341 + p2342 + p2343 + p2344 + p2345 + p2346 + p2347 + p2348 + p2349 + p2350 + p2351 + p2352 + p2353 + p2354 + p2355 + p2356 + p2357 + p2358 + p2360 + p2361 + p2362 + p2363 + p2364 + p2365 + p2366 + p2367 + p2368 + p2369 + p2370 + p2371 + p2372 + p2373 + p2374 + p2375 + p2376 + p2377 + p2378 + p2379 + p2380 + p2381 + p2199 + p2382 + p2198 + p2383 + p2197 + p2384 + p2196 + p2385 + p2195 + p2386 + p2194 + p2387 + p2193 + p2192 + p2191 + p2389 + p2190 + p2189 + p2390 + p2391 + p2188 + p2392 + p2187 + p2393 + p2186 + p2394 + p2184 + p2395 + p2183 + p2396 + p2182 + p2397 + p2181 + p2398 + p2180 + p2399 + p2179 + p2178 + p2177 + p2176 + p2175 + p2174 + p2173 + p2172 + p2171 + p2170 + p2169 + p2168 + p2167 + p2166 + p2165 + p2164 + p2163 + p2162 + p2161 + p2160 + p2159 + p2158 + p2157 + p2155 + p2154 + p2153 + p2152 + p2151 + p2150 + p2149 + p2148 + p2147 + p2146 + p2145 + p2144 + p2400 + p2401 + p2402 + p2403 + p2404 + p2405 + p2406 + p2407 + p2408 + p2409 + p2143 + p2410 + p2411 + p2412 + p2413 + p2414 + p2415 + p2416 + p2142 + p2418 + p2419 + p2420 + p2421 + p2422 + p2423 + p2424 + p2425 + p2426 + p2427 + p2428 + p2429 + p2430 + p2431 + p2141 + p2432 + p2140 + p2433 + p2139 + p2434 + p2138 + p2435 + p2137 + p2436 + p2136 + p2437 + p2135 + p2438 + p2134 + p2439 + p2133 + p2440 + p2441 + p2442 + p2443 + p2444 + p2445 + p2132 + p2447 + p2448 + p2449 + p2450 + p2451 + p2452 + p2453 + p2454 + p2455 + p2456 + p2457 + p2458 + p2459 + p2460 + p2461 + p2462 + p2463 + p2464 + p2465 + p2466 + p2467 + p2468 + p2131 + p2469 + p2130 + p2129 + p2470 + p2471 + p2128 + p2472 + p2126 + p2473 + p2125 + p2474 + p2124 + p2123 + p2122 + p2476 + p2121 + p2477 + p2120 + p2478 + p2119 + p2479 + p2118 + p2117 + p2480 + p2481 + p2116 + p2482 + p2115 + p2483 + p2114 + p2484 + p2113 + p2485 + p2112 + p2486 + p2111 + p2487 + p2110 + p2488 + p2489 + p2490 + p2491 + p2492 + p2493 + p2494 + p2495 + p2496 + p2497 + p2498 + p2109 + p2499 + p2108 + p2107 + p2106 + p2105 + p2104 + p2103 + p2102 + p2101 + p2100 + p2500 + p2501 + p2502 + p2503 + p2505 + p2506 + p2507 + p2508 + p2509 + p2510 + p2511 + p2512 + p2513 + p2514 + p2515 + p2516 + p2517 + p2518 + p2519 + p2520 + p2521 + p2522 + p2523 + p2524 + p2525 + p2526 + p2527 + p2528 + p2529 + p2530 + p2531 + p2532 + p2534 + p2535 + p2536 + p2537 + p2538 + p2539 + p2540 + p2541 + p2542 + p2543 + p2544 + p2545 + p2546 + p2547 + p2548 + p2549 + p2550 + p2551 + p2552 + p2553 + p2554 + p2555 + p2556 + p2557 + p2558 + p2559 + p2560 + p2561 + p2563 + p2564 + p2565 + p2566 + p2567 + p2568 + p2569 + p2570 + p2571 + p2572 + p2573 + p2574 + p2575 + p2576 + p2577 + p2578 + p2579 + p2580 + p2581 + p2582 + p2583 + p2584 + p2585 + p2586 + p2587 + p2588 + p2589 + p2590 + p2592 + p2593 + p2594 + p2595 + p2596 + p2597 + p2598 + p2599 + p2600 + p2601 + p2602 + p2603 + p2604 + p2605 + p2606 + p2607 + p2608 + p2609 + p2610 + p2611 + p2612 + p2613 + p2614 + p2615 + p2616 + p2617 + p2618 + p2619 + p2621 + p2622 + p2623 + p2624 + p2625 + p2626 + p2627 + p2628 + p2629 + p2630 + p2631 + p2632 + p2633 + p2634 + p2635 + p2636 + p2637 + p2638 + p2639 + p2640 + p2641 + p2642 + p2643 + p2644 + p2645 + p2646 + p2647 + p2648 + p2650 + p2651 + p2652 + p2653 + p2654 + p2655 + p2656 + p2657 + p2658 + p2659 + p2660 + p2661 + p2662 + p2663 + p2664 + p2665 + p2666 + p2667 + p2668 + p2669 + p2670 + p2671 + p2672 + p2673 + p2674 + p2675 + p2676 + p2677 + p2679 + p2680 + p2681 + p2682 + p2683 + p2684 + p2685 + p2686 + p2687 + p2688 + p2689 + p2690 + p2691 + p2692 + p2693 + p2694 + p2695 + p2696 + p2697 + p2698 + p2699 + p2700 + p2701 + p2702 + p2703 + p2704 + p2705 + p2706 + p2708 + p2709 + p2710 + p2711 + p2712 + p2713 + p2714 + p2715 + p2716 + p2717 + p2718 + p2719 + p2720 + p2721 + p2722 + p2723 + p2724 + p2725 + p2726 + p2727 + p2728 + p2729 + p2730 + p2731 + p2732 + p2733 + p2734 + p2735 + p2737 + p2738 + p2739 + p2740 + p2741 + p2742 + p2743 + p2744 + p2745 + p2746 + p2747 + p2748 + p2749 + p2750 + p2751 + p2752 + p2753 + p2754 + p2755 + p2756 + p2757 + p2758 + p2759 + p2760 + p2761 + p2762 + p2763 + p2764 + p2766 + p2767 + p2768 + p2769 + p2770 + p2771 + p2772 + p2773 + p2774 + p2775 + p2776 + p2777 + p2778 + p2779 + p2780 + p2781 + p2782 + p2783 + p2784 + p2785 + p2786 + p2787 + p2788 + p2789 + p2790 + p2791 + p2792 + p2793 + p2795 + p2796 + p2797 + p2798 + p2799 + p2800 + p2801 + p2802 + p2803 + p2804 + p2805 + p2806 + p2807 + p2808 + p2809 + p2810 + p2811 + p2812 + p2813 + p2814 + p2815 + p2816 + p2817 + p2818 + p2819 + p2820 + p2821 + p2822 + p2824 + p2825 + p2826 + p2827 + p2828 + p2829 + p2830 + p2831 + p2832 + p2833 + p2834 + p2835 + p2836 + p2837 + p2838 + p2839 + p2840 + p2841 + p2842 + p2843 + p2844 + p2845 + p2846 + p2847 + p2848 + p2849 + p2850 + p2851 + p2853 + p2854 + p2855 + p2856 + p2857 + p2858 + p2859 + p2860 + p2861 + p2862 + p2863 + p2864 + p2865 + p2866 + p2867 + p2868 + p2869 + p2870 + p2871 + p2872 + p2873 + p2874 + p2875 + p2876 + p2877 + p2878 + p2879 + p2880 + p2882 + p2883 + p2884 + p2885 + p2886 + p2887 + p2888 + p2889 + p2890 + p2891 + p2892 + p2893 + p2894 + p2895 + p2896 + p2897 + p2898 + p2899 + p2099 + p2900 + p2901 + p2902 + p2903 + p2904 + p2905 + p2906 + p2907 + p2908 + p2909) : MAX(p2996 + p2995 + p2994 + p2993 + p2992 + p2991 + p2990 + p2989 + p2988 + p2987 + p2986 + p2985 + p2984 + p2983 + p2982 + p2981 + p2980 + p2979 + p2978 + p2977 + p2976 + p2975 + p2974 + p2973 + p2972 + p2971 + p2970 + p2969 + p2997) : MAX(p2996 + p2995 + p2994 + p2993 + p2992 + p2991 + p2990 + p2989 + p2988 + p2987 + p2986 + p2985 + p2984 + p2983 + p2982 + p2981 + p2980 + p2979 + p2978 + p2977 + p2976 + p2975 + p2974 + p2973 + p2972 + p2971 + p2970 + p2969 + p2997) : MAX(p2039 + p2040 + p2041 + p2042 + p2043 + p2044 + p2045 + p2046 + p2047 + p2048 + p2049 + p2050 + p2051 + p2052 + p2053 + p2054 + p2055 + p2056 + p2057 + p2058 + p2059 + p2060 + p2061 + p2062 + p2063 + p2064 + p2065 + p2066 + p2067) : MAX(p59) : MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10) : MAX(p2069 + p2070 + p2071 + p2072 + p2073 + p2074 + p2075 + p2076 + p2077 + p2078 + p2079 + p2080 + p2081 + p2082 + p2083 + p2084 + p2085 + p2086 + p2087 + p2088 + p2089 + p2090 + p2091 + p2092 + p2093 + p2094 + p2095 + p2096 + p2097 + p2098 + p2881 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2127 + p2446 + p2417 + p2156 + p2185 + p2388 + p2359 + p2330 + p2301 + p2272 + p2243 + p2214 + p2200 + p2201 + p2202 + p2203 + p2204 + p2205 + p2206 + p2207 + p2208 + p2209 + p2210 + p2211 + p2212 + p2213 + p2215 + p2216 + p2217 + p2218 + p2219 + p2220 + p2221 + p2222 + p2223 + p2224 + p2225 + p2226 + p2227 + p2228 + p2229 + p2230 + p2231 + p2232 + p2233 + p2234 + p2235 + p2236 + p2237 + p2238 + p2239 + p2240 + p2241 + p2242 + p2244 + p2245 + p2246 + p2247 + p2248 + p2249 + p2250 + p2251 + p2252 + p2253 + p2254 + p2255 + p2256 + p2257 + p2258 + p2259 + p2260 + p2261 + p2262 + p2263 + p2264 + p2265 + p2266 + p2267 + p2268 + p2269 + p2270 + p2271 + p2273 + p2274 + p2275 + p2276 + p2277 + p2278 + p2279 + p2280 + p2281 + p2282 + p2283 + p2284 + p2285 + p2286 + p2287 + p2288 + p2289 + p2290 + p2291 + p2292 + p2293 + p2294 + p2295 + p2296 + p2297 + p2298 + p2299 + p2300 + p2302 + p2303 + p2304 + p2305 + p2306 + p2307 + p2308 + p2309 + p2310 + p2311 + p2312 + p2313 + p2314 + p2315 + p2316 + p2317 + p2318 + p2319 + p2320 + p2321 + p2322 + p2323 + p2324 + p2325 + p2326 + p2327 + p2328 + p2329 + p2331 + p2332 + p2333 + p2334 + p2335 + p2336 + p2337 + p2338 + p2339 + p2340 + p2341 + p2342 + p2343 + p2344 + p2345 + p2346 + p2347 + p2348 + p2349 + p2350 + p2351 + p2352 + p2353 + p2354 + p2355 + p2356 + p2357 + p2358 + p2360 + p2361 + p2362 + p2363 + p2364 + p2365 + p2366 + p2367 + p2368 + p2369 + p2370 + p2371 + p2372 + p2373 + p2374 + p2375 + p2376 + p2377 + p2378 + p2379 + p2380 + p2381 + p2199 + p2382 + p2198 + p2383 + p2197 + p2384 + p2196 + p2385 + p2195 + p2386 + p2194 + p2387 + p2193 + p2192 + p2191 + p2389 + p2190 + p2189 + p2390 + p2391 + p2188 + p2392 + p2187 + p2393 + p2186 + p2394 + p2184 + p2395 + p2183 + p2396 + p2182 + p2397 + p2181 + p2398 + p2180 + p2399 + p2179 + p2178 + p2177 + p2176 + p2175 + p2174 + p2173 + p2172 + p2171 + p2170 + p2169 + p2168 + p2167 + p2166 + p2165 + p2164 + p2163 + p2162 + p2161 + p2160 + p2159 + p2158 + p2157 + p2155 + p2154 + p2153 + p2152 + p2151 + p2150 + p2149 + p2148 + p2147 + p2146 + p2145 + p2144 + p2400 + p2401 + p2402 + p2403 + p2404 + p2405 + p2406 + p2407 + p2408 + p2409 + p2143 + p2410 + p2411 + p2412 + p2413 + p2414 + p2415 + p2416 + p2142 + p2418 + p2419 + p2420 + p2421 + p2422 + p2423 + p2424 + p2425 + p2426 + p2427 + p2428 + p2429 + p2430 + p2431 + p2141 + p2432 + p2140 + p2433 + p2139 + p2434 + p2138 + p2435 + p2137 + p2436 + p2136 + p2437 + p2135 + p2438 + p2134 + p2439 + p2133 + p2440 + p2441 + p2442 + p2443 + p2444 + p2445 + p2132 + p2447 + p2448 + p2449 + p2450 + p2451 + p2452 + p2453 + p2454 + p2455 + p2456 + p2457 + p2458 + p2459 + p2460 + p2461 + p2462 + p2463 + p2464 + p2465 + p2466 + p2467 + p2468 + p2131 + p2469 + p2130 + p2129 + p2470 + p2471 + p2128 + p2472 + p2126 + p2473 + p2125 + p2474 + p2124 + p2123 + p2122 + p2476 + p2121 + p2477 + p2120 + p2478 + p2119 + p2479 + p2118 + p2117 + p2480 + p2481 + p2116 + p2482 + p2115 + p2483 + p2114 + p2484 + p2113 + p2485 + p2112 + p2486 + p2111 + p2487 + p2110 + p2488 + p2489 + p2490 + p2491 + p2492 + p2493 + p2494 + p2495 + p2496 + p2497 + p2498 + p2109 + p2499 + p2108 + p2107 + p2106 + p2105 + p2104 + p2103 + p2102 + p2101 + p2100 + p2500 + p2501 + p2502 + p2503 + p2505 + p2506 + p2507 + p2508 + p2509 + p2510 + p2511 + p2512 + p2513 + p2514 + p2515 + p2516 + p2517 + p2518 + p2519 + p2520 + p2521 + p2522 + p2523 + p2524 + p2525 + p2526 + p2527 + p2528 + p2529 + p2530 + p2531 + p2532 + p2534 + p2535 + p2536 + p2537 + p2538 + p2539 + p2540 + p2541 + p2542 + p2543 + p2544 + p2545 + p2546 + p2547 + p2548 + p2549 + p2550 + p2551 + p2552 + p2553 + p2554 + p2555 + p2556 + p2557 + p2558 + p2559 + p2560 + p2561 + p2563 + p2564 + p2565 + p2566 + p2567 + p2568 + p2569 + p2570 + p2571 + p2572 + p2573 + p2574 + p2575 + p2576 + p2577 + p2578 + p2579 + p2580 + p2581 + p2582 + p2583 + p2584 + p2585 + p2586 + p2587 + p2588 + p2589 + p2590 + p2592 + p2593 + p2594 + p2595 + p2596 + p2597 + p2598 + p2599 + p2600 + p2601 + p2602 + p2603 + p2604 + p2605 + p2606 + p2607 + p2608 + p2609 + p2610 + p2611 + p2612 + p2613 + p2614 + p2615 + p2616 + p2617 + p2618 + p2619 + p2621 + p2622 + p2623 + p2624 + p2625 + p2626 + p2627 + p2628 + p2629 + p2630 + p2631 + p2632 + p2633 + p2634 + p2635 + p2636 + p2637 + p2638 + p2639 + p2640 + p2641 + p2642 + p2643 + p2644 + p2645 + p2646 + p2647 + p2648 + p2650 + p2651 + p2652 + p2653 + p2654 + p2655 + p2656 + p2657 + p2658 + p2659 + p2660 + p2661 + p2662 + p2663 + p2664 + p2665 + p2666 + p2667 + p2668 + p2669 + p2670 + p2671 + p2672 + p2673 + p2674 + p2675 + p2676 + p2677 + p2679 + p2680 + p2681 + p2682 + p2683 + p2684 + p2685 + p2686 + p2687 + p2688 + p2689 + p2690 + p2691 + p2692 + p2693 + p2694 + p2695 + p2696 + p2697 + p2698 + p2699 + p2700 + p2701 + p2702 + p2703 + p2704 + p2705 + p2706 + p2708 + p2709 + p2710 + p2711 + p2712 + p2713 + p2714 + p2715 + p2716 + p2717 + p2718 + p2719 + p2720 + p2721 + p2722 + p2723 + p2724 + p2725 + p2726 + p2727 + p2728 + p2729 + p2730 + p2731 + p2732 + p2733 + p2734 + p2735 + p2737 + p2738 + p2739 + p2740 + p2741 + p2742 + p2743 + p2744 + p2745 + p2746 + p2747 + p2748 + p2749 + p2750 + p2751 + p2752 + p2753 + p2754 + p2755 + p2756 + p2757 + p2758 + p2759 + p2760 + p2761 + p2762 + p2763 + p2764 + p2766 + p2767 + p2768 + p2769 + p2770 + p2771 + p2772 + p2773 + p2774 + p2775 + p2776 + p2777 + p2778 + p2779 + p2780 + p2781 + p2782 + p2783 + p2784 + p2785 + p2786 + p2787 + p2788 + p2789 + p2790 + p2791 + p2792 + p2793 + p2795 + p2796 + p2797 + p2798 + p2799 + p2800 + p2801 + p2802 + p2803 + p2804 + p2805 + p2806 + p2807 + p2808 + p2809 + p2810 + p2811 + p2812 + p2813 + p2814 + p2815 + p2816 + p2817 + p2818 + p2819 + p2820 + p2821 + p2822 + p2824 + p2825 + p2826 + p2827 + p2828 + p2829 + p2830 + p2831 + p2832 + p2833 + p2834 + p2835 + p2836 + p2837 + p2838 + p2839 + p2840 + p2841 + p2842 + p2843 + p2844 + p2845 + p2846 + p2847 + p2848 + p2849 + p2850 + p2851 + p2853 + p2854 + p2855 + p2856 + p2857 + p2858 + p2859 + p2860 + p2861 + p2862 + p2863 + p2864 + p2865 + p2866 + p2867 + p2868 + p2869 + p2870 + p2871 + p2872 + p2873 + p2874 + p2875 + p2876 + p2877 + p2878 + p2879 + p2880 + p2882 + p2883 + p2884 + p2885 + p2886 + p2887 + p2888 + p2889 + p2890 + p2891 + p2892 + p2893 + p2894 + p2895 + p2896 + p2897 + p2898 + p2899 + p2099 + p2900 + p2901 + p2902 + p2903 + p2904 + p2905 + p2906 + p2907 + p2908 + p2909) : MAX(p930 + p931 + p932 + p933 + p934 + p935 + p936 + p937 + p938 + p939 + p940 + p941 + p942 + p943 + p944 + p945 + p946 + p947 + p948 + p949 + p950 + p951 + p952 + p953 + p954 + p955 + p956 + p957 + p958)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2069 + p2070 + p2071 + p2072 + p2073 + p2074 + p2075 + p2076 + p2077 + p2078 + p2079 + p2080 + p2081 + p2082 + p2083 + p2084 + p2085 + p2086 + p2087 + p2088 + p2089 + p2090 + p2091 + p2092 + p2093 + p2094 + p2095 + p2096 + p2097 + p2098 + p2881 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2127 + p2446 + p2417 + p2156 + p218... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 257634 markings, 769204 edges, 51527 markings/sec, 0 secs
lola: 524757 markings, 1668730 edges, 53425 markings/sec, 5 secs
lola: 779452 markings, 2572025 edges, 50939 markings/sec, 10 secs
lola: 1001701 markings, 3492906 edges, 44450 markings/sec, 15 secs
lola: 1273589 markings, 4385298 edges, 54378 markings/sec, 20 secs
lola: 1517102 markings, 5271854 edges, 48703 markings/sec, 25 secs
lola: 1752605 markings, 6186563 edges, 47101 markings/sec, 30 secs
lola: 1990262 markings, 7075876 edges, 47531 markings/sec, 35 secs
lola: 2222066 markings, 8002369 edges, 46361 markings/sec, 40 secs
lola: 2434395 markings, 8875305 edges, 42466 markings/sec, 45 secs
lola: 2630549 markings, 9722233 edges, 39231 markings/sec, 50 secs
lola: 2828043 markings, 10623544 edges, 39499 markings/sec, 55 secs
lola: 3083466 markings, 11486786 edges, 51085 markings/sec, 60 secs
lola: 3314253 markings, 12329841 edges, 46157 markings/sec, 65 secs
lola: 3540436 markings, 13208382 edges, 45237 markings/sec, 70 secs
lola: 3769381 markings, 14057699 edges, 45789 markings/sec, 75 secs
lola: 3989910 markings, 14946339 edges, 44106 markings/sec, 80 secs
lola: 4200643 markings, 15811541 edges, 42147 markings/sec, 85 secs
lola: 4397667 markings, 16647232 edges, 39405 markings/sec, 90 secs
lola: 4583015 markings, 17541747 edges, 37070 markings/sec, 95 secs
lola: 4824251 markings, 18397181 edges, 48247 markings/sec, 100 secs
lola: 5040402 markings, 19281324 edges, 43230 markings/sec, 105 secs
lola: 5260459 markings, 20139428 edges, 44011 markings/sec, 110 secs
lola: 5459935 markings, 20985690 edges, 39895 markings/sec, 115 secs
lola: 5650680 markings, 21847720 edges, 38149 markings/sec, 120 secs
lola: 5865397 markings, 22738669 edges, 42943 markings/sec, 125 secs
lola: 6072368 markings, 23599201 edges, 41394 markings/sec, 130 secs
lola: 6266126 markings, 24452906 edges, 38752 markings/sec, 135 secs
lola: 6462568 markings, 25356044 edges, 39288 markings/sec, 140 secs
lola: 6662312 markings, 26216190 edges, 39949 markings/sec, 145 secs
lola: 6844868 markings, 27097746 edges, 36511 markings/sec, 150 secs
lola: 7023596 markings, 27914712 edges, 35746 markings/sec, 155 secs
lola: 7194900 markings, 28765373 edges, 34261 markings/sec, 160 secs
lola: 7361562 markings, 29658131 edges, 33332 markings/sec, 165 secs
lola: 7610124 markings, 30538724 edges, 49712 markings/sec, 170 secs
lola: 7855841 markings, 31401168 edges, 49143 markings/sec, 175 secs
lola: 8077731 markings, 32295526 edges, 44378 markings/sec, 180 secs
lola: 8316965 markings, 33163056 edges, 47847 markings/sec, 185 secs
lola: 8538272 markings, 34046525 edges, 44261 markings/sec, 190 secs
lola: 8749936 markings, 34913357 edges, 42333 markings/sec, 195 secs
lola: 8948711 markings, 35746324 edges, 39755 markings/sec, 200 secs
lola: 9140393 markings, 36631990 edges, 38336 markings/sec, 205 secs
lola: 9380749 markings, 37534217 edges, 48071 markings/sec, 210 secs
lola: 9602993 markings, 38441051 edges, 44449 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p960 + p961 + p962 + p963 + p964 + p965 + p966 + p967 + p968 + p969 + p970 + p971 + p972 + p973 + p974 + p975 + p976 + p977 + p978 + p979 + p980 + p981 + p982 + p983 + p984 + p985 + p986 + p987 + p988)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 832844 markings, 1012771 edges, 166569 markings/sec, 0 secs
lola: 1601272 markings, 2040133 edges, 153686 markings/sec, 5 secs
lola: 2317058 markings, 3130079 edges, 143157 markings/sec, 10 secs
lola: 2897771 markings, 4273013 edges, 116143 markings/sec, 15 secs
lola: 3318386 markings, 5470904 edges, 84123 markings/sec, 20 secs
lola: 3698965 markings, 6712989 edges, 76116 markings/sec, 25 secs
lola: 4427105 markings, 7674881 edges, 145628 markings/sec, 30 secs
lola: 5142010 markings, 8644348 edges, 142981 markings/sec, 35 secs
lola: 5821086 markings, 9680050 edges, 135815 markings/sec, 40 secs
lola: 6376717 markings, 10778399 edges, 111126 markings/sec, 45 secs
lola: 6778749 markings, 11943673 edges, 80406 markings/sec, 50 secs
lola: 7158190 markings, 13152235 edges, 75888 markings/sec, 55 secs
lola: 7827454 markings, 14108120 edges, 133853 markings/sec, 60 secs
lola: 8520891 markings, 15061702 edges, 138687 markings/sec, 65 secs
lola: 9173646 markings, 16088713 edges, 130551 markings/sec, 70 secs
lola: 9682188 markings, 17175148 edges, 101708 markings/sec, 75 secs
lola: 10081959 markings, 18315633 edges, 79954 markings/sec, 80 secs
lola: 10445176 markings, 19517727 edges, 72643 markings/sec, 85 secs
lola: 11137577 markings, 20441724 edges, 138480 markings/sec, 90 secs
lola: 11809771 markings, 21412506 edges, 134439 markings/sec, 95 secs
lola: 12434164 markings, 22448724 edges, 124879 markings/sec, 100 secs
lola: 12851565 markings, 23544904 edges, 83480 markings/sec, 105 secs
lola: 13233290 markings, 24677223 edges, 76345 markings/sec, 110 secs
lola: 13691882 markings, 25787594 edges, 91718 markings/sec, 115 secs
lola: 14374917 markings, 26726052 edges, 136607 markings/sec, 120 secs
lola: 15016962 markings, 27735096 edges, 128409 markings/sec, 125 secs
lola: 15523920 markings, 28803838 edges, 101392 markings/sec, 130 secs
lola: 15915389 markings, 29918882 edges, 78294 markings/sec, 135 secs
lola: 16271888 markings, 31081466 edges, 71300 markings/sec, 140 secs
lola: 16919160 markings, 32053938 edges, 129454 markings/sec, 145 secs
lola: 17566112 markings, 33051693 edges, 129390 markings/sec, 150 secs
lola: 18092765 markings, 34106866 edges, 105331 markings/sec, 155 secs
lola: 18474411 markings, 35231799 edges, 76329 markings/sec, 160 secs
lola: 18843559 markings, 36356023 edges, 73830 markings/sec, 165 secs
lola: 19441174 markings, 37374550 edges, 119523 markings/sec, 170 secs
lola: 20081430 markings, 38387144 edges, 128051 markings/sec, 175 secs
lola: 20569010 markings, 39451699 edges, 97516 markings/sec, 180 secs
lola: 20957684 markings, 40555935 edges, 77735 markings/sec, 185 secs
lola: 21307600 markings, 41700128 edges, 69983 markings/sec, 190 secs
lola: 21946040 markings, 42697074 edges, 127688 markings/sec, 195 secs
lola: 22552286 markings, 43723567 edges, 121249 markings/sec, 200 secs
lola: 22952095 markings, 44827962 edges, 79962 markings/sec, 205 secs
lola: 23327429 markings, 45939778 edges, 75067 markings/sec, 210 secs
lola: 23785232 markings, 47032445 edges, 91561 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1105)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 511111 markings, 1102344 edges, 102222 markings/sec, 0 secs
lola: 956765 markings, 2153812 edges, 89131 markings/sec, 5 secs
lola: 1389247 markings, 3227703 edges, 86496 markings/sec, 10 secs
lola: 1800345 markings, 4232047 edges, 82220 markings/sec, 15 secs
lola: 2205747 markings, 5266312 edges, 81080 markings/sec, 20 secs
lola: 2601991 markings, 6313045 edges, 79249 markings/sec, 25 secs
lola: 2985357 markings, 7390827 edges, 76673 markings/sec, 30 secs
lola: 3383025 markings, 8451911 edges, 79534 markings/sec, 35 secs
lola: 3770321 markings, 9397842 edges, 77459 markings/sec, 40 secs
lola: 4140496 markings, 10352710 edges, 74035 markings/sec, 45 secs
lola: 4512884 markings, 11322913 edges, 74478 markings/sec, 50 secs
lola: 4876255 markings, 12315136 edges, 72674 markings/sec, 55 secs
lola: 5228938 markings, 13357375 edges, 70537 markings/sec, 60 secs
lola: 5606315 markings, 14314793 edges, 75475 markings/sec, 65 secs
lola: 5965337 markings, 15292808 edges, 71804 markings/sec, 70 secs
lola: 6317666 markings, 16308963 edges, 70466 markings/sec, 75 secs
lola: 6680758 markings, 17323025 edges, 72618 markings/sec, 80 secs
lola: 7036051 markings, 18348115 edges, 71059 markings/sec, 85 secs
lola: 7389552 markings, 19390589 edges, 70700 markings/sec, 90 secs
lola: 7732000 markings, 20459081 edges, 68490 markings/sec, 95 secs
lola: 8062476 markings, 21586234 edges, 66095 markings/sec, 100 secs
lola: 8462368 markings, 22507748 edges, 79978 markings/sec, 105 secs
lola: 8809823 markings, 23407558 edges, 69491 markings/sec, 110 secs
lola: 9169684 markings, 24304190 edges, 71972 markings/sec, 115 secs
lola: 9508121 markings, 25202777 edges, 67687 markings/sec, 120 secs
lola: 9824879 markings, 26104451 edges, 63352 markings/sec, 125 secs
lola: 10142066 markings, 27019063 edges, 63437 markings/sec, 130 secs
lola: 10501377 markings, 27934336 edges, 71862 markings/sec, 135 secs
lola: 10841487 markings, 28854091 edges, 68022 markings/sec, 140 secs
lola: 11163567 markings, 29778291 edges, 64416 markings/sec, 145 secs
lola: 11497034 markings, 30714648 edges, 66693 markings/sec, 150 secs
lola: 11828873 markings, 31657357 edges, 66368 markings/sec, 155 secs
lola: 12149753 markings, 32615634 edges, 64176 markings/sec, 160 secs
lola: 12466740 markings, 33590023 edges, 63397 markings/sec, 165 secs
lola: 12782784 markings, 34592040 edges, 63209 markings/sec, 170 secs
lola: 13120832 markings, 35598061 edges, 67610 markings/sec, 175 secs
lola: 13461824 markings, 36509711 edges, 68198 markings/sec, 180 secs
lola: 13806065 markings, 37421046 edges, 68848 markings/sec, 185 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 223 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2069 + p2070 + p2071 + p2072 + p2073 + p2074 + p2075 + p2076 + p2077 + p2078 + p2079 + p2080 + p2081 + p2082 + p2083 + p2084 + p2085 + p2086 + p2087 + p2088 + p2089 + p2090 + p2091 + p2092 + p2093 + p2094 + p2095 + p2096 + p2097 + p2098 + p2881 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2127 + p2446 + p2417 + p2156 + p218... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 281903 markings, 853856 edges, 56381 markings/sec, 0 secs
lola: 541469 markings, 1730610 edges, 51913 markings/sec, 5 secs
lola: 787071 markings, 2603059 edges, 49120 markings/sec, 10 secs
lola: 1002444 markings, 3497570 edges, 43075 markings/sec, 15 secs
lola: 1266938 markings, 4363525 edges, 52899 markings/sec, 20 secs
lola: 1503872 markings, 5225432 edges, 47387 markings/sec, 25 secs
lola: 1731123 markings, 6115279 edges, 45450 markings/sec, 30 secs
lola: 1964943 markings, 6972951 edges, 46764 markings/sec, 35 secs
lola: 2188135 markings, 7869484 edges, 44638 markings/sec, 40 secs
lola: 2401487 markings, 8748825 edges, 42670 markings/sec, 45 secs
lola: 2601292 markings, 9591951 edges, 39961 markings/sec, 50 secs
lola: 2789154 markings, 10497732 edges, 37572 markings/sec, 55 secs
lola: 3048969 markings, 11371153 edges, 51963 markings/sec, 60 secs
lola: 3286629 markings, 12228130 edges, 47532 markings/sec, 65 secs
lola: 3511292 markings, 13114522 edges, 44933 markings/sec, 70 secs
lola: 3746333 markings, 13971427 edges, 47008 markings/sec, 75 secs
lola: 3969379 markings, 14863296 edges, 44609 markings/sec, 80 secs
lola: 4182024 markings, 15744050 edges, 42529 markings/sec, 85 secs
lola: 4382309 markings, 16581532 edges, 40057 markings/sec, 90 secs
lola: 4570286 markings, 17470368 edges, 37595 markings/sec, 95 secs
lola: 4809306 markings, 18342118 edges, 47804 markings/sec, 100 secs
lola: 5023481 markings, 19232447 edges, 42835 markings/sec, 105 secs
lola: 5250122 markings, 20093872 edges, 45328 markings/sec, 110 secs
lola: 5451780 markings, 20947189 edges, 40332 markings/sec, 115 secs
lola: 5643435 markings, 21815104 edges, 38331 markings/sec, 120 secs
lola: 5858638 markings, 22711480 edges, 43041 markings/sec, 125 secs
lola: 6066489 markings, 23578080 edges, 41570 markings/sec, 130 secs
lola: 6262306 markings, 24432782 edges, 39163 markings/sec, 135 secs
lola: 6458364 markings, 25338357 edges, 39212 markings/sec, 140 secs
lola: 6658438 markings, 26198951 edges, 40015 markings/sec, 145 secs
lola: 6840813 markings, 27080353 edges, 36475 markings/sec, 150 secs
lola: 7019792 markings, 27895684 edges, 35796 markings/sec, 155 secs
lola: 7190753 markings, 28743850 edges, 34192 markings/sec, 160 secs
lola: 7357545 markings, 29635054 edges, 33358 markings/sec, 165 secs
lola: 7603247 markings, 30507605 edges, 49140 markings/sec, 170 secs
lola: 7843698 markings, 31354374 edges, 48090 markings/sec, 175 secs
lola: 8055651 markings, 32229621 edges, 42391 markings/sec, 180 secs
lola: 8295014 markings, 33073889 edges, 47873 markings/sec, 185 secs
lola: 8511556 markings, 33952607 edges, 43308 markings/sec, 190 secs
lola: 8727017 markings, 34804081 edges, 43092 markings/sec, 195 secs
lola: 8923900 markings, 35641282 edges, 39377 markings/sec, 200 secs
lola: 9107033 markings, 36465496 edges, 36627 markings/sec, 205 secs
lola: 9329242 markings, 37357661 edges, 44442 markings/sec, 210 secs
lola: 9551762 markings, 38207599 edges, 44504 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 223 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2939)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 510215 markings, 1165552 edges, 102043 markings/sec, 0 secs
lola: 947571 markings, 2258249 edges, 87471 markings/sec, 5 secs
lola: 1371236 markings, 3337259 edges, 84733 markings/sec, 10 secs
lola: 1799559 markings, 4425988 edges, 85665 markings/sec, 15 secs
lola: 2183821 markings, 5546645 edges, 76852 markings/sec, 20 secs
lola: 2541915 markings, 6719261 edges, 71619 markings/sec, 25 secs
lola: 2882306 markings, 7871832 edges, 68078 markings/sec, 30 secs
lola: 3138835 markings, 8967757 edges, 51306 markings/sec, 35 secs
lola: 3355387 markings, 10202995 edges, 43310 markings/sec, 40 secs
lola: 3571289 markings, 11385530 edges, 43180 markings/sec, 45 secs
lola: 3756114 markings, 12711354 edges, 36965 markings/sec, 50 secs
lola: 3923060 markings, 14041944 edges, 33389 markings/sec, 55 secs
lola: 4302734 markings, 15165136 edges, 75935 markings/sec, 60 secs
lola: 4662759 markings, 16180488 edges, 72005 markings/sec, 65 secs
lola: 5059029 markings, 17158472 edges, 79254 markings/sec, 70 secs
lola: 5439837 markings, 18176451 edges, 76162 markings/sec, 75 secs
lola: 5801518 markings, 19237752 edges, 72336 markings/sec, 80 secs
lola: 6163434 markings, 20314636 edges, 72383 markings/sec, 85 secs
lola: 6492964 markings, 21408138 edges, 65906 markings/sec, 90 secs
lola: 6772435 markings, 22390666 edges, 55894 markings/sec, 95 secs
lola: 6972351 markings, 23569280 edges, 39983 markings/sec, 100 secs
lola: 7164954 markings, 24706075 edges, 38521 markings/sec, 105 secs
lola: 7365132 markings, 25872208 edges, 40036 markings/sec, 110 secs
lola: 7543331 markings, 27116450 edges, 35640 markings/sec, 115 secs
lola: 7715958 markings, 28457732 edges, 34525 markings/sec, 120 secs
lola: 8108071 markings, 29373675 edges, 78423 markings/sec, 125 secs
lola: 8495249 markings, 30330497 edges, 77436 markings/sec, 130 secs
lola: 8861491 markings, 31313330 edges, 73248 markings/sec, 135 secs
lola: 9215562 markings, 32327129 edges, 70814 markings/sec, 140 secs
lola: 9557121 markings, 33369207 edges, 68312 markings/sec, 145 secs
lola: 9877730 markings, 34450324 edges, 64122 markings/sec, 150 secs
lola: 10158295 markings, 35485903 edges, 56113 markings/sec, 155 secs
lola: 10390075 markings, 36532545 edges, 46356 markings/sec, 160 secs
lola: 10588909 markings, 37655008 edges, 39767 markings/sec, 165 secs
lola: 10783202 markings, 38747859 edges, 38859 markings/sec, 170 secs
lola: 10946118 markings, 39947905 edges, 32583 markings/sec, 175 secs
lola: 11109253 markings, 41177729 edges, 32627 markings/sec, 180 secs
lola: 11382434 markings, 42295128 edges, 54636 markings/sec, 185 secs
lola: 11768367 markings, 43209381 edges, 77187 markings/sec, 190 secs
lola: 12128370 markings, 44165366 edges, 72001 markings/sec, 195 secs
lola: 12476242 markings, 45156290 edges, 69574 markings/sec, 200 secs
lola: 12810410 markings, 46176511 edges, 66834 markings/sec, 205 secs
lola: 13125225 markings, 47230724 edges, 62963 markings/sec, 210 secs
lola: 13403735 markings, 48236309 edges, 55702 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 223 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1138)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 1450122 markings, 1567209 edges, 290024 markings/sec, 0 secs
lola: 2815561 markings, 3087040 edges, 273088 markings/sec, 5 secs
lola: 4138911 markings, 4611622 edges, 264670 markings/sec, 10 secs
lola: 5432358 markings, 6164121 edges, 258689 markings/sec, 15 secs
lola: 6615065 markings, 7676305 edges, 236541 markings/sec, 20 secs
lola: 7468716 markings, 9080980 edges, 170730 markings/sec, 25 secs
lola: 8270064 markings, 10480014 edges, 160270 markings/sec, 30 secs
lola: 9012368 markings, 11897324 edges, 148461 markings/sec, 35 secs
lola: 10158138 markings, 13322247 edges, 229154 markings/sec, 40 secs
lola: 11446532 markings, 14757767 edges, 257679 markings/sec, 45 secs
lola: 12705980 markings, 16208951 edges, 251890 markings/sec, 50 secs
lola: 13941148 markings, 17694192 edges, 247034 markings/sec, 55 secs
lola: 15102040 markings, 19168440 edges, 232178 markings/sec, 60 secs
lola: 15949142 markings, 20523581 edges, 169420 markings/sec, 65 secs
lola: 16720340 markings, 21880768 edges, 154240 markings/sec, 70 secs
lola: 17470318 markings, 23271458 edges, 149996 markings/sec, 75 secs
lola: 18483098 markings, 24664395 edges, 202556 markings/sec, 80 secs
lola: 19716522 markings, 26047801 edges, 246685 markings/sec, 85 secs
lola: 20902429 markings, 27419243 edges, 237181 markings/sec, 90 secs
lola: 22119310 markings, 28891256 edges, 243376 markings/sec, 95 secs
lola: 23239498 markings, 30329688 edges, 224038 markings/sec, 100 secs
lola: 24043409 markings, 31666369 edges, 160782 markings/sec, 105 secs
lola: 24836309 markings, 33032032 edges, 158580 markings/sec, 110 secs
lola: 25571907 markings, 34445005 edges, 147120 markings/sec, 115 secs
lola: 26647398 markings, 35840660 edges, 215098 markings/sec, 120 secs
lola: 27878146 markings, 37245532 edges, 246150 markings/sec, 125 secs
lola: 29086415 markings, 38680031 edges, 241654 markings/sec, 130 secs
lola: 30265824 markings, 40153987 edges, 235882 markings/sec, 135 secs
lola: 31197596 markings, 41478319 edges, 186354 markings/sec, 140 secs
lola: 31924981 markings, 42834185 edges, 145477 markings/sec, 145 secs
lola: 32681271 markings, 44183214 edges, 151258 markings/sec, 150 secs
lola: 33518179 markings, 45579555 edges, 167382 markings/sec, 155 secs
lola: 34729405 markings, 46961553 edges, 242245 markings/sec, 160 secs
lola: 35933603 markings, 48381984 edges, 240840 markings/sec, 165 secs
lola: 37114196 markings, 49854949 edges, 236119 markings/sec, 170 secs
lola: 38067961 markings, 51159457 edges, 190753 markings/sec, 175 secs
lola: 38794241 markings, 52503295 edges, 145256 markings/sec, 180 secs
lola: 39541696 markings, 53841464 edges, 149491 markings/sec, 185 secs
lola: 40304583 markings, 55224713 edges, 152577 markings/sec, 190 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 226 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1167 + p1166 + p1165 + p1164 + p1163 + p1162 + p1161 + p1160 + p1159 + p1158 + p1157 + p1156 + p1155 + p1154 + p1153 + p1152 + p1151 + p1150 + p1149 + p1148 + p1147 + p1146 + p1145 + p1144 + p1143 + p1142 + p1141 + p1140 + p1139)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 648693 markings, 1169032 edges, 129739 markings/sec, 0 secs
lola: 1256733 markings, 2327317 edges, 121608 markings/sec, 5 secs
lola: 1794626 markings, 3458816 edges, 107579 markings/sec, 10 secs
lola: 2327728 markings, 4474062 edges, 106620 markings/sec, 15 secs
lola: 2819459 markings, 5532835 edges, 98346 markings/sec, 20 secs
lola: 3337246 markings, 6568990 edges, 103557 markings/sec, 25 secs
lola: 3814757 markings, 7607041 edges, 95502 markings/sec, 30 secs
lola: 4311695 markings, 8739980 edges, 99388 markings/sec, 35 secs
lola: 4834964 markings, 9879608 edges, 104654 markings/sec, 40 secs
lola: 5354497 markings, 10903968 edges, 103907 markings/sec, 45 secs
lola: 5840284 markings, 11930068 edges, 97157 markings/sec, 50 secs
lola: 6333901 markings, 12969057 edges, 98723 markings/sec, 55 secs
lola: 6813733 markings, 14023260 edges, 95966 markings/sec, 60 secs
lola: 7283607 markings, 15108285 edges, 93975 markings/sec, 65 secs
lola: 7785890 markings, 16187904 edges, 100457 markings/sec, 70 secs
lola: 8269575 markings, 17230442 edges, 96737 markings/sec, 75 secs
lola: 8749765 markings, 18295864 edges, 96038 markings/sec, 80 secs
lola: 9208559 markings, 19412559 edges, 91759 markings/sec, 85 secs
lola: 9699639 markings, 20478499 edges, 98216 markings/sec, 90 secs
lola: 10159229 markings, 21583401 edges, 91918 markings/sec, 95 secs
lola: 10630505 markings, 22692184 edges, 94255 markings/sec, 100 secs
lola: 11088650 markings, 23829353 edges, 91629 markings/sec, 105 secs
lola: 11528567 markings, 25016707 edges, 87983 markings/sec, 110 secs
lola: 12055566 markings, 26040516 edges, 105400 markings/sec, 115 secs
lola: 12537914 markings, 27028073 edges, 96470 markings/sec, 120 secs
lola: 13014145 markings, 28014043 edges, 95246 markings/sec, 125 secs
lola: 13471904 markings, 28997977 edges, 91552 markings/sec, 130 secs
lola: 13916251 markings, 29977312 edges, 88869 markings/sec, 135 secs
lola: 14329011 markings, 30960298 edges, 82552 markings/sec, 140 secs
lola: 14807289 markings, 31962035 edges, 95656 markings/sec, 145 secs
lola: 15270249 markings, 32962844 edges, 92592 markings/sec, 150 secs
lola: 15722642 markings, 33966057 edges, 90479 markings/sec, 155 secs
lola: 16133183 markings, 34973794 edges, 82108 markings/sec, 160 secs
lola: 16596636 markings, 35999352 edges, 92691 markings/sec, 165 secs
lola: 17048246 markings, 37034186 edges, 90322 markings/sec, 170 secs
lola: 17485976 markings, 38078497 edges, 87546 markings/sec, 175 secs
lola: 17913988 markings, 39128936 edges, 85602 markings/sec, 180 secs
lola: 18330533 markings, 40206619 edges, 83309 markings/sec, 185 secs
lola: 18788923 markings, 41281646 edges, 91678 markings/sec, 190 secs
lola: 19246064 markings, 42271084 edges, 91428 markings/sec, 195 secs
lola: 19704242 markings, 43264025 edges, 91636 markings/sec, 200 secs
lola: 20136699 markings, 44261146 edges, 86491 markings/sec, 205 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1108 + p1109 + p1110 + p1111 + p1112 + p1113 + p1114 + p1115 + p1116 + p1117 + p1118 + p1119 + p1120 + p1121 + p1122 + p1123 + p1124 + p1125 + p1126 + p1127 + p1128 + p1129 + p1130 + p1131 + p1132 + p1133 + p1134 + p1135 + p1136)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 141472 markings, 986557 edges, 28294 markings/sec, 0 secs
lola: 272403 markings, 1996330 edges, 26186 markings/sec, 5 secs
lola: 398083 markings, 3015969 edges, 25136 markings/sec, 10 secs
lola: 513861 markings, 4057446 edges, 23156 markings/sec, 15 secs
lola: 640758 markings, 5068089 edges, 25379 markings/sec, 20 secs
lola: 765426 markings, 6079150 edges, 24934 markings/sec, 25 secs
lola: 878039 markings, 7112152 edges, 22523 markings/sec, 30 secs
lola: 1001781 markings, 8127238 edges, 24748 markings/sec, 35 secs
lola: 1114983 markings, 9167173 edges, 22640 markings/sec, 40 secs
lola: 1232488 markings, 10195525 edges, 23501 markings/sec, 45 secs
lola: 1344151 markings, 11234761 edges, 22333 markings/sec, 50 secs
lola: 1451153 markings, 12281567 edges, 21400 markings/sec, 55 secs
lola: 1553089 markings, 13333944 edges, 20387 markings/sec, 60 secs
lola: 1670042 markings, 14355977 edges, 23391 markings/sec, 65 secs
lola: 1794223 markings, 15370830 edges, 24836 markings/sec, 70 secs
lola: 1912610 markings, 16395354 edges, 23677 markings/sec, 75 secs
lola: 2030650 markings, 17419454 edges, 23608 markings/sec, 80 secs
lola: 2149105 markings, 18445387 edges, 23691 markings/sec, 85 secs
lola: 2264340 markings, 19476012 edges, 23047 markings/sec, 90 secs
lola: 2375420 markings, 20514671 edges, 22216 markings/sec, 95 secs
lola: 2485156 markings, 21554645 edges, 21947 markings/sec, 100 secs
lola: 2588773 markings, 22602625 edges, 20723 markings/sec, 105 secs
lola: 2692961 markings, 23641289 edges, 20838 markings/sec, 110 secs
lola: 2813720 markings, 24657226 edges, 24152 markings/sec, 115 secs
lola: 2926483 markings, 25686158 edges, 22553 markings/sec, 120 secs
lola: 3039501 markings, 26716945 edges, 22604 markings/sec, 125 secs
lola: 3149540 markings, 27750712 edges, 22008 markings/sec, 130 secs
lola: 3256216 markings, 28789243 edges, 21335 markings/sec, 135 secs
lola: 3353544 markings, 29838364 edges, 19466 markings/sec, 140 secs
lola: 3468120 markings, 30861154 edges, 22915 markings/sec, 145 secs
lola: 3578677 markings, 31893964 edges, 22111 markings/sec, 150 secs
lola: 3686038 markings, 32931824 edges, 21472 markings/sec, 155 secs
lola: 3787701 markings, 33974906 edges, 20333 markings/sec, 160 secs
lola: 3890296 markings, 35011381 edges, 20519 markings/sec, 165 secs
lola: 3997799 markings, 36047661 edges, 21501 markings/sec, 170 secs
lola: 4099561 markings, 37091526 edges, 20352 markings/sec, 175 secs
lola: 4199277 markings, 38132509 edges, 19943 markings/sec, 180 secs
lola: 4300809 markings, 39172925 edges, 20306 markings/sec, 185 secs
lola: 4398142 markings, 40215946 edges, 19467 markings/sec, 190 secs
lola: 4494505 markings, 41260368 edges, 19273 markings/sec, 195 secs
lola: 4589300 markings, 42304158 edges, 18959 markings/sec, 200 secs
lola: 4680779 markings, 43348725 edges, 18296 markings/sec, 205 secs
lola: 4765740 markings, 44394670 edges, 16992 markings/sec, 210 secs
lola: 4885521 markings, 45398787 edges, 23956 markings/sec, 215 secs
lola: 5010018 markings, 46409677 edges, 24899 markings/sec, 220 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2069 + p2070 + p2071 + p2072 + p2073 + p2074 + p2075 + p2076 + p2077 + p2078 + p2079 + p2080 + p2081 + p2082 + p2083 + p2084 + p2085 + p2086 + p2087 + p2088 + p2089 + p2090 + p2091 + p2092 + p2093 + p2094 + p2095 + p2096 + p2097 + p2098 + p2881 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2127 + p2446 + p2417 + p2156 + p218... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 277796 markings, 841277 edges, 55559 markings/sec, 0 secs
lola: 534195 markings, 1701695 edges, 51280 markings/sec, 5 secs
lola: 776034 markings, 2560161 edges, 48368 markings/sec, 10 secs
lola: 988875 markings, 3424718 edges, 42568 markings/sec, 15 secs
lola: 1241009 markings, 4287013 edges, 50427 markings/sec, 20 secs
lola: 1481040 markings, 5133054 edges, 48006 markings/sec, 25 secs
lola: 1687857 markings, 5974800 edges, 41363 markings/sec, 30 secs
lola: 1928287 markings, 6843051 edges, 48086 markings/sec, 35 secs
lola: 2152909 markings, 7737201 edges, 44924 markings/sec, 40 secs
lola: 2369074 markings, 8619026 edges, 43233 markings/sec, 45 secs
lola: 2572731 markings, 9470300 edges, 40731 markings/sec, 50 secs
lola: 2763213 markings, 10356615 edges, 38096 markings/sec, 55 secs
lola: 3012562 markings, 11243401 edges, 49870 markings/sec, 60 secs
lola: 3256974 markings, 12105298 edges, 48882 markings/sec, 65 secs
lola: 3474128 markings, 12994936 edges, 43431 markings/sec, 70 secs
lola: 3715852 markings, 13856477 edges, 48345 markings/sec, 75 secs
lola: 3937722 markings, 14749731 edges, 44374 markings/sec, 80 secs
lola: 4155055 markings, 15623679 edges, 43467 markings/sec, 85 secs
lola: 4356226 markings, 16473199 edges, 40234 markings/sec, 90 secs
lola: 4546779 markings, 17350946 edges, 38111 markings/sec, 95 secs
lola: 4780253 markings, 18237691 edges, 46695 markings/sec, 100 secs
lola: 4999528 markings, 19109278 edges, 43855 markings/sec, 105 secs
lola: 5224943 markings, 19986153 edges, 45083 markings/sec, 110 secs
lola: 5429446 markings, 20843324 edges, 40901 markings/sec, 115 secs
lola: 5622131 markings, 21708646 edges, 38537 markings/sec, 120 secs
lola: 5833557 markings, 22619881 edges, 42285 markings/sec, 125 secs
lola: 6045505 markings, 23489553 edges, 42390 markings/sec, 130 secs
lola: 6243126 markings, 24340023 edges, 39524 markings/sec, 135 secs
lola: 6435943 markings, 25255928 edges, 38563 markings/sec, 140 secs
lola: 6642339 markings, 26125961 edges, 41279 markings/sec, 145 secs
lola: 6824990 markings, 27014717 edges, 36530 markings/sec, 150 secs
lola: 7007889 markings, 27837554 edges, 36580 markings/sec, 155 secs
lola: 7180540 markings, 28689667 edges, 34530 markings/sec, 160 secs
lola: 7348597 markings, 29581975 edges, 33611 markings/sec, 165 secs
lola: 7593817 markings, 30468870 edges, 49044 markings/sec, 170 secs
lola: 7836679 markings, 31329142 edges, 48572 markings/sec, 175 secs
lola: 8048599 markings, 32212519 edges, 42384 markings/sec, 180 secs
lola: 8292777 markings, 33063906 edges, 48836 markings/sec, 185 secs
lola: 8511056 markings, 33950735 edges, 43656 markings/sec, 190 secs
lola: 8728267 markings, 34809517 edges, 43442 markings/sec, 195 secs
lola: 8926372 markings, 35654502 edges, 39621 markings/sec, 200 secs
lola: 9117386 markings, 36515307 edges, 38203 markings/sec, 205 secs
lola: 9344263 markings, 37410368 edges, 45375 markings/sec, 210 secs
lola: 9565946 markings, 38266512 edges, 44337 markings/sec, 215 secs
lola: 9789509 markings, 39147514 edges, 44713 markings/sec, 220 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2996 + p2995 + p2994 + p2993 + p2992 + p2991 + p2990 + p2989 + p2988 + p2987 + p2986 + p2985 + p2984 + p2983 + p2982 + p2981 + p2980 + p2979 + p2978 + p2977 + p2976 + p2975 + p2974 + p2973 + p2972 + p2971 + p2970 + p2969 + p2997)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 830540 markings, 1009752 edges, 166108 markings/sec, 0 secs
lola: 1598904 markings, 2036984 edges, 153673 markings/sec, 5 secs
lola: 2316519 markings, 3129376 edges, 143523 markings/sec, 10 secs
lola: 2901001 markings, 4279746 edges, 116896 markings/sec, 15 secs
lola: 3321622 markings, 5477432 edges, 84124 markings/sec, 20 secs
lola: 3701393 markings, 6724879 edges, 75954 markings/sec, 25 secs
lola: 4438820 markings, 7690098 edges, 147485 markings/sec, 30 secs
lola: 5162266 markings, 8674232 edges, 144689 markings/sec, 35 secs
lola: 5847341 markings, 9722036 edges, 137015 markings/sec, 40 secs
lola: 6398566 markings, 10829540 edges, 110245 markings/sec, 45 secs
lola: 6805584 markings, 11999194 edges, 81404 markings/sec, 50 secs
lola: 7182080 markings, 13236969 edges, 75299 markings/sec, 55 secs
lola: 7886352 markings, 14183384 edges, 140854 markings/sec, 60 secs
lola: 8581862 markings, 15156721 edges, 139102 markings/sec, 65 secs
lola: 9242523 markings, 16203761 edges, 132132 markings/sec, 70 secs
lola: 9720883 markings, 17309994 edges, 95672 markings/sec, 75 secs
lola: 10124090 markings, 18461604 edges, 80641 markings/sec, 80 secs
lola: 10532607 markings, 19648801 edges, 81703 markings/sec, 85 secs
lola: 11237911 markings, 20582276 edges, 141061 markings/sec, 90 secs
lola: 11913409 markings, 21575435 edges, 135100 markings/sec, 95 secs
lola: 12527128 markings, 22619364 edges, 122744 markings/sec, 100 secs
lola: 12917950 markings, 23761150 edges, 78164 markings/sec, 105 secs
lola: 13311015 markings, 24897364 edges, 78613 markings/sec, 110 secs
lola: 13838937 markings, 25978570 edges, 105584 markings/sec, 115 secs
lola: 14523255 markings, 26946227 edges, 136864 markings/sec, 120 secs
lola: 15155043 markings, 27976696 edges, 126358 markings/sec, 125 secs
lola: 15609696 markings, 29059681 edges, 90931 markings/sec, 130 secs
lola: 15997021 markings, 30193416 edges, 77465 markings/sec, 135 secs
lola: 16405352 markings, 31343558 edges, 81666 markings/sec, 140 secs
lola: 17088928 markings, 32302633 edges, 136715 markings/sec, 145 secs
lola: 17710588 markings, 33298738 edges, 124332 markings/sec, 150 secs
lola: 18180669 markings, 34382443 edges, 94016 markings/sec, 155 secs
lola: 18573130 markings, 35499354 edges, 78492 markings/sec, 160 secs
lola: 18937199 markings, 36664595 edges, 72814 markings/sec, 165 secs
lola: 19615869 markings, 37638209 edges, 135734 markings/sec, 170 secs
lola: 20252245 markings, 38682111 edges, 127275 markings/sec, 175 secs
lola: 20668579 markings, 39727859 edges, 83267 markings/sec, 180 secs
lola: 21047856 markings, 40848378 edges, 75855 markings/sec, 185 secs
lola: 21457643 markings, 41973162 edges, 81957 markings/sec, 190 secs
lola: 22116105 markings, 42968344 edges, 131692 markings/sec, 195 secs
lola: 22685263 markings, 43998315 edges, 113832 markings/sec, 200 secs
lola: 23048436 markings, 45151137 edges, 72635 markings/sec, 205 secs
lola: 23435475 markings, 46256520 edges, 77408 markings/sec, 210 secs
lola: 23975851 markings, 47322900 edges, 108075 markings/sec, 215 secs
lola: 24592747 markings, 48359443 edges, 123379 markings/sec, 220 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2996 + p2995 + p2994 + p2993 + p2992 + p2991 + p2990 + p2989 + p2988 + p2987 + p2986 + p2985 + p2984 + p2983 + p2982 + p2981 + p2980 + p2979 + p2978 + p2977 + p2976 + p2975 + p2974 + p2973 + p2972 + p2971 + p2970 + p2969 + p2997)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 825690 markings, 1003601 edges, 165138 markings/sec, 0 secs
lola: 1587316 markings, 2021820 edges, 152325 markings/sec, 5 secs
lola: 2300749 markings, 3101574 edges, 142687 markings/sec, 10 secs
lola: 2888734 markings, 4235986 edges, 117597 markings/sec, 15 secs
lola: 3300116 markings, 5433130 edges, 82276 markings/sec, 20 secs
lola: 3682888 markings, 6653276 edges, 76554 markings/sec, 25 secs
lola: 4389620 markings, 7630206 edges, 141346 markings/sec, 30 secs
lola: 5109157 markings, 8594911 edges, 143907 markings/sec, 35 secs
lola: 5788198 markings, 9629765 edges, 135808 markings/sec, 40 secs
lola: 6359206 markings, 10714826 edges, 114202 markings/sec, 45 secs
lola: 6748166 markings, 11883812 edges, 77792 markings/sec, 50 secs
lola: 7137937 markings, 13070255 edges, 77954 markings/sec, 55 secs
lola: 7783121 markings, 14046901 edges, 129037 markings/sec, 60 secs
lola: 8480136 markings, 15002474 edges, 139403 markings/sec, 65 secs
lola: 9136461 markings, 16022467 edges, 131265 markings/sec, 70 secs
lola: 9660108 markings, 17095682 edges, 104729 markings/sec, 75 secs
lola: 10054388 markings, 18230281 edges, 78856 markings/sec, 80 secs
lola: 10422146 markings, 19422250 edges, 73552 markings/sec, 85 secs
lola: 11089216 markings, 20378836 edges, 133414 markings/sec, 90 secs
lola: 11707278 markings, 21255629 edges, 123612 markings/sec, 95 secs
lola: 12282257 markings, 22184015 edges, 114996 markings/sec, 100 secs
lola: 12747819 markings, 23255250 edges, 93112 markings/sec, 105 secs
lola: 13136079 markings, 24354457 edges, 77652 markings/sec, 110 secs
lola: 13493283 markings, 25528261 edges, 71441 markings/sec, 115 secs
lola: 14181374 markings, 26448594 edges, 137618 markings/sec, 120 secs
lola: 14830511 markings, 27424304 edges, 129827 markings/sec, 125 secs
lola: 15415100 markings, 28460654 edges, 116918 markings/sec, 130 secs
lola: 15791547 markings, 29657047 edges, 75289 markings/sec, 135 secs
lola: 16188249 markings, 30803746 edges, 79340 markings/sec, 140 secs
lola: 16778672 markings, 31854073 edges, 118085 markings/sec, 145 secs
lola: 17450880 markings, 32862408 edges, 134442 markings/sec, 150 secs
lola: 18034891 markings, 33912416 edges, 116802 markings/sec, 155 secs
lola: 18409631 markings, 35103950 edges, 74948 markings/sec, 160 secs
lola: 18807226 markings, 36247581 edges, 79519 markings/sec, 165 secs
lola: 19397951 markings, 37308546 edges, 118145 markings/sec, 170 secs
lola: 20049834 markings, 38332993 edges, 130377 markings/sec, 175 secs
lola: 20555119 markings, 39402042 edges, 101057 markings/sec, 180 secs
lola: 20946074 markings, 40513458 edges, 78191 markings/sec, 185 secs
lola: 21299619 markings, 41667875 edges, 70709 markings/sec, 190 secs
lola: 21937169 markings, 42683791 edges, 127510 markings/sec, 195 secs
lola: 22551830 markings, 43722334 edges, 122932 markings/sec, 200 secs
lola: 22954310 markings, 44835981 edges, 80496 markings/sec, 205 secs
lola: 23332129 markings, 45960821 edges, 75564 markings/sec, 210 secs
lola: 23802014 markings, 47057169 edges, 93977 markings/sec, 215 secs
lola: 24444899 markings, 48097648 edges, 128577 markings/sec, 220 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 227 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2039 + p2040 + p2041 + p2042 + p2043 + p2044 + p2045 + p2046 + p2047 + p2048 + p2049 + p2050 + p2051 + p2052 + p2053 + p2054 + p2055 + p2056 + p2057 + p2058 + p2059 + p2060 + p2061 + p2062 + p2063 + p2064 + p2065 + p2066 + p2067)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 640070 markings, 1153894 edges, 128014 markings/sec, 0 secs
lola: 1202175 markings, 2213716 edges, 112421 markings/sec, 5 secs
lola: 1719433 markings, 3334098 edges, 103452 markings/sec, 10 secs
lola: 2254160 markings, 4330847 edges, 106945 markings/sec, 15 secs
lola: 2746502 markings, 5358310 edges, 98468 markings/sec, 20 secs
lola: 3251548 markings, 6389196 edges, 101009 markings/sec, 25 secs
lola: 3738240 markings, 7440684 edges, 97338 markings/sec, 30 secs
lola: 4213687 markings, 8513729 edges, 95089 markings/sec, 35 secs
lola: 4690490 markings, 9613875 edges, 95361 markings/sec, 40 secs
lola: 5188471 markings, 10569264 edges, 99596 markings/sec, 45 secs
lola: 5636316 markings, 11518905 edges, 89569 markings/sec, 50 secs
lola: 6113277 markings, 12486350 edges, 95392 markings/sec, 55 secs
lola: 6562579 markings, 13462818 edges, 89860 markings/sec, 60 secs
lola: 7012489 markings, 14458741 edges, 89982 markings/sec, 65 secs
lola: 7433560 markings, 15508208 edges, 84214 markings/sec, 70 secs
lola: 7922218 markings, 16473985 edges, 97732 markings/sec, 75 secs
lola: 8373837 markings, 17449394 edges, 90324 markings/sec, 80 secs
lola: 8812800 markings, 18447465 edges, 87793 markings/sec, 85 secs
lola: 9247851 markings, 19490024 edges, 87010 markings/sec, 90 secs
lola: 9703179 markings, 20486414 edges, 91066 markings/sec, 95 secs
lola: 10137056 markings, 21522555 edges, 86775 markings/sec, 100 secs
lola: 10579680 markings, 22561823 edges, 88525 markings/sec, 105 secs
lola: 11008133 markings, 23625084 edges, 85691 markings/sec, 110 secs
lola: 11425925 markings, 24722985 edges, 83558 markings/sec, 115 secs
lola: 11901992 markings, 25738556 edges, 95213 markings/sec, 120 secs
lola: 12365837 markings, 26657859 edges, 92769 markings/sec, 125 secs
lola: 12796192 markings, 27576471 edges, 86071 markings/sec, 130 secs
lola: 13219980 markings, 28446448 edges, 84758 markings/sec, 135 secs
lola: 13639566 markings, 29352526 edges, 83917 markings/sec, 140 secs
lola: 14040443 markings, 30260239 edges, 80175 markings/sec, 145 secs
lola: 14408129 markings, 31175196 edges, 73537 markings/sec, 150 secs
lola: 14869869 markings, 32099574 edges, 92348 markings/sec, 155 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p59)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 13 will run for 324 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p29 + p28 + p27 + p26 + p25 + p24 + p23 + p22 + p21 + p20 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 433782 markings, 1383953 edges, 86756 markings/sec, 0 secs
lola: 806382 markings, 2730798 edges, 74520 markings/sec, 5 secs
lola: 1154998 markings, 4012546 edges, 69723 markings/sec, 10 secs
lola: 1493181 markings, 5309730 edges, 67637 markings/sec, 15 secs
lola: 1825546 markings, 6725732 edges, 66473 markings/sec, 20 secs
lola: 2150070 markings, 7860133 edges, 64905 markings/sec, 25 secs
lola: 2473677 markings, 9090416 edges, 64721 markings/sec, 30 secs
lola: 2795593 markings, 10398223 edges, 64383 markings/sec, 35 secs
lola: 3124448 markings, 11711913 edges, 65771 markings/sec, 40 secs
lola: 3444509 markings, 13000369 edges, 64012 markings/sec, 45 secs
lola: 3763768 markings, 14357210 edges, 63852 markings/sec, 50 secs
lola: 4079845 markings, 15734530 edges, 63215 markings/sec, 55 secs
lola: 4393729 markings, 17158526 edges, 62777 markings/sec, 60 secs
lola: 4719918 markings, 18569246 edges, 65238 markings/sec, 65 secs
lola: 5028138 markings, 19725431 edges, 61644 markings/sec, 70 secs
lola: 5338470 markings, 20883708 edges, 62066 markings/sec, 75 secs
lola: 5623057 markings, 22058792 edges, 56917 markings/sec, 80 secs
lola: 5922992 markings, 23245423 edges, 59987 markings/sec, 85 secs
lola: 6222829 markings, 24448382 edges, 59967 markings/sec, 90 secs
lola: 6511606 markings, 25680425 edges, 57755 markings/sec, 95 secs
lola: 6801608 markings, 26937188 edges, 58000 markings/sec, 100 secs
lola: 7091242 markings, 28227921 edges, 57927 markings/sec, 105 secs
lola: 7372695 markings, 29618157 edges, 56291 markings/sec, 110 secs
lola: 7686837 markings, 30798787 edges, 62828 markings/sec, 115 secs
lola: 7978903 markings, 31998320 edges, 58413 markings/sec, 120 secs
lola: 8270156 markings, 33222779 edges, 58251 markings/sec, 125 secs
lola: 8557874 markings, 34480201 edges, 57544 markings/sec, 130 secs
lola: 8844077 markings, 35784676 edges, 57241 markings/sec, 135 secs
lola: 9136392 markings, 37144240 edges, 58463 markings/sec, 140 secs
lola: 9427555 markings, 38395381 edges, 58233 markings/sec, 145 secs
lola: 9716757 markings, 39694502 edges, 57840 markings/sec, 150 secs
lola: 10001642 markings, 41085293 edges, 56977 markings/sec, 155 secs
lola: 10299583 markings, 42410202 edges, 59588 markings/sec, 160 secs
lola: 10585463 markings, 43823015 edges, 57176 markings/sec, 165 secs
lola: 10872258 markings, 45237755 edges, 57359 markings/sec, 170 secs
lola: 11159009 markings, 46734000 edges, 57350 markings/sec, 175 secs
lola: 11477922 markings, 47972630 edges, 63783 markings/sec, 180 secs
lola: 11770394 markings, 49076904 edges, 58494 markings/sec, 185 secs
lola: 12058931 markings, 50185425 edges, 57707 markings/sec, 190 secs
lola: 12318956 markings, 51307987 edges, 52005 markings/sec, 195 secs
lola: 12606971 markings, 52416814 edges, 57603 markings/sec, 200 secs
lola: 12885262 markings, 53533017 edges, 55658 markings/sec, 205 secs
lola: 13149872 markings, 54664053 edges, 52922 markings/sec, 210 secs
lola: 13415131 markings, 55794969 edges, 53052 markings/sec, 215 secs
lola: 13671486 markings, 56934766 edges, 51271 markings/sec, 220 secs
lola: 13915598 markings, 58088658 edges, 48822 markings/sec, 225 secs
lola: 14188770 markings, 59240812 edges, 54634 markings/sec, 230 secs
lola: 14472254 markings, 60382046 edges, 56697 markings/sec, 235 secs
lola: 14741829 markings, 61545861 edges, 53915 markings/sec, 240 secs
lola: 15026212 markings, 62704052 edges, 56877 markings/sec, 245 secs
lola: 15292337 markings, 63882440 edges, 53225 markings/sec, 250 secs
lola: 15545880 markings, 65073371 edges, 50709 markings/sec, 255 secs
lola: 15811424 markings, 66276004 edges, 53109 markings/sec, 260 secs
lola: 16086309 markings, 67475846 edges, 54977 markings/sec, 265 secs
lola: 16359318 markings, 68695401 edges, 54602 markings/sec, 270 secs
lola: 16617862 markings, 69939904 edges, 51709 markings/sec, 275 secs
lola: 16890672 markings, 71180810 edges, 54562 markings/sec, 280 secs
lola: 17153899 markings, 72438845 edges, 52645 markings/sec, 285 secs
lola: 17418950 markings, 73726847 edges, 53010 markings/sec, 290 secs
lola: 17677347 markings, 75062547 edges, 51679 markings/sec, 295 secs
lola: 17955805 markings, 76427987 edges, 55692 markings/sec, 300 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2069 + p2070 + p2071 + p2072 + p2073 + p2074 + p2075 + p2076 + p2077 + p2078 + p2079 + p2080 + p2081 + p2082 + p2083 + p2084 + p2085 + p2086 + p2087 + p2088 + p2089 + p2090 + p2091 + p2092 + p2093 + p2094 + p2095 + p2096 + p2097 + p2098 + p2881 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2127 + p2446 + p2417 + p2156 + p218... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 268088 markings, 809231 edges, 53618 markings/sec, 0 secs
lola: 516809 markings, 1637910 edges, 49744 markings/sec, 5 secs
lola: 751510 markings, 2474696 edges, 46940 markings/sec, 10 secs
lola: 961228 markings, 3296012 edges, 41944 markings/sec, 15 secs
lola: 1200980 markings, 4128536 edges, 47950 markings/sec, 20 secs
lola: 1433842 markings, 4956843 edges, 46572 markings/sec, 25 secs
lola: 1640787 markings, 5781480 edges, 41389 markings/sec, 30 secs
lola: 1869682 markings, 6613613 edges, 45779 markings/sec, 35 secs
lola: 2080480 markings, 7459498 edges, 42160 markings/sec, 40 secs
lola: 2300072 markings, 8310082 edges, 43918 markings/sec, 45 secs
lola: 2510786 markings, 9194470 edges, 42143 markings/sec, 50 secs
lola: 2708955 markings, 10088062 edges, 39634 markings/sec, 55 secs
lola: 2948007 markings, 11004990 edges, 47810 markings/sec, 60 secs
lola: 3201634 markings, 11909751 edges, 50725 markings/sec, 65 secs
lola: 3427639 markings, 12795044 edges, 45201 markings/sec, 70 secs
lola: 3676049 markings, 13700180 edges, 49682 markings/sec, 75 secs
lola: 3897531 markings, 14617517 edges, 44296 markings/sec, 80 secs
lola: 4126913 markings, 15494314 edges, 45876 markings/sec, 85 secs
lola: 4327606 markings, 16344110 edges, 40139 markings/sec, 90 secs
lola: 4518448 markings, 17208456 edges, 38168 markings/sec, 95 secs
lola: 4741713 markings, 18104910 edges, 44653 markings/sec, 100 secs
lola: 4963547 markings, 18952804 edges, 44367 markings/sec, 105 secs
lola: 5189199 markings, 19842985 edges, 45130 markings/sec, 110 secs
lola: 5400946 markings, 20721501 edges, 42349 markings/sec, 115 secs
lola: 5591694 markings, 21568837 edges, 38150 markings/sec, 120 secs
lola: 5798867 markings, 22482385 edges, 41435 markings/sec, 125 secs
lola: 6014862 markings, 23371816 edges, 43199 markings/sec, 130 secs
lola: 6216499 markings, 24222316 edges, 40327 markings/sec, 135 secs
lola: 6404246 markings, 25126900 edges, 37549 markings/sec, 140 secs
lola: 6619040 markings, 26026791 edges, 42959 markings/sec, 145 secs
lola: 6807256 markings, 26916178 edges, 37643 markings/sec, 150 secs
lola: 6992757 markings, 27767734 edges, 37100 markings/sec, 155 secs
lola: 7169002 markings, 28631603 edges, 35249 markings/sec, 160 secs
lola: 7340053 markings, 29534523 edges, 34210 markings/sec, 165 secs
lola: 7585304 markings, 30435615 edges, 49050 markings/sec, 170 secs
lola: 7832827 markings, 31316053 edges, 49505 markings/sec, 175 secs
lola: 8049319 markings, 32214328 edges, 43298 markings/sec, 180 secs
lola: 8298282 markings, 33086581 edges, 49793 markings/sec, 185 secs
lola: 8522288 markings, 33992579 edges, 44801 markings/sec, 190 secs
lola: 8741793 markings, 34872918 edges, 43901 markings/sec, 195 secs
lola: 8944855 markings, 35730049 edges, 40612 markings/sec, 200 secs
lola: 9136831 markings, 36614703 edges, 38395 markings/sec, 205 secs
lola: 9375060 markings, 37515308 edges, 47646 markings/sec, 210 secs
lola: 9596483 markings, 38407971 edges, 44285 markings/sec, 215 secs
lola: 9825597 markings, 39298858 edges, 45823 markings/sec, 220 secs
lola: 10032359 markings, 40165767 edges, 41352 markings/sec, 225 secs
lola: 10226243 markings, 41048695 edges, 38777 markings/sec, 230 secs
lola: 10444997 markings, 41959147 edges, 43751 markings/sec, 235 secs
lola: 10656038 markings, 42837018 edges, 42208 markings/sec, 240 secs
lola: 10853245 markings, 43704345 edges, 39441 markings/sec, 245 secs
lola: 11053693 markings, 44623003 edges, 40090 markings/sec, 250 secs
lola: 11256010 markings, 45499922 edges, 40463 markings/sec, 255 secs
lola: 11442776 markings, 46391646 edges, 37353 markings/sec, 260 secs
lola: 11621962 markings, 47224700 edges, 35837 markings/sec, 265 secs
lola: 11795018 markings, 48089612 edges, 34611 markings/sec, 270 secs
lola: 11964272 markings, 49004260 edges, 33851 markings/sec, 275 secs
lola: 12213253 markings, 49887912 edges, 49796 markings/sec, 280 secs
lola: 12438116 markings, 50800712 edges, 44973 markings/sec, 285 secs
lola: 12659956 markings, 51687233 edges, 44368 markings/sec, 290 secs
lola: 12864431 markings, 52550912 edges, 40895 markings/sec, 295 secs
lola: 13057844 markings, 53441296 edges, 38683 markings/sec, 300 secs
lola: 13282902 markings, 54347522 edges, 45012 markings/sec, 305 secs
lola: 13493013 markings, 55224934 edges, 42022 markings/sec, 310 secs
lola: 13690337 markings, 56107281 edges, 39465 markings/sec, 315 secs
lola: 13896174 markings, 57032836 edges, 41167 markings/sec, 320 secs
lola: 14094080 markings, 57915211 edges, 39581 markings/sec, 325 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 333 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p930 + p931 + p932 + p933 + p934 + p935 + p936 + p937 + p938 + p939 + p940 + p941 + p942 + p943 + p944 + p945 + p946 + p947 + p948 + p949 + p950 + p951 + p952 + p953 + p954 + p955 + p956 + p957 + p958)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1780 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 267306 markings, 805624 edges, 53461 markings/sec, 0 secs
lola: 514554 markings, 1629898 edges, 49450 markings/sec, 5 secs
lola: 749326 markings, 2466924 edges, 46954 markings/sec, 10 secs
lola: 959532 markings, 3288192 edges, 42041 markings/sec, 15 secs
lola: 1198195 markings, 4119249 edges, 47733 markings/sec, 20 secs
lola: 1429920 markings, 4945523 edges, 46345 markings/sec, 25 secs
lola: 1637593 markings, 5767111 edges, 41535 markings/sec, 30 secs
lola: 1865907 markings, 6601285 edges, 45663 markings/sec, 35 secs
lola: 2074620 markings, 7431488 edges, 41743 markings/sec, 40 secs
lola: 2289372 markings, 8268083 edges, 42950 markings/sec, 45 secs
lola: 2485290 markings, 9085591 edges, 39184 markings/sec, 50 secs
lola: 2670050 markings, 9906099 edges, 36952 markings/sec, 55 secs
lola: 2871211 markings, 10766573 edges, 40232 markings/sec, 60 secs
lola: 3113651 markings, 11584222 edges, 48488 markings/sec, 65 secs
lola: 3332940 markings, 12398209 edges, 43858 markings/sec, 70 secs
lola: 3519503 markings, 13142404 edges, 37313 markings/sec, 75 secs
lola: 3720344 markings, 13877521 edges, 40168 markings/sec, 80 secs
lola: 3909997 markings, 14654663 edges, 37931 markings/sec, 85 secs
lola: 4124413 markings, 15482990 edges, 42883 markings/sec, 90 secs
lola: 4318969 markings, 16302775 edges, 38911 markings/sec, 95 secs
lola: 4499974 markings, 17117813 edges, 36201 markings/sec, 100 secs
lola: 4675428 markings, 17854120 edges, 35091 markings/sec, 105 secs
lola: 4881489 markings, 18617325 edges, 41212 markings/sec, 110 secs
lola: 5092000 markings, 19463431 edges, 42102 markings/sec, 115 secs
lola: 5293036 markings, 20293799 edges, 40207 markings/sec, 120 secs
lola: 5496348 markings, 21140777 edges, 40662 markings/sec, 125 secs
lola: 5685531 markings, 22022623 edges, 37837 markings/sec, 130 secs
lola: 5913844 markings, 22933910 edges, 45663 markings/sec, 135 secs
lola: 6121434 markings, 23804579 edges, 41518 markings/sec, 140 secs
lola: 6317311 markings, 24684050 edges, 39175 markings/sec, 145 secs
lola: 6522505 markings, 25606888 edges, 41039 markings/sec, 150 secs
lola: 6719493 markings, 26480748 edges, 39398 markings/sec, 155 secs
lola: 6907503 markings, 27365605 edges, 37602 markings/sec, 160 secs
lola: 7086133 markings, 28235673 edges, 35726 markings/sec, 165 secs
lola: 7263408 markings, 29115849 edges, 35455 markings/sec, 170 secs
lola: 7470024 markings, 30046444 edges, 41323 markings/sec, 175 secs
lola: 7728968 markings, 30936374 edges, 51789 markings/sec, 180 secs
lola: 7960365 markings, 31814360 edges, 46279 markings/sec, 185 secs
lola: 8198808 markings, 32726097 edges, 47689 markings/sec, 190 secs
lola: 8428287 markings, 33605081 edges, 45896 markings/sec, 195 secs
lola: 8657221 markings, 34512687 edges, 45787 markings/sec, 200 secs
lola: 8867801 markings, 35388615 edges, 42116 markings/sec, 205 secs
lola: 9065652 markings, 36267196 edges, 39570 markings/sec, 210 secs
lola: 9281529 markings, 37169555 edges, 43175 markings/sec, 215 secs
lola: 9505260 markings, 38021152 edges, 44746 markings/sec, 220 secs
lola: 9727397 markings, 38903099 edges, 44427 markings/sec, 225 secs
lola: 9934631 markings, 39753873 edges, 41447 markings/sec, 230 secs
lola: 10127580 markings, 40584955 edges, 38590 markings/sec, 235 secs
lola: 10313442 markings, 41476285 edges, 37172 markings/sec, 240 secs
lola: 10534521 markings, 42327809 edges, 44216 markings/sec, 245 secs
lola: 10732902 markings, 43168235 edges, 39676 markings/sec, 250 secs
lola: 10921702 markings, 44023407 edges, 37760 markings/sec, 255 secs
lola: 11121825 markings, 44905691 edges, 40025 markings/sec, 260 secs
lola: 11310885 markings, 45750730 edges, 37812 markings/sec, 265 secs
lola: 11491052 markings, 46601014 edges, 36033 markings/sec, 270 secs
lola: 11659389 markings, 47428608 edges, 33667 markings/sec, 275 secs
lola: 11830175 markings, 48262950 edges, 34157 markings/sec, 280 secs
lola: 12009416 markings, 49154898 edges, 35848 markings/sec, 285 secs
lola: 12241721 markings, 50001496 edges, 46461 markings/sec, 290 secs
lola: 12460661 markings, 50878228 edges, 43788 markings/sec, 295 secs
lola: 12671269 markings, 51741666 edges, 42122 markings/sec, 300 secs
lola: 12869537 markings, 52571801 edges, 39654 markings/sec, 305 secs
lola: 13056216 markings, 53434047 edges, 37336 markings/sec, 310 secs
lola: 13271621 markings, 54306355 edges, 43081 markings/sec, 315 secs
lola: 13475428 markings, 55149550 edges, 40761 markings/sec, 320 secs
lola: 13666327 markings, 55997600 edges, 38180 markings/sec, 325 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA QuasiCertifProtocol-COL-28-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494765634732

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="QuasiCertifProtocol-COL-28"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/QuasiCertifProtocol-COL-28.tgz
mv QuasiCertifProtocol-COL-28 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is QuasiCertifProtocol-COL-28, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r058-smll-149440926300227"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;