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 S_SquareGrid-PT-130613, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443464000155
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496563641033


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_SquareGrid-PT-130613: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_SquareGrid-PT-130613: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_SquareGrid-PT-130613 @ 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: 5057/65536 symbol table entries, 490 collisions
lola: preprocessing...
lola: finding significant places
lola: 2301 places, 2756 transitions, 1403 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3653 transition conflict sets
lola: TASK
lola: reading formula from SquareGrid-PT-130613-UpperBounds.task
lola: MAX(pb1_2_9) : MAX(p4il_6_1) : MAX(pb2_7_9) : MAX(pb3_10_13) : MAX(p4i_13_4) : MAX(p4il_1_8) : MAX(pb4_1_9) : MAX(pb2_10_2) : MAX(p1o_6_7) : MAX(pb3_7_5) : MAX(p1ol_2_3) : MAX(pb4_1_6) : MAX(p1ol_14_3) : MAX(pb4_10_1) : MAX(p1i_2_8) : MAX(pb2_10_6)
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(pb1_2_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 242408 markings, 254978 edges, 48482 markings/sec, 0 secs
lola: 512662 markings, 525939 edges, 54051 markings/sec, 5 secs
lola: 773138 markings, 787518 edges, 52095 markings/sec, 10 secs
lola: 1041496 markings, 1057268 edges, 53672 markings/sec, 15 secs
lola: 1308169 markings, 1325620 edges, 53335 markings/sec, 20 secs
lola: 1573986 markings, 1593010 edges, 53163 markings/sec, 25 secs
lola: 1841916 markings, 1862543 edges, 53586 markings/sec, 30 secs
lola: 2106524 markings, 2128819 edges, 52922 markings/sec, 35 secs
lola: 2370446 markings, 2394310 edges, 52784 markings/sec, 40 secs
lola: 2630164 markings, 2655535 edges, 51944 markings/sec, 45 secs
lola: 2889507 markings, 2916553 edges, 51869 markings/sec, 50 secs
lola: 3148764 markings, 3177201 edges, 51851 markings/sec, 55 secs
lola: 3408370 markings, 3438450 edges, 51921 markings/sec, 60 secs
lola: 3669651 markings, 3700881 edges, 52256 markings/sec, 65 secs
lola: 3929377 markings, 3961715 edges, 51945 markings/sec, 70 secs
lola: 4188785 markings, 4222287 edges, 51882 markings/sec, 75 secs
lola: 4452506 markings, 4487676 edges, 52744 markings/sec, 80 secs
lola: 4714043 markings, 4750765 edges, 52307 markings/sec, 85 secs
lola: 4974723 markings, 5012991 edges, 52136 markings/sec, 90 secs
lola: 5238966 markings, 5278924 edges, 52849 markings/sec, 95 secs
lola: 5491637 markings, 5533068 edges, 50534 markings/sec, 100 secs
lola: 5748823 markings, 5791584 edges, 51437 markings/sec, 105 secs
lola: 6012197 markings, 6056599 edges, 52675 markings/sec, 110 secs
lola: 6265596 markings, 6311354 edges, 50680 markings/sec, 115 secs
lola: 6529007 markings, 6576411 edges, 52682 markings/sec, 120 secs
lola: 6788226 markings, 6836965 edges, 51844 markings/sec, 125 secs
lola: 7043570 markings, 7093703 edges, 51069 markings/sec, 130 secs
lola: 7303786 markings, 7355684 edges, 52043 markings/sec, 135 secs
lola: 7562623 markings, 7615690 edges, 51767 markings/sec, 140 secs
lola: 7826180 markings, 7880828 edges, 52711 markings/sec, 145 secs
lola: 8086047 markings, 8142328 edges, 51973 markings/sec, 150 secs
lola: 8341128 markings, 8398557 edges, 51016 markings/sec, 155 secs
lola: 8610361 markings, 8669514 edges, 53847 markings/sec, 160 secs
lola: 8869217 markings, 8929888 edges, 51771 markings/sec, 165 secs
lola: 9121405 markings, 9183357 edges, 50438 markings/sec, 170 secs
lola: 9383582 markings, 9447178 edges, 52435 markings/sec, 175 secs
lola: 9645561 markings, 9710572 edges, 52396 markings/sec, 180 secs
lola: 9911702 markings, 9978314 edges, 53228 markings/sec, 185 secs
lola: 10172702 markings, 10240727 edges, 52200 markings/sec, 190 secs
lola: 10429558 markings, 10498985 edges, 51371 markings/sec, 195 secs
lola: 10690257 markings, 10761389 edges, 52140 markings/sec, 200 secs
lola: 10949783 markings, 11022152 edges, 51905 markings/sec, 205 secs
lola: 11213133 markings, 11286998 edges, 52670 markings/sec, 210 secs
lola: 11476882 markings, 11552498 edges, 52750 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(p4il_6_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 185932 markings, 193811 edges, 37186 markings/sec, 0 secs
lola: 362492 markings, 373065 edges, 35312 markings/sec, 5 secs
lola: 537521 markings, 550812 edges, 35006 markings/sec, 10 secs
lola: 712231 markings, 728171 edges, 34942 markings/sec, 15 secs
lola: 886775 markings, 905651 edges, 34909 markings/sec, 20 secs
lola: 1060643 markings, 1081944 edges, 34774 markings/sec, 25 secs
lola: 1239600 markings, 1262522 edges, 35791 markings/sec, 30 secs
lola: 1418665 markings, 1443050 edges, 35813 markings/sec, 35 secs
lola: 1597630 markings, 1624014 edges, 35793 markings/sec, 40 secs
lola: 1773821 markings, 1802497 edges, 35238 markings/sec, 45 secs
lola: 1958319 markings, 1987834 edges, 36900 markings/sec, 50 secs
lola: 2142913 markings, 2173714 edges, 36919 markings/sec, 55 secs
lola: 2325286 markings, 2357369 edges, 36475 markings/sec, 60 secs
lola: 2508505 markings, 2541703 edges, 36644 markings/sec, 65 secs
lola: 2690520 markings, 2725161 edges, 36403 markings/sec, 70 secs
lola: 2872579 markings, 2908297 edges, 36412 markings/sec, 75 secs
lola: 3055348 markings, 3092329 edges, 36554 markings/sec, 80 secs
lola: 3236628 markings, 3274881 edges, 36256 markings/sec, 85 secs
lola: 3417913 markings, 3457244 edges, 36257 markings/sec, 90 secs
lola: 3594336 markings, 3635065 edges, 35285 markings/sec, 95 secs
lola: 3769378 markings, 3811139 edges, 35008 markings/sec, 100 secs
lola: 3945755 markings, 3988902 edges, 35275 markings/sec, 105 secs
lola: 4125358 markings, 4169583 edges, 35921 markings/sec, 110 secs
lola: 4307030 markings, 4352400 edges, 36334 markings/sec, 115 secs
lola: 4491756 markings, 4538531 edges, 36945 markings/sec, 120 secs
lola: 4675958 markings, 4723832 edges, 36840 markings/sec, 125 secs
lola: 4860563 markings, 4909901 edges, 36921 markings/sec, 130 secs
lola: 5044872 markings, 5095320 edges, 36862 markings/sec, 135 secs
lola: 5229944 markings, 5281565 edges, 37014 markings/sec, 140 secs
lola: 5415317 markings, 5468341 edges, 37075 markings/sec, 145 secs
lola: 5599432 markings, 5653557 edges, 36823 markings/sec, 150 secs
lola: 5777973 markings, 5833508 edges, 35708 markings/sec, 155 secs
lola: 5960130 markings, 6016758 edges, 36431 markings/sec, 160 secs
lola: 6142403 markings, 6200249 edges, 36455 markings/sec, 165 secs
lola: 6320471 markings, 6379606 edges, 35614 markings/sec, 170 secs
lola: 6499010 markings, 6559194 edges, 35708 markings/sec, 175 secs
lola: 6681332 markings, 6742961 edges, 36464 markings/sec, 180 secs
lola: 6862813 markings, 6925524 edges, 36296 markings/sec, 185 secs
lola: 7042405 markings, 7106445 edges, 35918 markings/sec, 190 secs
lola: 7224061 markings, 7289282 edges, 36331 markings/sec, 195 secs
lola: 7406452 markings, 7472762 edges, 36478 markings/sec, 200 secs
lola: 7588763 markings, 7656515 edges, 36462 markings/sec, 205 secs
lola: 7769354 markings, 7838187 edges, 36118 markings/sec, 210 secs
lola: 7949453 markings, 8019702 edges, 36020 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(pb2_7_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 222658 markings, 246833 edges, 44532 markings/sec, 0 secs
lola: 407938 markings, 453295 edges, 37056 markings/sec, 5 secs
lola: 576985 markings, 643603 edges, 33809 markings/sec, 10 secs
lola: 733668 markings, 819145 edges, 31337 markings/sec, 15 secs
lola: 881913 markings, 983901 edges, 29649 markings/sec, 20 secs
lola: 1027377 markings, 1147685 edges, 29093 markings/sec, 25 secs
lola: 1166914 markings, 1305763 edges, 27907 markings/sec, 30 secs
lola: 1299789 markings, 1456974 edges, 26575 markings/sec, 35 secs
lola: 1431081 markings, 1607097 edges, 26258 markings/sec, 40 secs
lola: 1561746 markings, 1755406 edges, 26133 markings/sec, 45 secs
lola: 1692680 markings, 1905231 edges, 26187 markings/sec, 50 secs
lola: 1823976 markings, 2055359 edges, 26259 markings/sec, 55 secs
lola: 1954184 markings, 2201604 edges, 26042 markings/sec, 60 secs
lola: 2077664 markings, 2340097 edges, 24696 markings/sec, 65 secs
lola: 2195776 markings, 2471138 edges, 23622 markings/sec, 70 secs
lola: 2314025 markings, 2605759 edges, 23650 markings/sec, 75 secs
lola: 2427683 markings, 2733020 edges, 22732 markings/sec, 80 secs
lola: 2539842 markings, 2858535 edges, 22432 markings/sec, 85 secs
lola: 2653500 markings, 2984676 edges, 22732 markings/sec, 90 secs
lola: 2767791 markings, 3116087 edges, 22858 markings/sec, 95 secs
lola: 2891245 markings, 3264596 edges, 24691 markings/sec, 100 secs
lola: 3004108 markings, 3386553 edges, 22573 markings/sec, 105 secs
lola: 3110156 markings, 3498127 edges, 21210 markings/sec, 110 secs
lola: 3217593 markings, 3607001 edges, 21487 markings/sec, 115 secs
lola: 3324852 markings, 3715965 edges, 21452 markings/sec, 120 secs
lola: 3431995 markings, 3824810 edges, 21429 markings/sec, 125 secs
lola: 3538401 markings, 3932912 edges, 21281 markings/sec, 130 secs
lola: 3644928 markings, 4041147 edges, 21305 markings/sec, 135 secs
lola: 3751299 markings, 4149221 edges, 21274 markings/sec, 140 secs
lola: 3856949 markings, 4256564 edges, 21130 markings/sec, 145 secs
lola: 3963653 markings, 4364972 edges, 21341 markings/sec, 150 secs
lola: 4070360 markings, 4473371 edges, 21341 markings/sec, 155 secs
lola: 4176953 markings, 4581549 edges, 21319 markings/sec, 160 secs
lola: 4283460 markings, 4689278 edges, 21301 markings/sec, 165 secs
lola: 4390107 markings, 4797498 edges, 21329 markings/sec, 170 secs
lola: 4496729 markings, 4905809 edges, 21324 markings/sec, 175 secs
lola: 4603300 markings, 5014067 edges, 21314 markings/sec, 180 secs
lola: 4710368 markings, 5122841 edges, 21414 markings/sec, 185 secs
lola: 4818219 markings, 5232396 edges, 21570 markings/sec, 190 secs
lola: 4925790 markings, 5341672 edges, 21514 markings/sec, 195 secs
lola: 5036232 markings, 5453543 edges, 22088 markings/sec, 200 secs
lola: 5150077 markings, 5567392 edges, 22769 markings/sec, 205 secs
lola: 5263993 markings, 5681342 edges, 22783 markings/sec, 210 secs
lola: 5375280 markings, 5792888 edges, 22257 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(pb3_10_13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 195313 markings, 205016 edges, 39063 markings/sec, 0 secs
lola: 373534 markings, 389789 edges, 35644 markings/sec, 5 secs
lola: 550343 markings, 569894 edges, 35362 markings/sec, 10 secs
lola: 727759 markings, 750838 edges, 35483 markings/sec, 15 secs
lola: 898943 markings, 925894 edges, 34237 markings/sec, 20 secs
lola: 1070151 markings, 1100832 edges, 34242 markings/sec, 25 secs
lola: 1240279 markings, 1275742 edges, 34026 markings/sec, 30 secs
lola: 1408535 markings, 1449548 edges, 33651 markings/sec, 35 secs
lola: 1579466 markings, 1626809 edges, 34186 markings/sec, 40 secs
lola: 1750680 markings, 1801707 edges, 34243 markings/sec, 45 secs
lola: 1918305 markings, 1972478 edges, 33525 markings/sec, 50 secs
lola: 2082930 markings, 2140391 edges, 32925 markings/sec, 55 secs
lola: 2249412 markings, 2312209 edges, 33296 markings/sec, 60 secs
lola: 2414993 markings, 2483965 edges, 33116 markings/sec, 65 secs
lola: 2576501 markings, 2654098 edges, 32302 markings/sec, 70 secs
lola: 2735867 markings, 2823613 edges, 31873 markings/sec, 75 secs
lola: 2904809 markings, 3034412 edges, 33788 markings/sec, 80 secs
lola: 3067046 markings, 3251059 edges, 32447 markings/sec, 85 secs
lola: 3195570 markings, 3529707 edges, 25705 markings/sec, 90 secs
lola: 3350662 markings, 3771271 edges, 31018 markings/sec, 95 secs
lola: 3511866 markings, 3975626 edges, 32241 markings/sec, 100 secs
lola: 3630796 markings, 4274136 edges, 23786 markings/sec, 105 secs
lola: 3793906 markings, 4494981 edges, 32622 markings/sec, 110 secs
lola: 3954588 markings, 4696135 edges, 32136 markings/sec, 115 secs
lola: 4078376 markings, 4993289 edges, 24758 markings/sec, 120 secs
lola: 4247461 markings, 5199234 edges, 33817 markings/sec, 125 secs
lola: 4409659 markings, 5408464 edges, 32440 markings/sec, 130 secs
lola: 4529871 markings, 5709582 edges, 24042 markings/sec, 135 secs
lola: 4692003 markings, 5920079 edges, 32426 markings/sec, 140 secs
lola: 4849034 markings, 6118264 edges, 31406 markings/sec, 145 secs
lola: 4967587 markings, 6413200 edges, 23711 markings/sec, 150 secs
lola: 5127210 markings, 6622485 edges, 31925 markings/sec, 155 secs
lola: 5248638 markings, 6912920 edges, 24286 markings/sec, 160 secs
lola: 5405322 markings, 7122718 edges, 31337 markings/sec, 165 secs
lola: 5559755 markings, 7319566 edges, 30887 markings/sec, 170 secs
lola: 5678907 markings, 7610897 edges, 23830 markings/sec, 175 secs
lola: 5838423 markings, 7813340 edges, 31903 markings/sec, 180 secs
lola: 5954125 markings, 8109228 edges, 23140 markings/sec, 185 secs
lola: 6121155 markings, 8315799 edges, 33406 markings/sec, 190 secs
lola: 6261294 markings, 8566758 edges, 28028 markings/sec, 195 secs
lola: 6408890 markings, 8806735 edges, 29519 markings/sec, 200 secs
lola: 6575765 markings, 8998677 edges, 33375 markings/sec, 205 secs
lola: 6740218 markings, 9190594 edges, 32891 markings/sec, 210 secs
lola: 6906603 markings, 9378931 edges, 33277 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(p4i_13_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 106073 markings, 292291 edges, 21215 markings/sec, 0 secs
lola: 206352 markings, 574946 edges, 20056 markings/sec, 5 secs
lola: 304168 markings, 824196 edges, 19563 markings/sec, 10 secs
lola: 379717 markings, 1136923 edges, 15110 markings/sec, 15 secs
lola: 385150 markings, 1640088 edges, 1087 markings/sec, 20 secs
lola: 438112 markings, 2041045 edges, 10592 markings/sec, 25 secs
lola: 529211 markings, 2312789 edges, 18220 markings/sec, 30 secs
lola: 621116 markings, 2556766 edges, 18381 markings/sec, 35 secs
lola: 711474 markings, 2791927 edges, 18072 markings/sec, 40 secs
lola: 747255 markings, 3182123 edges, 7156 markings/sec, 45 secs
lola: 752538 markings, 3645530 edges, 1057 markings/sec, 50 secs
lola: 826911 markings, 3961952 edges, 14875 markings/sec, 55 secs
lola: 917632 markings, 4217198 edges, 18144 markings/sec, 60 secs
lola: 1006740 markings, 4445299 edges, 17822 markings/sec, 65 secs
lola: 1091157 markings, 4683195 edges, 16883 markings/sec, 70 secs
lola: 1105491 markings, 5108256 edges, 2867 markings/sec, 75 secs
lola: 1110100 markings, 5560654 edges, 922 markings/sec, 80 secs
lola: 1200667 markings, 5844751 edges, 18113 markings/sec, 85 secs
lola: 1294123 markings, 6087517 edges, 18691 markings/sec, 90 secs
lola: 1383566 markings, 6313668 edges, 17889 markings/sec, 95 secs
lola: 1450886 markings, 6596066 edges, 13464 markings/sec, 100 secs
lola: 1455894 markings, 7034238 edges, 1002 markings/sec, 105 secs
lola: 1496512 markings, 7425841 edges, 8124 markings/sec, 110 secs
lola: 1605556 markings, 7687202 edges, 21809 markings/sec, 115 secs
lola: 1702112 markings, 7952582 edges, 19311 markings/sec, 120 secs
lola: 1796625 markings, 8194397 edges, 18903 markings/sec, 125 secs
lola: 1882610 markings, 8459354 edges, 17197 markings/sec, 130 secs
lola: 1891292 markings, 8945806 edges, 1736 markings/sec, 135 secs
lola: 1927911 markings, 9377674 edges, 7324 markings/sec, 140 secs
lola: 2020531 markings, 9653951 edges, 18524 markings/sec, 145 secs
lola: 2113780 markings, 9892753 edges, 18650 markings/sec, 150 secs
lola: 2201944 markings, 10134468 edges, 17633 markings/sec, 155 secs
lola: 2222352 markings, 10567580 edges, 4082 markings/sec, 160 secs
lola: 2230356 markings, 11043669 edges, 1601 markings/sec, 165 secs
lola: 2344818 markings, 11277081 edges, 22892 markings/sec, 170 secs
lola: 2442707 markings, 11557906 edges, 19578 markings/sec, 175 secs
lola: 2539442 markings, 11806079 edges, 19347 markings/sec, 180 secs
lola: 2625548 markings, 12080650 edges, 17221 markings/sec, 185 secs
lola: 2632964 markings, 12584114 edges, 1483 markings/sec, 190 secs
lola: 2672189 markings, 13002548 edges, 7845 markings/sec, 195 secs
lola: 2759704 markings, 13237732 edges, 17503 markings/sec, 200 secs
lola: 2847891 markings, 13464723 edges, 17637 markings/sec, 205 secs
lola: 2932731 markings, 13701753 edges, 16968 markings/sec, 210 secs
lola: 2947993 markings, 14117211 edges, 3052 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(p4il_1_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 343284 markings, 363852 edges, 68657 markings/sec, 0 secs
lola: 688249 markings, 709897 edges, 68993 markings/sec, 5 secs
lola: 1030171 markings, 1052784 edges, 68384 markings/sec, 10 secs
lola: 1355617 markings, 1379040 edges, 65089 markings/sec, 15 secs
lola: 1679528 markings, 1703655 edges, 64782 markings/sec, 20 secs
lola: 2028637 markings, 2053602 edges, 69822 markings/sec, 25 secs
lola: 2378275 markings, 2404096 edges, 69928 markings/sec, 30 secs
lola: 2727008 markings, 2753581 edges, 69747 markings/sec, 35 secs
lola: 3075964 markings, 3103370 edges, 69791 markings/sec, 40 secs
lola: 3425228 markings, 3453491 edges, 69853 markings/sec, 45 secs
lola: 3764813 markings, 3793795 edges, 67917 markings/sec, 50 secs
lola: 4095256 markings, 4125075 edges, 66089 markings/sec, 55 secs
lola: 4420679 markings, 4451178 edges, 65085 markings/sec, 60 secs
lola: 4747983 markings, 4779313 edges, 65461 markings/sec, 65 secs
lola: 5073488 markings, 5105494 edges, 65101 markings/sec, 70 secs
lola: 5397248 markings, 5430079 edges, 64752 markings/sec, 75 secs
lola: 5728982 markings, 5762508 edges, 66347 markings/sec, 80 secs
lola: 6070389 markings, 6104772 edges, 68281 markings/sec, 85 secs
lola: 6405472 markings, 6440573 edges, 67017 markings/sec, 90 secs
lola: 6739368 markings, 6775274 edges, 66779 markings/sec, 95 secs
lola: 7070316 markings, 7106962 edges, 66190 markings/sec, 100 secs
lola: 7403828 markings, 7441264 edges, 66702 markings/sec, 105 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 231 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_1_9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 294823 markings, 316327 edges, 58965 markings/sec, 0 secs
lola: 591396 markings, 640624 edges, 59315 markings/sec, 5 secs
lola: 880198 markings, 956007 edges, 57760 markings/sec, 10 secs
lola: 1158217 markings, 1254503 edges, 55604 markings/sec, 15 secs
lola: 1424817 markings, 1541882 edges, 53320 markings/sec, 20 secs
lola: 1688972 markings, 1826653 edges, 52831 markings/sec, 25 secs
lola: 1953054 markings, 2111399 edges, 52816 markings/sec, 30 secs
lola: 2237005 markings, 2410076 edges, 56790 markings/sec, 35 secs
lola: 2563025 markings, 2737321 edges, 65204 markings/sec, 40 secs
lola: 2882195 markings, 3058368 edges, 63834 markings/sec, 45 secs
lola: 3200499 markings, 3378328 edges, 63661 markings/sec, 50 secs
lola: 3521527 markings, 3701122 edges, 64206 markings/sec, 55 secs
lola: 3843661 markings, 4024930 edges, 64427 markings/sec, 60 secs
lola: 4163113 markings, 4346142 edges, 63890 markings/sec, 65 secs
lola: 4482564 markings, 4667251 edges, 63890 markings/sec, 70 secs
lola: 4798135 markings, 4985265 edges, 63114 markings/sec, 75 secs
lola: 5111447 markings, 5301012 edges, 62662 markings/sec, 80 secs
lola: 5423106 markings, 5615038 edges, 62332 markings/sec, 85 secs
lola: 5734750 markings, 5929101 edges, 62329 markings/sec, 90 secs
lola: 6046126 markings, 6243149 edges, 62275 markings/sec, 95 secs
lola: 6361905 markings, 6561440 edges, 63156 markings/sec, 100 secs
lola: 6685130 markings, 6887153 edges, 64645 markings/sec, 105 secs
lola: 7007366 markings, 7211806 edges, 64447 markings/sec, 110 secs
lola: 7327280 markings, 7534466 edges, 63983 markings/sec, 115 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb2_10_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 214198 markings, 232168 edges, 42840 markings/sec, 0 secs
lola: 418177 markings, 446766 edges, 40796 markings/sec, 5 secs
lola: 632425 markings, 665491 edges, 42850 markings/sec, 10 secs
lola: 850821 markings, 885840 edges, 43679 markings/sec, 15 secs
lola: 1066313 markings, 1103283 edges, 43098 markings/sec, 20 secs
lola: 1281865 markings, 1320579 edges, 43110 markings/sec, 25 secs
lola: 1494205 markings, 1534569 edges, 42468 markings/sec, 30 secs
lola: 1707177 markings, 1749268 edges, 42594 markings/sec, 35 secs
lola: 1918343 markings, 1962192 edges, 42233 markings/sec, 40 secs
lola: 2126515 markings, 2172048 edges, 41634 markings/sec, 45 secs
lola: 2343541 markings, 2389906 edges, 43405 markings/sec, 50 secs
lola: 2553622 markings, 2600627 edges, 42016 markings/sec, 55 secs
lola: 2765508 markings, 2815017 edges, 42377 markings/sec, 60 secs
lola: 2977913 markings, 3030298 edges, 42481 markings/sec, 65 secs
lola: 3189864 markings, 3245100 edges, 42390 markings/sec, 70 secs
lola: 3401708 markings, 3459794 edges, 42369 markings/sec, 75 secs
lola: 3613539 markings, 3674474 edges, 42366 markings/sec, 80 secs
lola: 3825257 markings, 3889043 edges, 42344 markings/sec, 85 secs
lola: 4037576 markings, 4104215 edges, 42464 markings/sec, 90 secs
lola: 4250290 markings, 4319788 edges, 42543 markings/sec, 95 secs
lola: 4462953 markings, 4535330 edges, 42533 markings/sec, 100 secs
lola: 4675316 markings, 4750547 edges, 42473 markings/sec, 105 secs
lola: 4887207 markings, 4965284 edges, 42378 markings/sec, 110 secs
lola: 5099340 markings, 5180269 edges, 42427 markings/sec, 115 secs
lola: 5312025 markings, 5395808 edges, 42537 markings/sec, 120 secs
lola: 5522618 markings, 5609263 edges, 42119 markings/sec, 125 secs
lola: 5734135 markings, 5823607 edges, 42303 markings/sec, 130 secs
lola: 5945843 markings, 6038164 edges, 42342 markings/sec, 135 secs
lola: 6158243 markings, 6253417 edges, 42480 markings/sec, 140 secs
lola: 6370146 markings, 6468172 edges, 42381 markings/sec, 145 secs
lola: 6582238 markings, 6683446 edges, 42418 markings/sec, 150 secs
lola: 6790979 markings, 6894700 edges, 41748 markings/sec, 155 secs
lola: 6999300 markings, 7105380 edges, 41664 markings/sec, 160 secs
lola: 7203793 markings, 7312175 edges, 40899 markings/sec, 165 secs
lola: 7410197 markings, 7521019 edges, 41281 markings/sec, 170 secs
lola: 7624121 markings, 7737451 edges, 42785 markings/sec, 175 secs
lola: 7835905 markings, 7951656 edges, 42357 markings/sec, 180 secs
lola: 8048274 markings, 8166494 edges, 42474 markings/sec, 185 secs
lola: 8259587 markings, 8380218 edges, 42263 markings/sec, 190 secs
lola: 8472689 markings, 8595717 edges, 42620 markings/sec, 195 secs
lola: 8686242 markings, 8811804 edges, 42711 markings/sec, 200 secs
lola: 8903202 markings, 9031295 edges, 43392 markings/sec, 205 secs
lola: 9117459 markings, 9247906 edges, 42851 markings/sec, 210 secs
lola: 9330650 markings, 9463422 edges, 42638 markings/sec, 215 secs
lola: 9546197 markings, 9681399 edges, 43109 markings/sec, 220 secs
lola: 9758573 markings, 9896244 edges, 42475 markings/sec, 225 secs
lola: 9972387 markings, 10112453 edges, 42763 markings/sec, 230 secs
lola: 10186508 markings, 10329049 edges, 42824 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1o_6_7)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 171799 markings, 181423 edges, 34360 markings/sec, 0 secs
lola: 333516 markings, 352927 edges, 32343 markings/sec, 5 secs
lola: 499273 markings, 521902 edges, 33151 markings/sec, 10 secs
lola: 666530 markings, 692094 edges, 33451 markings/sec, 15 secs
lola: 833634 markings, 862298 edges, 33421 markings/sec, 20 secs
lola: 999334 markings, 1031310 edges, 33140 markings/sec, 25 secs
lola: 1167656 markings, 1202757 edges, 33664 markings/sec, 30 secs
lola: 1334640 markings, 1373100 edges, 33397 markings/sec, 35 secs
lola: 1501452 markings, 1542975 edges, 33362 markings/sec, 40 secs
lola: 1667960 markings, 1712849 edges, 33302 markings/sec, 45 secs
lola: 1835016 markings, 1882918 edges, 33411 markings/sec, 50 secs
lola: 2001768 markings, 2053040 edges, 33350 markings/sec, 55 secs
lola: 2166795 markings, 2221074 edges, 33005 markings/sec, 60 secs
lola: 2332089 markings, 2389739 edges, 33059 markings/sec, 65 secs
lola: 2497448 markings, 2558085 edges, 33072 markings/sec, 70 secs
lola: 2662908 markings, 2726968 edges, 33092 markings/sec, 75 secs
lola: 2828812 markings, 2896231 edges, 33181 markings/sec, 80 secs
lola: 2993474 markings, 3064742 edges, 32932 markings/sec, 85 secs
lola: 3158758 markings, 3233889 edges, 33057 markings/sec, 90 secs
lola: 3323653 markings, 3402774 edges, 32979 markings/sec, 95 secs
lola: 3488360 markings, 3571323 edges, 32941 markings/sec, 100 secs
lola: 3652480 markings, 3739268 edges, 32824 markings/sec, 105 secs
lola: 3816774 markings, 3907540 edges, 32859 markings/sec, 110 secs
lola: 3983035 markings, 4077692 edges, 33252 markings/sec, 115 secs
lola: 4147654 markings, 4246164 edges, 32924 markings/sec, 120 secs
lola: 4312660 markings, 4415053 edges, 33001 markings/sec, 125 secs
lola: 4478176 markings, 4584473 edges, 33103 markings/sec, 130 secs
lola: 4644302 markings, 4754309 edges, 33225 markings/sec, 135 secs
lola: 4809290 markings, 4923222 edges, 32998 markings/sec, 140 secs
lola: 4975563 markings, 5093455 edges, 33255 markings/sec, 145 secs
lola: 5139905 markings, 5261594 edges, 32868 markings/sec, 150 secs
lola: 5304871 markings, 5430505 edges, 32993 markings/sec, 155 secs
lola: 5466639 markings, 5596026 edges, 32354 markings/sec, 160 secs
lola: 5630325 markings, 5763655 edges, 32737 markings/sec, 165 secs
lola: 5793727 markings, 5930885 edges, 32680 markings/sec, 170 secs
lola: 5958442 markings, 6099481 edges, 32943 markings/sec, 175 secs
lola: 6123282 markings, 6268219 edges, 32968 markings/sec, 180 secs
lola: 6288166 markings, 6437006 edges, 32977 markings/sec, 185 secs
lola: 6453875 markings, 6606549 edges, 33142 markings/sec, 190 secs
lola: 6617667 markings, 6774224 edges, 32758 markings/sec, 195 secs
lola: 6782681 markings, 6943139 edges, 33003 markings/sec, 200 secs
lola: 6948495 markings, 7112855 edges, 33163 markings/sec, 205 secs
lola: 7112946 markings, 7281106 edges, 32890 markings/sec, 210 secs
lola: 7278204 markings, 7450297 edges, 33052 markings/sec, 215 secs
lola: 7445804 markings, 7621802 edges, 33520 markings/sec, 220 secs
lola: 7613117 markings, 7793028 edges, 33463 markings/sec, 225 secs
lola: 7781255 markings, 7965097 edges, 33628 markings/sec, 230 secs
lola: 7948651 markings, 8136440 edges, 33479 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb3_7_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 180045 markings, 201024 edges, 36009 markings/sec, 0 secs
lola: 341042 markings, 380249 edges, 32199 markings/sec, 5 secs
lola: 491151 markings, 550798 edges, 30022 markings/sec, 10 secs
lola: 631303 markings, 711030 edges, 28030 markings/sec, 15 secs
lola: 778033 markings, 908090 edges, 29346 markings/sec, 20 secs
lola: 916290 markings, 1063861 edges, 27651 markings/sec, 25 secs
lola: 1048090 markings, 1217525 edges, 26360 markings/sec, 30 secs
lola: 1234479 markings, 1414957 edges, 37278 markings/sec, 35 secs
lola: 1419214 markings, 1610921 edges, 36947 markings/sec, 40 secs
lola: 1604999 markings, 1806182 edges, 37157 markings/sec, 45 secs
lola: 1786818 markings, 1995877 edges, 36364 markings/sec, 50 secs
lola: 1960533 markings, 2188876 edges, 34743 markings/sec, 55 secs
lola: 2130773 markings, 2370425 edges, 34048 markings/sec, 60 secs
lola: 2293422 markings, 2538203 edges, 32530 markings/sec, 65 secs
lola: 2457596 markings, 2705169 edges, 32835 markings/sec, 70 secs
lola: 2631829 markings, 2880912 edges, 34847 markings/sec, 75 secs
lola: 2805823 markings, 3057079 edges, 34799 markings/sec, 80 secs
lola: 2980175 markings, 3233124 edges, 34870 markings/sec, 85 secs
lola: 3154836 markings, 3409722 edges, 34932 markings/sec, 90 secs
lola: 3330291 markings, 3587134 edges, 35091 markings/sec, 95 secs
lola: 3504195 markings, 3762830 edges, 34781 markings/sec, 100 secs
lola: 3676903 markings, 3937206 edges, 34542 markings/sec, 105 secs
lola: 3847315 markings, 4109118 edges, 34082 markings/sec, 110 secs
lola: 4015846 markings, 4278378 edges, 33706 markings/sec, 115 secs
lola: 4181863 markings, 4445229 edges, 33203 markings/sec, 120 secs
lola: 4347574 markings, 4611889 edges, 33142 markings/sec, 125 secs
lola: 4514926 markings, 4780398 edges, 33470 markings/sec, 130 secs
lola: 4681441 markings, 4947877 edges, 33303 markings/sec, 135 secs
lola: 4845811 markings, 5113319 edges, 32874 markings/sec, 140 secs
lola: 5010310 markings, 5278832 edges, 32900 markings/sec, 145 secs
lola: 5175092 markings, 5444322 edges, 32956 markings/sec, 150 secs
lola: 5338860 markings, 5608755 edges, 32754 markings/sec, 155 secs
lola: 5501601 markings, 5772159 edges, 32548 markings/sec, 160 secs
lola: 5665608 markings, 5936846 edges, 32801 markings/sec, 165 secs
lola: 5829716 markings, 6101458 edges, 32822 markings/sec, 170 secs
lola: 5992311 markings, 6264456 edges, 32519 markings/sec, 175 secs
lola: 6164855 markings, 6437087 edges, 34509 markings/sec, 180 secs
lola: 6343667 markings, 6615979 edges, 35762 markings/sec, 185 secs
lola: 6521150 markings, 6793549 edges, 35497 markings/sec, 190 secs
lola: 6696947 markings, 6969454 edges, 35159 markings/sec, 195 secs
lola: 6872555 markings, 7145395 edges, 35122 markings/sec, 200 secs
lola: 7042339 markings, 7315239 edges, 33957 markings/sec, 205 secs
lola: 7212347 markings, 7485316 edges, 34002 markings/sec, 210 secs
lola: 7382134 markings, 7655188 edges, 33957 markings/sec, 215 secs
lola: 7557595 markings, 7830745 edges, 35092 markings/sec, 220 secs
lola: 7732004 markings, 8005245 edges, 34882 markings/sec, 225 secs
lola: 7905899 markings, 8179241 edges, 34779 markings/sec, 230 secs
lola: 8079600 markings, 8353037 edges, 34740 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1ol_2_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 321596 markings, 329904 edges, 64319 markings/sec, 0 secs
lola: 661488 markings, 686747 edges, 67978 markings/sec, 5 secs
lola: 1000493 markings, 1042463 edges, 67801 markings/sec, 10 secs
lola: 1320320 markings, 1378002 edges, 63965 markings/sec, 15 secs
lola: 1623089 markings, 1694842 edges, 60554 markings/sec, 20 secs
lola: 1941962 markings, 2015129 edges, 63775 markings/sec, 25 secs
lola: 2263240 markings, 2337326 edges, 64256 markings/sec, 30 secs
lola: 2580028 markings, 2655123 edges, 63358 markings/sec, 35 secs
lola: 2897518 markings, 2973128 edges, 63498 markings/sec, 40 secs
lola: 3209257 markings, 3285296 edges, 62348 markings/sec, 45 secs
lola: 3535483 markings, 3611739 edges, 65245 markings/sec, 50 secs
lola: 3866225 markings, 3942881 edges, 66148 markings/sec, 55 secs
lola: 4196527 markings, 4273551 edges, 66060 markings/sec, 60 secs
lola: 4524276 markings, 4601700 edges, 65550 markings/sec, 65 secs
lola: 4851132 markings, 4928937 edges, 65371 markings/sec, 70 secs
lola: 5175599 markings, 5253801 edges, 64893 markings/sec, 75 secs
lola: 5499833 markings, 5578397 edges, 64847 markings/sec, 80 secs
lola: 5826308 markings, 5905267 edges, 65295 markings/sec, 85 secs
lola: 6152334 markings, 6231675 edges, 65205 markings/sec, 90 secs
lola: 6476048 markings, 6555706 edges, 64743 markings/sec, 95 secs
lola: 6797813 markings, 6877767 edges, 64353 markings/sec, 100 secs
lola: 7124282 markings, 7204514 edges, 65294 markings/sec, 105 secs
lola: 7443416 markings, 7523907 edges, 63827 markings/sec, 110 secs
lola: 7756613 markings, 7837293 edges, 62639 markings/sec, 115 secs
lola: 8067676 markings, 8148541 edges, 62213 markings/sec, 120 secs
lola: 8376069 markings, 8457122 edges, 61679 markings/sec, 125 secs
lola: 8683291 markings, 8764529 edges, 61444 markings/sec, 130 secs
lola: 8991313 markings, 9072736 edges, 61604 markings/sec, 135 secs
lola: 9297998 markings, 9379606 edges, 61337 markings/sec, 140 secs
lola: 9603980 markings, 9685770 edges, 61196 markings/sec, 145 secs
lola: 9922060 markings, 10003908 edges, 63616 markings/sec, 150 secs
lola: 10247056 markings, 10328911 edges, 64999 markings/sec, 155 secs
lola: 10566357 markings, 10648244 edges, 63860 markings/sec, 160 secs
lola: 10885020 markings, 10966944 edges, 63733 markings/sec, 165 secs
lola: 11204166 markings, 11286127 edges, 63829 markings/sec, 170 secs
lola: 11522573 markings, 11604547 edges, 63681 markings/sec, 175 secs
lola: 11846518 markings, 11928521 edges, 64789 markings/sec, 180 secs
lola: 12166974 markings, 12249013 edges, 64091 markings/sec, 185 secs
lola: 12481650 markings, 12563725 edges, 62935 markings/sec, 190 secs
lola: 12797846 markings, 12879952 edges, 63239 markings/sec, 195 secs
lola: 13115184 markings, 13197321 edges, 63468 markings/sec, 200 secs
lola: 13433580 markings, 13515726 edges, 63679 markings/sec, 205 secs
lola: 13757665 markings, 13839837 edges, 64817 markings/sec, 210 secs
lola: 14081069 markings, 14163244 edges, 64681 markings/sec, 215 secs
lola: 14406201 markings, 14488377 edges, 65026 markings/sec, 220 secs
lola: 14731097 markings, 14813286 edges, 64979 markings/sec, 225 secs
lola: 15053171 markings, 15135370 edges, 64415 markings/sec, 230 secs
lola: 15384543 markings, 15466789 edges, 66274 markings/sec, 235 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 242 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_1_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 361825 markings, 376019 edges, 72365 markings/sec, 0 secs
lola: 749110 markings, 770551 edges, 77457 markings/sec, 5 secs
lola: 1156270 markings, 1196809 edges, 81432 markings/sec, 10 secs
lola: 1546562 markings, 1620360 edges, 78058 markings/sec, 15 secs
lola: 1940498 markings, 2034972 edges, 78787 markings/sec, 20 secs
lola: 2324870 markings, 2437394 edges, 76874 markings/sec, 25 secs
lola: 2696714 markings, 2831762 edges, 74369 markings/sec, 30 secs
lola: 3054910 markings, 3219424 edges, 71639 markings/sec, 35 secs
lola: 3356733 markings, 3632545 edges, 60365 markings/sec, 40 secs
lola: 3707888 markings, 4058298 edges, 70231 markings/sec, 45 secs
lola: 4087622 markings, 4467750 edges, 75947 markings/sec, 50 secs
lola: 4469506 markings, 4873542 edges, 76377 markings/sec, 55 secs
lola: 4849077 markings, 5269532 edges, 75914 markings/sec, 60 secs
lola: 5218146 markings, 5660232 edges, 73814 markings/sec, 65 secs
lola: 5577447 markings, 6047186 edges, 71860 markings/sec, 70 secs
lola: 5924806 markings, 6429838 edges, 69472 markings/sec, 75 secs
lola: 6216407 markings, 6871878 edges, 58320 markings/sec, 80 secs
lola: 6589384 markings, 7274183 edges, 74595 markings/sec, 85 secs
lola: 6963382 markings, 7671988 edges, 74800 markings/sec, 90 secs
lola: 7334610 markings, 8058727 edges, 74246 markings/sec, 95 secs
lola: 7695623 markings, 8440440 edges, 72203 markings/sec, 100 secs
lola: 8046724 markings, 8818223 edges, 70220 markings/sec, 105 secs
lola: 8389043 markings, 9189899 edges, 68464 markings/sec, 110 secs
lola: 8668929 markings, 9618286 edges, 55977 markings/sec, 115 secs
lola: 9027394 markings, 10011116 edges, 71693 markings/sec, 120 secs
lola: 9392995 markings, 10399849 edges, 73120 markings/sec, 125 secs
lola: 9754970 markings, 10777088 edges, 72395 markings/sec, 130 secs
lola: 10105245 markings, 11147369 edges, 70055 markings/sec, 135 secs
lola: 10450789 markings, 11518940 edges, 69109 markings/sec, 140 secs
lola: 10788604 markings, 11885273 edges, 67563 markings/sec, 145 secs
lola: 11058540 markings, 12303551 edges, 53987 markings/sec, 150 secs
lola: 11425867 markings, 12706425 edges, 73465 markings/sec, 155 secs
lola: 11796846 markings, 13097221 edges, 74196 markings/sec, 160 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 261 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1ol_14_3)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 209003 markings, 214032 edges, 41801 markings/sec, 0 secs
lola: 396683 markings, 403332 edges, 37536 markings/sec, 5 secs
lola: 576452 markings, 584103 edges, 35954 markings/sec, 10 secs
lola: 748764 markings, 757284 edges, 34462 markings/sec, 15 secs
lola: 918091 markings, 927415 edges, 33865 markings/sec, 20 secs
lola: 1086869 markings, 1097440 edges, 33756 markings/sec, 25 secs
lola: 1254010 markings, 1265873 edges, 33428 markings/sec, 30 secs
lola: 1422312 markings, 1435496 edges, 33660 markings/sec, 35 secs
lola: 1590243 markings, 1604299 edges, 33586 markings/sec, 40 secs
lola: 1761530 markings, 1775884 edges, 34257 markings/sec, 45 secs
lola: 1932861 markings, 1947849 edges, 34266 markings/sec, 50 secs
lola: 2102084 markings, 2117392 edges, 33845 markings/sec, 55 secs
lola: 2272658 markings, 2288511 edges, 34115 markings/sec, 60 secs
lola: 2438398 markings, 2454440 edges, 33148 markings/sec, 65 secs
lola: 2603676 markings, 2619891 edges, 33056 markings/sec, 70 secs
lola: 2770299 markings, 2786708 edges, 33325 markings/sec, 75 secs
lola: 2939059 markings, 2955678 edges, 33752 markings/sec, 80 secs
lola: 3108640 markings, 3126211 edges, 33916 markings/sec, 85 secs
lola: 3270188 markings, 3288453 edges, 32310 markings/sec, 90 secs
lola: 3438305 markings, 3457294 edges, 33623 markings/sec, 95 secs
lola: 3607022 markings, 3626787 edges, 33743 markings/sec, 100 secs
lola: 3772457 markings, 3792786 edges, 33087 markings/sec, 105 secs
lola: 3939256 markings, 3960512 edges, 33360 markings/sec, 110 secs
lola: 4107510 markings, 4129553 edges, 33651 markings/sec, 115 secs
lola: 4274214 markings, 4296812 edges, 33341 markings/sec, 120 secs
lola: 4443347 markings, 4466880 edges, 33827 markings/sec, 125 secs
lola: 4614251 markings, 4638283 edges, 34181 markings/sec, 130 secs
lola: 4785264 markings, 4810177 edges, 34203 markings/sec, 135 secs
lola: 4957571 markings, 4983177 edges, 34461 markings/sec, 140 secs
lola: 5127128 markings, 5153407 edges, 33911 markings/sec, 145 secs
lola: 5298609 markings, 5325677 edges, 34296 markings/sec, 150 secs
lola: 5469406 markings, 5497058 edges, 34159 markings/sec, 155 secs
lola: 5641147 markings, 5669643 edges, 34348 markings/sec, 160 secs
lola: 5811503 markings, 5840535 edges, 34071 markings/sec, 165 secs
lola: 5982347 markings, 6012268 edges, 34169 markings/sec, 170 secs
lola: 6151643 markings, 6182032 edges, 33859 markings/sec, 175 secs
lola: 6321563 markings, 6352909 edges, 33984 markings/sec, 180 secs
lola: 6490471 markings, 6522236 edges, 33782 markings/sec, 185 secs
lola: 6657691 markings, 6690383 edges, 33444 markings/sec, 190 secs
lola: 6824334 markings, 6857513 edges, 33329 markings/sec, 195 secs
lola: 6991338 markings, 7025369 edges, 33401 markings/sec, 200 secs
lola: 7158553 markings, 7193232 edges, 33443 markings/sec, 205 secs
lola: 7324764 markings, 7360121 edges, 33242 markings/sec, 210 secs
lola: 7486935 markings, 7523027 edges, 32434 markings/sec, 215 secs
lola: 7653303 markings, 7689974 edges, 33274 markings/sec, 220 secs
lola: 7821449 markings, 7858931 edges, 33629 markings/sec, 225 secs
lola: 7989288 markings, 8027308 edges, 33568 markings/sec, 230 secs
lola: 8157886 markings, 8196762 edges, 33720 markings/sec, 235 secs
lola: 8325371 markings, 8364723 edges, 33497 markings/sec, 240 secs
lola: 8491260 markings, 8531512 edges, 33178 markings/sec, 245 secs
lola: 8658462 markings, 8699146 edges, 33440 markings/sec, 250 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb4_10_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 162060 markings, 234337 edges, 32412 markings/sec, 0 secs
lola: 309632 markings, 428118 edges, 29514 markings/sec, 5 secs
lola: 445433 markings, 635605 edges, 27160 markings/sec, 10 secs
lola: 583138 markings, 826755 edges, 27541 markings/sec, 15 secs
lola: 715741 markings, 1021171 edges, 26521 markings/sec, 20 secs
lola: 845522 markings, 1213735 edges, 25956 markings/sec, 25 secs
lola: 972384 markings, 1404593 edges, 25372 markings/sec, 30 secs
lola: 1097952 markings, 1596789 edges, 25114 markings/sec, 35 secs
lola: 1194303 markings, 1841366 edges, 19270 markings/sec, 40 secs
lola: 1212427 markings, 2232415 edges, 3625 markings/sec, 45 secs
lola: 1302123 markings, 2540657 edges, 17939 markings/sec, 50 secs
lola: 1450247 markings, 2734279 edges, 29625 markings/sec, 55 secs
lola: 1587223 markings, 2943076 edges, 27395 markings/sec, 60 secs
lola: 1725587 markings, 3134679 edges, 27673 markings/sec, 65 secs
lola: 1857963 markings, 3328663 edges, 26475 markings/sec, 70 secs
lola: 1987127 markings, 3519889 edges, 25833 markings/sec, 75 secs
lola: 2113939 markings, 3710580 edges, 25362 markings/sec, 80 secs
lola: 2238955 markings, 3902920 edges, 25003 markings/sec, 85 secs
lola: 2339959 markings, 4143134 edges, 20201 markings/sec, 90 secs
lola: 2358995 markings, 4538849 edges, 3807 markings/sec, 95 secs
lola: 2444855 markings, 4849931 edges, 17172 markings/sec, 100 secs
lola: 2590361 markings, 5040060 edges, 29101 markings/sec, 105 secs
lola: 2727328 markings, 5241529 edges, 27393 markings/sec, 110 secs
lola: 2863990 markings, 5431270 edges, 27332 markings/sec, 115 secs
lola: 2994504 markings, 5624131 edges, 26103 markings/sec, 120 secs
lola: 3123228 markings, 5815146 edges, 25745 markings/sec, 125 secs
lola: 3249183 markings, 6005753 edges, 25191 markings/sec, 130 secs
lola: 3375263 markings, 6197145 edges, 25216 markings/sec, 135 secs
lola: 3461900 markings, 6462888 edges, 17327 markings/sec, 140 secs
lola: 3477679 markings, 6865363 edges, 3156 markings/sec, 145 secs
lola: 3577758 markings, 7121687 edges, 20016 markings/sec, 150 secs
lola: 3710669 markings, 7310504 edges, 26582 markings/sec, 155 secs
lola: 3838928 markings, 7492373 edges, 25652 markings/sec, 160 secs
lola: 3966440 markings, 7671793 edges, 25502 markings/sec, 165 secs
lola: 4090391 markings, 7854198 edges, 24790 markings/sec, 170 secs
lola: 4212559 markings, 8036072 edges, 24434 markings/sec, 175 secs
lola: 4332883 markings, 8217452 edges, 24065 markings/sec, 180 secs
lola: 4452911 markings, 8401094 edges, 24006 markings/sec, 185 secs
lola: 4547251 markings, 8631232 edges, 18868 markings/sec, 190 secs
lola: 4565791 markings, 8994036 edges, 3708 markings/sec, 195 secs
lola: 4636001 markings, 9293671 edges, 14042 markings/sec, 200 secs
lola: 4769935 markings, 9483316 edges, 26787 markings/sec, 205 secs
lola: 4899124 markings, 9666195 edges, 25838 markings/sec, 210 secs
lola: 5027345 markings, 9846645 edges, 25644 markings/sec, 215 secs
lola: 5151369 markings, 10029029 edges, 24805 markings/sec, 220 secs
lola: 5273814 markings, 10211049 edges, 24489 markings/sec, 225 secs
lola: 5394548 markings, 10393129 edges, 24147 markings/sec, 230 secs
lola: 5514840 markings, 10577272 edges, 24058 markings/sec, 235 secs
lola: 5609151 markings, 10808679 edges, 18862 markings/sec, 240 secs
lola: 5627608 markings, 11169785 edges, 3691 markings/sec, 245 secs
lola: 5698933 markings, 11456649 edges, 14265 markings/sec, 250 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 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1i_2_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 176779 markings, 210585 edges, 35356 markings/sec, 0 secs
lola: 339618 markings, 378451 edges, 32568 markings/sec, 5 secs
lola: 505872 markings, 550445 edges, 33251 markings/sec, 10 secs
lola: 673403 markings, 724061 edges, 33506 markings/sec, 15 secs
lola: 831107 markings, 883937 edges, 31541 markings/sec, 20 secs
lola: 985629 markings, 1040630 edges, 30904 markings/sec, 25 secs
lola: 1143010 markings, 1200293 edges, 31476 markings/sec, 30 secs
lola: 1300109 markings, 1359489 edges, 31420 markings/sec, 35 secs
lola: 1454789 markings, 1516266 edges, 30936 markings/sec, 40 secs
lola: 1610043 markings, 1673918 edges, 31051 markings/sec, 45 secs
lola: 1766171 markings, 1832398 edges, 31226 markings/sec, 50 secs
lola: 1918761 markings, 1987089 edges, 30518 markings/sec, 55 secs
lola: 2070908 markings, 2141255 edges, 30429 markings/sec, 60 secs
lola: 2223582 markings, 2296058 edges, 30535 markings/sec, 65 secs
lola: 2375122 markings, 2449639 edges, 30308 markings/sec, 70 secs
lola: 2530443 markings, 2607485 edges, 31064 markings/sec, 75 secs
lola: 2684417 markings, 2764196 edges, 30795 markings/sec, 80 secs
lola: 2839630 markings, 2922065 edges, 31043 markings/sec, 85 secs
lola: 2995973 markings, 3081100 edges, 31269 markings/sec, 90 secs
lola: 3152376 markings, 3240657 edges, 31281 markings/sec, 95 secs
lola: 3307636 markings, 3398594 edges, 31052 markings/sec, 100 secs
lola: 3462631 markings, 3555688 edges, 30999 markings/sec, 105 secs
lola: 3617842 markings, 3713010 edges, 31042 markings/sec, 110 secs
lola: 3774546 markings, 3873649 edges, 31341 markings/sec, 115 secs
lola: 3928389 markings, 4030948 edges, 30769 markings/sec, 120 secs
lola: 4080315 markings, 4184997 edges, 30385 markings/sec, 125 secs
lola: 4235907 markings, 4344720 edges, 31118 markings/sec, 130 secs
lola: 4388183 markings, 4499910 edges, 30455 markings/sec, 135 secs
lola: 4539306 markings, 4653803 edges, 30225 markings/sec, 140 secs
lola: 4693210 markings, 4811232 edges, 30781 markings/sec, 145 secs
lola: 4844208 markings, 4965018 edges, 30200 markings/sec, 150 secs
lola: 4994773 markings, 5118779 edges, 30113 markings/sec, 155 secs
lola: 5145660 markings, 5272939 edges, 30177 markings/sec, 160 secs
lola: 5292421 markings, 5422203 edges, 29352 markings/sec, 165 secs
lola: 5443677 markings, 5577069 edges, 30251 markings/sec, 170 secs
lola: 5594184 markings, 5730711 edges, 30101 markings/sec, 175 secs
lola: 5743476 markings, 5882231 edges, 29858 markings/sec, 180 secs
lola: 5893939 markings, 6036757 edges, 30093 markings/sec, 185 secs
lola: 6044231 markings, 6189965 edges, 30058 markings/sec, 190 secs
lola: 6194397 markings, 6342834 edges, 30033 markings/sec, 195 secs
lola: 6346622 markings, 6498418 edges, 30445 markings/sec, 200 secs
lola: 6497472 markings, 6652225 edges, 30170 markings/sec, 205 secs
lola: 6648245 markings, 6806205 edges, 30155 markings/sec, 210 secs
lola: 6801114 markings, 6962496 edges, 30574 markings/sec, 215 secs
lola: 6955084 markings, 7119500 edges, 30794 markings/sec, 220 secs
lola: 7107135 markings, 7274487 edges, 30410 markings/sec, 225 secs
lola: 7259191 markings, 7429563 edges, 30411 markings/sec, 230 secs
lola: 7408424 markings, 7581929 edges, 29847 markings/sec, 235 secs
lola: 7557815 markings, 7733836 edges, 29878 markings/sec, 240 secs
lola: 7708842 markings, 7887905 edges, 30205 markings/sec, 245 secs
lola: 7858071 markings, 8039183 edges, 29846 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pb2_10_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 5612 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: 232052 markings, 236478 edges, 46410 markings/sec, 0 secs
lola: 452976 markings, 461194 edges, 44185 markings/sec, 5 secs
lola: 666855 markings, 685360 edges, 42776 markings/sec, 10 secs
lola: 876268 markings, 906155 edges, 41883 markings/sec, 15 secs
lola: 1076298 markings, 1116889 edges, 40006 markings/sec, 20 secs
lola: 1285104 markings, 1336906 edges, 41761 markings/sec, 25 secs
lola: 1491801 markings, 1551181 edges, 41339 markings/sec, 30 secs
lola: 1695176 markings, 1758370 edges, 40675 markings/sec, 35 secs
lola: 1894821 markings, 1962031 edges, 39929 markings/sec, 40 secs
lola: 2092327 markings, 2164023 edges, 39501 markings/sec, 45 secs
lola: 2288625 markings, 2369830 edges, 39260 markings/sec, 50 secs
lola: 2477037 markings, 2570712 edges, 37682 markings/sec, 55 secs
lola: 2667306 markings, 2831140 edges, 38054 markings/sec, 60 secs
lola: 2846416 markings, 3071953 edges, 35822 markings/sec, 65 secs
lola: 3021239 markings, 3298248 edges, 34965 markings/sec, 70 secs
lola: 3187587 markings, 3522486 edges, 33270 markings/sec, 75 secs
lola: 3239951 markings, 3917838 edges, 10473 markings/sec, 80 secs
lola: 3404019 markings, 4209470 edges, 32814 markings/sec, 85 secs
lola: 3581485 markings, 4451677 edges, 35493 markings/sec, 90 secs
lola: 3755159 markings, 4677710 edges, 34735 markings/sec, 95 secs
lola: 3919420 markings, 4898343 edges, 32852 markings/sec, 100 secs
lola: 3979043 markings, 5303391 edges, 11925 markings/sec, 105 secs
lola: 4157500 markings, 5571397 edges, 35691 markings/sec, 110 secs
lola: 4350665 markings, 5811225 edges, 38633 markings/sec, 115 secs
lola: 4530396 markings, 6054768 edges, 35946 markings/sec, 120 secs
lola: 4705491 markings, 6281130 edges, 35019 markings/sec, 125 secs
lola: 4874461 markings, 6507675 edges, 33794 markings/sec, 130 secs
lola: 4935031 markings, 6920402 edges, 12114 markings/sec, 135 secs
lola: 5108214 markings, 7183019 edges, 34637 markings/sec, 140 secs
lola: 5286500 markings, 7427089 edges, 35657 markings/sec, 145 secs
lola: 5458202 markings, 7655376 edges, 34340 markings/sec, 150 secs
lola: 5626631 markings, 7875880 edges, 33686 markings/sec, 155 secs
lola: 5739903 markings, 8180131 edges, 22654 markings/sec, 160 secs
lola: 5836739 markings, 8547436 edges, 19367 markings/sec, 165 secs
lola: 6015137 markings, 8785224 edges, 35680 markings/sec, 170 secs
lola: 6188192 markings, 9011798 edges, 34611 markings/sec, 175 secs
lola: 6355168 markings, 9233853 edges, 33395 markings/sec, 180 secs
lola: 6421847 markings, 9629995 edges, 13336 markings/sec, 185 secs
lola: 6577081 markings, 9900186 edges, 31047 markings/sec, 190 secs
lola: 6763790 markings, 10136706 edges, 37342 markings/sec, 195 secs
lola: 6938540 markings, 10367118 edges, 34950 markings/sec, 200 secs
lola: 7109507 markings, 10587801 edges, 34193 markings/sec, 205 secs
lola: 7210651 markings, 10920063 edges, 20229 markings/sec, 210 secs
lola: 7313229 markings, 11254662 edges, 20516 markings/sec, 215 secs
lola: 7479169 markings, 11469343 edges, 33188 markings/sec, 220 secs
lola: 7644237 markings, 11679516 edges, 33014 markings/sec, 225 secs
lola: 7802019 markings, 11892164 edges, 31556 markings/sec, 230 secs
lola: 7850315 markings, 12270879 edges, 9659 markings/sec, 235 secs
lola: 7996909 markings, 12525254 edges, 29319 markings/sec, 240 secs
lola: 8181057 markings, 12732304 edges, 36830 markings/sec, 245 secs
lola: 8360372 markings, 12936874 edges, 35863 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA SquareGrid-PT-130613-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-130613-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496567181629

--------------------
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_SquareGrid-PT-130613"
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_SquareGrid-PT-130613.tgz
mv S_SquareGrid-PT-130613 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 S_SquareGrid-PT-130613, 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 r158-ebro-149443464000155"
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 ;