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-3253
Executing tool lola
Input is CloudDeployment-PT-6b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436308800047
=====================================================================

--------------------
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 CloudDeployment-PT-6b-UpperBounds-0
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-1
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-10
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-11
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-12
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-13
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-14
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-15
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-2
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-3
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-4
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-5
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-6
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-7
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-8
FORMULA_NAME CloudDeployment-PT-6b-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494615034831


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ CloudDeployment-PT-6b @ 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: 8692/65536 symbol table entries, 2115 collisions
lola: preprocessing...
lola: finding significant places
lola: 1888 places, 6804 transitions, 1863 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2833 transition conflict sets
lola: TASK
lola: reading formula from CloudDeployment-PT-6b-UpperBounds.task
lola: MAX(p316) : MAX(p1692) : MAX(p1484) : MAX(p1886) : MAX(p1737) : MAX(p802) : MAX(p358) : MAX(p757) : MAX(p764) : MAX(p205) : MAX(p996) : MAX(p348) : MAX(p1090) : MAX(p1489) : MAX(p645) : MAX(p1374)
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(p316)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 96902 markings, 124896 edges, 19380 markings/sec, 0 secs
lola: 194628 markings, 258399 edges, 19545 markings/sec, 5 secs
lola: 315287 markings, 393100 edges, 24132 markings/sec, 10 secs
lola: 406625 markings, 542257 edges, 18268 markings/sec, 15 secs
lola: 529801 markings, 679893 edges, 24635 markings/sec, 20 secs
lola: 619230 markings, 829492 edges, 17886 markings/sec, 25 secs
lola: 744612 markings, 966105 edges, 25076 markings/sec, 30 secs
lola: 837152 markings, 1096533 edges, 18508 markings/sec, 35 secs
lola: 963165 markings, 1233391 edges, 25203 markings/sec, 40 secs
lola: 1045886 markings, 1400512 edges, 16544 markings/sec, 45 secs
lola: 1171681 markings, 1539920 edges, 25159 markings/sec, 50 secs
lola: 1261391 markings, 1686494 edges, 17942 markings/sec, 55 secs
lola: 1385569 markings, 1826081 edges, 24836 markings/sec, 60 secs
lola: 1483073 markings, 1954814 edges, 19501 markings/sec, 65 secs
lola: 1602226 markings, 2090688 edges, 23831 markings/sec, 70 secs
lola: 1700477 markings, 2232555 edges, 19650 markings/sec, 75 secs
lola: 1813179 markings, 2373950 edges, 22540 markings/sec, 80 secs
lola: 1925208 markings, 2511074 edges, 22406 markings/sec, 85 secs
lola: 2015236 markings, 2665791 edges, 18006 markings/sec, 90 secs
lola: 2094286 markings, 2831646 edges, 15810 markings/sec, 95 secs
lola: 2173665 markings, 2995023 edges, 15876 markings/sec, 100 secs
lola: 2272437 markings, 3152907 edges, 19754 markings/sec, 105 secs
lola: 2398540 markings, 3288043 edges, 25221 markings/sec, 110 secs
lola: 2524875 markings, 3423477 edges, 25267 markings/sec, 115 secs
lola: 2651475 markings, 3559956 edges, 25320 markings/sec, 120 secs
lola: 2766573 markings, 3698132 edges, 23020 markings/sec, 125 secs
lola: 2859331 markings, 3845146 edges, 18552 markings/sec, 130 secs
lola: 2977889 markings, 3981019 edges, 23712 markings/sec, 135 secs
lola: 3067771 markings, 4129188 edges, 17976 markings/sec, 140 secs
lola: 3189948 markings, 4264594 edges, 24435 markings/sec, 145 secs
lola: 3277301 markings, 4412320 edges, 17471 markings/sec, 150 secs
lola: 3401461 markings, 4548017 edges, 24832 markings/sec, 155 secs
lola: 3504703 markings, 4685534 edges, 20648 markings/sec, 160 secs
lola: 3615833 markings, 4812359 edges, 22226 markings/sec, 165 secs
lola: 3717371 markings, 4951017 edges, 20308 markings/sec, 170 secs
lola: 3830718 markings, 5077452 edges, 22669 markings/sec, 175 secs
lola: 3934487 markings, 5216006 edges, 20754 markings/sec, 180 secs
lola: 4043789 markings, 5344039 edges, 21860 markings/sec, 185 secs
lola: 4153182 markings, 5472178 edges, 21879 markings/sec, 190 secs
lola: 4250639 markings, 5610055 edges, 19491 markings/sec, 195 secs
lola: 4354676 markings, 5732906 edges, 20807 markings/sec, 200 secs
lola: 4458983 markings, 5862884 edges, 20861 markings/sec, 205 secs
lola: 4553106 markings, 5998822 edges, 18825 markings/sec, 210 secs
lola: 4645065 markings, 6133099 edges, 18392 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(p1692)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 56373 markings, 83444 edges, 11275 markings/sec, 0 secs
lola: 110966 markings, 174186 edges, 10919 markings/sec, 5 secs
lola: 165171 markings, 273181 edges, 10841 markings/sec, 10 secs
lola: 215291 markings, 388983 edges, 10024 markings/sec, 15 secs
lola: 269874 markings, 471313 edges, 10917 markings/sec, 20 secs
lola: 323489 markings, 560626 edges, 10723 markings/sec, 25 secs
lola: 377360 markings, 658516 edges, 10774 markings/sec, 30 secs
lola: 426353 markings, 772323 edges, 9799 markings/sec, 35 secs
lola: 479998 markings, 855891 edges, 10729 markings/sec, 40 secs
lola: 532720 markings, 955848 edges, 10544 markings/sec, 45 secs
lola: 587196 markings, 1048640 edges, 10895 markings/sec, 50 secs
lola: 638361 markings, 1157826 edges, 10233 markings/sec, 55 secs
lola: 693370 markings, 1245415 edges, 11002 markings/sec, 60 secs
lola: 744782 markings, 1358169 edges, 10282 markings/sec, 65 secs
lola: 798902 markings, 1450956 edges, 10824 markings/sec, 70 secs
lola: 851227 markings, 1548712 edges, 10465 markings/sec, 75 secs
lola: 902114 markings, 1665953 edges, 10177 markings/sec, 80 secs
lola: 957013 markings, 1755804 edges, 10980 markings/sec, 85 secs
lola: 1008840 markings, 1868244 edges, 10365 markings/sec, 90 secs
lola: 1063567 markings, 1957363 edges, 10945 markings/sec, 95 secs
lola: 1113261 markings, 2079752 edges, 9939 markings/sec, 100 secs
lola: 1168002 markings, 2170330 edges, 10948 markings/sec, 105 secs
lola: 1222224 markings, 2271874 edges, 10844 markings/sec, 110 secs
lola: 1277232 markings, 2361189 edges, 11002 markings/sec, 115 secs
lola: 1334138 markings, 2439172 edges, 11381 markings/sec, 120 secs
lola: 1389309 markings, 2533302 edges, 11034 markings/sec, 125 secs
lola: 1445125 markings, 2617083 edges, 11163 markings/sec, 130 secs
lola: 1501633 markings, 2695687 edges, 11302 markings/sec, 135 secs
lola: 1555303 markings, 2796018 edges, 10734 markings/sec, 140 secs
lola: 1609094 markings, 2894796 edges, 10758 markings/sec, 145 secs
lola: 1661244 markings, 3005858 edges, 10430 markings/sec, 150 secs
lola: 1716266 markings, 3095373 edges, 11004 markings/sec, 155 secs
lola: 1772495 markings, 3175418 edges, 11246 markings/sec, 160 secs
lola: 1828749 markings, 3256396 edges, 11251 markings/sec, 165 secs
lola: 1882609 markings, 3347372 edges, 10772 markings/sec, 170 secs
lola: 1936961 markings, 3435558 edges, 10870 markings/sec, 175 secs
lola: 1991537 markings, 3521280 edges, 10915 markings/sec, 180 secs
lola: 2045919 markings, 3608911 edges, 10876 markings/sec, 185 secs
lola: 2099886 markings, 3706266 edges, 10793 markings/sec, 190 secs
lola: 2154317 markings, 3794421 edges, 10886 markings/sec, 195 secs
lola: 2209476 markings, 3878429 edges, 11032 markings/sec, 200 secs
lola: 2263751 markings, 3968558 edges, 10855 markings/sec, 205 secs
lola: 2319503 markings, 4049476 edges, 11150 markings/sec, 210 secs
lola: 2372791 markings, 4152452 edges, 10658 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(p1484)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 88474 markings, 132322 edges, 17695 markings/sec, 0 secs
lola: 174364 markings, 266542 edges, 17178 markings/sec, 5 secs
lola: 256477 markings, 436003 edges, 16423 markings/sec, 10 secs
lola: 342576 markings, 588606 edges, 17220 markings/sec, 15 secs
lola: 426423 markings, 731446 edges, 16769 markings/sec, 20 secs
lola: 506257 markings, 905259 edges, 15967 markings/sec, 25 secs
lola: 590931 markings, 1057856 edges, 16935 markings/sec, 30 secs
lola: 676095 markings, 1184233 edges, 17033 markings/sec, 35 secs
lola: 756233 markings, 1338745 edges, 16028 markings/sec, 40 secs
lola: 839563 markings, 1511397 edges, 16666 markings/sec, 45 secs
lola: 924132 markings, 1653528 edges, 16914 markings/sec, 50 secs
lola: 1001541 markings, 1824398 edges, 15482 markings/sec, 55 secs
lola: 1081461 markings, 2011249 edges, 15984 markings/sec, 60 secs
lola: 1166034 markings, 2144091 edges, 16915 markings/sec, 65 secs
lola: 1243346 markings, 2297039 edges, 15462 markings/sec, 70 secs
lola: 1325646 markings, 2474514 edges, 16460 markings/sec, 75 secs
lola: 1408947 markings, 2616274 edges, 16660 markings/sec, 80 secs
lola: 1490519 markings, 2756052 edges, 16314 markings/sec, 85 secs
lola: 1569045 markings, 2935466 edges, 15705 markings/sec, 90 secs
lola: 1651945 markings, 3084946 edges, 16580 markings/sec, 95 secs
lola: 1734930 markings, 3220428 edges, 16597 markings/sec, 100 secs
lola: 1813410 markings, 3389274 edges, 15696 markings/sec, 105 secs
lola: 1894631 markings, 3554724 edges, 16244 markings/sec, 110 secs
lola: 1979054 markings, 3684032 edges, 16885 markings/sec, 115 secs
lola: 2055897 markings, 3847941 edges, 15369 markings/sec, 120 secs
lola: 2137694 markings, 4023302 edges, 16359 markings/sec, 125 secs
lola: 2222372 markings, 4152051 edges, 16936 markings/sec, 130 secs
lola: 2299562 markings, 4308474 edges, 15438 markings/sec, 135 secs
lola: 2381183 markings, 4484018 edges, 16324 markings/sec, 140 secs
lola: 2464944 markings, 4621619 edges, 16752 markings/sec, 145 secs
lola: 2544272 markings, 4764536 edges, 15866 markings/sec, 150 secs
lola: 2623383 markings, 4949344 edges, 15822 markings/sec, 155 secs
lola: 2707531 markings, 5092180 edges, 16830 markings/sec, 160 secs
lola: 2790276 markings, 5230521 edges, 16549 markings/sec, 165 secs
lola: 2869244 markings, 5402881 edges, 15794 markings/sec, 170 secs
lola: 2951473 markings, 5562788 edges, 16446 markings/sec, 175 secs
lola: 3036308 markings, 5696803 edges, 16967 markings/sec, 180 secs
lola: 3114302 markings, 5861816 edges, 15599 markings/sec, 185 secs
lola: 3202708 markings, 6010803 edges, 17681 markings/sec, 190 secs
lola: 3291844 markings, 6142984 edges, 17827 markings/sec, 195 secs
lola: 3376678 markings, 6300741 edges, 16967 markings/sec, 200 secs
lola: 3455931 markings, 6475032 edges, 15851 markings/sec, 205 secs
lola: 3541010 markings, 6593193 edges, 17016 markings/sec, 210 secs
lola: 3617865 markings, 6737361 edges, 15371 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(p1886)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 79541 markings, 140574 edges, 15908 markings/sec, 0 secs
lola: 156737 markings, 290510 edges, 15439 markings/sec, 5 secs
lola: 233424 markings, 437531 edges, 15337 markings/sec, 10 secs
lola: 309668 markings, 584200 edges, 15249 markings/sec, 15 secs
lola: 388585 markings, 722039 edges, 15783 markings/sec, 20 secs
lola: 467056 markings, 860855 edges, 15694 markings/sec, 25 secs
lola: 543786 markings, 1003014 edges, 15346 markings/sec, 30 secs
lola: 620191 markings, 1144671 edges, 15281 markings/sec, 35 secs
lola: 698024 markings, 1285966 edges, 15567 markings/sec, 40 secs
lola: 781070 markings, 1410772 edges, 16609 markings/sec, 45 secs
lola: 860412 markings, 1554908 edges, 15868 markings/sec, 50 secs
lola: 937880 markings, 1703505 edges, 15494 markings/sec, 55 secs
lola: 1016210 markings, 1853682 edges, 15666 markings/sec, 60 secs
lola: 1092460 markings, 2005999 edges, 15250 markings/sec, 65 secs
lola: 1170094 markings, 2153932 edges, 15527 markings/sec, 70 secs
lola: 1248129 markings, 2301961 edges, 15607 markings/sec, 75 secs
lola: 1322818 markings, 2455363 edges, 14938 markings/sec, 80 secs
lola: 1400412 markings, 2603043 edges, 15519 markings/sec, 85 secs
lola: 1478773 markings, 2750206 edges, 15672 markings/sec, 90 secs
lola: 1557433 markings, 2899054 edges, 15732 markings/sec, 95 secs
lola: 1635354 markings, 3035789 edges, 15584 markings/sec, 100 secs
lola: 1714046 markings, 3181538 edges, 15738 markings/sec, 105 secs
lola: 1792732 markings, 3327362 edges, 15737 markings/sec, 110 secs
lola: 1871461 markings, 3472823 edges, 15746 markings/sec, 115 secs
lola: 1950832 markings, 3618957 edges, 15874 markings/sec, 120 secs
lola: 2029168 markings, 3770341 edges, 15667 markings/sec, 125 secs
lola: 2107670 markings, 3920591 edges, 15700 markings/sec, 130 secs
lola: 2185462 markings, 4074040 edges, 15558 markings/sec, 135 secs
lola: 2263203 markings, 4228670 edges, 15548 markings/sec, 140 secs
lola: 2340884 markings, 4383266 edges, 15536 markings/sec, 145 secs
lola: 2417986 markings, 4537524 edges, 15420 markings/sec, 150 secs
lola: 2494702 markings, 4691508 edges, 15343 markings/sec, 155 secs
lola: 2569418 markings, 4852573 edges, 14943 markings/sec, 160 secs
lola: 2646468 markings, 5007092 edges, 15410 markings/sec, 165 secs
lola: 2723770 markings, 5161666 edges, 15460 markings/sec, 170 secs
lola: 2800604 markings, 5316023 edges, 15367 markings/sec, 175 secs
lola: 2878283 markings, 5471439 edges, 15536 markings/sec, 180 secs
lola: 2955772 markings, 5624943 edges, 15498 markings/sec, 185 secs
lola: 3033378 markings, 5779312 edges, 15521 markings/sec, 190 secs
lola: 3111417 markings, 5936133 edges, 15608 markings/sec, 195 secs
lola: 3189166 markings, 6090968 edges, 15550 markings/sec, 200 secs
lola: 3265857 markings, 6249289 edges, 15338 markings/sec, 205 secs
lola: 3343719 markings, 6394848 edges, 15572 markings/sec, 210 secs
lola: 3421778 markings, 6539450 edges, 15612 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(p1737)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 80176 markings, 83602 edges, 16035 markings/sec, 0 secs
lola: 155207 markings, 171196 edges, 15006 markings/sec, 5 secs
lola: 217646 markings, 264896 edges, 12488 markings/sec, 10 secs
lola: 279505 markings, 376891 edges, 12372 markings/sec, 15 secs
lola: 343279 markings, 480187 edges, 12755 markings/sec, 20 secs
lola: 409471 markings, 578715 edges, 13238 markings/sec, 25 secs
lola: 473059 markings, 684020 edges, 12718 markings/sec, 30 secs
lola: 523785 markings, 805035 edges, 10145 markings/sec, 35 secs
lola: 569730 markings, 951239 edges, 9189 markings/sec, 40 secs
lola: 620713 markings, 1078012 edges, 10197 markings/sec, 45 secs
lola: 670397 markings, 1213391 edges, 9937 markings/sec, 50 secs
lola: 719685 markings, 1360775 edges, 9858 markings/sec, 55 secs
lola: 761645 markings, 1550540 edges, 8392 markings/sec, 60 secs
lola: 809184 markings, 1715731 edges, 9508 markings/sec, 65 secs
lola: 861789 markings, 1847638 edges, 10521 markings/sec, 70 secs
lola: 918880 markings, 1971284 edges, 11418 markings/sec, 75 secs
lola: 972463 markings, 2101179 edges, 10717 markings/sec, 80 secs
lola: 1025102 markings, 2231883 edges, 10528 markings/sec, 85 secs
lola: 1098185 markings, 2318901 edges, 14617 markings/sec, 90 secs
lola: 1157690 markings, 2416510 edges, 11901 markings/sec, 95 secs
lola: 1220890 markings, 2525280 edges, 12640 markings/sec, 100 secs
lola: 1284252 markings, 2629408 edges, 12672 markings/sec, 105 secs
lola: 1349122 markings, 2726995 edges, 12974 markings/sec, 110 secs
lola: 1411487 markings, 2832453 edges, 12473 markings/sec, 115 secs
lola: 1460298 markings, 2958977 edges, 9762 markings/sec, 120 secs
lola: 1506624 markings, 3101121 edges, 9265 markings/sec, 125 secs
lola: 1557613 markings, 3226733 edges, 10198 markings/sec, 130 secs
lola: 1606472 markings, 3364694 edges, 9772 markings/sec, 135 secs
lola: 1655025 markings, 3514454 edges, 9711 markings/sec, 140 secs
lola: 1694316 markings, 3718281 edges, 7858 markings/sec, 145 secs
lola: 1744955 markings, 3862795 edges, 10128 markings/sec, 150 secs
lola: 1798711 markings, 3990549 edges, 10751 markings/sec, 155 secs
lola: 1853793 markings, 4118542 edges, 11016 markings/sec, 160 secs
lola: 1906951 markings, 4246956 edges, 10632 markings/sec, 165 secs
lola: 1962344 markings, 4371915 edges, 11079 markings/sec, 170 secs
lola: 2035135 markings, 4459427 edges, 14558 markings/sec, 175 secs
lola: 2103947 markings, 4551295 edges, 13762 markings/sec, 180 secs
lola: 2164456 markings, 4651741 edges, 12102 markings/sec, 185 secs
lola: 2225772 markings, 4762900 edges, 12263 markings/sec, 190 secs
lola: 2290348 markings, 4862355 edges, 12915 markings/sec, 195 secs
lola: 2344742 markings, 4970773 edges, 10879 markings/sec, 200 secs
lola: 2390672 markings, 5094574 edges, 9186 markings/sec, 205 secs
lola: 2436569 markings, 5228850 edges, 9179 markings/sec, 210 secs
lola: 2487640 markings, 5350439 edges, 10214 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(p802)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 68630 markings, 119507 edges, 13726 markings/sec, 0 secs
lola: 136110 markings, 229654 edges, 13496 markings/sec, 5 secs
lola: 196304 markings, 402447 edges, 12039 markings/sec, 10 secs
lola: 262906 markings, 537200 edges, 13320 markings/sec, 15 secs
lola: 332351 markings, 640596 edges, 13889 markings/sec, 20 secs
lola: 391415 markings, 815034 edges, 11813 markings/sec, 25 secs
lola: 461272 markings, 932868 edges, 13971 markings/sec, 30 secs
lola: 533281 markings, 1053797 edges, 14402 markings/sec, 35 secs
lola: 599913 markings, 1201711 edges, 13326 markings/sec, 40 secs
lola: 671257 markings, 1313159 edges, 14269 markings/sec, 45 secs
lola: 734057 markings, 1465692 edges, 12560 markings/sec, 50 secs
lola: 806259 markings, 1578745 edges, 14440 markings/sec, 55 secs
lola: 876421 markings, 1703571 edges, 14032 markings/sec, 60 secs
lola: 943305 markings, 1848522 edges, 13377 markings/sec, 65 secs
lola: 1011306 markings, 1971489 edges, 13600 markings/sec, 70 secs
lola: 1076600 markings, 2119057 edges, 13059 markings/sec, 75 secs
lola: 1148904 markings, 2234583 edges, 14461 markings/sec, 80 secs
lola: 1219652 markings, 2361099 edges, 14150 markings/sec, 85 secs
lola: 1291441 markings, 2484893 edges, 14358 markings/sec, 90 secs
lola: 1362811 markings, 2601266 edges, 14274 markings/sec, 95 secs
lola: 1427612 markings, 2739356 edges, 12960 markings/sec, 100 secs
lola: 1494320 markings, 2867733 edges, 13342 markings/sec, 105 secs
lola: 1557272 markings, 3020303 edges, 12590 markings/sec, 110 secs
lola: 1630029 markings, 3127533 edges, 14551 markings/sec, 115 secs
lola: 1701888 markings, 3245451 edges, 14372 markings/sec, 120 secs
lola: 1769305 markings, 3383604 edges, 13483 markings/sec, 125 secs
lola: 1843404 markings, 3492129 edges, 14820 markings/sec, 130 secs
lola: 1918308 markings, 3594829 edges, 14981 markings/sec, 135 secs
lola: 1992582 markings, 3696523 edges, 14855 markings/sec, 140 secs
lola: 2064610 markings, 3807648 edges, 14406 markings/sec, 145 secs
lola: 2136025 markings, 3910906 edges, 14283 markings/sec, 150 secs
lola: 2203180 markings, 4041427 edges, 13431 markings/sec, 155 secs
lola: 2268950 markings, 4188650 edges, 13154 markings/sec, 160 secs
lola: 2335771 markings, 4331366 edges, 13364 markings/sec, 165 secs
lola: 2397981 markings, 4488776 edges, 12442 markings/sec, 170 secs
lola: 2461887 markings, 4635801 edges, 12781 markings/sec, 175 secs
lola: 2526929 markings, 4776391 edges, 13008 markings/sec, 180 secs
lola: 2588226 markings, 4927318 edges, 12259 markings/sec, 185 secs
lola: 2662425 markings, 5028401 edges, 14840 markings/sec, 190 secs
lola: 2730670 markings, 5163433 edges, 13649 markings/sec, 195 secs
lola: 2806124 markings, 5260644 edges, 15091 markings/sec, 200 secs
lola: 2881964 markings, 5359472 edges, 15168 markings/sec, 205 secs
lola: 2957579 markings, 5460435 edges, 15123 markings/sec, 210 secs
lola: 3032048 markings, 5560293 edges, 14894 markings/sec, 215 secs
lola: local time limit reached - aborting
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(p358)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 63600 markings, 158076 edges, 12720 markings/sec, 0 secs
lola: 127910 markings, 299465 edges, 12862 markings/sec, 5 secs
lola: 192922 markings, 418439 edges, 13002 markings/sec, 10 secs
lola: 255497 markings, 562537 edges, 12515 markings/sec, 15 secs
lola: 316486 markings, 729914 edges, 12198 markings/sec, 20 secs
lola: 376662 markings, 921254 edges, 12035 markings/sec, 25 secs
lola: 431230 markings, 1129265 edges, 10914 markings/sec, 30 secs
lola: 490905 markings, 1298828 edges, 11935 markings/sec, 35 secs
lola: 553009 markings, 1448780 edges, 12421 markings/sec, 40 secs
lola: 613893 markings, 1605597 edges, 12177 markings/sec, 45 secs
lola: 672846 markings, 1771901 edges, 11791 markings/sec, 50 secs
lola: 733825 markings, 1924081 edges, 12196 markings/sec, 55 secs
lola: 791944 markings, 2095527 edges, 11624 markings/sec, 60 secs
lola: 852482 markings, 2247910 edges, 12108 markings/sec, 65 secs
lola: 911250 markings, 2412438 edges, 11754 markings/sec, 70 secs
lola: 969812 markings, 2568910 edges, 11712 markings/sec, 75 secs
lola: 1027513 markings, 2744180 edges, 11540 markings/sec, 80 secs
lola: 1083492 markings, 2948101 edges, 11196 markings/sec, 85 secs
lola: 1141902 markings, 3115108 edges, 11682 markings/sec, 90 secs
lola: 1200485 markings, 3269311 edges, 11717 markings/sec, 95 secs
lola: 1256971 markings, 3452586 edges, 11297 markings/sec, 100 secs
lola: 1311690 markings, 3657891 edges, 10944 markings/sec, 105 secs
lola: 1365486 markings, 3882216 edges, 10759 markings/sec, 110 secs
lola: 1416287 markings, 4118456 edges, 10160 markings/sec, 115 secs
lola: 1465759 markings, 4346765 edges, 9894 markings/sec, 120 secs
lola: 1520652 markings, 4546748 edges, 10979 markings/sec, 125 secs
lola: 1576974 markings, 4725404 edges, 11264 markings/sec, 130 secs
lola: 1629326 markings, 4934489 edges, 10470 markings/sec, 135 secs
lola: 1682890 markings, 5135095 edges, 10713 markings/sec, 140 secs
lola: 1737267 markings, 5321001 edges, 10875 markings/sec, 145 secs
lola: 1789252 markings, 5524798 edges, 10397 markings/sec, 150 secs
lola: 1843301 markings, 5710371 edges, 10810 markings/sec, 155 secs
lola: 1894708 markings, 5917065 edges, 10281 markings/sec, 160 secs
lola: 1948431 markings, 6110130 edges, 10745 markings/sec, 165 secs
lola: 2000859 markings, 6302020 edges, 10486 markings/sec, 170 secs
lola: 2058098 markings, 6457052 edges, 11448 markings/sec, 175 secs
lola: 2115993 markings, 6595493 edges, 11579 markings/sec, 180 secs
lola: 2174940 markings, 6701337 edges, 11789 markings/sec, 185 secs
lola: 2232773 markings, 6818099 edges, 11567 markings/sec, 190 secs
lola: 2289502 markings, 6970077 edges, 11346 markings/sec, 195 secs
lola: 2345093 markings, 7132115 edges, 11118 markings/sec, 200 secs
lola: 2399859 markings, 7309894 edges, 10953 markings/sec, 205 secs
lola: 2449995 markings, 7503857 edges, 10027 markings/sec, 210 secs
lola: 2506436 markings, 7650045 edges, 11288 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p757)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 79441 markings, 103908 edges, 15888 markings/sec, 0 secs
lola: 140777 markings, 202283 edges, 12267 markings/sec, 5 secs
lola: 201389 markings, 311894 edges, 12122 markings/sec, 10 secs
lola: 257305 markings, 436666 edges, 11183 markings/sec, 15 secs
lola: 318499 markings, 527493 edges, 12239 markings/sec, 20 secs
lola: 378660 markings, 626990 edges, 12032 markings/sec, 25 secs
lola: 437625 markings, 743752 edges, 11793 markings/sec, 30 secs
lola: 493774 markings, 861494 edges, 11230 markings/sec, 35 secs
lola: 554830 markings, 954259 edges, 12211 markings/sec, 40 secs
lola: 613185 markings, 1070975 edges, 11671 markings/sec, 45 secs
lola: 671174 markings, 1187934 edges, 11598 markings/sec, 50 secs
lola: 731450 markings, 1287316 edges, 12055 markings/sec, 55 secs
lola: 788478 markings, 1410410 edges, 11406 markings/sec, 60 secs
lola: 849162 markings, 1509985 edges, 12137 markings/sec, 65 secs
lola: 904476 markings, 1639019 edges, 11063 markings/sec, 70 secs
lola: 963972 markings, 1746268 edges, 11899 markings/sec, 75 secs
lola: 1022852 markings, 1859633 edges, 11776 markings/sec, 80 secs
lola: 1082175 markings, 1970943 edges, 11865 markings/sec, 85 secs
lola: 1139692 markings, 2086208 edges, 11503 markings/sec, 90 secs
lola: 1198363 markings, 2202623 edges, 11734 markings/sec, 95 secs
lola: 1259200 markings, 2311549 edges, 12167 markings/sec, 100 secs
lola: 1320295 markings, 2411878 edges, 12219 markings/sec, 105 secs
lola: 1384009 markings, 2497948 edges, 12743 markings/sec, 110 secs
lola: 1444788 markings, 2606161 edges, 12156 markings/sec, 115 secs
lola: 1507838 markings, 2693824 edges, 12610 markings/sec, 120 secs
lola: 1570541 markings, 2784296 edges, 12541 markings/sec, 125 secs
lola: 1627784 markings, 2908136 edges, 11449 markings/sec, 130 secs
lola: 1687764 markings, 3018529 edges, 11996 markings/sec, 135 secs
lola: 1747609 markings, 3126936 edges, 11969 markings/sec, 140 secs
lola: 1810075 markings, 3216935 edges, 12493 markings/sec, 145 secs
lola: 1872740 markings, 3307264 edges, 12533 markings/sec, 150 secs
lola: 1931988 markings, 3411815 edges, 11850 markings/sec, 155 secs
lola: 1994017 markings, 3506170 edges, 12406 markings/sec, 160 secs
lola: 2054699 markings, 3604873 edges, 12136 markings/sec, 165 secs
lola: 2116095 markings, 3703814 edges, 12279 markings/sec, 170 secs
lola: 2175938 markings, 3812828 edges, 11969 markings/sec, 175 secs
lola: 2237762 markings, 3906982 edges, 12365 markings/sec, 180 secs
lola: 2298756 markings, 4006687 edges, 12199 markings/sec, 185 secs
lola: 2361421 markings, 4097196 edges, 12533 markings/sec, 190 secs
lola: 2420796 markings, 4210525 edges, 11875 markings/sec, 195 secs
lola: 2478720 markings, 4327564 edges, 11585 markings/sec, 200 secs
lola: 2535837 markings, 4445818 edges, 11423 markings/sec, 205 secs
lola: 2592729 markings, 4562549 edges, 11378 markings/sec, 210 secs
lola: 2652468 markings, 4670806 edges, 11948 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p764)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 102093 markings, 144560 edges, 20419 markings/sec, 0 secs
lola: 203052 markings, 278733 edges, 20192 markings/sec, 5 secs
lola: 303004 markings, 406710 edges, 19990 markings/sec, 10 secs
lola: 396526 markings, 550758 edges, 18704 markings/sec, 15 secs
lola: 472689 markings, 727317 edges, 15233 markings/sec, 20 secs
lola: 566098 markings, 877479 edges, 18682 markings/sec, 25 secs
lola: 665656 markings, 1014008 edges, 19912 markings/sec, 30 secs
lola: 765798 markings, 1141459 edges, 20028 markings/sec, 35 secs
lola: 860283 markings, 1282457 edges, 18897 markings/sec, 40 secs
lola: 936176 markings, 1461946 edges, 15179 markings/sec, 45 secs
lola: 1037313 markings, 1604704 edges, 20227 markings/sec, 50 secs
lola: 1142849 markings, 1742143 edges, 21107 markings/sec, 55 secs
lola: 1247206 markings, 1884273 edges, 20871 markings/sec, 60 secs
lola: 1350563 markings, 2028822 edges, 20671 markings/sec, 65 secs
lola: 1443965 markings, 2179338 edges, 18680 markings/sec, 70 secs
lola: 1539179 markings, 2324056 edges, 19043 markings/sec, 75 secs
lola: 1642118 markings, 2461972 edges, 20588 markings/sec, 80 secs
lola: 1730409 markings, 2615991 edges, 17658 markings/sec, 85 secs
lola: 1821746 markings, 2764208 edges, 18267 markings/sec, 90 secs
lola: 1927191 markings, 2898621 edges, 21089 markings/sec, 95 secs
lola: 2029453 markings, 3037807 edges, 20452 markings/sec, 100 secs
lola: 2131166 markings, 3174038 edges, 20343 markings/sec, 105 secs
lola: 2229218 markings, 3322364 edges, 19610 markings/sec, 110 secs
lola: 2317328 markings, 3473274 edges, 17622 markings/sec, 115 secs
lola: 2417420 markings, 3613097 edges, 20018 markings/sec, 120 secs
lola: 2517084 markings, 3753219 edges, 19933 markings/sec, 125 secs
lola: 2605051 markings, 3906833 edges, 17593 markings/sec, 130 secs
lola: 2698707 markings, 4046136 edges, 18731 markings/sec, 135 secs
lola: 2808240 markings, 4185390 edges, 21907 markings/sec, 140 secs
lola: 2900657 markings, 4340563 edges, 18483 markings/sec, 145 secs
lola: 3008272 markings, 4474406 edges, 21523 markings/sec, 150 secs
lola: 3114303 markings, 4610536 edges, 21206 markings/sec, 155 secs
lola: 3223086 markings, 4750567 edges, 21757 markings/sec, 160 secs
lola: 3315390 markings, 4905915 edges, 18461 markings/sec, 165 secs
lola: 3420214 markings, 5041883 edges, 20965 markings/sec, 170 secs
lola: 3517723 markings, 5177816 edges, 19502 markings/sec, 175 secs
lola: 3609353 markings, 5325864 edges, 18326 markings/sec, 180 secs
lola: 3698858 markings, 5475239 edges, 17901 markings/sec, 185 secs
lola: 3796577 markings, 5611341 edges, 19544 markings/sec, 190 secs
lola: 3888339 markings, 5759401 edges, 18352 markings/sec, 195 secs
lola: 3980483 markings, 5909660 edges, 18429 markings/sec, 200 secs
lola: 4087305 markings, 6043839 edges, 21364 markings/sec, 205 secs
lola: 4194958 markings, 6177708 edges, 21531 markings/sec, 210 secs
lola: 4300272 markings, 6314360 edges, 21063 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p205)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 68442 markings, 88327 edges, 13688 markings/sec, 0 secs
lola: 123072 markings, 168567 edges, 10926 markings/sec, 5 secs
lola: 175706 markings, 263259 edges, 10527 markings/sec, 10 secs
lola: 227534 markings, 362764 edges, 10366 markings/sec, 15 secs
lola: 276924 markings, 469064 edges, 9878 markings/sec, 20 secs
lola: 330938 markings, 546599 edges, 10803 markings/sec, 25 secs
lola: 382835 markings, 635604 edges, 10379 markings/sec, 30 secs
lola: 434616 markings, 736678 edges, 10356 markings/sec, 35 secs
lola: 483317 markings, 845827 edges, 9740 markings/sec, 40 secs
lola: 537182 markings, 923467 edges, 10773 markings/sec, 45 secs
lola: 587705 markings, 1025429 edges, 10105 markings/sec, 50 secs
lola: 640408 markings, 1121796 edges, 10541 markings/sec, 55 secs
lola: 690724 markings, 1222583 edges, 10063 markings/sec, 60 secs
lola: 743947 markings, 1310949 edges, 10645 markings/sec, 65 secs
lola: 794381 markings, 1417892 edges, 10087 markings/sec, 70 secs
lola: 847126 markings, 1507180 edges, 10549 markings/sec, 75 secs
lola: 896981 markings, 1613478 edges, 9971 markings/sec, 80 secs
lola: 947590 markings, 1719317 edges, 10122 markings/sec, 85 secs
lola: 1000501 markings, 1807783 edges, 10582 markings/sec, 90 secs
lola: 1050447 markings, 1916940 edges, 9989 markings/sec, 95 secs
lola: 1103357 markings, 2001904 edges, 10582 markings/sec, 100 secs
lola: 1151493 markings, 2120948 edges, 9627 markings/sec, 105 secs
lola: 1204011 markings, 2210043 edges, 10504 markings/sec, 110 secs
lola: 1256304 markings, 2307905 edges, 10459 markings/sec, 115 secs
lola: 1309727 markings, 2391721 edges, 10685 markings/sec, 120 secs
lola: 1364047 markings, 2469758 edges, 10864 markings/sec, 125 secs
lola: 1418416 markings, 2550449 edges, 10874 markings/sec, 130 secs
lola: 1470912 markings, 2642420 edges, 10499 markings/sec, 135 secs
lola: 1525228 markings, 2718483 edges, 10863 markings/sec, 140 secs
lola: 1578534 markings, 2802741 edges, 10661 markings/sec, 145 secs
lola: 1629032 markings, 2910271 edges, 10100 markings/sec, 150 secs
lola: 1681010 markings, 3008366 edges, 10396 markings/sec, 155 secs
lola: 1732862 markings, 3104390 edges, 10370 markings/sec, 160 secs
lola: 1786830 markings, 3183182 edges, 10794 markings/sec, 165 secs
lola: 1841112 markings, 3262110 edges, 10856 markings/sec, 170 secs
lola: 1895821 markings, 3339736 edges, 10942 markings/sec, 175 secs
lola: 1947408 markings, 3435102 edges, 10317 markings/sec, 180 secs
lola: 2001405 markings, 3517001 edges, 10799 markings/sec, 185 secs
lola: 2054379 markings, 3604362 edges, 10595 markings/sec, 190 secs
lola: 2108153 markings, 3687445 edges, 10755 markings/sec, 195 secs
lola: 2160412 markings, 3785487 edges, 10452 markings/sec, 200 secs
lola: 2213518 markings, 3868167 edges, 10621 markings/sec, 205 secs
lola: 2266969 markings, 3952528 edges, 10690 markings/sec, 210 secs
lola: 2320610 markings, 4037678 edges, 10728 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p996)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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 11 will run for 265 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p348)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 50968 markings, 143397 edges, 10194 markings/sec, 0 secs
lola: 99512 markings, 311591 edges, 9709 markings/sec, 5 secs
lola: 148287 markings, 468864 edges, 9755 markings/sec, 10 secs
lola: 200601 markings, 583146 edges, 10463 markings/sec, 15 secs
lola: 251409 markings, 723639 edges, 10162 markings/sec, 20 secs
lola: 291584 markings, 951893 edges, 8035 markings/sec, 25 secs
lola: 336822 markings, 1104366 edges, 9048 markings/sec, 30 secs
lola: 385429 markings, 1237401 edges, 9721 markings/sec, 35 secs
lola: 429136 markings, 1392773 edges, 8741 markings/sec, 40 secs
lola: 473338 markings, 1543666 edges, 8840 markings/sec, 45 secs
lola: 517460 markings, 1697992 edges, 8824 markings/sec, 50 secs
lola: 561321 markings, 1837939 edges, 8772 markings/sec, 55 secs
lola: 604231 markings, 1984125 edges, 8582 markings/sec, 60 secs
lola: 651253 markings, 2122875 edges, 9404 markings/sec, 65 secs
lola: 698604 markings, 2288734 edges, 9470 markings/sec, 70 secs
lola: 747067 markings, 2445517 edges, 9693 markings/sec, 75 secs
lola: 798138 markings, 2557034 edges, 10214 markings/sec, 80 secs
lola: 848430 markings, 2694249 edges, 10058 markings/sec, 85 secs
lola: 888701 markings, 2913481 edges, 8054 markings/sec, 90 secs
lola: 932362 markings, 3071590 edges, 8732 markings/sec, 95 secs
lola: 980896 markings, 3197834 edges, 9707 markings/sec, 100 secs
lola: 1023279 markings, 3353761 edges, 8477 markings/sec, 105 secs
lola: 1067592 markings, 3503747 edges, 8863 markings/sec, 110 secs
lola: 1111642 markings, 3656563 edges, 8810 markings/sec, 115 secs
lola: 1154505 markings, 3802659 edges, 8573 markings/sec, 120 secs
lola: 1196362 markings, 3943271 edges, 8371 markings/sec, 125 secs
lola: 1244472 markings, 4097682 edges, 9622 markings/sec, 130 secs
lola: 1292958 markings, 4252383 edges, 9697 markings/sec, 135 secs
lola: 1346350 markings, 4372236 edges, 10678 markings/sec, 140 secs
lola: 1394998 markings, 4510466 edges, 9730 markings/sec, 145 secs
lola: 1435198 markings, 4733607 edges, 8040 markings/sec, 150 secs
lola: 1479722 markings, 4891994 edges, 8905 markings/sec, 155 secs
lola: 1530635 markings, 5032279 edges, 10183 markings/sec, 160 secs
lola: 1580492 markings, 5193376 edges, 9971 markings/sec, 165 secs
lola: 1625955 markings, 5381055 edges, 9093 markings/sec, 170 secs
lola: 1674445 markings, 5565774 edges, 9698 markings/sec, 175 secs
lola: 1725874 markings, 5719624 edges, 10286 markings/sec, 180 secs
lola: 1774029 markings, 5904528 edges, 9631 markings/sec, 185 secs
lola: 1816821 markings, 6109952 edges, 8558 markings/sec, 190 secs
lola: 1864313 markings, 6297086 edges, 9498 markings/sec, 195 secs
lola: 1915854 markings, 6446694 edges, 10308 markings/sec, 200 secs
lola: 1970011 markings, 6618543 edges, 10831 markings/sec, 205 secs
lola: 2023908 markings, 6791027 edges, 10779 markings/sec, 210 secs
lola: 2071091 markings, 6973758 edges, 9437 markings/sec, 215 secs
lola: 2122692 markings, 7119431 edges, 10320 markings/sec, 220 secs
lola: 2172713 markings, 7301351 edges, 10004 markings/sec, 225 secs
lola: 2221183 markings, 7478136 edges, 9694 markings/sec, 230 secs
lola: 2269035 markings, 7648048 edges, 9570 markings/sec, 235 secs
lola: 2317145 markings, 7827792 edges, 9622 markings/sec, 240 secs
lola: 2365035 markings, 8014450 edges, 9578 markings/sec, 245 secs
lola: 2420830 markings, 8190520 edges, 11159 markings/sec, 250 secs
lola: 2480505 markings, 8366450 edges, 11935 markings/sec, 255 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1090)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 81669 markings, 94650 edges, 16334 markings/sec, 0 secs
lola: 164560 markings, 195873 edges, 16578 markings/sec, 5 secs
lola: 247481 markings, 293286 edges, 16584 markings/sec, 10 secs
lola: 329323 markings, 398151 edges, 16368 markings/sec, 15 secs
lola: 410002 markings, 498723 edges, 16136 markings/sec, 20 secs
lola: 489945 markings, 599258 edges, 15989 markings/sec, 25 secs
lola: 569567 markings, 699619 edges, 15924 markings/sec, 30 secs
lola: 650508 markings, 799916 edges, 16188 markings/sec, 35 secs
lola: 732010 markings, 900356 edges, 16300 markings/sec, 40 secs
lola: 814052 markings, 1001186 edges, 16408 markings/sec, 45 secs
lola: 896305 markings, 1102162 edges, 16451 markings/sec, 50 secs
lola: 976715 markings, 1197897 edges, 16082 markings/sec, 55 secs
lola: 1039678 markings, 1286944 edges, 12593 markings/sec, 60 secs
lola: 1093450 markings, 1387084 edges, 10754 markings/sec, 65 secs
lola: 1145318 markings, 1486677 edges, 10374 markings/sec, 70 secs
lola: 1194129 markings, 1582961 edges, 9762 markings/sec, 75 secs
lola: 1247779 markings, 1683854 edges, 10730 markings/sec, 80 secs
lola: 1320701 markings, 1774107 edges, 14584 markings/sec, 85 secs
lola: 1392561 markings, 1866584 edges, 14372 markings/sec, 90 secs
lola: 1479854 markings, 1966572 edges, 17459 markings/sec, 95 secs
lola: 1568951 markings, 2068479 edges, 17819 markings/sec, 100 secs
lola: 1658226 markings, 2169892 edges, 17855 markings/sec, 105 secs
lola: 1747042 markings, 2271702 edges, 17763 markings/sec, 110 secs
lola: 1833965 markings, 2371634 edges, 17385 markings/sec, 115 secs
lola: 1921878 markings, 2471781 edges, 17583 markings/sec, 120 secs
lola: 2009701 markings, 2572046 edges, 17565 markings/sec, 125 secs
lola: 2098067 markings, 2672673 edges, 17673 markings/sec, 130 secs
lola: 2186467 markings, 2773158 edges, 17680 markings/sec, 135 secs
lola: 2274743 markings, 2873632 edges, 17655 markings/sec, 140 secs
lola: 2363078 markings, 2974337 edges, 17667 markings/sec, 145 secs
lola: 2451470 markings, 3075159 edges, 17678 markings/sec, 150 secs
lola: 2539619 markings, 3176012 edges, 17630 markings/sec, 155 secs
lola: 2627669 markings, 3276800 edges, 17610 markings/sec, 160 secs
lola: 2714837 markings, 3377297 edges, 17434 markings/sec, 165 secs
lola: 2802535 markings, 3477623 edges, 17540 markings/sec, 170 secs
lola: 2890423 markings, 3578756 edges, 17578 markings/sec, 175 secs
lola: 2977713 markings, 3679311 edges, 17458 markings/sec, 180 secs
lola: 3065184 markings, 3780757 edges, 17494 markings/sec, 185 secs
lola: 3152430 markings, 3883088 edges, 17449 markings/sec, 190 secs
lola: 3239754 markings, 3984428 edges, 17465 markings/sec, 195 secs
lola: 3326696 markings, 4085890 edges, 17388 markings/sec, 200 secs
lola: 3391546 markings, 4200222 edges, 12970 markings/sec, 205 secs
lola: 3472010 markings, 4299015 edges, 16093 markings/sec, 210 secs
lola: 3552840 markings, 4398538 edges, 16166 markings/sec, 215 secs
lola: 3633838 markings, 4498085 edges, 16200 markings/sec, 220 secs
lola: 3714836 markings, 4597664 edges, 16200 markings/sec, 225 secs
lola: 3797132 markings, 4694690 edges, 16459 markings/sec, 230 secs
lola: 3880005 markings, 4791554 edges, 16575 markings/sec, 235 secs
lola: 3958251 markings, 4904051 edges, 15649 markings/sec, 240 secs
lola: 4038487 markings, 5005301 edges, 16047 markings/sec, 245 secs
lola: 4119101 markings, 5104480 edges, 16123 markings/sec, 250 secs
lola: 4199728 markings, 5203682 edges, 16125 markings/sec, 255 secs
lola: 4282797 markings, 5301369 edges, 16614 markings/sec, 260 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1489)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 88045 markings, 131785 edges, 17609 markings/sec, 0 secs
lola: 173489 markings, 265278 edges, 17089 markings/sec, 5 secs
lola: 255688 markings, 432392 edges, 16440 markings/sec, 10 secs
lola: 341049 markings, 586626 edges, 17072 markings/sec, 15 secs
lola: 424564 markings, 728460 edges, 16703 markings/sec, 20 secs
lola: 504555 markings, 900287 edges, 15998 markings/sec, 25 secs
lola: 588412 markings, 1054551 edges, 16771 markings/sec, 30 secs
lola: 673196 markings, 1179232 edges, 16957 markings/sec, 35 secs
lola: 753625 markings, 1328450 edges, 16086 markings/sec, 40 secs
lola: 834452 markings, 1504098 edges, 16165 markings/sec, 45 secs
lola: 918087 markings, 1643940 edges, 16727 markings/sec, 50 secs
lola: 994020 markings, 1812035 edges, 15187 markings/sec, 55 secs
lola: 1073655 markings, 1994925 edges, 15927 markings/sec, 60 secs
lola: 1156264 markings, 2130382 edges, 16522 markings/sec, 65 secs
lola: 1234407 markings, 2272530 edges, 15629 markings/sec, 70 secs
lola: 1312718 markings, 2453827 edges, 15662 markings/sec, 75 secs
lola: 1395004 markings, 2595797 edges, 16457 markings/sec, 80 secs
lola: 1476746 markings, 2729256 edges, 16348 markings/sec, 85 secs
lola: 1554329 markings, 2897433 edges, 15517 markings/sec, 90 secs
lola: 1634811 markings, 3058859 edges, 16096 markings/sec, 95 secs
lola: 1717932 markings, 3187427 edges, 16624 markings/sec, 100 secs
lola: 1793630 markings, 3349023 edges, 15140 markings/sec, 105 secs
lola: 1874686 markings, 3522653 edges, 16211 markings/sec, 110 secs
lola: 1958532 markings, 3649263 edges, 16769 markings/sec, 115 secs
lola: 2033258 markings, 3807442 edges, 14945 markings/sec, 120 secs
lola: 2115522 markings, 3977048 edges, 16453 markings/sec, 125 secs
lola: 2198545 markings, 4115842 edges, 16605 markings/sec, 130 secs
lola: 2277758 markings, 4256154 edges, 15843 markings/sec, 135 secs
lola: 2355333 markings, 4439116 edges, 15515 markings/sec, 140 secs
lola: 2439928 markings, 4579570 edges, 16919 markings/sec, 145 secs
lola: 2521286 markings, 4715819 edges, 16272 markings/sec, 150 secs
lola: 2598817 markings, 4885028 edges, 15506 markings/sec, 155 secs
lola: 2679854 markings, 5051197 edges, 16207 markings/sec, 160 secs
lola: 2764494 markings, 5180987 edges, 16928 markings/sec, 165 secs
lola: 2842835 markings, 5341747 edges, 15668 markings/sec, 170 secs
lola: 2923591 markings, 5519261 edges, 16151 markings/sec, 175 secs
lola: 3007956 markings, 5648332 edges, 16873 markings/sec, 180 secs
lola: 3084326 markings, 5805603 edges, 15274 markings/sec, 185 secs
lola: 3168566 markings, 5971010 edges, 16848 markings/sec, 190 secs
lola: 3262972 markings, 6084983 edges, 18881 markings/sec, 195 secs
lola: 3344748 markings, 6246978 edges, 16355 markings/sec, 200 secs
lola: 3429797 markings, 6401793 edges, 17010 markings/sec, 205 secs
lola: 3509181 markings, 6554403 edges, 15877 markings/sec, 210 secs
lola: 3592116 markings, 6673531 edges, 16587 markings/sec, 215 secs
lola: 3669889 markings, 6842513 edges, 15555 markings/sec, 220 secs
lola: 3747580 markings, 7029173 edges, 15538 markings/sec, 225 secs
lola: 3823410 markings, 7208318 edges, 15166 markings/sec, 230 secs
lola: 3903372 markings, 7360907 edges, 15992 markings/sec, 235 secs
lola: 3980333 markings, 7523952 edges, 15392 markings/sec, 240 secs
lola: 4060051 markings, 7676087 edges, 15944 markings/sec, 245 secs
lola: 4136696 markings, 7838762 edges, 15329 markings/sec, 250 secs
lola: 4216260 markings, 7990241 edges, 15913 markings/sec, 255 secs
lola: 4291975 markings, 8141858 edges, 15143 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p645)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 109937 markings, 133450 edges, 21987 markings/sec, 0 secs
lola: 218563 markings, 267133 edges, 21725 markings/sec, 5 secs
lola: 330955 markings, 384896 edges, 22478 markings/sec, 10 secs
lola: 440986 markings, 507308 edges, 22006 markings/sec, 15 secs
lola: 547794 markings, 640282 edges, 21362 markings/sec, 20 secs
lola: 648788 markings, 792758 edges, 20199 markings/sec, 25 secs
lola: 750427 markings, 950254 edges, 20328 markings/sec, 30 secs
lola: 857590 markings, 1087545 edges, 21433 markings/sec, 35 secs
lola: 965885 markings, 1224212 edges, 21659 markings/sec, 40 secs
lola: 1076184 markings, 1351506 edges, 22060 markings/sec, 45 secs
lola: 1187997 markings, 1470413 edges, 22363 markings/sec, 50 secs
lola: 1297398 markings, 1595658 edges, 21880 markings/sec, 55 secs
lola: 1403574 markings, 1729680 edges, 21235 markings/sec, 60 secs
lola: 1499666 markings, 1906324 edges, 19218 markings/sec, 65 secs
lola: 1606746 markings, 2039651 edges, 21416 markings/sec, 70 secs
lola: 1717655 markings, 2172356 edges, 22182 markings/sec, 75 secs
lola: 1828790 markings, 2299434 edges, 22227 markings/sec, 80 secs
lola: 1943214 markings, 2422973 edges, 22885 markings/sec, 85 secs
lola: 2053007 markings, 2555604 edges, 21959 markings/sec, 90 secs
lola: 2164778 markings, 2689501 edges, 22354 markings/sec, 95 secs
lola: 2274532 markings, 2824750 edges, 21951 markings/sec, 100 secs
lola: 2377978 markings, 2975898 edges, 20689 markings/sec, 105 secs
lola: 2488320 markings, 3101745 edges, 22068 markings/sec, 110 secs
lola: 2597803 markings, 3230615 edges, 21897 markings/sec, 115 secs
lola: 2709754 markings, 3354152 edges, 22390 markings/sec, 120 secs
lola: 2811589 markings, 3502468 edges, 20367 markings/sec, 125 secs
lola: 2916974 markings, 3640578 edges, 21077 markings/sec, 130 secs
lola: 3024580 markings, 3773077 edges, 21521 markings/sec, 135 secs
lola: 3134911 markings, 3895427 edges, 22066 markings/sec, 140 secs
lola: 3245346 markings, 4021237 edges, 22087 markings/sec, 145 secs
lola: 3352358 markings, 4150424 edges, 21402 markings/sec, 150 secs
lola: 3463650 markings, 4284507 edges, 22258 markings/sec, 155 secs
lola: 3573282 markings, 4417343 edges, 21926 markings/sec, 160 secs
lola: 3676070 markings, 4562812 edges, 20558 markings/sec, 165 secs
lola: 3784214 markings, 4692460 edges, 21629 markings/sec, 170 secs
lola: 3892704 markings, 4821056 edges, 21698 markings/sec, 175 secs
lola: 4003811 markings, 4945939 edges, 22221 markings/sec, 180 secs
lola: 4104690 markings, 5097573 edges, 20176 markings/sec, 185 secs
lola: 4212576 markings, 5229790 edges, 21577 markings/sec, 190 secs
lola: 4318658 markings, 5363261 edges, 21216 markings/sec, 195 secs
lola: 4430002 markings, 5487984 edges, 22269 markings/sec, 200 secs
lola: 4544278 markings, 5615208 edges, 22855 markings/sec, 205 secs
lola: 4650356 markings, 5759817 edges, 21216 markings/sec, 210 secs
lola: 4760554 markings, 5886412 edges, 22040 markings/sec, 215 secs
lola: 4869939 markings, 6008252 edges, 21877 markings/sec, 220 secs
lola: 4982515 markings, 6131286 edges, 22515 markings/sec, 225 secs
lola: 5095792 markings, 6258358 edges, 22655 markings/sec, 230 secs
lola: 5200862 markings, 6406940 edges, 21014 markings/sec, 235 secs
lola: 5310839 markings, 6537268 edges, 21995 markings/sec, 240 secs
lola: 5421994 markings, 6657197 edges, 22231 markings/sec, 245 secs
lola: 5531623 markings, 6783340 edges, 21926 markings/sec, 250 secs
lola: 5634134 markings, 6931639 edges, 20502 markings/sec, 255 secs
lola: 5742034 markings, 7056489 edges, 21580 markings/sec, 260 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 266 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1374)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 236 bytes per marking, with 25 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: 106396 markings, 129838 edges, 21279 markings/sec, 0 secs
lola: 222401 markings, 267656 edges, 23201 markings/sec, 5 secs
lola: 329519 markings, 407231 edges, 21424 markings/sec, 10 secs
lola: 434184 markings, 541198 edges, 20933 markings/sec, 15 secs
lola: 551378 markings, 683231 edges, 23439 markings/sec, 20 secs
lola: 655868 markings, 817129 edges, 20898 markings/sec, 25 secs
lola: 763764 markings, 953699 edges, 21579 markings/sec, 30 secs
lola: 869833 markings, 1081819 edges, 21214 markings/sec, 35 secs
lola: 937491 markings, 1189051 edges, 13532 markings/sec, 40 secs
lola: 997679 markings, 1300709 edges, 12038 markings/sec, 45 secs
lola: 1053163 markings, 1405305 edges, 11097 markings/sec, 50 secs
lola: 1112135 markings, 1524343 edges, 11794 markings/sec, 55 secs
lola: 1199293 markings, 1635831 edges, 17432 markings/sec, 60 secs
lola: 1303921 markings, 1763002 edges, 20926 markings/sec, 65 secs
lola: 1435493 markings, 1913908 edges, 26314 markings/sec, 70 secs
lola: 1563948 markings, 2062564 edges, 25691 markings/sec, 75 secs
lola: 1694994 markings, 2213104 edges, 26209 markings/sec, 80 secs
lola: 1826021 markings, 2363648 edges, 26205 markings/sec, 85 secs
lola: 1956943 markings, 2514152 edges, 26184 markings/sec, 90 secs
lola: 2084516 markings, 2661626 edges, 25515 markings/sec, 95 secs
lola: 2215016 markings, 2811638 edges, 26100 markings/sec, 100 secs
lola: 2342686 markings, 2959253 edges, 25534 markings/sec, 105 secs
lola: 2469833 markings, 3106175 edges, 25429 markings/sec, 110 secs
lola: 2597223 markings, 3253601 edges, 25478 markings/sec, 115 secs
lola: 2723587 markings, 3400445 edges, 25273 markings/sec, 120 secs
lola: 2844268 markings, 3544343 edges, 24136 markings/sec, 125 secs
lola: 2939558 markings, 3695464 edges, 19058 markings/sec, 130 secs
lola: 3044653 markings, 3829139 edges, 21019 markings/sec, 135 secs
lola: 3149628 markings, 3963205 edges, 20995 markings/sec, 140 secs
lola: 3264127 markings, 4102527 edges, 22900 markings/sec, 145 secs
lola: 3371208 markings, 4230712 edges, 21416 markings/sec, 150 secs
lola: 3477591 markings, 4381194 edges, 21277 markings/sec, 155 secs
lola: 3584944 markings, 4515844 edges, 21471 markings/sec, 160 secs
lola: 3689479 markings, 4645978 edges, 20907 markings/sec, 165 secs
lola: 3807402 markings, 4788479 edges, 23585 markings/sec, 170 secs
lola: 3914436 markings, 4924046 edges, 21407 markings/sec, 175 secs
lola: 4020055 markings, 5059492 edges, 21124 markings/sec, 180 secs
lola: 4136478 markings, 5200893 edges, 23285 markings/sec, 185 secs
lola: 4241046 markings, 5334921 edges, 20914 markings/sec, 190 secs
lola: 4350171 markings, 5472032 edges, 21825 markings/sec, 195 secs
lola: 4463445 markings, 5611544 edges, 22655 markings/sec, 200 secs
lola: 4551590 markings, 5721343 edges, 17629 markings/sec, 205 secs
lola: 4617140 markings, 5826480 edges, 13110 markings/sec, 210 secs
lola: 4674321 markings, 5936925 edges, 11436 markings/sec, 215 secs
lola: 4726840 markings, 6046951 edges, 10504 markings/sec, 220 secs
lola: 4800424 markings, 6170506 edges, 14717 markings/sec, 225 secs
lola: 4885953 markings, 6281637 edges, 17106 markings/sec, 230 secs
lola: 5006237 markings, 6422275 edges, 24057 markings/sec, 235 secs
lola: 5136930 markings, 6572555 edges, 26139 markings/sec, 240 secs
lola: 5265877 markings, 6721549 edges, 25789 markings/sec, 245 secs
lola: 5397000 markings, 6872059 edges, 26225 markings/sec, 250 secs
lola: 5527914 markings, 7022527 edges, 26183 markings/sec, 255 secs
lola: 5658805 markings, 7172945 edges, 26178 markings/sec, 260 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA CloudDeployment-PT-6b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA CloudDeployment-PT-6b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494618575104

--------------------
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="CloudDeployment-PT-6b"
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/CloudDeployment-PT-6b.tgz
mv CloudDeployment-PT-6b execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is CloudDeployment-PT-6b, 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 r018-ebro-149436308800047"
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 ;