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 S_QuasiCertifProtocol-COL-28, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-149479231700227
=====================================================================

--------------------
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 1496373887468


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_QuasiCertifProtocol-COL-28: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_QuasiCertifProtocol-COL-28: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_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(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 + p2068 + p2069 + p2098 + p2127 + p2156 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2185 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2446 + p2417 + 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 + p2382 + p2383 + p2384 + p2385 + p2386 + p2387 + p2389 + p2390 + p2391 + p2392 + p2393 + p2394 + p2395 + p2396 + p2397 + p2398 + p2399 + p2400 + p2401 + p2402 + p2403 + p2404 + p2405 + p2406 + p2407 + p2408 + p2409 + p2410 + p2411 + p2412 + p2413 + p2414 + p2415 + p2416 + p2418 + p2419 + p2420 + p2421 + p2422 + p2423 + p2424 + p2425 + p2426 + p2427 + p2428 + p2429 + p2430 + p2431 + p2432 + p2433 + p2434 + p2435 + p2436 + p2437 + p2438 + p2439 + p2440 + p2441 + p2442 + p2443 + p2444 + p2445 + p2447 + p2448 + p2449 + p2450 + p2451 + p2452 + p2453 + p2454 + p2455 + p2456 + p2457 + p2458 + p2459 + p2460 + p2461 + p2462 + p2463 + p2464 + p2465 + p2466 + p2467 + p2468 + p2469 + p2470 + p2471 + p2472 + p2473 + p2474 + p2476 + p2477 + p2478 + p2479 + p2480 + p2481 + p2482 + p2483 + p2484 + p2485 + p2486 + p2487 + p2488 + p2489 + p2490 + p2491 + p2492 + p2493 + p2494 + p2495 + p2496 + p2497 + p2498 + p2499 + 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 + p2199 + p2563 + p2564 + p2565 + p2566 + p2567 + p2568 + p2569 + p2570 + p2571 + p2572 + p2573 + p2574 + p2575 + p2576 + p2577 + p2578 + p2579 + p2580 + p2581 + p2582 + p2583 + p2198 + p2584 + p2585 + p2586 + p2587 + p2588 + p2589 + p2590 + p2197 + p2592 + p2593 + p2594 + p2595 + p2596 + p2597 + p2598 + p2599 + p2196 + p2195 + p2194 + p2193 + p2600 + p2601 + p2602 + p2603 + p2604 + p2605 + p2606 + p2607 + p2608 + p2609 + p2192 + p2610 + p2611 + p2612 + p2613 + p2614 + p2615 + p2616 + p2617 + p2618 + p2619 + p2191 + p2621 + p2622 + p2623 + p2624 + p2625 + p2626 + p2627 + p2628 + p2629 + p2630 + p2631 + p2632 + p2633 + p2634 + p2635 + p2636 + p2637 + p2638 + p2639 + p2640 + p2641 + p2190 + p2642 + p2643 + p2644 + p2645 + p2646 + p2647 + p2648 + p2189 + p2650 + p2651 + p2652 + p2653 + p2654 + p2655 + p2656 + p2657 + p2658 + p2659 + p2660 + p2661 + p2662 + p2663 + p2664 + p2665 + p2666 + p2667 + p2668 + p2669 + p2188 + p2670 + p2671 + p2672 + p2673 + p2674 + p2675 + p2676 + p2677 + p2187 + p2679 + p2680 + p2681 + p2682 + p2683 + p2684 + p2685 + p2686 + p2687 + p2688 + p2689 + p2690 + p2691 + p2692 + p2693 + p2694 + p2695 + p2696 + p2697 + p2698 + p2699 + p2186 + p2184 + p2183 + p2182 + p2181 + p2700 + p2701 + p2702 + p2703 + p2704 + p2705 + p2706 + p2180 + 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 + p2179 + p2737 + p2738 + p2739 + p2740 + p2741 + p2742 + p2743 + p2744 + p2745 + p2746 + p2747 + p2748 + p2749 + p2750 + p2751 + p2752 + p2753 + p2754 + p2755 + p2756 + p2757 + p2178 + p2758 + p2759 + p2760 + p2761 + p2762 + p2763 + p2764 + p2177 + p2766 + p2767 + p2768 + p2769 + p2770 + p2771 + p2772 + p2773 + p2774 + p2775 + p2776 + p2777 + p2778 + p2779 + p2780 + p2781 + p2782 + p2783 + p2784 + p2785 + p2786 + p2176 + p2787 + p2788 + p2789 + p2790 + p2791 + p2792 + p2793 + p2175 + p2795 + p2796 + p2797 + p2798 + p2799 + p2174 + p2173 + p2172 + p2171 + p2800 + p2801 + p2802 + p2803 + p2804 + p2805 + p2806 + p2807 + p2808 + p2809 + p2810 + p2811 + p2812 + p2813 + p2814 + p2815 + p2816 + p2817 + p2818 + p2819 + p2820 + p2821 + p2822 + p2170 + p2824 + p2825 + p2826 + p2827 + p2828 + p2829 + p2830 + p2831 + p2832 + p2833 + p2834 + p2835 + p2836 + p2837 + p2838 + p2839 + p2840 + p2841 + p2842 + p2843 + p2844 + p2169 + p2845 + p2846 + p2847 + p2848 + p2849 + p2850 + p2851 + p2168 + p2853 + p2854 + p2855 + p2856 + p2857 + p2858 + p2859 + p2860 + p2861 + p2862 + p2863 + p2864 + p2865 + p2866 + p2867 + p2868 + p2869 + p2870 + p2871 + p2872 + p2873 + p2167 + p2874 + p2875 + p2876 + p2877 + p2878 + p2879 + p2880 + p2166 + p2165 + p2164 + p2163 + p2162 + p2161 + p2160 + p2159 + p2158 + p2157 + p2155 + p2154 + p2153 + p2152 + p2151 + p2150 + p2149 + p2148 + p2147 + p2146 + p2145 + p2144 + p2143 + p2142 + p2141 + p2140 + p2139 + p2138 + p2137 + p2136 + p2135 + p2134 + p2133 + p2132 + p2131 + p2130 + p2129 + p2128 + p2126 + p2125 + p2124 + p2123 + p2122 + p2121 + p2120 + p2119 + p2118 + p2117 + p2116 + p2115 + p2114 + p2113 + p2112 + p2111 + p2110 + p2109 + p2108 + p2107 + p2106 + p2105 + p2104 + p2103 + p2102 + p2101 + p2100 + p2099 + p2097 + p2096 + p2095 + p2094 + p2093 + p2092 + p2091 + p2090 + p2089 + p2088 + p2087 + p2086 + p2085 + p2084 + p2083 + p2082 + p2081 + p2080 + p2079 + p2078 + p2077 + p2076 + p2075 + p2074 + p2073 + p2072 + p2071 + p2070) : MAX(p1861 + p1862 + p1863 + p1864 + p1865 + p1866 + p1867 + p1868 + p1869 + p1870 + p1871 + p1872 + p1873 + p1874 + p1875 + p1876 + p1877 + p1878 + p1879 + p1880 + p1881 + p1882 + p1883 + p1884 + p1885 + p1886 + p1887 + p1888 + p1889) : MAX(p2039) : MAX(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 + p2068 + p2069 + p2098 + p2127 + p2156 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2185 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2446 + p2417 + 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 + p2382 + p2383 + p2384 + p2385 + p2386 + p2387 + p2389 + p2390 + p2391 + p2392 + p2393 + p2394 + p2395 + p2396 + p2397 + p2398 + p2399 + p2400 + p2401 + p2402 + p2403 + p2404 + p2405 + p2406 + p2407 + p2408 + p2409 + p2410 + p2411 + p2412 + p2413 + p2414 + p2415 + p2416 + p2418 + p2419 + p2420 + p2421 + p2422 + p2423 + p2424 + p2425 + p2426 + p2427 + p2428 + p2429 + p2430 + p2431 + p2432 + p2433 + p2434 + p2435 + p2436 + p2437 + p2438 + p2439 + p2440 + p2441 + p2442 + p2443 + p2444 + p2445 + p2447 + p2448 + p2449 + p2450 + p2451 + p2452 + p2453 + p2454 + p2455 + p2456 + p2457 + p2458 + p2459 + p2460 + p2461 + p2462 + p2463 + p2464 + p2465 + p2466 + p2467 + p2468 + p2469 + p2470 + p2471 + p2472 + p2473 + p2474 + p2476 + p2477 + p2478 + p2479 + p2480 + p2481 + p2482 + p2483 + p2484 + p2485 + p2486 + p2487 + p2488 + p2489 + p2490 + p2491 + p2492 + p2493 + p2494 + p2495 + p2496 + p2497 + p2498 + p2499 + 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 + p2199 + p2563 + p2564 + p2565 + p2566 + p2567 + p2568 + p2569 + p2570 + p2571 + p2572 + p2573 + p2574 + p2575 + p2576 + p2577 + p2578 + p2579 + p2580 + p2581 + p2582 + p2583 + p2198 + p2584 + p2585 + p2586 + p2587 + p2588 + p2589 + p2590 + p2197 + p2592 + p2593 + p2594 + p2595 + p2596 + p2597 + p2598 + p2599 + p2196 + p2195 + p2194 + p2193 + p2600 + p2601 + p2602 + p2603 + p2604 + p2605 + p2606 + p2607 + p2608 + p2609 + p2192 + p2610 + p2611 + p2612 + p2613 + p2614 + p2615 + p2616 + p2617 + p2618 + p2619 + p2191 + p2621 + p2622 + p2623 + p2624 + p2625 + p2626 + p2627 + p2628 + p2629 + p2630 + p2631 + p2632 + p2633 + p2634 + p2635 + p2636 + p2637 + p2638 + p2639 + p2640 + p2641 + p2190 + p2642 + p2643 + p2644 + p2645 + p2646 + p2647 + p2648 + p2189 + p2650 + p2651 + p2652 + p2653 + p2654 + p2655 + p2656 + p2657 + p2658 + p2659 + p2660 + p2661 + p2662 + p2663 + p2664 + p2665 + p2666 + p2667 + p2668 + p2669 + p2188 + p2670 + p2671 + p2672 + p2673 + p2674 + p2675 + p2676 + p2677 + p2187 + p2679 + p2680 + p2681 + p2682 + p2683 + p2684 + p2685 + p2686 + p2687 + p2688 + p2689 + p2690 + p2691 + p2692 + p2693 + p2694 + p2695 + p2696 + p2697 + p2698 + p2699 + p2186 + p2184 + p2183 + p2182 + p2181 + p2700 + p2701 + p2702 + p2703 + p2704 + p2705 + p2706 + p2180 + 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 + p2179 + p2737 + p2738 + p2739 + p2740 + p2741 + p2742 + p2743 + p2744 + p2745 + p2746 + p2747 + p2748 + p2749 + p2750 + p2751 + p2752 + p2753 + p2754 + p2755 + p2756 + p2757 + p2178 + p2758 + p2759 + p2760 + p2761 + p2762 + p2763 + p2764 + p2177 + p2766 + p2767 + p2768 + p2769 + p2770 + p2771 + p2772 + p2773 + p2774 + p2775 + p2776 + p2777 + p2778 + p2779 + p2780 + p2781 + p2782 + p2783 + p2784 + p2785 + p2786 + p2176 + p2787 + p2788 + p2789 + p2790 + p2791 + p2792 + p2793 + p2175 + p2795 + p2796 + p2797 + p2798 + p2799 + p2174 + p2173 + p2172 + p2171 + p2800 + p2801 + p2802 + p2803 + p2804 + p2805 + p2806 + p2807 + p2808 + p2809 + p2810 + p2811 + p2812 + p2813 + p2814 + p2815 + p2816 + p2817 + p2818 + p2819 + p2820 + p2821 + p2822 + p2170 + p2824 + p2825 + p2826 + p2827 + p2828 + p2829 + p2830 + p2831 + p2832 + p2833 + p2834 + p2835 + p2836 + p2837 + p2838 + p2839 + p2840 + p2841 + p2842 + p2843 + p2844 + p2169 + p2845 + p2846 + p2847 + p2848 + p2849 + p2850 + p2851 + p2168 + p2853 + p2854 + p2855 + p2856 + p2857 + p2858 + p2859 + p2860 + p2861 + p2862 + p2863 + p2864 + p2865 + p2866 + p2867 + p2868 + p2869 + p2870 + p2871 + p2872 + p2873 + p2167 + p2874 + p2875 + p2876 + p2877 + p2878 + p2879 + p2880 + p2166 + p2165 + p2164 + p2163 + p2162 + p2161 + p2160 + p2159 + p2158 + p2157 + p2155 + p2154 + p2153 + p2152 + p2151 + p2150 + p2149 + p2148 + p2147 + p2146 + p2145 + p2144 + p2143 + p2142 + p2141 + p2140 + p2139 + p2138 + p2137 + p2136 + p2135 + p2134 + p2133 + p2132 + p2131 + p2130 + p2129 + p2128 + p2126 + p2125 + p2124 + p2123 + p2122 + p2121 + p2120 + p2119 + p2118 + p2117 + p2116 + p2115 + p2114 + p2113 + p2112 + p2111 + p2110 + p2109 + p2108 + p2107 + p2106 + p2105 + p2104 + p2103 + p2102 + p2101 + p2100 + p2099 + p2097 + p2096 + p2095 + p2094 + p2093 + p2092 + p2091 + p2090 + p2089 + p2088 + p2087 + p2086 + p2085 + p2084 + p2083 + p2082 + p2081 + p2080 + p2079 + p2078 + p2077 + p2076 + p2075 + p2074 + p2073 + p2072 + p2071 + p2070) : MAX(p1951) : MAX(p1948) : MAX(p1900 + p1901 + p1902 + p1903 + p1904 + p1905 + p1906 + p1907 + p1908 + p1909 + p1910 + p1911 + p1912 + p1913 + p1914 + p1915 + p1916 + p1917 + p1918 + p1890 + p1891 + p1892 + p1893 + p1894 + p1895 + p1896 + p1897 + p1898 + p1899) : MAX(p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88) : MAX(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 + p2068 + p2069 + p2098 + p2127 + p2156 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2185 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2446 + p2417 + 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 + p2382 + p2383 + p2384 + p2385 + p2386 + p2387 + p2389 + p2390 + p2391 + p2392 + p2393 + p2394 + p2395 + p2396 + p2397 + p2398 + p2399 + p2400 + p2401 + p2402 + p2403 + p2404 + p2405 + p2406 + p2407 + p2408 + p2409 + p2410 + p2411 + p2412 + p2413 + p2414 + p2415 + p2416 + p2418 + p2419 + p2420 + p2421 + p2422 + p2423 + p2424 + p2425 + p2426 + p2427 + p2428 + p2429 + p2430 + p2431 + p2432 + p2433 + p2434 + p2435 + p2436 + p2437 + p2438 + p2439 + p2440 + p2441 + p2442 + p2443 + p2444 + p2445 + p2447 + p2448 + p2449 + p2450 + p2451 + p2452 + p2453 + p2454 + p2455 + p2456 + p2457 + p2458 + p2459 + p2460 + p2461 + p2462 + p2463 + p2464 + p2465 + p2466 + p2467 + p2468 + p2469 + p2470 + p2471 + p2472 + p2473 + p2474 + p2476 + p2477 + p2478 + p2479 + p2480 + p2481 + p2482 + p2483 + p2484 + p2485 + p2486 + p2487 + p2488 + p2489 + p2490 + p2491 + p2492 + p2493 + p2494 + p2495 + p2496 + p2497 + p2498 + p2499 + 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 + p2199 + p2563 + p2564 + p2565 + p2566 + p2567 + p2568 + p2569 + p2570 + p2571 + p2572 + p2573 + p2574 + p2575 + p2576 + p2577 + p2578 + p2579 + p2580 + p2581 + p2582 + p2583 + p2198 + p2584 + p2585 + p2586 + p2587 + p2588 + p2589 + p2590 + p2197 + p2592 + p2593 + p2594 + p2595 + p2596 + p2597 + p2598 + p2599 + p2196 + p2195 + p2194 + p2193 + p2600 + p2601 + p2602 + p2603 + p2604 + p2605 + p2606 + p2607 + p2608 + p2609 + p2192 + p2610 + p2611 + p2612 + p2613 + p2614 + p2615 + p2616 + p2617 + p2618 + p2619 + p2191 + p2621 + p2622 + p2623 + p2624 + p2625 + p2626 + p2627 + p2628 + p2629 + p2630 + p2631 + p2632 + p2633 + p2634 + p2635 + p2636 + p2637 + p2638 + p2639 + p2640 + p2641 + p2190 + p2642 + p2643 + p2644 + p2645 + p2646 + p2647 + p2648 + p2189 + p2650 + p2651 + p2652 + p2653 + p2654 + p2655 + p2656 + p2657 + p2658 + p2659 + p2660 + p2661 + p2662 + p2663 + p2664 + p2665 + p2666 + p2667 + p2668 + p2669 + p2188 + p2670 + p2671 + p2672 + p2673 + p2674 + p2675 + p2676 + p2677 + p2187 + p2679 + p2680 + p2681 + p2682 + p2683 + p2684 + p2685 + p2686 + p2687 + p2688 + p2689 + p2690 + p2691 + p2692 + p2693 + p2694 + p2695 + p2696 + p2697 + p2698 + p2699 + p2186 + p2184 + p2183 + p2182 + p2181 + p2700 + p2701 + p2702 + p2703 + p2704 + p2705 + p2706 + p2180 + 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 + p2179 + p2737 + p2738 + p2739 + p2740 + p2741 + p2742 + p2743 + p2744 + p2745 + p2746 + p2747 + p2748 + p2749 + p2750 + p2751 + p2752 + p2753 + p2754 + p2755 + p2756 + p2757 + p2178 + p2758 + p2759 + p2760 + p2761 + p2762 + p2763 + p2764 + p2177 + p2766 + p2767 + p2768 + p2769 + p2770 + p2771 + p2772 + p2773 + p2774 + p2775 + p2776 + p2777 + p2778 + p2779 + p2780 + p2781 + p2782 + p2783 + p2784 + p2785 + p2786 + p2176 + p2787 + p2788 + p2789 + p2790 + p2791 + p2792 + p2793 + p2175 + p2795 + p2796 + p2797 + p2798 + p2799 + p2174 + p2173 + p2172 + p2171 + p2800 + p2801 + p2802 + p2803 + p2804 + p2805 + p2806 + p2807 + p2808 + p2809 + p2810 + p2811 + p2812 + p2813 + p2814 + p2815 + p2816 + p2817 + p2818 + p2819 + p2820 + p2821 + p2822 + p2170 + p2824 + p2825 + p2826 + p2827 + p2828 + p2829 + p2830 + p2831 + p2832 + p2833 + p2834 + p2835 + p2836 + p2837 + p2838 + p2839 + p2840 + p2841 + p2842 + p2843 + p2844 + p2169 + p2845 + p2846 + p2847 + p2848 + p2849 + p2850 + p2851 + p2168 + p2853 + p2854 + p2855 + p2856 + p2857 + p2858 + p2859 + p2860 + p2861 + p2862 + p2863 + p2864 + p2865 + p2866 + p2867 + p2868 + p2869 + p2870 + p2871 + p2872 + p2873 + p2167 + p2874 + p2875 + p2876 + p2877 + p2878 + p2879 + p2880 + p2166 + p2165 + p2164 + p2163 + p2162 + p2161 + p2160 + p2159 + p2158 + p2157 + p2155 + p2154 + p2153 + p2152 + p2151 + p2150 + p2149 + p2148 + p2147 + p2146 + p2145 + p2144 + p2143 + p2142 + p2141 + p2140 + p2139 + p2138 + p2137 + p2136 + p2135 + p2134 + p2133 + p2132 + p2131 + p2130 + p2129 + p2128 + p2126 + p2125 + p2124 + p2123 + p2122 + p2121 + p2120 + p2119 + p2118 + p2117 + p2116 + p2115 + p2114 + p2113 + p2112 + p2111 + p2110 + p2109 + p2108 + p2107 + p2106 + p2105 + p2104 + p2103 + p2102 + p2101 + p2100 + p2099 + p2097 + p2096 + p2095 + p2094 + p2093 + p2092 + p2091 + p2090 + p2089 + p2088 + p2087 + p2086 + p2085 + p2084 + p2083 + p2082 + p2081 + p2080 + p2079 + p2078 + p2077 + p2076 + p2075 + p2074 + p2073 + p2072 + p2071 + p2070) : MAX(p2010 + p2011 + p2012 + p2013 + p2014 + p2015 + p2016 + p2017 + p2018 + p2019 + p2020 + p2021 + p2022 + p2023 + p2024 + p2025 + p2026 + p2027 + p2028 + p2029 + p2030 + p2031 + p2032 + p2033 + p2034 + p2035 + p2036 + p2037 + p2038) : MAX(p2010 + p2011 + p2012 + p2013 + p2014 + p2015 + p2016 + p2017 + p2018 + p2019 + p2020 + p2021 + p2022 + p2023 + p2024 + p2025 + p2026 + p2027 + p2028 + p2029 + p2030 + p2031 + p2032 + p2033 + p2034 + p2035 + p2036 + p2037 + p2038) : MAX(p1952 + p1953 + p1954 + p1955 + p1956 + p1957 + p1958 + p1959 + p1960 + p1961 + p1962 + p1963 + p1964 + p1965 + p1966 + p1967 + p1968 + p1969 + p1970 + p1971 + p1972 + p1973 + p1974 + p1975 + p1976 + p1977 + p1978 + p1979 + p1980) : MAX(p2997) : MAX(p1802 + p1801 + p1800 + p1799 + p1798 + p1797 + p1796 + p1795 + p1794 + p1793 + p1792 + p1791 + p1790 + p1789 + p1788 + p1787 + p1786 + p1785 + p1784 + p1783 + p1782 + p1781 + p1780 + p1779 + p1778 + p1777 + p1776 + p1775 + p1774) : MAX(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 + p2068 + p2069 + p2098 + p2127 + p2156 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2185 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2446 + p2417 + 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 + p2382 + p2383 + p2384 + p2385 + p2386 + p2387 + p2389 + p2390 + p2391 + p2392 + p2393 + p2394 + p2395 + p2396 + p2397 + p2398 + p2399 + p2400 + p2401 + p2402 + p2403 + p2404 + p2405 + p2406 + p2407 + p2408 + p2409 + p2410 + p2411 + p2412 + p2413 + p2414 + p2415 + p2416 + p2418 + p2419 + p2420 + p2421 + p2422 + p2423 + p2424 + p2425 + p2426 + p2427 + p2428 + p2429 + p2430 + p2431 + p2432 + p2433 + p2434 + p2435 + p2436 + p2437 + p2438 + p2439 + p2440 + p2441 + p2442 + p2443 + p2444 + p2445 + p2447 + p2448 + p2449 + p2450 + p2451 + p2452 + p2453 + p2454 + p2455 + p2456 + p2457 + p2458 + p2459 + p2460 + p2461 + p2462 + p2463 + p2464 + p2465 + p2466 + p2467 + p2468 + p2469 + p2470 + p2471 + p2472 + p2473 + p2474 + p2476 + p2477 + p2478 + p2479 + p2480 + p2481 + p2482 + p2483 + p2484 + p2485 + p2486 + p2487 + p2488 + p2489 + p2490 + p2491 + p2492 + p2493 + p2494 + p2495 + p2496 + p2497 + p2498 + p2499 + 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 + p2199 + p2563 + p2564 + p2565 + p2566 + p2567 + p2568 + p2569 + p2570 + p2571 + p2572 + p2573 + p2574 + p2575 + p2576 + p2577 + p2578 + p2579 + p2580 + p2581 + p2582 + p2583 + p2198 + p2584 + p2585 + p2586 + p2587 + p2588 + p2589 + p2590 + p2197 + p2592 + p2593 + p2594 + p2595 + p2596 + p2597 + p2598 + p2599 + p2196 + p2195 + p2194 + p2193 + p2600 + p2601 + p2602 + p2603 + p2604 + p2605 + p2606 + p2607 + p2608 + p2609 + p2192 + p2610 + p2611 + p2612 + p2613 + p2614 + p2615 + p2616 + p2617 + p2618 + p2619 + p2191 + p2621 + p2622 + p2623 + p2624 + p2625 + p2626 + p2627 + p2628 + p2629 + p2630 + p2631 + p2632 + p2633 + p2634 + p2635 + p2636 + p2637 + p2638 + p2639 + p2640 + p2641 + p2190 + p2642 + p2643 + p2644 + p2645 + p2646 + p2647 + p2648 + p2189 + p2650 + p2651 + p2652 + p2653 + p2654 + p2655 + p2656 + p2657 + p2658 + p2659 + p2660 + p2661 + p2662 + p2663 + p2664 + p2665 + p2666 + p2667 + p2668 + p2669 + p2188 + p2670 + p2671 + p2672 + p2673 + p2674 + p2675 + p2676 + p2677 + p2187 + p2679 + p2680 + p2681 + p2682 + p2683 + p2684 + p2685 + p2686 + p2687 + p2688 + p2689 + p2690 + p2691 + p2692 + p2693 + p2694 + p2695 + p2696 + p2697 + p2698 + p2699 + p2186 + p2184 + p2183 + p2182 + p2181 + p2700 + p2701 + p2702 + p2703 + p2704 + p2705 + p2706 + p2180 + 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 + p2179 + p2737 + p2738 + p2739 + p2740 + p2741 + p2742 + p2743 + p2744 + p2745 + p2746 + p2747 + p2748 + p2749 + p2750 + p2751 + p2752 + p2753 + p2754 + p2755 + p2756 + p2757 + p2178 + p2758 + p2759 + p2760 + p2761 + p2762 + p2763 + p2764 + p2177 + p2766 + p2767 + p2768 + p2769 + p2770 + p2771 + p2772 + p2773 + p2774 + p2775 + p2776 + p2777 + p2778 + p2779 + p2780 + p2781 + p2782 + p2783 + p2784 + p2785 + p2786 + p2176 + p2787 + p2788 + p2789 + p2790 + p2791 + p2792 + p2793 + p2175 + p2795 + p2796 + p2797 + p2798 + p2799 + p2174 + p2173 + p2172 + p2171 + p2800 + p2801 + p2802 + p2803 + p2804 + p2805 + p2806 + p2807 + p2808 + p2809 + p2810 + p2811 + p2812 + p2813 + p2814 + p2815 + p2816 + p2817 + p2818 + p2819 + p2820 + p2821 + p2822 + p2170 + p2824 + p2825 + p2826 + p2827 + p2828 + p2829 + p2830 + p2831 + p2832 + p2833 + p2834 + p2835 + p2836 + p2837 + p2838 + p2839 + p2840 + p2841 + p2842 + p2843 + p2844 + p2169 + p2845 + p2846 + p2847 + p2848 + p2849 + p2850 + p2851 + p2168 + p2853 + p2854 + p2855 + p2856 + p2857 + p2858 + p2859 + p2860 + p2861 + p2862 + p2863 + p2864 + p2865 + p2866 + p2867 + p2868 + p2869 + p2870 + p2871 + p2872 + p2873 + p2167 + p2874 + p2875 + p2876 + p2877 + p2878 + p2879 + p2880 + p2166 + p2165 + p2164 + p2163 + p2162 + p2161 + p2160 + p2159 + p2158 + p2157 + p2155 + p2154 + p2153 + p2152 + p2151 + p2150 + p2149 + p2148 + p2147 + p2146 + p2145 + p2144 + p2143 + p2142 + p2141 + p2140 + p2139 + p2138 + p2137 + p2136 + p2135 + p2134 + p2133 + p2132 + p2131 + p2130 + p2129 + p2128 + p2126 + p2125 + p2124 + p2123 + p2122 + p2121 + p2120 + p2119 + p2118 + p2117 + p2116 + p2115 + p2114 + p2113 + p2112 + p2111 + p2110 + p2109 + p2108 + p2107 + p2106 + p2105 + p2104 + p2103 + p2102 + p2101 + p2100 + p2099 + p2097 + p2096 + p2095 + p2094 + p2093 + p2092 + p2091 + p2090 + p2089 + p2088 + p2087 + p2086 + p2085 + p2084 + p2083 + p2082 + p2081 + p2080 + p2079 + p2078 + p2077 + p2076 + p2075 + p2074 + p2073 + p2072 + p2071 + p2070) : MAX(p1832 + p1833 + p1834 + p1835 + p1836 + p1837 + p1838 + p1839 + p1840 + p1841 + p1842 + p1843 + p1844 + p1845 + p1846 + p1847 + p1848 + p1849 + p1850 + p1851 + p1852 + p1853 + p1854 + p1855 + p1856 + p1857 + p1858 + p1859 + p1860)
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(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 + p2068 + p2069 + p2098 + p2127 + p2156 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2185 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2446 + p241... (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: 340285 markings, 1081703 edges, 68057 markings/sec, 0 secs
lola: 666692 markings, 2162529 edges, 65281 markings/sec, 5 secs
lola: 973145 markings, 3350544 edges, 61291 markings/sec, 10 secs
lola: 1279262 markings, 4404635 edges, 61223 markings/sec, 15 secs
lola: 1571298 markings, 5486903 edges, 58407 markings/sec, 20 secs
lola: 1862427 markings, 6592113 edges, 58226 markings/sec, 25 secs
lola: 2148939 markings, 7723413 edges, 57302 markings/sec, 30 secs
lola: 2433471 markings, 8871633 edges, 56906 markings/sec, 35 secs
lola: 2709561 markings, 10090982 edges, 55218 markings/sec, 40 secs
lola: 3000384 markings, 11193983 edges, 58165 markings/sec, 45 secs
lola: 3280652 markings, 12201374 edges, 56054 markings/sec, 50 secs
lola: 3548499 markings, 13238045 edges, 53569 markings/sec, 55 secs
lola: 3823075 markings, 14275988 edges, 54915 markings/sec, 60 secs
lola: 4091893 markings, 15344579 edges, 53764 markings/sec, 65 secs
lola: 4351646 markings, 16456603 edges, 51951 markings/sec, 70 secs
lola: 4609898 markings, 17638307 edges, 51650 markings/sec, 75 secs
lola: 4892650 markings, 18661267 edges, 56550 markings/sec, 80 secs
lola: 5159491 markings, 19723199 edges, 53368 markings/sec, 85 secs
lola: 5423268 markings, 20816671 edges, 52755 markings/sec, 90 secs
lola: 5676434 markings, 21978227 edges, 50633 markings/sec, 95 secs
lola: 5948453 markings, 23081643 edges, 54404 markings/sec, 100 secs
lola: 6209777 markings, 24197565 edges, 52265 markings/sec, 105 secs
lola: 6468012 markings, 25378301 edges, 51647 markings/sec, 110 secs
lola: 6729093 markings, 26525566 edges, 52216 markings/sec, 115 secs
lola: 6985389 markings, 27729192 edges, 51259 markings/sec, 120 secs
lola: 7237552 markings, 28983586 edges, 50433 markings/sec, 125 secs
lola: 7508413 markings, 30171196 edges, 54172 markings/sec, 130 secs
lola: 7782594 markings, 31141286 edges, 54836 markings/sec, 135 secs
lola: 8035684 markings, 32142761 edges, 50618 markings/sec, 140 secs
lola: 8305421 markings, 33118898 edges, 53947 markings/sec, 145 secs
lola: 8557890 markings, 34119778 edges, 50494 markings/sec, 150 secs
lola: 8805666 markings, 35129650 edges, 49555 markings/sec, 155 secs
lola: 9040807 markings, 36158712 edges, 47028 markings/sec, 160 secs
lola: 9286391 markings, 37187344 edges, 49117 markings/sec, 165 secs
lola: 9548027 markings, 38194678 edges, 52327 markings/sec, 170 secs
lola: 9806601 markings, 39213923 edges, 51715 markings/sec, 175 secs
lola: 10050812 markings, 40255857 edges, 48842 markings/sec, 180 secs
lola: 10281262 markings, 41321552 edges, 46090 markings/sec, 185 secs
lola: 10541929 markings, 42361876 edges, 52133 markings/sec, 190 secs
lola: 10791628 markings, 43422846 edges, 49940 markings/sec, 195 secs
lola: 11026145 markings, 44516370 edges, 46903 markings/sec, 200 secs
lola: 11276196 markings, 45602068 edges, 50010 markings/sec, 205 secs
lola: 11515231 markings, 46718662 edges, 47807 markings/sec, 210 secs
lola: 11752569 markings, 47863714 edges, 47468 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(p1861 + p1862 + p1863 + p1864 + p1865 + p1866 + p1867 + p1868 + p1869 + p1870 + p1871 + p1872 + p1873 + p1874 + p1875 + p1876 + p1877 + p1878 + p1879 + p1880 + p1881 + p1882 + p1883 + p1884 + p1885 + p1886 + p1887 + p1888 + p1889)
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: 693559 markings, 841476 edges, 138712 markings/sec, 0 secs
lola: 1342535 markings, 1683363 edges, 129795 markings/sec, 5 secs
lola: 1958587 markings, 2561057 edges, 123210 markings/sec, 10 secs
lola: 2535024 markings, 3494966 edges, 115287 markings/sec, 15 secs
lola: 2975817 markings, 4513595 edges, 88159 markings/sec, 20 secs
lola: 3360306 markings, 5610790 edges, 76898 markings/sec, 25 secs
lola: 3714411 markings, 6774268 edges, 70821 markings/sec, 30 secs
lola: 4344950 markings, 7569719 edges, 126108 markings/sec, 35 secs
lola: 4955491 markings, 8381489 edges, 122108 markings/sec, 40 secs
lola: 5538666 markings, 9228428 edges, 116635 markings/sec, 45 secs
lola: 6088091 markings, 10139063 edges, 109885 markings/sec, 50 secs
lola: 6483821 markings, 11115544 edges, 79146 markings/sec, 55 secs
lola: 6852591 markings, 12151844 edges, 73754 markings/sec, 60 secs
lola: 7198143 markings, 13301856 edges, 69110 markings/sec, 65 secs
lola: 7807592 markings, 14080033 edges, 121890 markings/sec, 70 secs
lola: 8393341 markings, 14881095 edges, 117150 markings/sec, 75 secs
lola: 8956100 markings, 15725891 edges, 112552 markings/sec, 80 secs
lola: 9470977 markings, 16609639 edges, 102975 markings/sec, 85 secs
lola: 9833868 markings, 17631478 edges, 72578 markings/sec, 90 secs
lola: 10185398 markings, 18660022 edges, 70306 markings/sec, 95 secs
lola: 10581681 markings, 19711212 edges, 79257 markings/sec, 100 secs
lola: 11177342 markings, 20496508 edges, 119132 markings/sec, 105 secs
lola: 11739424 markings, 21305245 edges, 112416 markings/sec, 110 secs
lola: 12261495 markings, 22146656 edges, 104414 markings/sec, 115 secs
lola: 12684427 markings, 23037163 edges, 84586 markings/sec, 120 secs
lola: 13014011 markings, 24053166 edges, 65917 markings/sec, 125 secs
lola: 13353240 markings, 25044643 edges, 67846 markings/sec, 130 secs
lola: 13814249 markings, 25944436 edges, 92202 markings/sec, 135 secs
lola: 14397710 markings, 26760926 edges, 116692 markings/sec, 140 secs
lola: 14951106 markings, 27621808 edges, 110679 markings/sec, 145 secs
lola: 15427260 markings, 28499609 edges, 95231 markings/sec, 150 secs
lola: 15772650 markings, 29583121 edges, 69078 markings/sec, 155 secs
lola: 16121485 markings, 30573683 edges, 69767 markings/sec, 160 secs
lola: 16555261 markings, 31544560 edges, 86755 markings/sec, 165 secs
lola: 17114416 markings, 32339968 edges, 111831 markings/sec, 170 secs
lola: 17647810 markings, 33196771 edges, 106679 markings/sec, 175 secs
lola: 18099829 markings, 34124163 edges, 90404 markings/sec, 180 secs
lola: 18423481 markings, 35133576 edges, 64730 markings/sec, 185 secs
lola: 18781425 markings, 36157796 edges, 71589 markings/sec, 190 secs
lola: 19233836 markings, 37072747 edges, 90482 markings/sec, 195 secs
lola: 19785238 markings, 37900518 edges, 110280 markings/sec, 200 secs
lola: 20291531 markings, 38751387 edges, 101259 markings/sec, 205 secs
lola: 20673395 markings, 39747410 edges, 76373 markings/sec, 210 secs
lola: 21025795 markings, 40783005 edges, 70480 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(p2039)
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: 631324 markings, 1371513 edges, 126265 markings/sec, 0 secs
lola: 1187285 markings, 2788982 edges, 111192 markings/sec, 5 secs
lola: 1722669 markings, 4030871 edges, 107077 markings/sec, 10 secs
lola: 2234333 markings, 5336281 edges, 102333 markings/sec, 15 secs
lola: 2734708 markings, 6681420 edges, 100075 markings/sec, 20 secs
lola: 3230106 markings, 8115706 edges, 99080 markings/sec, 25 secs
lola: 3710637 markings, 9242496 edges, 96106 markings/sec, 30 secs
lola: 4154617 markings, 10386523 edges, 88796 markings/sec, 35 secs
lola: 4604911 markings, 11560838 edges, 90059 markings/sec, 40 secs
lola: 5039999 markings, 12803174 edges, 87018 markings/sec, 45 secs
lola: 5493412 markings, 14010868 edges, 90683 markings/sec, 50 secs
lola: 5938125 markings, 15205626 edges, 88943 markings/sec, 55 secs
lola: 6376877 markings, 16505896 edges, 87750 markings/sec, 60 secs
lola: 6842257 markings, 17766876 edges, 93076 markings/sec, 65 secs
lola: 7287443 markings, 19093564 edges, 89037 markings/sec, 70 secs
lola: 7726551 markings, 20441543 edges, 87822 markings/sec, 75 secs
lola: 8172832 markings, 21842189 edges, 89256 markings/sec, 80 secs
lola: 8634853 markings, 22933672 edges, 92404 markings/sec, 85 secs
lola: 9063966 markings, 24036381 edges, 85823 markings/sec, 90 secs
lola: 9485519 markings, 25144439 edges, 84311 markings/sec, 95 secs
lola: 9884256 markings, 26266010 edges, 79747 markings/sec, 100 secs
lola: 10296859 markings, 27396980 edges, 82521 markings/sec, 105 secs
lola: 10730746 markings, 28537637 edges, 86777 markings/sec, 110 secs
lola: 11137586 markings, 29697188 edges, 81368 markings/sec, 115 secs
lola: 11551052 markings, 30868759 edges, 82693 markings/sec, 120 secs
lola: 11960515 markings, 32066676 edges, 81893 markings/sec, 125 secs
lola: 12374001 markings, 33294044 edges, 82697 markings/sec, 130 secs
lola: 12771938 markings, 34555560 edges, 79587 markings/sec, 135 secs
lola: 13196587 markings, 35789281 edges, 84930 markings/sec, 140 secs
lola: 13620964 markings, 36903912 edges, 84875 markings/sec, 145 secs
lola: 14021083 markings, 38038215 edges, 80024 markings/sec, 150 secs
lola: 14422649 markings, 39179727 edges, 80313 markings/sec, 155 secs
lola: 14827479 markings, 40353021 edges, 80966 markings/sec, 160 secs
lola: 15226651 markings, 41536416 edges, 79834 markings/sec, 165 secs
lola: 15613965 markings, 42760238 edges, 77463 markings/sec, 170 secs
lola: 16016029 markings, 44008015 edges, 80413 markings/sec, 175 secs
lola: 16421299 markings, 45150589 edges, 81054 markings/sec, 180 secs
lola: 16814568 markings, 46321910 edges, 78654 markings/sec, 185 secs
lola: 17205725 markings, 47534594 edges, 78231 markings/sec, 190 secs
lola: 17596574 markings, 48826645 edges, 78170 markings/sec, 195 secs
lola: 17993377 markings, 50023653 edges, 79361 markings/sec, 200 secs
lola: 18385617 markings, 51282419 edges, 78448 markings/sec, 205 secs
lola: 18781033 markings, 52569650 edges, 79083 markings/sec, 210 secs
lola: 19170279 markings, 53893616 edges, 77849 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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 + p2068 + p2069 + p2098 + p2127 + p2156 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2185 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2446 + p241... (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: 347682 markings, 1100117 edges, 69536 markings/sec, 0 secs
lola: 657496 markings, 2132213 edges, 61963 markings/sec, 5 secs
lola: 953003 markings, 3259917 edges, 59101 markings/sec, 10 secs
lola: 1241362 markings, 4287909 edges, 57672 markings/sec, 15 secs
lola: 1525128 markings, 5301654 edges, 56753 markings/sec, 20 secs
lola: 1802235 markings, 6367074 edges, 55421 markings/sec, 25 secs
lola: 2074218 markings, 7429530 edges, 54397 markings/sec, 30 secs
lola: 2348099 markings, 8518625 edges, 54776 markings/sec, 35 secs
lola: 2616756 markings, 9659743 edges, 53731 markings/sec, 40 secs
lola: 2888520 markings, 10814145 edges, 54353 markings/sec, 45 secs
lola: 3161401 markings, 11757540 edges, 54576 markings/sec, 50 secs
lola: 3415147 markings, 12737002 edges, 50749 markings/sec, 55 secs
lola: 3679960 markings, 13716917 edges, 52963 markings/sec, 60 secs
lola: 3930957 markings, 14727733 edges, 50199 markings/sec, 65 secs
lola: 4186380 markings, 15758980 edges, 51085 markings/sec, 70 secs
lola: 4438201 markings, 16833180 edges, 50364 markings/sec, 75 secs
lola: 4696221 markings, 17925175 edges, 51604 markings/sec, 80 secs
lola: 4954734 markings, 18912294 edges, 51703 markings/sec, 85 secs
lola: 5210207 markings, 19927096 edges, 51095 markings/sec, 90 secs
lola: 5459135 markings, 20981444 edges, 49786 markings/sec, 95 secs
lola: 5701893 markings, 22110124 edges, 48552 markings/sec, 100 secs
lola: 5962485 markings, 23145309 edges, 52118 markings/sec, 105 secs
lola: 6213610 markings, 24211222 edges, 50225 markings/sec, 110 secs
lola: 6460766 markings, 25347989 edges, 49431 markings/sec, 115 secs
lola: 6710957 markings, 26442184 edges, 50038 markings/sec, 120 secs
lola: 6957035 markings, 27595834 edges, 49216 markings/sec, 125 secs
lola: 7199800 markings, 28791889 edges, 48553 markings/sec, 130 secs
lola: 7453155 markings, 29994532 edges, 50671 markings/sec, 135 secs
lola: 7721194 markings, 30905016 edges, 53608 markings/sec, 140 secs
lola: 7964847 markings, 31829800 edges, 48731 markings/sec, 145 secs
lola: 8223459 markings, 32812580 edges, 51722 markings/sec, 150 secs
lola: 8471898 markings, 33805422 edges, 49688 markings/sec, 155 secs
lola: 8725497 markings, 34798040 edges, 50720 markings/sec, 160 secs
lola: 8964855 markings, 35812328 edges, 47872 markings/sec, 165 secs
lola: 9187661 markings, 36860342 edges, 44561 markings/sec, 170 secs
lola: 9461102 markings, 37840916 edges, 54688 markings/sec, 175 secs
lola: 9713047 markings, 38855360 edges, 50389 markings/sec, 180 secs
lola: 9964813 markings, 39877857 edges, 50353 markings/sec, 185 secs
lola: 10201864 markings, 40924223 edges, 47410 markings/sec, 190 secs
lola: 10448121 markings, 41972157 edges, 49251 markings/sec, 195 secs
lola: 10699998 markings, 43018657 edges, 50375 markings/sec, 200 secs
lola: 10936914 markings, 44093445 edges, 47383 markings/sec, 205 secs
lola: 11181404 markings, 45176872 edges, 48898 markings/sec, 210 secs
lola: 11415972 markings, 46290293 edges, 46914 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1951)
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: 231836 markings, 1690872 edges, 46367 markings/sec, 0 secs
lola: 454082 markings, 3334772 edges, 44449 markings/sec, 5 secs
lola: 670117 markings, 4940524 edges, 43207 markings/sec, 10 secs
lola: 881451 markings, 6530894 edges, 42267 markings/sec, 15 secs
lola: 1087479 markings, 8106367 edges, 41206 markings/sec, 20 secs
lola: 1291628 markings, 9670420 edges, 40830 markings/sec, 25 secs
lola: 1493655 markings, 11223258 edges, 40405 markings/sec, 30 secs
lola: 1693411 markings, 12777046 edges, 39951 markings/sec, 35 secs
lola: 1888940 markings, 14327628 edges, 39106 markings/sec, 40 secs
lola: 2081650 markings, 15872424 edges, 38542 markings/sec, 45 secs
lola: 2279916 markings, 17429602 edges, 39653 markings/sec, 50 secs
lola: 2471988 markings, 18947782 edges, 38414 markings/sec, 55 secs
lola: 2654817 markings, 20457776 edges, 36566 markings/sec, 60 secs
lola: 2831273 markings, 21963568 edges, 35291 markings/sec, 65 secs
lola: 2995658 markings, 23300645 edges, 32877 markings/sec, 70 secs
lola: 3146132 markings, 24645036 edges, 30095 markings/sec, 75 secs
lola: 3283530 markings, 25995297 edges, 27480 markings/sec, 80 secs
lola: 3409739 markings, 27331471 edges, 25242 markings/sec, 85 secs
lola: 3539360 markings, 28652574 edges, 25924 markings/sec, 90 secs
lola: 3669842 markings, 29967265 edges, 26096 markings/sec, 95 secs
lola: 3790985 markings, 31302390 edges, 24229 markings/sec, 100 secs
lola: 3907211 markings, 32655491 edges, 23245 markings/sec, 105 secs
lola: 4071623 markings, 34116106 edges, 32882 markings/sec, 110 secs
lola: 4252505 markings, 35528159 edges, 36176 markings/sec, 115 secs
lola: 4430795 markings, 36918533 edges, 35658 markings/sec, 120 secs
lola: 4621486 markings, 38301833 edges, 38138 markings/sec, 125 secs
lola: 4807792 markings, 39702328 edges, 37261 markings/sec, 130 secs
lola: 4994850 markings, 41113158 edges, 37412 markings/sec, 135 secs
lola: 5177494 markings, 42520295 edges, 36529 markings/sec, 140 secs
lola: 5359313 markings, 43923163 edges, 36364 markings/sec, 145 secs
lola: 5538632 markings, 45323973 edges, 35864 markings/sec, 150 secs
lola: 5716072 markings, 46725806 edges, 35488 markings/sec, 155 secs
lola: 5891650 markings, 48120992 edges, 35116 markings/sec, 160 secs
lola: 6063796 markings, 49517446 edges, 34429 markings/sec, 165 secs
lola: 6235782 markings, 50910494 edges, 34397 markings/sec, 170 secs
lola: 6402446 markings, 52306599 edges, 33333 markings/sec, 175 secs
lola: 6569684 markings, 53676758 edges, 33448 markings/sec, 180 secs
lola: 6716894 markings, 54905387 edges, 29442 markings/sec, 185 secs
lola: 6855081 markings, 56121660 edges, 27637 markings/sec, 190 secs
lola: 6977460 markings, 57362167 edges, 24476 markings/sec, 195 secs
lola: 7098418 markings, 58593074 edges, 24192 markings/sec, 200 secs
lola: 7215951 markings, 59854337 edges, 23507 markings/sec, 205 secs
lola: 7349962 markings, 61145972 edges, 26802 markings/sec, 210 secs
lola: 7466663 markings, 62475644 edges, 23340 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1948)
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: 1290338 markings, 1392325 edges, 258068 markings/sec, 0 secs
lola: 2544808 markings, 2780041 edges, 250894 markings/sec, 5 secs
lola: 3766297 markings, 4174080 edges, 244298 markings/sec, 10 secs
lola: 4946068 markings, 5570500 edges, 235954 markings/sec, 15 secs
lola: 6068860 markings, 6972796 edges, 224558 markings/sec, 20 secs
lola: 7039256 markings, 8278663 edges, 194079 markings/sec, 25 secs
lola: 7767634 markings, 9625369 edges, 145676 markings/sec, 30 secs
lola: 8515203 markings, 10959540 edges, 149514 markings/sec, 35 secs
lola: 9237306 markings, 12320672 edges, 144421 markings/sec, 40 secs
lola: 10415823 markings, 13606533 edges, 235703 markings/sec, 45 secs
lola: 11563523 markings, 14889585 edges, 229540 markings/sec, 50 secs
lola: 12705215 markings, 16207949 edges, 228338 markings/sec, 55 secs
lola: 13806640 markings, 17522795 edges, 220285 markings/sec, 60 secs
lola: 14871911 markings, 18868810 edges, 213054 markings/sec, 65 secs
lola: 15716246 markings, 20080975 edges, 168867 markings/sec, 70 secs
lola: 16386161 markings, 21317978 edges, 133983 markings/sec, 75 secs
lola: 17113858 markings, 22610472 edges, 145539 markings/sec, 80 secs
lola: 17830352 markings, 23949422 edges, 143299 markings/sec, 85 secs
lola: 18907162 markings, 25137478 edges, 215362 markings/sec, 90 secs
lola: 20019839 markings, 26393450 edges, 222535 markings/sec, 95 secs
lola: 21111880 markings, 27668958 edges, 218408 markings/sec, 100 secs
lola: 22174802 markings, 28960885 edges, 212584 markings/sec, 105 secs
lola: 23179883 markings, 30252029 edges, 201016 markings/sec, 110 secs
lola: 23928685 markings, 31446991 edges, 149760 markings/sec, 115 secs
lola: 24588730 markings, 32680543 edges, 132009 markings/sec, 120 secs
lola: 25279247 markings, 33897214 edges, 138103 markings/sec, 125 secs
lola: 26074349 markings, 35201994 edges, 159020 markings/sec, 130 secs
lola: 27172873 markings, 36434777 edges, 219705 markings/sec, 135 secs
lola: 28261185 markings, 37694731 edges, 217662 markings/sec, 140 secs
lola: 29320242 markings, 38962212 edges, 211811 markings/sec, 145 secs
lola: 30336934 markings, 40246906 edges, 203338 markings/sec, 150 secs
lola: 31167271 markings, 41412429 edges, 166067 markings/sec, 155 secs
lola: 31825916 markings, 42631959 edges, 131729 markings/sec, 160 secs
lola: 32506116 markings, 43829833 edges, 136040 markings/sec, 165 secs
lola: 33124944 markings, 45018274 edges, 123766 markings/sec, 170 secs
lola: 34115839 markings, 46253932 edges, 198179 markings/sec, 175 secs
lola: 35175641 markings, 47481755 edges, 211960 markings/sec, 180 secs
lola: 36218717 markings, 48726983 edges, 208615 markings/sec, 185 secs
lola: 37224570 markings, 49994233 edges, 201171 markings/sec, 190 secs
lola: 38061458 markings, 51147641 edges, 167378 markings/sec, 195 secs
lola: 38691482 markings, 52315016 edges, 126005 markings/sec, 200 secs
lola: 39368096 markings, 53502938 edges, 135323 markings/sec, 205 secs
lola: 40009138 markings, 54709391 edges, 128208 markings/sec, 210 secs
lola: 40945388 markings, 55954462 edges, 187250 markings/sec, 215 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1900 + p1901 + p1902 + p1903 + p1904 + p1905 + p1906 + p1907 + p1908 + p1909 + p1910 + p1911 + p1912 + p1913 + p1914 + p1915 + p1916 + p1917 + p1918 + p1890 + p1891 + p1892 + p1893 + p1894 + p1895 + p1896 + p1897 + p1898 + p1899)
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: 777165 markings, 1396905 edges, 155433 markings/sec, 0 secs
lola: 1511764 markings, 2851396 edges, 146920 markings/sec, 5 secs
lola: 2208067 markings, 4243569 edges, 139261 markings/sec, 10 secs
lola: 2865465 markings, 5626539 edges, 131480 markings/sec, 15 secs
lola: 3520709 markings, 6991348 edges, 131049 markings/sec, 20 secs
lola: 4173347 markings, 8414075 edges, 130528 markings/sec, 25 secs
lola: 4821291 markings, 9855201 edges, 129589 markings/sec, 30 secs
lola: 5440402 markings, 11088936 edges, 123822 markings/sec, 35 secs
lola: 6042190 markings, 12337439 edges, 120358 markings/sec, 40 secs
lola: 6635798 markings, 13612434 edges, 118722 markings/sec, 45 secs
lola: 7215291 markings, 14939625 edges, 115899 markings/sec, 50 secs
lola: 7825479 markings, 16268428 edges, 122038 markings/sec, 55 secs
lola: 8414722 markings, 17543552 edges, 117849 markings/sec, 60 secs
lola: 8992994 markings, 18877696 edges, 115654 markings/sec, 65 secs
lola: 9582901 markings, 20223174 edges, 117981 markings/sec, 70 secs
lola: 10161580 markings, 21589394 edges, 115736 markings/sec, 75 secs
lola: 10746827 markings, 22979043 edges, 117049 markings/sec, 80 secs
lola: 11319587 markings, 24433825 edges, 114552 markings/sec, 85 secs
lola: 11930294 markings, 25796750 edges, 122141 markings/sec, 90 secs
lola: 12514111 markings, 26976021 edges, 116763 markings/sec, 95 secs
lola: 13083850 markings, 28154172 edges, 113948 markings/sec, 100 secs
lola: 13630671 markings, 29331865 edges, 109364 markings/sec, 105 secs
lola: 14148042 markings, 30513836 edges, 103474 markings/sec, 110 secs
lola: 14680207 markings, 31712484 edges, 106433 markings/sec, 115 secs
lola: 15248691 markings, 32916182 edges, 113697 markings/sec, 120 secs
lola: 15790241 markings, 34127098 edges, 108310 markings/sec, 125 secs
lola: 16311162 markings, 35350919 edges, 104184 markings/sec, 130 secs
lola: 16861989 markings, 36596052 edges, 110165 markings/sec, 135 secs
lola: 17391856 markings, 37852671 edges, 105973 markings/sec, 140 secs
lola: 17913913 markings, 39128802 edges, 104411 markings/sec, 145 secs
lola: 18426429 markings, 40464853 edges, 102503 markings/sec, 150 secs
lola: 19001869 markings, 41721754 edges, 115088 markings/sec, 155 secs
lola: 19555089 markings, 42913346 edges, 110644 markings/sec, 160 secs
lola: 20077741 markings, 44116551 edges, 104530 markings/sec, 165 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 226 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p60 + p61 + p62 + p63 + p64 + p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 + p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88)
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: 181847 markings, 1324453 edges, 36369 markings/sec, 0 secs
lola: 356121 markings, 2665562 edges, 34855 markings/sec, 5 secs
lola: 514562 markings, 4064288 edges, 31688 markings/sec, 10 secs
lola: 685125 markings, 5413457 edges, 34113 markings/sec, 15 secs
lola: 845845 markings, 6793684 edges, 32144 markings/sec, 20 secs
lola: 1006692 markings, 8169650 edges, 32169 markings/sec, 25 secs
lola: 1161542 markings, 9562796 edges, 30970 markings/sec, 30 secs
lola: 1314017 markings, 10963852 edges, 30495 markings/sec, 35 secs
lola: 1461163 markings, 12381148 edges, 29429 markings/sec, 40 secs
lola: 1595920 markings, 13824289 edges, 26951 markings/sec, 45 secs
lola: 1770061 markings, 15157564 edges, 34828 markings/sec, 50 secs
lola: 1927719 markings, 16543642 edges, 31532 markings/sec, 55 secs
lola: 2089252 markings, 17907338 edges, 32307 markings/sec, 60 secs
lola: 2242368 markings, 19289645 edges, 30623 markings/sec, 65 secs
lola: 2394155 markings, 20680340 edges, 30357 markings/sec, 70 secs
lola: 2538870 markings, 22089015 edges, 28943 markings/sec, 75 secs
lola: 2675461 markings, 23507130 edges, 27318 markings/sec, 80 secs
lola: 2837540 markings, 24871222 edges, 32416 markings/sec, 85 secs
lola: 2991186 markings, 26254291 edges, 30729 markings/sec, 90 secs
lola: 3139734 markings, 27647781 edges, 29710 markings/sec, 95 secs
lola: 3282184 markings, 29059844 edges, 28490 markings/sec, 100 secs
lola: 3422986 markings, 30466853 edges, 28160 markings/sec, 105 secs
lola: 3574793 markings, 31857050 edges, 30361 markings/sec, 110 secs
lola: 3719037 markings, 33260539 edges, 28849 markings/sec, 115 secs
lola: 3853284 markings, 34681212 edges, 26849 markings/sec, 120 secs
lola: 4001151 markings, 36083083 edges, 29573 markings/sec, 125 secs
lola: 4136593 markings, 37503058 edges, 27088 markings/sec, 130 secs
lola: 4277163 markings, 38921899 edges, 28114 markings/sec, 135 secs
lola: 4410046 markings, 40349567 edges, 26577 markings/sec, 140 secs
lola: 4542855 markings, 41780996 edges, 26562 markings/sec, 145 secs
lola: 4669312 markings, 43217253 edges, 25291 markings/sec, 150 secs
lola: 4786385 markings, 44657944 edges, 23415 markings/sec, 155 secs
lola: 4959399 markings, 45987097 edges, 34603 markings/sec, 160 secs
lola: 5115689 markings, 47359650 edges, 31258 markings/sec, 165 secs
lola: 5276546 markings, 48719562 edges, 32171 markings/sec, 170 secs
lola: 5429405 markings, 50100742 edges, 30572 markings/sec, 175 secs
lola: 5580849 markings, 51485297 edges, 30289 markings/sec, 180 secs
lola: 5725131 markings, 52890562 edges, 28856 markings/sec, 185 secs
lola: 5860649 markings, 54306210 edges, 27104 markings/sec, 190 secs
lola: 6022238 markings, 55659659 edges, 32318 markings/sec, 195 secs
lola: 6174670 markings, 57033125 edges, 30486 markings/sec, 200 secs
lola: 6321891 markings, 58406916 edges, 29444 markings/sec, 205 secs
lola: 6461328 markings, 59793796 edges, 27887 markings/sec, 210 secs
lola: 6598765 markings, 61174485 edges, 27487 markings/sec, 215 secs
lola: 6747356 markings, 62542526 edges, 29718 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 226 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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 + p2068 + p2069 + p2098 + p2127 + p2156 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2185 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2446 + p241... (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: 349302 markings, 1103914 edges, 69860 markings/sec, 0 secs
lola: 661866 markings, 2146197 edges, 62513 markings/sec, 5 secs
lola: 959750 markings, 3289054 edges, 59577 markings/sec, 10 secs
lola: 1252360 markings, 4320638 edges, 58522 markings/sec, 15 secs
lola: 1538004 markings, 5351362 edges, 57129 markings/sec, 20 secs
lola: 1816770 markings, 6427411 edges, 55753 markings/sec, 25 secs
lola: 2091225 markings, 7512499 edges, 54891 markings/sec, 30 secs
lola: 2367529 markings, 8611931 edges, 55261 markings/sec, 35 secs
lola: 2639639 markings, 9765810 edges, 54422 markings/sec, 40 secs
lola: 2916432 markings, 10901299 edges, 55359 markings/sec, 45 secs
lola: 3185036 markings, 11860513 edges, 53721 markings/sec, 50 secs
lola: 3438411 markings, 12842494 edges, 50675 markings/sec, 55 secs
lola: 3707495 markings, 13821712 edges, 53817 markings/sec, 60 secs
lola: 3961234 markings, 14833676 edges, 50748 markings/sec, 65 secs
lola: 4216864 markings, 15872774 edges, 51126 markings/sec, 70 secs
lola: 4467052 markings, 16963924 edges, 50038 markings/sec, 75 secs
lola: 4731449 markings, 18061186 edges, 52879 markings/sec, 80 secs
lola: 4987640 markings, 19058226 edges, 51238 markings/sec, 85 secs
lola: 5246404 markings, 20078288 edges, 51753 markings/sec, 90 secs
lola: 5496952 markings, 21143536 edges, 50110 markings/sec, 95 secs
lola: 5743564 markings, 22281965 edges, 49322 markings/sec, 100 secs
lola: 5999284 markings, 23317465 edges, 51144 markings/sec, 105 secs
lola: 6254350 markings, 24393144 edges, 51013 markings/sec, 110 secs
lola: 6504535 markings, 25525776 edges, 50037 markings/sec, 115 secs
lola: 6752404 markings, 26642722 edges, 49574 markings/sec, 120 secs
lola: 7000199 markings, 27802930 edges, 49559 markings/sec, 125 secs
lola: 7243642 markings, 29014679 edges, 48689 markings/sec, 130 secs
lola: 7504366 markings, 30155410 edges, 52145 markings/sec, 135 secs
lola: 7765799 markings, 31080007 edges, 52287 markings/sec, 140 secs
lola: 8010263 markings, 32025046 edges, 48893 markings/sec, 145 secs
lola: 8264761 markings, 32957494 edges, 50900 markings/sec, 150 secs
lola: 8500363 markings, 33914629 edges, 47120 markings/sec, 155 secs
lola: 8741418 markings, 34871143 edges, 48211 markings/sec, 160 secs
lola: 8972185 markings, 35845913 edges, 46153 markings/sec, 165 secs
lola: 9184740 markings, 36852481 edges, 42511 markings/sec, 170 secs
lola: 9446499 markings, 37788976 edges, 52352 markings/sec, 175 secs
lola: 9689828 markings, 38755801 edges, 48666 markings/sec, 180 secs
lola: 9929080 markings, 39733019 edges, 47850 markings/sec, 185 secs
lola: 10158537 markings, 40731193 edges, 45891 markings/sec, 190 secs
lola: 10387662 markings, 41739211 edges, 45825 markings/sec, 195 secs
lola: 10631250 markings, 42734101 edges, 48718 markings/sec, 200 secs
lola: 10864230 markings, 43753752 edges, 46596 markings/sec, 205 secs
lola: 11095259 markings, 44791745 edges, 46206 markings/sec, 210 secs
lola: 11329609 markings, 45842147 edges, 46870 markings/sec, 215 secs
lola: 11559938 markings, 46918729 edges, 46066 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 226 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2010 + p2011 + p2012 + p2013 + p2014 + p2015 + p2016 + p2017 + p2018 + p2019 + p2020 + p2021 + p2022 + p2023 + p2024 + p2025 + p2026 + p2027 + p2028 + p2029 + p2030 + p2031 + p2032 + p2033 + p2034 + p2035 + p2036 + p2037 + p2038)
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: 682110 markings, 827072 edges, 136422 markings/sec, 0 secs
lola: 1323172 markings, 1658660 edges, 128212 markings/sec, 5 secs
lola: 1933589 markings, 2524518 edges, 122083 markings/sec, 10 secs
lola: 2505800 markings, 3443826 edges, 114442 markings/sec, 15 secs
lola: 2954084 markings, 4442694 edges, 89657 markings/sec, 20 secs
lola: 3337566 markings, 5524273 edges, 76696 markings/sec, 25 secs
lola: 3690451 markings, 6676297 edges, 70577 markings/sec, 30 secs
lola: 4289148 markings, 7497914 edges, 119739 markings/sec, 35 secs
lola: 4896701 markings, 8297973 edges, 121511 markings/sec, 40 secs
lola: 5478343 markings, 9139206 edges, 116328 markings/sec, 45 secs
lola: 6028129 markings, 10032202 edges, 109957 markings/sec, 50 secs
lola: 6445272 markings, 10981549 edges, 83429 markings/sec, 55 secs
lola: 6808974 markings, 12006771 edges, 72740 markings/sec, 60 secs
lola: 7157883 markings, 13150205 edges, 69782 markings/sec, 65 secs
lola: 7727494 markings, 13974348 edges, 113922 markings/sec, 70 secs
lola: 8313567 markings, 14765338 edges, 117215 markings/sec, 75 secs
lola: 8873500 markings, 15596294 edges, 111987 markings/sec, 80 secs
lola: 9397403 markings, 16474802 edges, 104781 markings/sec, 85 secs
lola: 9780899 markings, 17445702 edges, 76699 markings/sec, 90 secs
lola: 10127542 markings, 18476447 edges, 69329 markings/sec, 95 secs
lola: 10436497 markings, 19483737 edges, 61791 markings/sec, 100 secs
lola: 10822576 markings, 20022607 edges, 77216 markings/sec, 105 secs
lola: 11216932 markings, 20551787 edges, 78871 markings/sec, 110 secs
lola: 11596280 markings, 21093730 edges, 75870 markings/sec, 115 secs
lola: 11964842 markings, 21655212 edges, 73712 markings/sec, 120 secs
lola: 12317252 markings, 22246185 edges, 70482 markings/sec, 125 secs
lola: 12616558 markings, 22833190 edges, 59861 markings/sec, 130 secs
lola: 12841301 markings, 23518605 edges, 44949 markings/sec, 135 secs
lola: 13079570 markings, 24181434 edges, 47654 markings/sec, 140 secs
lola: 13300032 markings, 24872773 edges, 44092 markings/sec, 145 secs
lola: 13532514 markings, 25575574 edges, 46496 markings/sec, 150 secs
lola: 13927471 markings, 26098067 edges, 78991 markings/sec, 155 secs
lola: 14312075 markings, 26635106 edges, 76921 markings/sec, 160 secs
lola: 14682106 markings, 27189035 edges, 74006 markings/sec, 165 secs
lola: 15034440 markings, 27769417 edges, 70467 markings/sec, 170 secs
lola: 15361285 markings, 28344320 edges, 65369 markings/sec, 175 secs
lola: 15592304 markings, 29024692 edges, 46204 markings/sec, 180 secs
lola: 15812880 markings, 29710947 edges, 44115 markings/sec, 185 secs
lola: 16051126 markings, 30369810 edges, 47649 markings/sec, 190 secs
lola: 16264800 markings, 31062937 edges, 42735 markings/sec, 195 secs
lola: 16620690 markings, 31633517 edges, 71178 markings/sec, 200 secs
lola: 16999765 markings, 32171604 edges, 75815 markings/sec, 205 secs
lola: 17361901 markings, 32726605 edges, 72427 markings/sec, 210 secs
lola: 17715287 markings, 33308655 edges, 70677 markings/sec, 215 secs
lola: 18025569 markings, 33877167 edges, 62056 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 226 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2010 + p2011 + p2012 + p2013 + p2014 + p2015 + p2016 + p2017 + p2018 + p2019 + p2020 + p2021 + p2022 + p2023 + p2024 + p2025 + p2026 + p2027 + p2028 + p2029 + p2030 + p2031 + p2032 + p2033 + p2034 + p2035 + p2036 + p2037 + p2038)
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: 699272 markings, 847903 edges, 139854 markings/sec, 0 secs
lola: 1354115 markings, 1699243 edges, 130969 markings/sec, 5 secs
lola: 1973544 markings, 2585026 edges, 123886 markings/sec, 10 secs
lola: 2555731 markings, 3532880 edges, 116437 markings/sec, 15 secs
lola: 2992654 markings, 4576883 edges, 87385 markings/sec, 20 secs
lola: 3384246 markings, 5689389 edges, 78318 markings/sec, 25 secs
lola: 3759062 markings, 6844727 edges, 74963 markings/sec, 30 secs
lola: 4404089 markings, 7646948 edges, 129005 markings/sec, 35 secs
lola: 4991291 markings, 8431530 edges, 117440 markings/sec, 40 secs
lola: 5571276 markings, 9280336 edges, 115997 markings/sec, 45 secs
lola: 6117435 markings, 10188291 edges, 109232 markings/sec, 50 secs
lola: 6509936 markings, 11167048 edges, 78500 markings/sec, 55 secs
lola: 6875858 markings, 12241214 edges, 73184 markings/sec, 60 secs
lola: 7238757 markings, 13359276 edges, 72580 markings/sec, 65 secs
lola: 7863484 markings, 14154741 edges, 124945 markings/sec, 70 secs
lola: 8464666 markings, 14980280 edges, 120236 markings/sec, 75 secs
lola: 9024175 markings, 15837669 edges, 111902 markings/sec, 80 secs
lola: 9528309 markings, 16716372 edges, 100827 markings/sec, 85 secs
lola: 9878466 markings, 17764022 edges, 70031 markings/sec, 90 secs
lola: 10225269 markings, 18805231 edges, 69361 markings/sec, 95 secs
lola: 10660646 markings, 19816644 edges, 87075 markings/sec, 100 secs
lola: 11252209 markings, 20604553 edges, 118313 markings/sec, 105 secs
lola: 11819332 markings, 21426768 edges, 113425 markings/sec, 110 secs
lola: 12351427 markings, 22310800 edges, 106419 markings/sec, 115 secs
lola: 12749903 markings, 23263988 edges, 79695 markings/sec, 120 secs
lola: 13110223 markings, 24271444 edges, 72064 markings/sec, 125 secs
lola: 13440474 markings, 25348767 edges, 66050 markings/sec, 130 secs
lola: 13994024 markings, 26188097 edges, 110710 markings/sec, 135 secs
lola: 14560288 markings, 27002886 edges, 113253 markings/sec, 140 secs
lola: 15096416 markings, 27869805 edges, 107226 markings/sec, 145 secs
lola: 15510274 markings, 28757595 edges, 82772 markings/sec, 150 secs
lola: 15866231 markings, 29812996 edges, 71191 markings/sec, 155 secs
lola: 16210668 markings, 30883042 edges, 68887 markings/sec, 160 secs
lola: 16730464 markings, 31786571 edges, 103959 markings/sec, 165 secs
lola: 17299927 markings, 32622946 edges, 113893 markings/sec, 170 secs
lola: 17831739 markings, 33510549 edges, 106362 markings/sec, 175 secs
lola: 18225691 markings, 34492143 edges, 78790 markings/sec, 180 secs
lola: 18581427 markings, 35530794 edges, 71147 markings/sec, 185 secs
lola: 18910929 markings, 36615585 edges, 65900 markings/sec, 190 secs
lola: 19489055 markings, 37443870 edges, 115625 markings/sec, 195 secs
lola: 20036598 markings, 38308686 edges, 109509 markings/sec, 200 secs
lola: 20495558 markings, 39219873 edges, 91792 markings/sec, 205 secs
lola: 20835608 markings, 40291225 edges, 68010 markings/sec, 210 secs
lola: 21193567 markings, 41310445 edges, 71592 markings/sec, 215 secs
lola: 21657169 markings, 42262199 edges, 92720 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 226 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1952 + p1953 + p1954 + p1955 + p1956 + p1957 + p1958 + p1959 + p1960 + p1961 + p1962 + p1963 + p1964 + p1965 + p1966 + p1967 + p1968 + p1969 + p1970 + p1971 + p1972 + p1973 + p1974 + p1975 + p1976 + p1977 + p1978 + p1979 + p1980)
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: 768149 markings, 1381050 edges, 153630 markings/sec, 0 secs
lola: 1452843 markings, 2731508 edges, 136939 markings/sec, 5 secs
lola: 2101258 markings, 4038592 edges, 129683 markings/sec, 10 secs
lola: 2718567 markings, 5290704 edges, 123462 markings/sec, 15 secs
lola: 3328204 markings, 6550705 edges, 121927 markings/sec, 20 secs
lola: 3924049 markings, 7855553 edges, 119169 markings/sec, 25 secs
lola: 4513925 markings, 9244555 edges, 117975 markings/sec, 30 secs
lola: 5118741 markings, 10430278 edges, 120963 markings/sec, 35 secs
lola: 5654868 markings, 11563679 edges, 107225 markings/sec, 40 secs
lola: 6226544 markings, 12726861 edges, 114335 markings/sec, 45 secs
lola: 6773049 markings, 13920998 edges, 109301 markings/sec, 50 secs
lola: 7312057 markings, 15178397 edges, 107802 markings/sec, 55 secs
lola: 7876829 markings, 16385234 edges, 112954 markings/sec, 60 secs
lola: 8419324 markings, 17554258 edges, 108499 markings/sec, 65 secs
lola: 8953892 markings, 18777143 edges, 106914 markings/sec, 70 secs
lola: 9503312 markings, 20032631 edges, 109884 markings/sec, 75 secs
lola: 10036737 markings, 21271323 edges, 106685 markings/sec, 80 secs
lola: 10578512 markings, 22558470 edges, 108355 markings/sec, 85 secs
lola: 11112455 markings, 23893995 edges, 106789 markings/sec, 90 secs
lola: 11663798 markings, 25292900 edges, 110269 markings/sec, 95 secs
lola: 12223098 markings, 26373450 edges, 111860 markings/sec, 100 secs
lola: 12731834 markings, 27455220 edges, 101747 markings/sec, 105 secs
lola: 13258804 markings, 28530328 edges, 105394 markings/sec, 110 secs
lola: 13755864 markings, 29614353 edges, 99412 markings/sec, 115 secs
lola: 14224939 markings, 30703399 edges, 93815 markings/sec, 120 secs
lola: 14732296 markings, 31812008 edges, 101471 markings/sec, 125 secs
lola: 15252379 markings, 32924123 edges, 104017 markings/sec, 130 secs
lola: 15755955 markings, 34042726 edges, 100715 markings/sec, 135 secs
lola: 16226331 markings, 35179378 edges, 94075 markings/sec, 140 secs
lola: 16750636 markings, 36323984 edges, 104861 markings/sec, 145 secs
lola: 17229648 markings, 37495064 edges, 95802 markings/sec, 150 secs
lola: 17735408 markings, 38687121 edges, 101152 markings/sec, 155 secs
lola: 18221648 markings, 39913356 edges, 97248 markings/sec, 160 secs
lola: 18739189 markings, 41177876 edges, 103508 markings/sec, 165 secs
lola: 19245734 markings, 42270163 edges, 101309 markings/sec, 170 secs
lola: 19756410 markings, 43370051 edges, 102135 markings/sec, 175 secs
lola: 20223510 markings, 44481758 edges, 93420 markings/sec, 180 secs
lola: 20725721 markings, 45612593 edges, 100442 markings/sec, 185 secs
lola: 21218894 markings, 46753327 edges, 98635 markings/sec, 190 secs
lola: 21712716 markings, 47920557 edges, 98764 markings/sec, 195 secs
lola: 22195719 markings, 49124753 edges, 96601 markings/sec, 200 secs
lola: 22671097 markings, 50414646 edges, 95076 markings/sec, 205 secs
lola: 23200324 markings, 51560502 edges, 105845 markings/sec, 210 secs
lola: 23679420 markings, 52713459 edges, 95819 markings/sec, 215 secs
lola: 24181185 markings, 53889911 edges, 100353 markings/sec, 220 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 226 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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: 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 302 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1802 + p1801 + p1800 + p1799 + p1798 + p1797 + p1796 + p1795 + p1794 + p1793 + p1792 + p1791 + p1790 + p1789 + p1788 + p1787 + p1786 + p1785 + p1784 + p1783 + p1782 + p1781 + p1780 + p1779 + p1778 + p1777 + p1776 + p1775 + p1774)
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: 329763 markings, 1025051 edges, 65953 markings/sec, 0 secs
lola: 613847 markings, 2051576 edges, 56817 markings/sec, 5 secs
lola: 890445 markings, 3017388 edges, 55320 markings/sec, 10 secs
lola: 1151314 markings, 4000115 edges, 52174 markings/sec, 15 secs
lola: 1408446 markings, 4983072 edges, 51426 markings/sec, 20 secs
lola: 1657153 markings, 6002730 edges, 49741 markings/sec, 25 secs
lola: 1912581 markings, 7007322 edges, 51086 markings/sec, 30 secs
lola: 2160271 markings, 7901667 edges, 49538 markings/sec, 35 secs
lola: 2403497 markings, 8812940 edges, 48645 markings/sec, 40 secs
lola: 2640540 markings, 9748388 edges, 47409 markings/sec, 45 secs
lola: 2868668 markings, 10726186 edges, 45626 markings/sec, 50 secs
lola: 3113558 markings, 11670460 edges, 48978 markings/sec, 55 secs
lola: 3347292 markings, 12600011 edges, 46747 markings/sec, 60 secs
lola: 3573737 markings, 13581368 edges, 45289 markings/sec, 65 secs
lola: 3811411 markings, 14555231 edges, 47535 markings/sec, 70 secs
lola: 4036592 markings, 15567596 edges, 45036 markings/sec, 75 secs
lola: 4265775 markings, 16572044 edges, 45837 markings/sec, 80 secs
lola: 4488280 markings, 17622800 edges, 44501 markings/sec, 85 secs
lola: 4729992 markings, 18607163 edges, 48342 markings/sec, 90 secs
lola: 4968637 markings, 19473761 edges, 47729 markings/sec, 95 secs
lola: 5202246 markings, 20342948 edges, 46722 markings/sec, 100 secs
lola: 5425244 markings, 21220215 edges, 44600 markings/sec, 105 secs
lola: 5632530 markings, 22105544 edges, 41457 markings/sec, 110 secs
lola: 5857551 markings, 22994084 edges, 45004 markings/sec, 115 secs
lola: 6085343 markings, 23884119 edges, 45558 markings/sec, 120 secs
lola: 6300816 markings, 24786511 edges, 43095 markings/sec, 125 secs
lola: 6517082 markings, 25705267 edges, 43253 markings/sec, 130 secs
lola: 6737228 markings, 26633658 edges, 44029 markings/sec, 135 secs
lola: 6950788 markings, 27577097 edges, 42712 markings/sec, 140 secs
lola: 7160835 markings, 28542177 edges, 42009 markings/sec, 145 secs
lola: 7362069 markings, 29556765 edges, 40247 markings/sec, 150 secs
lola: 7601867 markings, 30455592 edges, 47960 markings/sec, 155 secs
lola: 7822460 markings, 31344885 edges, 44119 markings/sec, 160 secs
lola: 8031909 markings, 32246758 edges, 41890 markings/sec, 165 secs
lola: 8227660 markings, 33048985 edges, 39150 markings/sec, 170 secs
lola: 8443916 markings, 33980405 edges, 43251 markings/sec, 175 secs
lola: 8659260 markings, 34929973 edges, 43069 markings/sec, 180 secs
lola: 8867388 markings, 35903504 edges, 41626 markings/sec, 185 secs
lola: 9077017 markings, 36920701 edges, 41926 markings/sec, 190 secs
lola: 9305536 markings, 37845704 edges, 45704 markings/sec, 195 secs
lola: 9518055 markings, 38788799 edges, 42504 markings/sec, 200 secs
lola: 9730577 markings, 39751534 edges, 42504 markings/sec, 205 secs
lola: 9939507 markings, 40753252 edges, 41786 markings/sec, 210 secs
lola: 10160698 markings, 41766829 edges, 44238 markings/sec, 215 secs
lola: 10375582 markings, 42766138 edges, 42977 markings/sec, 220 secs
lola: 10584935 markings, 43820858 edges, 41871 markings/sec, 225 secs
lola: 10799739 markings, 44846711 edges, 42961 markings/sec, 230 secs
lola: 11008626 markings, 45918889 edges, 41777 markings/sec, 235 secs
lola: 11212900 markings, 47045466 edges, 40855 markings/sec, 240 secs
lola: 11470150 markings, 47943079 edges, 51450 markings/sec, 245 secs
lola: 11698319 markings, 48815278 edges, 45634 markings/sec, 250 secs
lola: 11927705 markings, 49683216 edges, 45877 markings/sec, 255 secs
lola: 12149084 markings, 50559447 edges, 44276 markings/sec, 260 secs
lola: 12346593 markings, 51446507 edges, 39502 markings/sec, 265 secs
lola: 12582076 markings, 52312901 edges, 47097 markings/sec, 270 secs
lola: 12798859 markings, 53184403 edges, 43357 markings/sec, 275 secs
lola: 13004064 markings, 54064461 edges, 41041 markings/sec, 280 secs
lola: 13216221 markings, 54945579 edges, 42431 markings/sec, 285 secs
lola: 13423102 markings, 55833862 edges, 41376 markings/sec, 290 secs
lola: 13626039 markings, 56722779 edges, 40587 markings/sec, 295 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 301 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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 + p2068 + p2069 + p2098 + p2127 + p2156 + p2852 + p2823 + p2794 + p2765 + p2736 + p2707 + p2185 + p2678 + p2649 + p2620 + p2591 + p2562 + p2533 + p2504 + p2475 + p2446 + p241... (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: 342394 markings, 1087727 edges, 68479 markings/sec, 0 secs
lola: 664359 markings, 2153963 edges, 64393 markings/sec, 5 secs
lola: 967284 markings, 3325933 edges, 60585 markings/sec, 10 secs
lola: 1269064 markings, 4370182 edges, 60356 markings/sec, 15 secs
lola: 1557821 markings, 5432435 edges, 57751 markings/sec, 20 secs
lola: 1844664 markings, 6526039 edges, 57369 markings/sec, 25 secs
lola: 2126468 markings, 7644140 edges, 56361 markings/sec, 30 secs
lola: 2408366 markings, 8773724 edges, 56380 markings/sec, 35 secs
lola: 2682885 markings, 9966080 edges, 54904 markings/sec, 40 secs
lola: 2969639 markings, 11082080 edges, 57351 markings/sec, 45 secs
lola: 3247344 markings, 12072460 edges, 55541 markings/sec, 50 secs
lola: 3507129 markings, 13098434 edges, 51957 markings/sec, 55 secs
lola: 3782699 markings, 14113407 edges, 55114 markings/sec, 60 secs
lola: 4044595 markings, 15153565 edges, 52379 markings/sec, 65 secs
lola: 4300077 markings, 16217657 edges, 51096 markings/sec, 70 secs
lola: 4549551 markings, 17362861 edges, 49895 markings/sec, 75 secs
lola: 4822898 markings, 18390873 edges, 54669 markings/sec, 80 secs
lola: 5078918 markings, 19414954 edges, 51204 markings/sec, 85 secs
lola: 5336658 markings, 20460169 edges, 51548 markings/sec, 90 secs
lola: 5587709 markings, 21553894 edges, 50210 markings/sec, 95 secs
lola: 5845817 markings, 22666222 edges, 51622 markings/sec, 100 secs
lola: 6102869 markings, 23727904 edges, 51410 markings/sec, 105 secs
lola: 6351763 markings, 24851176 edges, 49779 markings/sec, 110 secs
lola: 6606936 markings, 25975755 edges, 51035 markings/sec, 115 secs
lola: 6855837 markings, 27141145 edges, 49780 markings/sec, 120 secs
lola: 7104652 markings, 28318028 edges, 49763 markings/sec, 125 secs
lola: 7347222 markings, 29574842 edges, 48514 markings/sec, 130 secs
lola: 7619930 markings, 30575504 edges, 54542 markings/sec, 135 secs
lola: 7883915 markings, 31516014 edges, 52797 markings/sec, 140 secs
lola: 8133340 markings, 32479796 edges, 49885 markings/sec, 145 secs
lola: 8386693 markings, 33432789 edges, 50671 markings/sec, 150 secs
lola: 8631413 markings, 34403155 edges, 48944 markings/sec, 155 secs
lola: 8867613 markings, 35387505 edges, 47240 markings/sec, 160 secs
lola: 9092176 markings, 36395321 edges, 44913 markings/sec, 165 secs
lola: 9335961 markings, 37385987 edges, 48757 markings/sec, 170 secs
lola: 9587927 markings, 38366828 edges, 50393 markings/sec, 175 secs
lola: 9839186 markings, 39352465 edges, 50252 markings/sec, 180 secs
lola: 10075801 markings, 40363423 edges, 47323 markings/sec, 185 secs
lola: 10296347 markings, 41403133 edges, 44109 markings/sec, 190 secs
lola: 10552298 markings, 42408498 edges, 51190 markings/sec, 195 secs
lola: 10794612 markings, 43437918 edges, 48463 markings/sec, 200 secs
lola: 11022086 markings, 44502301 edges, 45495 markings/sec, 205 secs
lola: 11267023 markings, 45553250 edges, 48987 markings/sec, 210 secs
lola: 11499240 markings, 46639362 edges, 46443 markings/sec, 215 secs
lola: 11729232 markings, 47750507 edges, 45998 markings/sec, 220 secs
lola: 11953487 markings, 48937803 edges, 44851 markings/sec, 225 secs
lola: 12220289 markings, 49917279 edges, 53360 markings/sec, 230 secs
lola: 12467422 markings, 50903868 edges, 49427 markings/sec, 235 secs
lola: 12710719 markings, 51895591 edges, 48659 markings/sec, 240 secs
lola: 12945728 markings, 52907976 edges, 47002 markings/sec, 245 secs
lola: 13178299 markings, 53936631 edges, 46514 markings/sec, 250 secs
lola: 13425256 markings, 54945188 edges, 49391 markings/sec, 255 secs
lola: 13650810 markings, 55937101 edges, 45111 markings/sec, 260 secs
lola: 13881668 markings, 56970529 edges, 46172 markings/sec, 265 secs
lola: 14115929 markings, 58014474 edges, 46852 markings/sec, 270 secs
lola: 14345473 markings, 59090326 edges, 45909 markings/sec, 275 secs
lola: 14570536 markings, 60199675 edges, 45013 markings/sec, 280 secs
lola: 14802318 markings, 61374730 edges, 46356 markings/sec, 285 secs
lola: 15053232 markings, 62390716 edges, 50183 markings/sec, 290 secs
lola: 15290719 markings, 63394753 edges, 47497 markings/sec, 295 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 302 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1832 + p1833 + p1834 + p1835 + p1836 + p1837 + p1838 + p1839 + p1840 + p1841 + p1842 + p1843 + p1844 + p1845 + p1846 + p1847 + p1848 + p1849 + p1850 + p1851 + p1852 + p1853 + p1854 + p1855 + p1856 + p1857 + p1858 + p1859 + p1860)
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: 301543 markings, 925817 edges, 60309 markings/sec, 0 secs
lola: 620012 markings, 2006915 edges, 63694 markings/sec, 5 secs
lola: 925854 markings, 3144222 edges, 61168 markings/sec, 10 secs
lola: 1226499 markings, 4231840 edges, 60129 markings/sec, 15 secs
lola: 1520767 markings, 5288051 edges, 58854 markings/sec, 20 secs
lola: 1809284 markings, 6395751 edges, 57703 markings/sec, 25 secs
lola: 2091390 markings, 7513056 edges, 56421 markings/sec, 30 secs
lola: 2375230 markings, 8651678 edges, 56768 markings/sec, 35 secs
lola: 2654318 markings, 9842133 edges, 55818 markings/sec, 40 secs
lola: 2942723 markings, 10987825 edges, 57681 markings/sec, 45 secs
lola: 3219840 markings, 11973861 edges, 55423 markings/sec, 50 secs
lola: 3478570 markings, 13010291 edges, 51746 markings/sec, 55 secs
lola: 3760753 markings, 14024160 edges, 56437 markings/sec, 60 secs
lola: 4024792 markings, 15081721 edges, 52808 markings/sec, 65 secs
lola: 4288963 markings, 16170451 edges, 52834 markings/sec, 70 secs
lola: 4542836 markings, 17328003 edges, 50775 markings/sec, 75 secs
lola: 4822289 markings, 18388238 edges, 55891 markings/sec, 80 secs
lola: 5084910 markings, 19440279 edges, 52524 markings/sec, 85 secs
lola: 5349739 markings, 20511981 edges, 52966 markings/sec, 90 secs
lola: 5607088 markings, 21638703 edges, 51470 markings/sec, 95 secs
lola: 5873216 markings, 22770272 edges, 53226 markings/sec, 100 secs
lola: 6134975 markings, 23865671 edges, 52352 markings/sec, 105 secs
lola: 6387362 markings, 25034495 edges, 50477 markings/sec, 110 secs
lola: 6651979 markings, 26171572 edges, 52923 markings/sec, 115 secs
lola: 6907688 markings, 27366291 edges, 51142 markings/sec, 120 secs
lola: 7160629 markings, 28587833 edges, 50588 markings/sec, 125 secs
lola: 7416090 markings, 29876420 edges, 51092 markings/sec, 130 secs
lola: 7699152 markings, 30828602 edges, 56612 markings/sec, 135 secs
lola: 7959059 markings, 31807775 edges, 51981 markings/sec, 140 secs
lola: 8216644 markings, 32791870 edges, 51517 markings/sec, 145 secs
lola: 8467529 markings, 33782842 edges, 50177 markings/sec, 150 secs
lola: 8721024 markings, 34777718 edges, 50699 markings/sec, 155 secs
lola: 8960809 markings, 35794320 edges, 47957 markings/sec, 160 secs
lola: 9182450 markings, 36846292 edges, 44328 markings/sec, 165 secs
lola: 9457579 markings, 37826400 edges, 55026 markings/sec, 170 secs
lola: 9710220 markings, 38841056 edges, 50528 markings/sec, 175 secs
lola: 9961858 markings, 39867009 edges, 50328 markings/sec, 180 secs
lola: 10199940 markings, 40915211 edges, 47616 markings/sec, 185 secs
lola: 10446681 markings, 41965912 edges, 49348 markings/sec, 190 secs
lola: 10699128 markings, 43014921 edges, 50489 markings/sec, 195 secs
lola: 10936746 markings, 44092661 edges, 47524 markings/sec, 200 secs
lola: 11181774 markings, 45177999 edges, 49006 markings/sec, 205 secs
lola: 11417260 markings, 46293610 edges, 47097 markings/sec, 210 secs
lola: 11657295 markings, 47415706 edges, 48007 markings/sec, 215 secs
lola: 11893162 markings, 48597058 edges, 47173 markings/sec, 220 secs
lola: 12156258 markings, 49678841 edges, 52619 markings/sec, 225 secs
lola: 12406240 markings, 50695235 edges, 49996 markings/sec, 230 secs
lola: 12663444 markings, 51702619 edges, 51441 markings/sec, 235 secs
lola: 12909051 markings, 52736663 edges, 49121 markings/sec, 240 secs
lola: 13141311 markings, 53800843 edges, 46452 markings/sec, 245 secs
lola: 13396626 markings, 54835446 edges, 51063 markings/sec, 250 secs
lola: 13642886 markings, 55892593 edges, 49252 markings/sec, 255 secs
lola: 13882375 markings, 56973282 edges, 47898 markings/sec, 260 secs
lola: 14125761 markings, 58065322 edges, 48677 markings/sec, 265 secs
lola: 14364498 markings, 59181783 edges, 47747 markings/sec, 270 secs
lola: 14596373 markings, 60342050 edges, 46375 markings/sec, 275 secs
lola: 14841618 markings, 61517160 edges, 49049 markings/sec, 280 secs
lola: 15097499 markings, 62562131 edges, 51176 markings/sec, 285 secs
lola: 15341261 markings, 63630570 edges, 48752 markings/sec, 290 secs
lola: 15583880 markings, 64715829 edges, 48524 markings/sec, 295 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 1496377427683

--------------------
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="S_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/S_QuasiCertifProtocol-COL-28.tgz
mv S_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 S_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 r138-smll-149479231700227"
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 ;