About the Execution of LoLA for SquareGrid-PT-020102
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4461.590 | 3540133.00 | 3554966.00 | 770.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
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 SquareGrid-PT-020102, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008300119
=====================================================================
--------------------
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-020102-UpperBounds-0
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-1
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-10
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-11
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-12
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-13
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-14
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-15
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-2
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-3
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-4
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-5
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-6
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-7
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-8
FORMULA_NAME SquareGrid-PT-020102-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494932917167
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ SquareGrid-PT-020102 @ 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: 140/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 68 places, 72 transitions, 39 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 100 transition conflict sets
lola: TASK
lola: reading formula from SquareGrid-PT-020102-UpperBounds.task
lola: MAX(p1ol_2_1) : MAX(pb4_1_1) : MAX(pb3_2_1) : MAX(pb3_1_2) : MAX(pb4_2_2) : MAX(p1ol_1_1) : MAX(p1il_2_2) : MAX(pbl_2_1) : MAX(p1ol_1_2) : MAX(pb2_1_1) : MAX(p4il_2_2) : MAX(p3i_2_1) : MAX(p3il_2_2) : MAX(p4il_1_1) : MAX(p4il_2_1) : MAX(p3il_2_2)
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(p1ol_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 613993 markings, 2087409 edges, 122799 markings/sec, 0 secs
lola: 1366101 markings, 3933483 edges, 150422 markings/sec, 5 secs
lola: 1975158 markings, 5838568 edges, 121811 markings/sec, 10 secs
lola: 2249422 markings, 8009150 edges, 54853 markings/sec, 15 secs
lola: 2434730 markings, 10085388 edges, 37062 markings/sec, 20 secs
lola: 2979750 markings, 11961887 edges, 109004 markings/sec, 25 secs
lola: 3444615 markings, 13777148 edges, 92973 markings/sec, 30 secs
lola: 4051354 markings, 15430686 edges, 121348 markings/sec, 35 secs
lola: 4433869 markings, 17347618 edges, 76503 markings/sec, 40 secs
lola: 4629393 markings, 19337434 edges, 39105 markings/sec, 45 secs
lola: 4729509 markings, 21110699 edges, 20023 markings/sec, 50 secs
lola: 5280934 markings, 22798912 edges, 110285 markings/sec, 55 secs
lola: 5933899 markings, 24316030 edges, 130593 markings/sec, 60 secs
lola: 6557758 markings, 25711353 edges, 124772 markings/sec, 65 secs
lola: 7149493 markings, 27104252 edges, 118347 markings/sec, 70 secs
lola: 7709106 markings, 28517939 edges, 111923 markings/sec, 75 secs
lola: 8230176 markings, 29852167 edges, 104214 markings/sec, 80 secs
lola: 8709004 markings, 31195640 edges, 95766 markings/sec, 85 secs
lola: 9155411 markings, 32548234 edges, 89281 markings/sec, 90 secs
lola: 9557651 markings, 33951644 edges, 80448 markings/sec, 95 secs
lola: 9909930 markings, 35445848 edges, 70456 markings/sec, 100 secs
lola: 10300254 markings, 36962950 edges, 78065 markings/sec, 105 secs
lola: 10699223 markings, 38405343 edges, 79794 markings/sec, 110 secs
lola: 11114227 markings, 39923802 edges, 83001 markings/sec, 115 secs
lola: 11587736 markings, 41485993 edges, 94702 markings/sec, 120 secs
lola: 11919074 markings, 43153989 edges, 66268 markings/sec, 125 secs
lola: 12337698 markings, 44759971 edges, 83725 markings/sec, 130 secs
lola: 12367428 markings, 46536715 edges, 5946 markings/sec, 135 secs
lola: 12372004 markings, 48315066 edges, 915 markings/sec, 140 secs
lola: 12374217 markings, 50062143 edges, 443 markings/sec, 145 secs
lola: 12376410 markings, 51694072 edges, 439 markings/sec, 150 secs
lola: 12379756 markings, 53245084 edges, 669 markings/sec, 155 secs
lola: 12381951 markings, 54678373 edges, 439 markings/sec, 160 secs
lola: 12384292 markings, 56116637 edges, 468 markings/sec, 165 secs
lola: 12385734 markings, 57563454 edges, 288 markings/sec, 170 secs
lola: 12386888 markings, 59021449 edges, 231 markings/sec, 175 secs
lola: 12387956 markings, 60478722 edges, 214 markings/sec, 180 secs
lola: 12475876 markings, 61900415 edges, 17584 markings/sec, 185 secs
lola: 12670901 markings, 63272640 edges, 39005 markings/sec, 190 secs
lola: 12758977 markings, 64625635 edges, 17615 markings/sec, 195 secs
lola: 12881776 markings, 66197131 edges, 24560 markings/sec, 200 secs
lola: 13111753 markings, 67658934 edges, 45995 markings/sec, 205 secs
lola: 13111838 markings, 69205533 edges, 17 markings/sec, 210 secs
lola: 13447564 markings, 70687339 edges, 67145 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(pb4_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 555970 markings, 2147601 edges, 111194 markings/sec, 0 secs
lola: 1334161 markings, 3906360 edges, 155638 markings/sec, 5 secs
lola: 1929745 markings, 5799358 edges, 119117 markings/sec, 10 secs
lola: 2190179 markings, 7943340 edges, 52087 markings/sec, 15 secs
lola: 2371848 markings, 9974875 edges, 36334 markings/sec, 20 secs
lola: 2750887 markings, 11685180 edges, 75808 markings/sec, 25 secs
lola: 2985329 markings, 13404965 edges, 46888 markings/sec, 30 secs
lola: 3269334 markings, 15175497 edges, 56801 markings/sec, 35 secs
lola: 3501418 markings, 16809664 edges, 46417 markings/sec, 40 secs
lola: 3687648 markings, 18365102 edges, 37246 markings/sec, 45 secs
lola: 4164769 markings, 20011525 edges, 95424 markings/sec, 50 secs
lola: 4557193 markings, 21726083 edges, 78485 markings/sec, 55 secs
lola: 4854583 markings, 23507216 edges, 59478 markings/sec, 60 secs
lola: 5315184 markings, 25036262 edges, 92120 markings/sec, 65 secs
lola: 5683910 markings, 26631869 edges, 73745 markings/sec, 70 secs
lola: 5990922 markings, 28493608 edges, 61402 markings/sec, 75 secs
lola: 6128027 markings, 30296331 edges, 27421 markings/sec, 80 secs
lola: 6263061 markings, 31950258 edges, 27007 markings/sec, 85 secs
lola: 6489601 markings, 33580074 edges, 45308 markings/sec, 90 secs
lola: 6730670 markings, 35191795 edges, 48214 markings/sec, 95 secs
lola: 6955395 markings, 36547622 edges, 44945 markings/sec, 100 secs
lola: 7161350 markings, 38220739 edges, 41191 markings/sec, 105 secs
lola: 7162921 markings, 39643012 edges, 314 markings/sec, 110 secs
lola: 7686353 markings, 41184343 edges, 104686 markings/sec, 115 secs
lola: 8144152 markings, 42776855 edges, 91560 markings/sec, 120 secs
lola: 8769498 markings, 44140601 edges, 125069 markings/sec, 125 secs
lola: 9368256 markings, 45538071 edges, 119752 markings/sec, 130 secs
lola: 9926843 markings, 47026599 edges, 111717 markings/sec, 135 secs
lola: 10011498 markings, 48567308 edges, 16931 markings/sec, 140 secs
lola: 10273540 markings, 50248230 edges, 52408 markings/sec, 145 secs
lola: 10694130 markings, 51972668 edges, 84118 markings/sec, 150 secs
lola: 11120563 markings, 53483073 edges, 85287 markings/sec, 155 secs
lola: 11452816 markings, 54922084 edges, 66451 markings/sec, 160 secs
lola: 11767263 markings, 56345610 edges, 62889 markings/sec, 165 secs
lola: 12061370 markings, 57757839 edges, 58821 markings/sec, 170 secs
lola: 12349413 markings, 59166464 edges, 57609 markings/sec, 175 secs
lola: 12623787 markings, 60576085 edges, 54875 markings/sec, 180 secs
lola: 12892257 markings, 61988841 edges, 53694 markings/sec, 185 secs
lola: 13154584 markings, 63405656 edges, 52465 markings/sec, 190 secs
lola: 13407792 markings, 64825904 edges, 50642 markings/sec, 195 secs
lola: 13658112 markings, 66265328 edges, 50064 markings/sec, 200 secs
lola: 13909058 markings, 67726419 edges, 50189 markings/sec, 205 secs
lola: 14161506 markings, 69224102 edges, 50490 markings/sec, 210 secs
lola: 14449391 markings, 70811462 edges, 57577 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(pb3_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 871094 markings, 2023202 edges, 174219 markings/sec, 0 secs
lola: 1487319 markings, 3821205 edges, 123245 markings/sec, 5 secs
lola: 2180273 markings, 5771668 edges, 138591 markings/sec, 10 secs
lola: 2823224 markings, 7734217 edges, 128590 markings/sec, 15 secs
lola: 3741052 markings, 9423994 edges, 183566 markings/sec, 20 secs
lola: 4505996 markings, 11096778 edges, 152989 markings/sec, 25 secs
lola: 5160693 markings, 12987216 edges, 130939 markings/sec, 30 secs
lola: 5393375 markings, 15099712 edges, 46536 markings/sec, 35 secs
lola: 5736672 markings, 16861227 edges, 68659 markings/sec, 40 secs
lola: 6231815 markings, 18637488 edges, 99029 markings/sec, 45 secs
lola: 6774314 markings, 20314552 edges, 108500 markings/sec, 50 secs
lola: 7047538 markings, 22171344 edges, 54645 markings/sec, 55 secs
lola: 7305006 markings, 23665005 edges, 51494 markings/sec, 60 secs
lola: 7569854 markings, 25357189 edges, 52970 markings/sec, 65 secs
lola: 7759242 markings, 26950346 edges, 37878 markings/sec, 70 secs
lola: 8049763 markings, 28532646 edges, 58104 markings/sec, 75 secs
lola: 8289106 markings, 29981511 edges, 47869 markings/sec, 80 secs
lola: 8459293 markings, 31608364 edges, 34037 markings/sec, 85 secs
lola: 8486478 markings, 33143633 edges, 5437 markings/sec, 90 secs
lola: 8694301 markings, 34754556 edges, 41565 markings/sec, 95 secs
lola: 8978027 markings, 36473821 edges, 56745 markings/sec, 100 secs
lola: 9363982 markings, 38329467 edges, 77191 markings/sec, 105 secs
lola: 9841837 markings, 39946347 edges, 95571 markings/sec, 110 secs
lola: 10140494 markings, 41788530 edges, 59731 markings/sec, 115 secs
lola: 10293795 markings, 43684725 edges, 30660 markings/sec, 120 secs
lola: 10504748 markings, 45710354 edges, 42191 markings/sec, 125 secs
lola: 10890693 markings, 47694411 edges, 77189 markings/sec, 130 secs
lola: 11230152 markings, 49436626 edges, 67892 markings/sec, 135 secs
lola: 11595808 markings, 51075506 edges, 73131 markings/sec, 140 secs
lola: 11824613 markings, 52890614 edges, 45761 markings/sec, 145 secs
lola: 11977434 markings, 54784357 edges, 30564 markings/sec, 150 secs
lola: 12109527 markings, 56726776 edges, 26419 markings/sec, 155 secs
lola: 12464706 markings, 58573107 edges, 71036 markings/sec, 160 secs
lola: 12858688 markings, 60114113 edges, 78796 markings/sec, 165 secs
lola: 13202020 markings, 61607321 edges, 68666 markings/sec, 170 secs
lola: 13521651 markings, 63089505 edges, 63926 markings/sec, 175 secs
lola: 13826682 markings, 64565243 edges, 61006 markings/sec, 180 secs
lola: 14119191 markings, 66042900 edges, 58502 markings/sec, 185 secs
lola: 14404512 markings, 67528027 edges, 57064 markings/sec, 190 secs
lola: 14681046 markings, 69030153 edges, 55307 markings/sec, 195 secs
lola: 14954730 markings, 70548990 edges, 54737 markings/sec, 200 secs
lola: 15228936 markings, 72113127 edges, 54841 markings/sec, 205 secs
lola: 15502534 markings, 73714766 edges, 54720 markings/sec, 210 secs
lola: 15812146 markings, 75405335 edges, 61922 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_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 438291 markings, 2336095 edges, 87658 markings/sec, 0 secs
lola: 857430 markings, 4584113 edges, 83828 markings/sec, 5 secs
lola: 1288440 markings, 6572163 edges, 86202 markings/sec, 10 secs
lola: 1458553 markings, 8720245 edges, 34023 markings/sec, 15 secs
lola: 1849510 markings, 10589743 edges, 78191 markings/sec, 20 secs
lola: 2016836 markings, 12579023 edges, 33465 markings/sec, 25 secs
lola: 2465374 markings, 14756035 edges, 89708 markings/sec, 30 secs
lola: 2861395 markings, 16858890 edges, 79204 markings/sec, 35 secs
lola: 3191209 markings, 18809180 edges, 65963 markings/sec, 40 secs
lola: 3576151 markings, 20437191 edges, 76988 markings/sec, 45 secs
lola: 3966003 markings, 22157520 edges, 77970 markings/sec, 50 secs
lola: 4306990 markings, 24127239 edges, 68197 markings/sec, 55 secs
lola: 4454729 markings, 26154580 edges, 29548 markings/sec, 60 secs
lola: 4456211 markings, 28233587 edges, 296 markings/sec, 65 secs
lola: 4456893 markings, 30241082 edges, 136 markings/sec, 70 secs
lola: 4626060 markings, 32293588 edges, 33833 markings/sec, 75 secs
lola: 4965194 markings, 34047464 edges, 67827 markings/sec, 80 secs
lola: 5279964 markings, 35866573 edges, 62954 markings/sec, 85 secs
lola: 5518466 markings, 37803418 edges, 47700 markings/sec, 90 secs
lola: 5927069 markings, 39315307 edges, 81721 markings/sec, 95 secs
lola: 6246305 markings, 40800112 edges, 63847 markings/sec, 100 secs
lola: 6606114 markings, 42398484 edges, 71962 markings/sec, 105 secs
lola: 6868203 markings, 44263346 edges, 52418 markings/sec, 110 secs
lola: 7008596 markings, 45969475 edges, 28079 markings/sec, 115 secs
lola: 7009984 markings, 47788300 edges, 278 markings/sec, 120 secs
lola: 7010686 markings, 49504736 edges, 140 markings/sec, 125 secs
lola: 7098504 markings, 51331002 edges, 17564 markings/sec, 130 secs
lola: 7380925 markings, 53315251 edges, 56484 markings/sec, 135 secs
lola: 7846665 markings, 55176453 edges, 93148 markings/sec, 140 secs
lola: 8158746 markings, 56937731 edges, 62416 markings/sec, 145 secs
lola: 8604214 markings, 58510512 edges, 89094 markings/sec, 150 secs
lola: 9010812 markings, 60290644 edges, 81320 markings/sec, 155 secs
lola: 9157750 markings, 62114094 edges, 29388 markings/sec, 160 secs
lola: 9232992 markings, 63975821 edges, 15048 markings/sec, 165 secs
lola: 9569739 markings, 65687059 edges, 67349 markings/sec, 170 secs
lola: 9823124 markings, 67447284 edges, 50677 markings/sec, 175 secs
lola: 10201704 markings, 68983166 edges, 75716 markings/sec, 180 secs
lola: 10554385 markings, 70773581 edges, 70536 markings/sec, 185 secs
lola: 10629123 markings, 72500763 edges, 14948 markings/sec, 190 secs
lola: 10690699 markings, 74238418 edges, 12315 markings/sec, 195 secs
lola: 10959689 markings, 75987641 edges, 53798 markings/sec, 200 secs
lola: 11372357 markings, 77445525 edges, 82534 markings/sec, 205 secs
lola: 11735886 markings, 78935575 edges, 72706 markings/sec, 210 secs
lola: 12086361 markings, 80315239 edges, 70095 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(pb4_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 558895 markings, 2362232 edges, 111779 markings/sec, 0 secs
lola: 972753 markings, 4706960 edges, 82772 markings/sec, 5 secs
lola: 1384198 markings, 6866295 edges, 82289 markings/sec, 10 secs
lola: 1882422 markings, 8664225 edges, 99645 markings/sec, 15 secs
lola: 2337378 markings, 10839510 edges, 90991 markings/sec, 20 secs
lola: 2838474 markings, 12850120 edges, 100219 markings/sec, 25 secs
lola: 3064107 markings, 15003223 edges, 45127 markings/sec, 30 secs
lola: 3572581 markings, 16791734 edges, 101695 markings/sec, 35 secs
lola: 3876557 markings, 18703096 edges, 60795 markings/sec, 40 secs
lola: 4045264 markings, 20778453 edges, 33741 markings/sec, 45 secs
lola: 4257999 markings, 22912486 edges, 42547 markings/sec, 50 secs
lola: 4727569 markings, 24973533 edges, 93914 markings/sec, 55 secs
lola: 5008114 markings, 27070275 edges, 56109 markings/sec, 60 secs
lola: 5438164 markings, 28981716 edges, 86010 markings/sec, 65 secs
lola: 5889179 markings, 30735551 edges, 90203 markings/sec, 70 secs
lola: 6039251 markings, 32677268 edges, 30014 markings/sec, 75 secs
lola: 6182092 markings, 34659923 edges, 28568 markings/sec, 80 secs
lola: 6463487 markings, 36736287 edges, 56279 markings/sec, 85 secs
lola: 7056120 markings, 38386159 edges, 118527 markings/sec, 90 secs
lola: 7507751 markings, 39877437 edges, 90326 markings/sec, 95 secs
lola: 7708699 markings, 41362533 edges, 40190 markings/sec, 100 secs
lola: 7935630 markings, 42827313 edges, 45386 markings/sec, 105 secs
lola: 8205258 markings, 44471802 edges, 53926 markings/sec, 110 secs
lola: 8644513 markings, 46207657 edges, 87851 markings/sec, 115 secs
lola: 9029402 markings, 48214248 edges, 76978 markings/sec, 120 secs
lola: 9403568 markings, 50104890 edges, 74833 markings/sec, 125 secs
lola: 9665497 markings, 51959735 edges, 52386 markings/sec, 130 secs
lola: 9869174 markings, 53951639 edges, 40735 markings/sec, 135 secs
lola: 10142429 markings, 55869046 edges, 54651 markings/sec, 140 secs
lola: 10399912 markings, 57802842 edges, 51497 markings/sec, 145 secs
lola: 10708321 markings, 59812744 edges, 61682 markings/sec, 150 secs
lola: 11355135 markings, 61257286 edges, 129363 markings/sec, 155 secs
lola: 12043564 markings, 62632133 edges, 137686 markings/sec, 160 secs
lola: 12677426 markings, 64060503 edges, 126772 markings/sec, 165 secs
lola: 12933410 markings, 65697493 edges, 51197 markings/sec, 170 secs
lola: 13032045 markings, 67345685 edges, 19727 markings/sec, 175 secs
lola: 13274931 markings, 68908367 edges, 48577 markings/sec, 180 secs
lola: 13586590 markings, 70344615 edges, 62332 markings/sec, 185 secs
lola: 14290306 markings, 71612414 edges, 140743 markings/sec, 190 secs
lola: 14982696 markings, 72907754 edges, 138478 markings/sec, 195 secs
lola: 15513230 markings, 75037287 edges, 106107 markings/sec, 200 secs
lola: 15725555 markings, 77255123 edges, 42465 markings/sec, 205 secs
lola: 16255551 markings, 79055189 edges, 105999 markings/sec, 210 secs
lola: 16789766 markings, 80860761 edges, 106843 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(p1ol_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 956512 markings, 1597381 edges, 191302 markings/sec, 0 secs
lola: 1790591 markings, 3088534 edges, 166816 markings/sec, 5 secs
lola: 2584878 markings, 4533074 edges, 158857 markings/sec, 10 secs
lola: 3355135 markings, 5947298 edges, 154051 markings/sec, 15 secs
lola: 4094243 markings, 7327547 edges, 147822 markings/sec, 20 secs
lola: 4801346 markings, 8663479 edges, 141421 markings/sec, 25 secs
lola: 5421211 markings, 9844112 edges, 123973 markings/sec, 30 secs
lola: 6029916 markings, 11009365 edges, 121741 markings/sec, 35 secs
lola: 6731535 markings, 12358352 edges, 140324 markings/sec, 40 secs
lola: 7448986 markings, 13740046 edges, 143490 markings/sec, 45 secs
lola: 8153881 markings, 15113719 edges, 140979 markings/sec, 50 secs
lola: 8850382 markings, 16473250 edges, 139300 markings/sec, 55 secs
lola: 9554355 markings, 17852886 edges, 140795 markings/sec, 60 secs
lola: 10261231 markings, 19239790 edges, 141375 markings/sec, 65 secs
lola: 10971645 markings, 20635309 edges, 142083 markings/sec, 70 secs
lola: 11684608 markings, 22046455 edges, 142593 markings/sec, 75 secs
lola: 12402104 markings, 23461320 edges, 143499 markings/sec, 80 secs
lola: 13109959 markings, 24867661 edges, 141571 markings/sec, 85 secs
lola: 13809036 markings, 26258937 edges, 139815 markings/sec, 90 secs
lola: 14504134 markings, 27650397 edges, 139020 markings/sec, 95 secs
lola: 15193169 markings, 29035339 edges, 137807 markings/sec, 100 secs
lola: 15887288 markings, 30424042 edges, 138824 markings/sec, 105 secs
lola: 16579981 markings, 31811647 edges, 138539 markings/sec, 110 secs
lola: 17265467 markings, 33191937 edges, 137097 markings/sec, 115 secs
lola: 17940981 markings, 34556595 edges, 135103 markings/sec, 120 secs
lola: 18622681 markings, 35934442 edges, 136340 markings/sec, 125 secs
lola: 19298171 markings, 37304386 edges, 135098 markings/sec, 130 secs
lola: 19972777 markings, 38672537 edges, 134921 markings/sec, 135 secs
lola: 20644119 markings, 40035553 edges, 134268 markings/sec, 140 secs
lola: 21312061 markings, 41398075 edges, 133588 markings/sec, 145 secs
lola: 21989326 markings, 42767266 edges, 135453 markings/sec, 150 secs
lola: 22652436 markings, 44122912 edges, 132622 markings/sec, 155 secs
lola: 23317616 markings, 45477935 edges, 133036 markings/sec, 160 secs
lola: 23973580 markings, 46821451 edges, 131193 markings/sec, 165 secs
lola: 24629173 markings, 48171981 edges, 131119 markings/sec, 170 secs
lola: 25287237 markings, 49517684 edges, 131613 markings/sec, 175 secs
lola: 25942293 markings, 50861365 edges, 131011 markings/sec, 180 secs
lola: 26592082 markings, 52200188 edges, 129958 markings/sec, 185 secs
lola: 27242805 markings, 53541776 edges, 130145 markings/sec, 190 secs
lola: 27891494 markings, 54874584 edges, 129738 markings/sec, 195 secs
lola: 28540601 markings, 56213962 edges, 129821 markings/sec, 200 secs
lola: 29182190 markings, 57553705 edges, 128318 markings/sec, 205 secs
lola: 29825281 markings, 58882291 edges, 128618 markings/sec, 210 secs
lola: 30465626 markings, 60211154 edges, 128069 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(p1il_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 581614 markings, 2275292 edges, 116323 markings/sec, 0 secs
lola: 1109732 markings, 4426332 edges, 105624 markings/sec, 5 secs
lola: 1571180 markings, 6680938 edges, 92290 markings/sec, 10 secs
lola: 2078724 markings, 9002332 edges, 101509 markings/sec, 15 secs
lola: 2459688 markings, 11002473 edges, 76193 markings/sec, 20 secs
lola: 2941766 markings, 12835553 edges, 96416 markings/sec, 25 secs
lola: 3257103 markings, 14767646 edges, 63067 markings/sec, 30 secs
lola: 3562810 markings, 16631634 edges, 61141 markings/sec, 35 secs
lola: 4062556 markings, 18467667 edges, 99949 markings/sec, 40 secs
lola: 4418983 markings, 20498129 edges, 71285 markings/sec, 45 secs
lola: 5088851 markings, 22149290 edges, 133974 markings/sec, 50 secs
lola: 5611784 markings, 23868702 edges, 104587 markings/sec, 55 secs
lola: 6083667 markings, 25694034 edges, 94377 markings/sec, 60 secs
lola: 6352154 markings, 27668243 edges, 53697 markings/sec, 65 secs
lola: 6355033 markings, 29774896 edges, 576 markings/sec, 70 secs
lola: 6355907 markings, 31787913 edges, 175 markings/sec, 75 secs
lola: 6567977 markings, 33912629 edges, 42414 markings/sec, 80 secs
lola: 7129483 markings, 35527426 edges, 112301 markings/sec, 85 secs
lola: 7643635 markings, 37036620 edges, 102830 markings/sec, 90 secs
lola: 8062532 markings, 38604681 edges, 83779 markings/sec, 95 secs
lola: 8457922 markings, 40192782 edges, 79078 markings/sec, 100 secs
lola: 8706428 markings, 42071769 edges, 49701 markings/sec, 105 secs
lola: 8892161 markings, 43768847 edges, 37147 markings/sec, 110 secs
lola: 8893394 markings, 45615833 edges, 247 markings/sec, 115 secs
lola: 8894215 markings, 47351443 edges, 164 markings/sec, 120 secs
lola: 8932588 markings, 49241153 edges, 7675 markings/sec, 125 secs
lola: 9223207 markings, 51103567 edges, 58124 markings/sec, 130 secs
lola: 9649769 markings, 53015930 edges, 85312 markings/sec, 135 secs
lola: 9887007 markings, 54957338 edges, 47448 markings/sec, 140 secs
lola: 10160721 markings, 56803905 edges, 54743 markings/sec, 145 secs
lola: 10512368 markings, 58851257 edges, 70329 markings/sec, 150 secs
lola: 10939842 markings, 60632968 edges, 85495 markings/sec, 155 secs
lola: 11159972 markings, 62464727 edges, 44026 markings/sec, 160 secs
lola: 11409446 markings, 64225184 edges, 49895 markings/sec, 165 secs
lola: 11665194 markings, 65913680 edges, 51150 markings/sec, 170 secs
lola: 11714767 markings, 67689456 edges, 9915 markings/sec, 175 secs
lola: 12084748 markings, 69619254 edges, 73996 markings/sec, 180 secs
lola: 12404541 markings, 71748843 edges, 63959 markings/sec, 185 secs
lola: 12814482 markings, 73923355 edges, 81988 markings/sec, 190 secs
lola: 13318796 markings, 75807659 edges, 100863 markings/sec, 195 secs
lola: 13500185 markings, 77950133 edges, 36278 markings/sec, 200 secs
lola: 14043372 markings, 79885000 edges, 108637 markings/sec, 205 secs
lola: 14721341 markings, 81638665 edges, 135594 markings/sec, 210 secs
lola: 15338667 markings, 83375155 edges, 123465 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(pbl_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 548699 markings, 2040137 edges, 109740 markings/sec, 0 secs
lola: 778925 markings, 4207159 edges, 46045 markings/sec, 5 secs
lola: 1079925 markings, 6236499 edges, 60200 markings/sec, 10 secs
lola: 1500980 markings, 8125209 edges, 84211 markings/sec, 15 secs
lola: 1714065 markings, 10171376 edges, 42617 markings/sec, 20 secs
lola: 2253099 markings, 11869123 edges, 107807 markings/sec, 25 secs
lola: 2727460 markings, 13401445 edges, 94872 markings/sec, 30 secs
lola: 3099790 markings, 15156639 edges, 74466 markings/sec, 35 secs
lola: 3296297 markings, 17245129 edges, 39301 markings/sec, 40 secs
lola: 3306930 markings, 19214202 edges, 2127 markings/sec, 45 secs
lola: 3308862 markings, 21196925 edges, 386 markings/sec, 50 secs
lola: 3309600 markings, 23221926 edges, 148 markings/sec, 55 secs
lola: 3364935 markings, 25242735 edges, 11067 markings/sec, 60 secs
lola: 3581898 markings, 26873320 edges, 43393 markings/sec, 65 secs
lola: 3711337 markings, 28602260 edges, 25888 markings/sec, 70 secs
lola: 4030492 markings, 30001500 edges, 63831 markings/sec, 75 secs
lola: 4033382 markings, 31776195 edges, 578 markings/sec, 80 secs
lola: 4243931 markings, 33670674 edges, 42110 markings/sec, 85 secs
lola: 4534481 markings, 35515009 edges, 58110 markings/sec, 90 secs
lola: 4758926 markings, 37463883 edges, 44889 markings/sec, 95 secs
lola: 5099198 markings, 39220973 edges, 68054 markings/sec, 100 secs
lola: 5229562 markings, 41105776 edges, 26073 markings/sec, 105 secs
lola: 5571584 markings, 42690822 edges, 68404 markings/sec, 110 secs
lola: 5591315 markings, 44542156 edges, 3946 markings/sec, 115 secs
lola: 6001782 markings, 46154751 edges, 82093 markings/sec, 120 secs
lola: 6395905 markings, 47637808 edges, 78825 markings/sec, 125 secs
lola: 6727407 markings, 49087023 edges, 66300 markings/sec, 130 secs
lola: 6992160 markings, 50789196 edges, 52951 markings/sec, 135 secs
lola: 7196950 markings, 52679850 edges, 40958 markings/sec, 140 secs
lola: 7269581 markings, 54511379 edges, 14526 markings/sec, 145 secs
lola: 7272079 markings, 56246884 edges, 500 markings/sec, 150 secs
lola: 7272931 markings, 58032364 edges, 170 markings/sec, 155 secs
lola: 7273265 markings, 59875782 edges, 67 markings/sec, 160 secs
lola: 7387709 markings, 61594301 edges, 22889 markings/sec, 165 secs
lola: 7534262 markings, 63127617 edges, 29311 markings/sec, 170 secs
lola: 7652318 markings, 64622552 edges, 23611 markings/sec, 175 secs
lola: 7906484 markings, 65935092 edges, 50833 markings/sec, 180 secs
lola: 7996205 markings, 67411686 edges, 17944 markings/sec, 185 secs
lola: 7996962 markings, 69016030 edges, 151 markings/sec, 190 secs
lola: 8716217 markings, 70497445 edges, 143851 markings/sec, 195 secs
lola: 9038315 markings, 72305942 edges, 64420 markings/sec, 200 secs
lola: 9464524 markings, 73889758 edges, 85242 markings/sec, 205 secs
lola: 9897943 markings, 75450788 edges, 86684 markings/sec, 210 secs
lola: 10138065 markings, 77367443 edges, 48024 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(p1ol_1_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 522720 markings, 2512870 edges, 104544 markings/sec, 0 secs
lola: 898344 markings, 4754669 edges, 75125 markings/sec, 5 secs
lola: 1435552 markings, 6841085 edges, 107442 markings/sec, 10 secs
lola: 1725700 markings, 9141954 edges, 58030 markings/sec, 15 secs
lola: 2278774 markings, 11357521 edges, 110615 markings/sec, 20 secs
lola: 2808495 markings, 13362688 edges, 105944 markings/sec, 25 secs
lola: 3361594 markings, 15124543 edges, 110620 markings/sec, 30 secs
lola: 3713675 markings, 17215706 edges, 70416 markings/sec, 35 secs
lola: 3827056 markings, 19262934 edges, 22676 markings/sec, 40 secs
lola: 3854242 markings, 21405246 edges, 5437 markings/sec, 45 secs
lola: 4191503 markings, 23518213 edges, 67452 markings/sec, 50 secs
lola: 4617050 markings, 25541829 edges, 85109 markings/sec, 55 secs
lola: 5050604 markings, 27589025 edges, 86711 markings/sec, 60 secs
lola: 5517188 markings, 29481128 edges, 93317 markings/sec, 65 secs
lola: 6059088 markings, 31118944 edges, 108380 markings/sec, 70 secs
lola: 6474181 markings, 33004429 edges, 83019 markings/sec, 75 secs
lola: 6594000 markings, 34985805 edges, 23964 markings/sec, 80 secs
lola: 6601017 markings, 36936279 edges, 1403 markings/sec, 85 secs
lola: 6806993 markings, 38927717 edges, 41195 markings/sec, 90 secs
lola: 7118872 markings, 40952561 edges, 62376 markings/sec, 95 secs
lola: 7614919 markings, 42814695 edges, 99209 markings/sec, 100 secs
lola: 8219899 markings, 44616407 edges, 120996 markings/sec, 105 secs
lola: 8402551 markings, 46571962 edges, 36530 markings/sec, 110 secs
lola: 8768940 markings, 48477622 edges, 73278 markings/sec, 115 secs
lola: 9199067 markings, 50304665 edges, 86025 markings/sec, 120 secs
lola: 9663739 markings, 51917652 edges, 92934 markings/sec, 125 secs
lola: 9811326 markings, 53777818 edges, 29517 markings/sec, 130 secs
lola: 10083559 markings, 55646760 edges, 54447 markings/sec, 135 secs
lola: 10695885 markings, 57320695 edges, 122465 markings/sec, 140 secs
lola: 11266438 markings, 58852708 edges, 114111 markings/sec, 145 secs
lola: 11772297 markings, 60342327 edges, 101172 markings/sec, 150 secs
lola: 12215673 markings, 61822532 edges, 88675 markings/sec, 155 secs
lola: 12696254 markings, 63342665 edges, 96116 markings/sec, 160 secs
lola: 13160291 markings, 64910372 edges, 92807 markings/sec, 165 secs
lola: 13585791 markings, 66499117 edges, 85100 markings/sec, 170 secs
lola: 13978976 markings, 68179911 edges, 78637 markings/sec, 175 secs
lola: 14126651 markings, 69944795 edges, 29535 markings/sec, 180 secs
lola: 14396451 markings, 71464230 edges, 53960 markings/sec, 185 secs
lola: 14407307 markings, 73242232 edges, 2171 markings/sec, 190 secs
lola: 14408925 markings, 75033873 edges, 324 markings/sec, 195 secs
lola: 14411427 markings, 76732105 edges, 500 markings/sec, 200 secs
lola: 14417270 markings, 78399883 edges, 1169 markings/sec, 205 secs
lola: 14429563 markings, 80091567 edges, 2459 markings/sec, 210 secs
lola: 14446928 markings, 81830168 edges, 3473 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(pb2_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 876937 markings, 1474377 edges, 175387 markings/sec, 0 secs
lola: 1658497 markings, 2894289 edges, 156312 markings/sec, 5 secs
lola: 2419329 markings, 4300621 edges, 152166 markings/sec, 10 secs
lola: 3153844 markings, 5690704 edges, 146903 markings/sec, 15 secs
lola: 3883623 markings, 7084870 edges, 145956 markings/sec, 20 secs
lola: 4597412 markings, 8463713 edges, 142758 markings/sec, 25 secs
lola: 5293739 markings, 9825291 edges, 139265 markings/sec, 30 secs
lola: 5985895 markings, 11187575 edges, 138431 markings/sec, 35 secs
lola: 6669267 markings, 12543922 edges, 136674 markings/sec, 40 secs
lola: 7343400 markings, 13893641 edges, 134827 markings/sec, 45 secs
lola: 8011705 markings, 15236264 edges, 133661 markings/sec, 50 secs
lola: 8668307 markings, 16568333 edges, 131320 markings/sec, 55 secs
lola: 9323906 markings, 17901360 edges, 131120 markings/sec, 60 secs
lola: 9969693 markings, 19225470 edges, 129157 markings/sec, 65 secs
lola: 10613976 markings, 20547185 edges, 128857 markings/sec, 70 secs
lola: 11250303 markings, 21860692 edges, 127265 markings/sec, 75 secs
lola: 11881249 markings, 23170149 edges, 126189 markings/sec, 80 secs
lola: 12509773 markings, 24479267 edges, 125705 markings/sec, 85 secs
lola: 13134597 markings, 25786721 edges, 124965 markings/sec, 90 secs
lola: 13758195 markings, 27089131 edges, 124720 markings/sec, 95 secs
lola: 14378551 markings, 28387689 edges, 124071 markings/sec, 100 secs
lola: 14987167 markings, 29672799 edges, 121723 markings/sec, 105 secs
lola: 15594572 markings, 30960440 edges, 121481 markings/sec, 110 secs
lola: 16200887 markings, 32251131 edges, 121263 markings/sec, 115 secs
lola: 16804943 markings, 33542011 edges, 120811 markings/sec, 120 secs
lola: 17405421 markings, 34824097 edges, 120096 markings/sec, 125 secs
lola: 18003523 markings, 36101693 edges, 119620 markings/sec, 130 secs
lola: 18601003 markings, 37378406 edges, 119496 markings/sec, 135 secs
lola: 19200273 markings, 38659906 edges, 119854 markings/sec, 140 secs
lola: 19790852 markings, 39931369 edges, 118116 markings/sec, 145 secs
lola: 20381553 markings, 41205068 edges, 118140 markings/sec, 150 secs
lola: 20974737 markings, 42475073 edges, 118637 markings/sec, 155 secs
lola: 21561147 markings, 43743906 edges, 117282 markings/sec, 160 secs
lola: 22147030 markings, 45012236 edges, 117177 markings/sec, 165 secs
lola: 22729325 markings, 46272344 edges, 116459 markings/sec, 170 secs
lola: 23308950 markings, 47529611 edges, 115925 markings/sec, 175 secs
lola: 23878891 markings, 48770914 edges, 113988 markings/sec, 180 secs
lola: 24444154 markings, 50004617 edges, 113053 markings/sec, 185 secs
lola: 25007012 markings, 51235336 edges, 112572 markings/sec, 190 secs
lola: 25570017 markings, 52468080 edges, 112601 markings/sec, 195 secs
lola: 26036378 markings, 54492738 edges, 93272 markings/sec, 200 secs
lola: 26317520 markings, 56648489 edges, 56228 markings/sec, 205 secs
lola: 26704813 markings, 58571064 edges, 77459 markings/sec, 210 secs
lola: 26934948 markings, 60595925 edges, 46027 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(p4il_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 758966 markings, 2139181 edges, 151793 markings/sec, 0 secs
lola: 1095368 markings, 4429762 edges, 67280 markings/sec, 5 secs
lola: 1592676 markings, 6642590 edges, 99462 markings/sec, 10 secs
lola: 2133891 markings, 8838134 edges, 108243 markings/sec, 15 secs
lola: 2760340 markings, 10790825 edges, 125290 markings/sec, 20 secs
lola: 2970675 markings, 12942256 edges, 42067 markings/sec, 25 secs
lola: 3684598 markings, 14902892 edges, 142785 markings/sec, 30 secs
lola: 3923457 markings, 17042569 edges, 47772 markings/sec, 35 secs
lola: 4704121 markings, 18686348 edges, 156133 markings/sec, 40 secs
lola: 5450463 markings, 20431124 edges, 149268 markings/sec, 45 secs
lola: 6203595 markings, 22239809 edges, 150626 markings/sec, 50 secs
lola: 6583933 markings, 24319210 edges, 76068 markings/sec, 55 secs
lola: 6751154 markings, 26305318 edges, 33444 markings/sec, 60 secs
lola: 7112894 markings, 28327149 edges, 72348 markings/sec, 65 secs
lola: 7380616 markings, 30190430 edges, 53544 markings/sec, 70 secs
lola: 7477823 markings, 32048476 edges, 19441 markings/sec, 75 secs
lola: 7818618 markings, 34189592 edges, 68159 markings/sec, 80 secs
lola: 8198460 markings, 36281117 edges, 75968 markings/sec, 85 secs
lola: 8643480 markings, 38466221 edges, 89004 markings/sec, 90 secs
lola: 9256320 markings, 40370714 edges, 122568 markings/sec, 95 secs
lola: 10057621 markings, 42025665 edges, 160260 markings/sec, 100 secs
lola: 10790683 markings, 43658169 edges, 146612 markings/sec, 105 secs
lola: 11464898 markings, 45283977 edges, 134843 markings/sec, 110 secs
lola: 12083796 markings, 46945205 edges, 123780 markings/sec, 115 secs
lola: 12635553 markings, 48829257 edges, 110351 markings/sec, 120 secs
lola: 13062965 markings, 50727426 edges, 85482 markings/sec, 125 secs
lola: 13367938 markings, 52492475 edges, 60995 markings/sec, 130 secs
lola: 13623335 markings, 54131672 edges, 51079 markings/sec, 135 secs
lola: 13632696 markings, 55891632 edges, 1872 markings/sec, 140 secs
lola: 13640122 markings, 57650465 edges, 1485 markings/sec, 145 secs
lola: 13719911 markings, 59416464 edges, 15958 markings/sec, 150 secs
lola: 14049715 markings, 61079341 edges, 65961 markings/sec, 155 secs
lola: 14405209 markings, 62886176 edges, 71099 markings/sec, 160 secs
lola: 15152234 markings, 64576214 edges, 149405 markings/sec, 165 secs
lola: 15634669 markings, 66549713 edges, 96487 markings/sec, 170 secs
lola: 15830338 markings, 68401846 edges, 39134 markings/sec, 175 secs
lola: 16020240 markings, 70296219 edges, 37980 markings/sec, 180 secs
lola: 16696157 markings, 72009125 edges, 135183 markings/sec, 185 secs
lola: 17251631 markings, 73785943 edges, 111095 markings/sec, 190 secs
lola: 17535790 markings, 75794692 edges, 56832 markings/sec, 195 secs
lola: 17657099 markings, 77610902 edges, 24262 markings/sec, 200 secs
lola: 17845926 markings, 79468624 edges, 37765 markings/sec, 205 secs
lola: 18306833 markings, 81381043 edges, 92181 markings/sec, 210 secs
lola: 18807432 markings, 83357966 edges, 100120 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3i_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 947717 markings, 1512089 edges, 189543 markings/sec, 0 secs
lola: 1811678 markings, 2973837 edges, 172792 markings/sec, 5 secs
lola: 2649001 markings, 4416331 edges, 167465 markings/sec, 10 secs
lola: 3447439 markings, 5821237 edges, 159688 markings/sec, 15 secs
lola: 4222006 markings, 7208826 edges, 154913 markings/sec, 20 secs
lola: 4983334 markings, 8578854 edges, 152266 markings/sec, 25 secs
lola: 5722960 markings, 9930582 edges, 147925 markings/sec, 30 secs
lola: 6455014 markings, 11270816 edges, 146411 markings/sec, 35 secs
lola: 7173056 markings, 12595085 edges, 143608 markings/sec, 40 secs
lola: 7878851 markings, 13909293 edges, 141159 markings/sec, 45 secs
lola: 8583980 markings, 15222757 edges, 141026 markings/sec, 50 secs
lola: 9289557 markings, 16543451 edges, 141115 markings/sec, 55 secs
lola: 9984317 markings, 17845448 edges, 138952 markings/sec, 60 secs
lola: 10661918 markings, 19127880 edges, 135520 markings/sec, 65 secs
lola: 11345927 markings, 20417014 edges, 136802 markings/sec, 70 secs
lola: 12019015 markings, 21692239 edges, 134618 markings/sec, 75 secs
lola: 12693945 markings, 22966354 edges, 134986 markings/sec, 80 secs
lola: 13364058 markings, 24276333 edges, 134023 markings/sec, 85 secs
lola: 13974943 markings, 25889259 edges, 122177 markings/sec, 90 secs
lola: 14532230 markings, 27840215 edges, 111457 markings/sec, 95 secs
lola: 15006097 markings, 29840836 edges, 94773 markings/sec, 100 secs
lola: 15393764 markings, 31736931 edges, 77533 markings/sec, 105 secs
lola: 15676245 markings, 33620184 edges, 56496 markings/sec, 110 secs
lola: 16226225 markings, 35247606 edges, 109996 markings/sec, 115 secs
lola: 16675567 markings, 37029176 edges, 89868 markings/sec, 120 secs
lola: 16976882 markings, 39031464 edges, 60263 markings/sec, 125 secs
lola: 16990215 markings, 40962429 edges, 2667 markings/sec, 130 secs
lola: 17064441 markings, 42802963 edges, 14845 markings/sec, 135 secs
lola: 17439007 markings, 44649875 edges, 74913 markings/sec, 140 secs
lola: 17828998 markings, 46547464 edges, 77998 markings/sec, 145 secs
lola: 18163509 markings, 48402575 edges, 66902 markings/sec, 150 secs
lola: 18584300 markings, 50085381 edges, 84158 markings/sec, 155 secs
lola: 18893070 markings, 51767880 edges, 61754 markings/sec, 160 secs
lola: 19393058 markings, 53287810 edges, 99998 markings/sec, 165 secs
lola: 19802347 markings, 54994696 edges, 81858 markings/sec, 170 secs
lola: 20092914 markings, 56878507 edges, 58113 markings/sec, 175 secs
lola: 20105180 markings, 58656833 edges, 2453 markings/sec, 180 secs
lola: 20171645 markings, 60297726 edges, 13293 markings/sec, 185 secs
lola: 20370287 markings, 61974914 edges, 39728 markings/sec, 190 secs
lola: 20578310 markings, 63620043 edges, 41605 markings/sec, 195 secs
lola: 20877031 markings, 65112278 edges, 59744 markings/sec, 200 secs
lola: 20949301 markings, 66753469 edges, 14454 markings/sec, 205 secs
lola: 21162498 markings, 68305582 edges, 42639 markings/sec, 210 secs
lola: 21454510 markings, 69707163 edges, 58402 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3il_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 496602 markings, 2331173 edges, 99320 markings/sec, 0 secs
lola: 848124 markings, 4493496 edges, 70304 markings/sec, 5 secs
lola: 1318868 markings, 6444204 edges, 94149 markings/sec, 10 secs
lola: 1664876 markings, 8559493 edges, 69202 markings/sec, 15 secs
lola: 2060031 markings, 10555218 edges, 79031 markings/sec, 20 secs
lola: 2657648 markings, 12279953 edges, 119523 markings/sec, 25 secs
lola: 3169877 markings, 14087564 edges, 102446 markings/sec, 30 secs
lola: 3467840 markings, 16064727 edges, 59593 markings/sec, 35 secs
lola: 3546417 markings, 18161148 edges, 15715 markings/sec, 40 secs
lola: 3594158 markings, 20114820 edges, 9548 markings/sec, 45 secs
lola: 4016635 markings, 22021285 edges, 84495 markings/sec, 50 secs
lola: 4411759 markings, 23902380 edges, 79025 markings/sec, 55 secs
lola: 4826782 markings, 25703593 edges, 83005 markings/sec, 60 secs
lola: 5345385 markings, 27297769 edges, 103721 markings/sec, 65 secs
lola: 5745517 markings, 29004901 edges, 80026 markings/sec, 70 secs
lola: 5986825 markings, 30833578 edges, 48262 markings/sec, 75 secs
lola: 5990193 markings, 32686608 edges, 674 markings/sec, 80 secs
lola: 6060650 markings, 34583370 edges, 14091 markings/sec, 85 secs
lola: 6473195 markings, 36455974 edges, 82509 markings/sec, 90 secs
lola: 7106013 markings, 38211499 edges, 126564 markings/sec, 95 secs
lola: 7390595 markings, 40115656 edges, 56916 markings/sec, 100 secs
lola: 7645480 markings, 42041040 edges, 50977 markings/sec, 105 secs
lola: 8005771 markings, 43785150 edges, 72058 markings/sec, 110 secs
lola: 8540738 markings, 45372410 edges, 106993 markings/sec, 115 secs
lola: 8771220 markings, 47042410 edges, 46096 markings/sec, 120 secs
lola: 8917552 markings, 48844828 edges, 29266 markings/sec, 125 secs
lola: 9410958 markings, 50553707 edges, 98681 markings/sec, 130 secs
lola: 9989628 markings, 52146598 edges, 115734 markings/sec, 135 secs
lola: 10522813 markings, 53648024 edges, 106637 markings/sec, 140 secs
lola: 10996742 markings, 55104789 edges, 94786 markings/sec, 145 secs
lola: 11421143 markings, 56596104 edges, 84880 markings/sec, 150 secs
lola: 11893514 markings, 58171283 edges, 94474 markings/sec, 155 secs
lola: 12342129 markings, 59714480 edges, 89723 markings/sec, 160 secs
lola: 12745166 markings, 61266071 edges, 80607 markings/sec, 165 secs
lola: 13026300 markings, 62851667 edges, 56227 markings/sec, 170 secs
lola: 13345232 markings, 64406399 edges, 63786 markings/sec, 175 secs
lola: 13449137 markings, 66167842 edges, 20781 markings/sec, 180 secs
lola: 13453959 markings, 67960311 edges, 964 markings/sec, 185 secs
lola: 13455370 markings, 69732924 edges, 282 markings/sec, 190 secs
lola: 13458751 markings, 71370262 edges, 676 markings/sec, 195 secs
lola: 13466230 markings, 72968932 edges, 1496 markings/sec, 200 secs
lola: 13478783 markings, 74566704 edges, 2511 markings/sec, 205 secs
lola: 13494139 markings, 76182346 edges, 3071 markings/sec, 210 secs
lola: 13624364 markings, 77943353 edges, 26045 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4il_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 1052202 markings, 1725202 edges, 210440 markings/sec, 0 secs
lola: 1977044 markings, 3369605 edges, 184968 markings/sec, 5 secs
lola: 2849518 markings, 4964830 edges, 174495 markings/sec, 10 secs
lola: 3679348 markings, 6524359 edges, 165966 markings/sec, 15 secs
lola: 4311345 markings, 8543861 edges, 126399 markings/sec, 20 secs
lola: 5006675 markings, 10376515 edges, 139066 markings/sec, 25 secs
lola: 5629696 markings, 12191717 edges, 124604 markings/sec, 30 secs
lola: 5942644 markings, 14334664 edges, 62590 markings/sec, 35 secs
lola: 6072787 markings, 16379619 edges, 26029 markings/sec, 40 secs
lola: 6425047 markings, 18290362 edges, 70452 markings/sec, 45 secs
lola: 6665247 markings, 20169678 edges, 48040 markings/sec, 50 secs
lola: 6890008 markings, 22011360 edges, 44952 markings/sec, 55 secs
lola: 7356846 markings, 23842713 edges, 93368 markings/sec, 60 secs
lola: 7772740 markings, 25596496 edges, 83179 markings/sec, 65 secs
lola: 8295081 markings, 27228112 edges, 104468 markings/sec, 70 secs
lola: 8714493 markings, 28981892 edges, 83882 markings/sec, 75 secs
lola: 8988137 markings, 31006733 edges, 54729 markings/sec, 80 secs
lola: 9047169 markings, 32848935 edges, 11806 markings/sec, 85 secs
lola: 9345972 markings, 34595230 edges, 59761 markings/sec, 90 secs
lola: 9564319 markings, 36321632 edges, 43669 markings/sec, 95 secs
lola: 9773436 markings, 38035103 edges, 41823 markings/sec, 100 secs
lola: 9952748 markings, 39837885 edges, 35862 markings/sec, 105 secs
lola: 10576379 markings, 41422843 edges, 124726 markings/sec, 110 secs
lola: 11068891 markings, 43084268 edges, 98502 markings/sec, 115 secs
lola: 11781776 markings, 44525041 edges, 142577 markings/sec, 120 secs
lola: 12410274 markings, 45969224 edges, 125700 markings/sec, 125 secs
lola: 12945512 markings, 47562530 edges, 107048 markings/sec, 130 secs
lola: 13110408 markings, 49238790 edges, 32979 markings/sec, 135 secs
lola: 13345400 markings, 50950156 edges, 46998 markings/sec, 140 secs
lola: 13771513 markings, 52791638 edges, 85223 markings/sec, 145 secs
lola: 14211130 markings, 54621018 edges, 87923 markings/sec, 150 secs
lola: 14570047 markings, 56118560 edges, 71783 markings/sec, 155 secs
lola: 14903099 markings, 57597239 edges, 66610 markings/sec, 160 secs
lola: 15218878 markings, 59055544 edges, 63156 markings/sec, 165 secs
lola: 15522193 markings, 60528839 edges, 60663 markings/sec, 170 secs
lola: 15812415 markings, 61974255 edges, 58044 markings/sec, 175 secs
lola: 16094840 markings, 63438348 edges, 56485 markings/sec, 180 secs
lola: 16371466 markings, 64895687 edges, 55325 markings/sec, 185 secs
lola: 16644744 markings, 66369454 edges, 54656 markings/sec, 190 secs
lola: 16910451 markings, 67847284 edges, 53141 markings/sec, 195 secs
lola: 17174782 markings, 69345918 edges, 52866 markings/sec, 200 secs
lola: 17435094 markings, 70849508 edges, 52062 markings/sec, 205 secs
lola: 17702014 markings, 72388117 edges, 53384 markings/sec, 210 secs
lola: 18001510 markings, 73985142 edges, 59899 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p4il_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 974817 markings, 1473005 edges, 194963 markings/sec, 0 secs
lola: 1840892 markings, 2855272 edges, 173215 markings/sec, 5 secs
lola: 2656724 markings, 4199384 edges, 163166 markings/sec, 10 secs
lola: 3441611 markings, 5528862 edges, 156977 markings/sec, 15 secs
lola: 4215238 markings, 6836019 edges, 154725 markings/sec, 20 secs
lola: 4969835 markings, 8125033 edges, 150919 markings/sec, 25 secs
lola: 5718455 markings, 9404914 edges, 149724 markings/sec, 30 secs
lola: 6435360 markings, 10733256 edges, 143381 markings/sec, 35 secs
lola: 7153698 markings, 12009130 edges, 143668 markings/sec, 40 secs
lola: 7877414 markings, 13261579 edges, 144743 markings/sec, 45 secs
lola: 8567134 markings, 14682176 edges, 137944 markings/sec, 50 secs
lola: 9064751 markings, 16799799 edges, 99523 markings/sec, 55 secs
lola: 9562421 markings, 18546966 edges, 99534 markings/sec, 60 secs
lola: 10280499 markings, 19797431 edges, 143616 markings/sec, 65 secs
lola: 10982172 markings, 21046812 edges, 140335 markings/sec, 70 secs
lola: 11660828 markings, 22522482 edges, 135731 markings/sec, 75 secs
lola: 12128961 markings, 24559268 edges, 93627 markings/sec, 80 secs
lola: 12510318 markings, 26504511 edges, 76271 markings/sec, 85 secs
lola: 12883472 markings, 28314826 edges, 74631 markings/sec, 90 secs
lola: 13313530 markings, 30042915 edges, 86012 markings/sec, 95 secs
lola: 13823307 markings, 31643416 edges, 101955 markings/sec, 100 secs
lola: 14219984 markings, 33497612 edges, 79335 markings/sec, 105 secs
lola: 14400159 markings, 35494423 edges, 36035 markings/sec, 110 secs
lola: 14414273 markings, 37368849 edges, 2823 markings/sec, 115 secs
lola: 14531371 markings, 39131995 edges, 23420 markings/sec, 120 secs
lola: 14910473 markings, 40988599 edges, 75820 markings/sec, 125 secs
lola: 15250241 markings, 42665571 edges, 67954 markings/sec, 130 secs
lola: 15584398 markings, 44455229 edges, 66831 markings/sec, 135 secs
lola: 16004359 markings, 46235243 edges, 83992 markings/sec, 140 secs
lola: 16404433 markings, 47860021 edges, 80015 markings/sec, 145 secs
lola: 16881952 markings, 49338863 edges, 95504 markings/sec, 150 secs
lola: 17271683 markings, 51043838 edges, 77946 markings/sec, 155 secs
lola: 17514423 markings, 52976362 edges, 48548 markings/sec, 160 secs
lola: 17529162 markings, 54748470 edges, 2948 markings/sec, 165 secs
lola: 17652223 markings, 56400195 edges, 24612 markings/sec, 170 secs
lola: 18053666 markings, 57925592 edges, 80289 markings/sec, 175 secs
lola: 18749377 markings, 59160953 edges, 139142 markings/sec, 180 secs
lola: 19443696 markings, 60396162 edges, 138864 markings/sec, 185 secs
lola: 20131297 markings, 61620225 edges, 137520 markings/sec, 190 secs
lola: 20808744 markings, 62838445 edges, 135489 markings/sec, 195 secs
lola: 21475102 markings, 64046105 edges, 133272 markings/sec, 200 secs
lola: 21985923 markings, 65772438 edges, 102164 markings/sec, 205 secs
lola: 22565694 markings, 67381233 edges, 115954 markings/sec, 210 secs
lola: 22900287 markings, 69290662 edges, 66919 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p3il_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 156 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: 469939 markings, 2274951 edges, 93988 markings/sec, 0 secs
lola: 820545 markings, 4380381 edges, 70121 markings/sec, 5 secs
lola: 1318541 markings, 6326919 edges, 99599 markings/sec, 10 secs
lola: 1663580 markings, 8393162 edges, 69008 markings/sec, 15 secs
lola: 2058725 markings, 10341517 edges, 79029 markings/sec, 20 secs
lola: 2588684 markings, 12062983 edges, 105992 markings/sec, 25 secs
lola: 3112374 markings, 13786688 edges, 104738 markings/sec, 30 secs
lola: 3423270 markings, 15680082 edges, 62179 markings/sec, 35 secs
lola: 3545523 markings, 17706448 edges, 24451 markings/sec, 40 secs
lola: 3556062 markings, 19592825 edges, 2108 markings/sec, 45 secs
lola: 3830322 markings, 21546167 edges, 54852 markings/sec, 50 secs
lola: 4259646 markings, 23412992 edges, 85865 markings/sec, 55 secs
lola: 4629080 markings, 25210465 edges, 73887 markings/sec, 60 secs
lola: 5179626 markings, 26774846 edges, 110109 markings/sec, 65 secs
lola: 5632701 markings, 28419709 edges, 90615 markings/sec, 70 secs
lola: 5905649 markings, 30214835 edges, 54590 markings/sec, 75 secs
lola: 5988423 markings, 32033483 edges, 16555 markings/sec, 80 secs
lola: 5998302 markings, 33789143 edges, 1976 markings/sec, 85 secs
lola: 6297755 markings, 35612196 edges, 59891 markings/sec, 90 secs
lola: 6784799 markings, 37325064 edges, 97409 markings/sec, 95 secs
lola: 7305279 markings, 39003732 edges, 104096 markings/sec, 100 secs
lola: 7440791 markings, 40832639 edges, 27102 markings/sec, 105 secs
lola: 7809495 markings, 42646111 edges, 73741 markings/sec, 110 secs
lola: 8200885 markings, 44315403 edges, 78278 markings/sec, 115 secs
lola: 8688207 markings, 45900700 edges, 97464 markings/sec, 120 secs
lola: 8870817 markings, 47578234 edges, 36522 markings/sec, 125 secs
lola: 8989044 markings, 49357503 edges, 23645 markings/sec, 130 secs
lola: 9563059 markings, 51041899 edges, 114803 markings/sec, 135 secs
lola: 10125045 markings, 52521537 edges, 112397 markings/sec, 140 secs
lola: 10639302 markings, 53981617 edges, 102851 markings/sec, 145 secs
lola: 11089224 markings, 55425190 edges, 89984 markings/sec, 150 secs
lola: 11514371 markings, 56923150 edges, 85029 markings/sec, 155 secs
lola: 11984003 markings, 58487790 edges, 93926 markings/sec, 160 secs
lola: 12428002 markings, 60009760 edges, 88800 markings/sec, 165 secs
lola: 12825993 markings, 61549638 edges, 79598 markings/sec, 170 secs
lola: 13028003 markings, 63156106 edges, 40402 markings/sec, 175 secs
lola: 13417656 markings, 64696130 edges, 77931 markings/sec, 180 secs
lola: 13450118 markings, 66461740 edges, 6492 markings/sec, 185 secs
lola: 13454285 markings, 68222835 edges, 833 markings/sec, 190 secs
lola: 13455670 markings, 69962960 edges, 277 markings/sec, 195 secs
lola: 13459473 markings, 71567027 edges, 761 markings/sec, 200 secs
lola: 13467490 markings, 73148520 edges, 1603 markings/sec, 205 secs
lola: 13480271 markings, 74731627 edges, 2556 markings/sec, 210 secs
lola: 13495368 markings, 76339869 edges, 3019 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA SquareGrid-PT-020102-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SquareGrid-PT-020102-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494936457300
--------------------
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="SquareGrid-PT-020102"
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/SquareGrid-PT-020102.tgz
mv SquareGrid-PT-020102 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 SquareGrid-PT-020102, 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 r078-ebro-149441008300119"
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 '
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 ;