Execution Chart

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

Trace from the execution

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

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

=== Now, execution of the tool begins

BK_START 1496295636681


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


checking for too many tokens
===========================================================================================
NeighborGrid-PT-d4n3m2c23: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ NeighborGrid-PT-d4n3m2c23 @ 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: 1713/65536 symbol table entries, 509 collisions
lola: preprocessing...
lola: finding significant places
lola: 81 places, 1632 transitions, 80 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 81 transition conflict sets
lola: TASK
lola: reading formula from NeighborGrid-PT-d4n3m2c23-UpperBounds.task
lola: MAX(p_1_0_1_0) : MAX(p_2_2_1_0) : MAX(p_0_2_0_1) : MAX(p_1_0_1_1) : MAX(p_0_1_2_2) : MAX(p_1_1_1_1) : MAX(p_2_1_2_0) : MAX(p_0_0_1_1) : MAX(p_0_1_2_1) : MAX(p_1_2_1_0) : MAX(p_0_0_0_0) : MAX(p_2_1_2_0) : MAX(p_2_1_0_1) : MAX(p_1_2_2_2) : MAX(p_1_2_2_2) : MAX(p_0_1_0_0)
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(p_1_0_1_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 51013 markings, 102074 edges, 10203 markings/sec, 0 secs
lola: 101643 markings, 227453 edges, 10126 markings/sec, 5 secs
lola: 152492 markings, 354936 edges, 10170 markings/sec, 10 secs
lola: 203283 markings, 482053 edges, 10158 markings/sec, 15 secs
lola: 253721 markings, 631580 edges, 10088 markings/sec, 20 secs
lola: 304125 markings, 791764 edges, 10081 markings/sec, 25 secs
lola: 354554 markings, 955629 edges, 10086 markings/sec, 30 secs
lola: 404968 markings, 1112172 edges, 10083 markings/sec, 35 secs
lola: 455630 markings, 1247702 edges, 10132 markings/sec, 40 secs
lola: 503425 markings, 1376967 edges, 9559 markings/sec, 45 secs
lola: 553328 markings, 1542040 edges, 9981 markings/sec, 50 secs
lola: 603342 markings, 1722604 edges, 10003 markings/sec, 55 secs
lola: 651957 markings, 1911643 edges, 9723 markings/sec, 60 secs
lola: 702662 markings, 2071527 edges, 10141 markings/sec, 65 secs
lola: 753788 markings, 2211483 edges, 10225 markings/sec, 70 secs
lola: 804971 markings, 2340626 edges, 10237 markings/sec, 75 secs
lola: 855821 markings, 2471531 edges, 10170 markings/sec, 80 secs
lola: 907211 markings, 2610899 edges, 10278 markings/sec, 85 secs
lola: 958137 markings, 2772574 edges, 10185 markings/sec, 90 secs
lola: 1009107 markings, 2937941 edges, 10194 markings/sec, 95 secs
lola: 1059894 markings, 3135911 edges, 10157 markings/sec, 100 secs
lola: 1111393 markings, 3273580 edges, 10300 markings/sec, 105 secs
lola: 1162413 markings, 3433010 edges, 10204 markings/sec, 110 secs
lola: 1213704 markings, 3610393 edges, 10258 markings/sec, 115 secs
lola: 1264809 markings, 3810615 edges, 10221 markings/sec, 120 secs
lola: 1315620 markings, 4013905 edges, 10162 markings/sec, 125 secs
lola: 1365901 markings, 4179704 edges, 10056 markings/sec, 130 secs
lola: 1416592 markings, 4354092 edges, 10138 markings/sec, 135 secs
lola: 1466959 markings, 4549116 edges, 10073 markings/sec, 140 secs
lola: 1517145 markings, 4749847 edges, 10037 markings/sec, 145 secs
lola: 1567307 markings, 4893310 edges, 10032 markings/sec, 150 secs
lola: 1617874 markings, 5028557 edges, 10113 markings/sec, 155 secs
lola: 1668266 markings, 5184471 edges, 10078 markings/sec, 160 secs
lola: 1718333 markings, 5347191 edges, 10013 markings/sec, 165 secs
lola: 1768962 markings, 5510872 edges, 10126 markings/sec, 170 secs
lola: 1819471 markings, 5674462 edges, 10102 markings/sec, 175 secs
lola: 1869711 markings, 5859256 edges, 10048 markings/sec, 180 secs
lola: 1920139 markings, 6046115 edges, 10086 markings/sec, 185 secs
lola: 1971003 markings, 6201502 edges, 10173 markings/sec, 190 secs
lola: 2021100 markings, 6364220 edges, 10019 markings/sec, 195 secs
lola: 2071892 markings, 6541924 edges, 10158 markings/sec, 200 secs
lola: 2121950 markings, 6742436 edges, 10012 markings/sec, 205 secs
lola: 2171864 markings, 6942092 edges, 9983 markings/sec, 210 secs
lola: 2222738 markings, 7107353 edges, 10175 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(p_2_2_1_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 56164 markings, 186458 edges, 11233 markings/sec, 0 secs
lola: 112128 markings, 378400 edges, 11193 markings/sec, 5 secs
lola: 167984 markings, 571364 edges, 11171 markings/sec, 10 secs
lola: 223622 markings, 763779 edges, 11128 markings/sec, 15 secs
lola: 279391 markings, 956605 edges, 11154 markings/sec, 20 secs
lola: 334945 markings, 1149259 edges, 11111 markings/sec, 25 secs
lola: 388947 markings, 1336557 edges, 10800 markings/sec, 30 secs
lola: 441292 markings, 1518547 edges, 10469 markings/sec, 35 secs
lola: 496995 markings, 1711966 edges, 11141 markings/sec, 40 secs
lola: 553064 markings, 1906720 edges, 11214 markings/sec, 45 secs
lola: 609131 markings, 2101446 edges, 11213 markings/sec, 50 secs
lola: 665144 markings, 2296567 edges, 11203 markings/sec, 55 secs
lola: 721129 markings, 2491190 edges, 11197 markings/sec, 60 secs
lola: 777114 markings, 2685872 edges, 11197 markings/sec, 65 secs
lola: 833059 markings, 2880482 edges, 11189 markings/sec, 70 secs
lola: 888384 markings, 3073417 edges, 11065 markings/sec, 75 secs
lola: 943705 markings, 3265938 edges, 11064 markings/sec, 80 secs
lola: 999076 markings, 3458518 edges, 11074 markings/sec, 85 secs
lola: 1054273 markings, 3650923 edges, 11039 markings/sec, 90 secs
lola: 1109394 markings, 3842591 edges, 11024 markings/sec, 95 secs
lola: 1164728 markings, 4035245 edges, 11067 markings/sec, 100 secs
lola: 1220022 markings, 4227713 edges, 11059 markings/sec, 105 secs
lola: 1275838 markings, 4408498 edges, 11163 markings/sec, 110 secs
lola: 1332300 markings, 4579672 edges, 11292 markings/sec, 115 secs
lola: 1388769 markings, 4758014 edges, 11294 markings/sec, 120 secs
lola: 1444505 markings, 4928617 edges, 11147 markings/sec, 125 secs
lola: 1499834 markings, 5065972 edges, 11066 markings/sec, 130 secs
lola: 1554673 markings, 5202014 edges, 10968 markings/sec, 135 secs
lola: 1609934 markings, 5339231 edges, 11052 markings/sec, 140 secs
lola: 1665150 markings, 5476363 edges, 11043 markings/sec, 145 secs
lola: 1720057 markings, 5612708 edges, 10981 markings/sec, 150 secs
lola: 1774617 markings, 5748207 edges, 10912 markings/sec, 155 secs
lola: 1828743 markings, 5912046 edges, 10825 markings/sec, 160 secs
lola: 1882324 markings, 6097792 edges, 10716 markings/sec, 165 secs
lola: 1935562 markings, 6324654 edges, 10648 markings/sec, 170 secs
lola: 1989005 markings, 6528871 edges, 10689 markings/sec, 175 secs
lola: 2042375 markings, 6730412 edges, 10674 markings/sec, 180 secs
lola: 2095158 markings, 6968399 edges, 10557 markings/sec, 185 secs
lola: 2147342 markings, 7229705 edges, 10437 markings/sec, 190 secs
lola: 2200135 markings, 7458339 edges, 10559 markings/sec, 195 secs
lola: 2252605 markings, 7697446 edges, 10494 markings/sec, 200 secs
lola: 2306322 markings, 7852901 edges, 10743 markings/sec, 205 secs
lola: 2360085 markings, 8017659 edges, 10753 markings/sec, 210 secs
lola: 2414372 markings, 8185592 edges, 10857 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(p_0_2_0_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 65971 markings, 174959 edges, 13194 markings/sec, 0 secs
lola: 134516 markings, 357878 edges, 13709 markings/sec, 5 secs
lola: 202861 markings, 541191 edges, 13669 markings/sec, 10 secs
lola: 271126 markings, 722717 edges, 13653 markings/sec, 15 secs
lola: 339137 markings, 902801 edges, 13602 markings/sec, 20 secs
lola: 407183 markings, 1083363 edges, 13609 markings/sec, 25 secs
lola: 475117 markings, 1263605 edges, 13587 markings/sec, 30 secs
lola: 543345 markings, 1440347 edges, 13646 markings/sec, 35 secs
lola: 611835 markings, 1613775 edges, 13698 markings/sec, 40 secs
lola: 680157 markings, 1784628 edges, 13664 markings/sec, 45 secs
lola: 748458 markings, 1962479 edges, 13660 markings/sec, 50 secs
lola: 816643 markings, 2140546 edges, 13637 markings/sec, 55 secs
lola: 885015 markings, 2319711 edges, 13674 markings/sec, 60 secs
lola: 953056 markings, 2488602 edges, 13608 markings/sec, 65 secs
lola: 1020699 markings, 2666001 edges, 13529 markings/sec, 70 secs
lola: 1087802 markings, 2841925 edges, 13421 markings/sec, 75 secs
lola: 1155797 markings, 3024145 edges, 13599 markings/sec, 80 secs
lola: 1223631 markings, 3202894 edges, 13567 markings/sec, 85 secs
lola: 1291830 markings, 3384092 edges, 13640 markings/sec, 90 secs
lola: 1360001 markings, 3567529 edges, 13634 markings/sec, 95 secs
lola: 1427426 markings, 3738518 edges, 13485 markings/sec, 100 secs
lola: 1494972 markings, 3909397 edges, 13509 markings/sec, 105 secs
lola: 1562192 markings, 4080392 edges, 13444 markings/sec, 110 secs
lola: 1629709 markings, 4255336 edges, 13503 markings/sec, 115 secs
lola: 1696770 markings, 4431146 edges, 13412 markings/sec, 120 secs
lola: 1764157 markings, 4607819 edges, 13477 markings/sec, 125 secs
lola: 1831183 markings, 4784625 edges, 13405 markings/sec, 130 secs
lola: 1898650 markings, 4953254 edges, 13493 markings/sec, 135 secs
lola: 1965672 markings, 5127821 edges, 13404 markings/sec, 140 secs
lola: 2032730 markings, 5304225 edges, 13412 markings/sec, 145 secs
lola: 2099791 markings, 5480389 edges, 13412 markings/sec, 150 secs
lola: 2167276 markings, 5656378 edges, 13497 markings/sec, 155 secs
lola: 2234665 markings, 5832667 edges, 13478 markings/sec, 160 secs
lola: 2302078 markings, 6009865 edges, 13483 markings/sec, 165 secs
lola: 2369527 markings, 6189357 edges, 13490 markings/sec, 170 secs
lola: 2436488 markings, 6367489 edges, 13392 markings/sec, 175 secs
lola: 2503621 markings, 6545249 edges, 13427 markings/sec, 180 secs
lola: 2570983 markings, 6724722 edges, 13472 markings/sec, 185 secs
lola: 2637884 markings, 6898491 edges, 13380 markings/sec, 190 secs
lola: 2700066 markings, 7056931 edges, 12436 markings/sec, 195 secs
lola: 2750045 markings, 7181934 edges, 9996 markings/sec, 200 secs
lola: 2800322 markings, 7307186 edges, 10055 markings/sec, 205 secs
lola: 2850027 markings, 7437832 edges, 9941 markings/sec, 210 secs
lola: 2900516 markings, 7568675 edges, 10098 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(p_1_0_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 58852 markings, 151321 edges, 11770 markings/sec, 0 secs
lola: 121904 markings, 311583 edges, 12610 markings/sec, 5 secs
lola: 184271 markings, 476794 edges, 12473 markings/sec, 10 secs
lola: 246062 markings, 663631 edges, 12358 markings/sec, 15 secs
lola: 307552 markings, 851373 edges, 12298 markings/sec, 20 secs
lola: 369019 markings, 1047994 edges, 12293 markings/sec, 25 secs
lola: 430078 markings, 1254053 edges, 12212 markings/sec, 30 secs
lola: 491340 markings, 1457177 edges, 12252 markings/sec, 35 secs
lola: 552474 markings, 1669229 edges, 12227 markings/sec, 40 secs
lola: 612770 markings, 1872129 edges, 12059 markings/sec, 45 secs
lola: 673390 markings, 2072854 edges, 12124 markings/sec, 50 secs
lola: 733866 markings, 2303963 edges, 12095 markings/sec, 55 secs
lola: 794575 markings, 2494988 edges, 12142 markings/sec, 60 secs
lola: 855917 markings, 2692095 edges, 12268 markings/sec, 65 secs
lola: 916786 markings, 2898762 edges, 12174 markings/sec, 70 secs
lola: 977315 markings, 3108152 edges, 12106 markings/sec, 75 secs
lola: 1039360 markings, 3281058 edges, 12409 markings/sec, 80 secs
lola: 1101104 markings, 3439800 edges, 12349 markings/sec, 85 secs
lola: 1161737 markings, 3625248 edges, 12127 markings/sec, 90 secs
lola: 1222714 markings, 3816116 edges, 12195 markings/sec, 95 secs
lola: 1283816 markings, 3996586 edges, 12220 markings/sec, 100 secs
lola: 1344134 markings, 4195028 edges, 12064 markings/sec, 105 secs
lola: 1404924 markings, 4373503 edges, 12158 markings/sec, 110 secs
lola: 1465116 markings, 4577730 edges, 12038 markings/sec, 115 secs
lola: 1525866 markings, 4775976 edges, 12150 markings/sec, 120 secs
lola: 1585696 markings, 4967623 edges, 11966 markings/sec, 125 secs
lola: 1645783 markings, 5160244 edges, 12017 markings/sec, 130 secs
lola: 1704947 markings, 5361363 edges, 11833 markings/sec, 135 secs
lola: 1765437 markings, 5564787 edges, 12098 markings/sec, 140 secs
lola: 1826194 markings, 5759323 edges, 12151 markings/sec, 145 secs
lola: 1886687 markings, 5945474 edges, 12099 markings/sec, 150 secs
lola: 1946948 markings, 6133384 edges, 12052 markings/sec, 155 secs
lola: 2009610 markings, 6333482 edges, 12532 markings/sec, 160 secs
lola: 2072630 markings, 6536968 edges, 12604 markings/sec, 165 secs
lola: 2135664 markings, 6741041 edges, 12607 markings/sec, 170 secs
lola: 2198620 markings, 6944501 edges, 12591 markings/sec, 175 secs
lola: 2261648 markings, 7148287 edges, 12606 markings/sec, 180 secs
lola: 2324639 markings, 7351685 edges, 12598 markings/sec, 185 secs
lola: 2387605 markings, 7555162 edges, 12593 markings/sec, 190 secs
lola: 2450588 markings, 7758555 edges, 12597 markings/sec, 195 secs
lola: 2513586 markings, 7961666 edges, 12600 markings/sec, 200 secs
lola: 2576409 markings, 8164180 edges, 12565 markings/sec, 205 secs
lola: 2639070 markings, 8365739 edges, 12532 markings/sec, 210 secs
lola: 2701226 markings, 8550200 edges, 12431 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(p_0_1_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 64090 markings, 163779 edges, 12818 markings/sec, 0 secs
lola: 126347 markings, 320980 edges, 12451 markings/sec, 5 secs
lola: 187627 markings, 473664 edges, 12256 markings/sec, 10 secs
lola: 249068 markings, 630743 edges, 12288 markings/sec, 15 secs
lola: 309604 markings, 782508 edges, 12107 markings/sec, 20 secs
lola: 374331 markings, 944689 edges, 12945 markings/sec, 25 secs
lola: 438874 markings, 1107635 edges, 12909 markings/sec, 30 secs
lola: 503359 markings, 1272459 edges, 12897 markings/sec, 35 secs
lola: 567538 markings, 1430941 edges, 12836 markings/sec, 40 secs
lola: 631526 markings, 1591592 edges, 12798 markings/sec, 45 secs
lola: 694794 markings, 1750053 edges, 12654 markings/sec, 50 secs
lola: 757370 markings, 1900136 edges, 12515 markings/sec, 55 secs
lola: 821725 markings, 2064752 edges, 12871 markings/sec, 60 secs
lola: 883636 markings, 2223667 edges, 12382 markings/sec, 65 secs
lola: 947902 markings, 2386894 edges, 12853 markings/sec, 70 secs
lola: 1012143 markings, 2547938 edges, 12848 markings/sec, 75 secs
lola: 1075474 markings, 2711739 edges, 12666 markings/sec, 80 secs
lola: 1136539 markings, 2890056 edges, 12213 markings/sec, 85 secs
lola: 1200870 markings, 3074423 edges, 12866 markings/sec, 90 secs
lola: 1265855 markings, 3240607 edges, 12997 markings/sec, 95 secs
lola: 1329197 markings, 3402206 edges, 12668 markings/sec, 100 secs
lola: 1391052 markings, 3575741 edges, 12371 markings/sec, 105 secs
lola: 1454211 markings, 3733621 edges, 12632 markings/sec, 110 secs
lola: 1517293 markings, 3892636 edges, 12616 markings/sec, 115 secs
lola: 1580940 markings, 4058731 edges, 12729 markings/sec, 120 secs
lola: 1644739 markings, 4228183 edges, 12760 markings/sec, 125 secs
lola: 1708038 markings, 4396241 edges, 12660 markings/sec, 130 secs
lola: 1771960 markings, 4560970 edges, 12784 markings/sec, 135 secs
lola: 1835448 markings, 4727493 edges, 12698 markings/sec, 140 secs
lola: 1898720 markings, 4894505 edges, 12654 markings/sec, 145 secs
lola: 1961842 markings, 5053684 edges, 12624 markings/sec, 150 secs
lola: 2025365 markings, 5214572 edges, 12705 markings/sec, 155 secs
lola: 2088293 markings, 5382737 edges, 12586 markings/sec, 160 secs
lola: 2151302 markings, 5544050 edges, 12602 markings/sec, 165 secs
lola: 2214209 markings, 5704317 edges, 12581 markings/sec, 170 secs
lola: 2277177 markings, 5860904 edges, 12594 markings/sec, 175 secs
lola: 2339987 markings, 6039200 edges, 12562 markings/sec, 180 secs
lola: 2402478 markings, 6206956 edges, 12498 markings/sec, 185 secs
lola: 2465014 markings, 6388760 edges, 12507 markings/sec, 190 secs
lola: 2527846 markings, 6552535 edges, 12566 markings/sec, 195 secs
lola: 2590903 markings, 6712081 edges, 12611 markings/sec, 200 secs
lola: 2653414 markings, 6877814 edges, 12502 markings/sec, 205 secs
lola: 2715602 markings, 7058144 edges, 12438 markings/sec, 210 secs
lola: 2777672 markings, 7227638 edges, 12414 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(p_1_1_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 54426 markings, 176871 edges, 10885 markings/sec, 0 secs
lola: 109555 markings, 379995 edges, 11026 markings/sec, 5 secs
lola: 164247 markings, 594687 edges, 10938 markings/sec, 10 secs
lola: 218801 markings, 811256 edges, 10911 markings/sec, 15 secs
lola: 272853 markings, 1043152 edges, 10810 markings/sec, 20 secs
lola: 327275 markings, 1262399 edges, 10884 markings/sec, 25 secs
lola: 381426 markings, 1490199 edges, 10830 markings/sec, 30 secs
lola: 436185 markings, 1701358 edges, 10952 markings/sec, 35 secs
lola: 490202 markings, 1935670 edges, 10803 markings/sec, 40 secs
lola: 543928 markings, 2180311 edges, 10745 markings/sec, 45 secs
lola: 597973 markings, 2410670 edges, 10809 markings/sec, 50 secs
lola: 652261 markings, 2637474 edges, 10858 markings/sec, 55 secs
lola: 706316 markings, 2872456 edges, 10811 markings/sec, 60 secs
lola: 760428 markings, 3107361 edges, 10822 markings/sec, 65 secs
lola: 814467 markings, 3346896 edges, 10808 markings/sec, 70 secs
lola: 868315 markings, 3597029 edges, 10770 markings/sec, 75 secs
lola: 921924 markings, 3840936 edges, 10722 markings/sec, 80 secs
lola: 975634 markings, 4076595 edges, 10742 markings/sec, 85 secs
lola: 1029649 markings, 4321071 edges, 10803 markings/sec, 90 secs
lola: 1082773 markings, 4577525 edges, 10625 markings/sec, 95 secs
lola: 1136223 markings, 4823571 edges, 10690 markings/sec, 100 secs
lola: 1189921 markings, 5062654 edges, 10740 markings/sec, 105 secs
lola: 1244277 markings, 5274692 edges, 10871 markings/sec, 110 secs
lola: 1297674 markings, 5516730 edges, 10679 markings/sec, 115 secs
lola: 1351349 markings, 5760089 edges, 10735 markings/sec, 120 secs
lola: 1404706 markings, 6004430 edges, 10671 markings/sec, 125 secs
lola: 1458659 markings, 6228997 edges, 10791 markings/sec, 130 secs
lola: 1511923 markings, 6482368 edges, 10653 markings/sec, 135 secs
lola: 1564635 markings, 6743434 edges, 10542 markings/sec, 140 secs
lola: 1618351 markings, 6975444 edges, 10743 markings/sec, 145 secs
lola: 1671397 markings, 7227741 edges, 10609 markings/sec, 150 secs
lola: 1725188 markings, 7457093 edges, 10758 markings/sec, 155 secs
lola: 1778754 markings, 7690829 edges, 10713 markings/sec, 160 secs
lola: 1832027 markings, 7925538 edges, 10655 markings/sec, 165 secs
lola: 1885696 markings, 8171196 edges, 10734 markings/sec, 170 secs
lola: 1938881 markings, 8416560 edges, 10637 markings/sec, 175 secs
lola: 1992114 markings, 8663364 edges, 10647 markings/sec, 180 secs
lola: 2045507 markings, 8899811 edges, 10679 markings/sec, 185 secs
lola: 2098721 markings, 9136778 edges, 10643 markings/sec, 190 secs
lola: 2151649 markings, 9388056 edges, 10586 markings/sec, 195 secs
lola: 2205063 markings, 9627640 edges, 10683 markings/sec, 200 secs
lola: 2257655 markings, 9871332 edges, 10518 markings/sec, 205 secs
lola: 2310349 markings, 10129889 edges, 10539 markings/sec, 210 secs
lola: 2364175 markings, 10364265 edges, 10765 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(p_2_1_2_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 62452 markings, 139491 edges, 12490 markings/sec, 0 secs
lola: 127975 markings, 286128 edges, 13105 markings/sec, 5 secs
lola: 192618 markings, 430654 edges, 12929 markings/sec, 10 secs
lola: 257231 markings, 575316 edges, 12923 markings/sec, 15 secs
lola: 321377 markings, 718922 edges, 12829 markings/sec, 20 secs
lola: 384553 markings, 860489 edges, 12635 markings/sec, 25 secs
lola: 446885 markings, 1000167 edges, 12466 markings/sec, 30 secs
lola: 503964 markings, 1144151 edges, 11416 markings/sec, 35 secs
lola: 559653 markings, 1302018 edges, 11138 markings/sec, 40 secs
lola: 615215 markings, 1472193 edges, 11112 markings/sec, 45 secs
lola: 671523 markings, 1599902 edges, 11262 markings/sec, 50 secs
lola: 727506 markings, 1730197 edges, 11197 markings/sec, 55 secs
lola: 783309 markings, 1837708 edges, 11161 markings/sec, 60 secs
lola: 839013 markings, 1948354 edges, 11141 markings/sec, 65 secs
lola: 894957 markings, 2084424 edges, 11189 markings/sec, 70 secs
lola: 950523 markings, 2209823 edges, 11113 markings/sec, 75 secs
lola: 1005813 markings, 2367485 edges, 11058 markings/sec, 80 secs
lola: 1061125 markings, 2510889 edges, 11062 markings/sec, 85 secs
lola: 1116600 markings, 2638952 edges, 11095 markings/sec, 90 secs
lola: 1172022 markings, 2808844 edges, 11084 markings/sec, 95 secs
lola: 1227961 markings, 2966013 edges, 11188 markings/sec, 100 secs
lola: 1283820 markings, 3123647 edges, 11172 markings/sec, 105 secs
lola: 1339535 markings, 3295337 edges, 11143 markings/sec, 110 secs
lola: 1396205 markings, 3419239 edges, 11334 markings/sec, 115 secs
lola: 1451799 markings, 3605969 edges, 11119 markings/sec, 120 secs
lola: 1505442 markings, 3727572 edges, 10729 markings/sec, 125 secs
lola: 1561404 markings, 3860863 edges, 11192 markings/sec, 130 secs
lola: 1617083 markings, 3980768 edges, 11136 markings/sec, 135 secs
lola: 1671923 markings, 4145188 edges, 10968 markings/sec, 140 secs
lola: 1726710 markings, 4321564 edges, 10957 markings/sec, 145 secs
lola: 1781419 markings, 4516867 edges, 10942 markings/sec, 150 secs
lola: 1836669 markings, 4710339 edges, 11050 markings/sec, 155 secs
lola: 1892256 markings, 4913383 edges, 11117 markings/sec, 160 secs
lola: 1947599 markings, 5068855 edges, 11069 markings/sec, 165 secs
lola: 2002551 markings, 5221103 edges, 10990 markings/sec, 170 secs
lola: 2058055 markings, 5365673 edges, 11101 markings/sec, 175 secs
lola: 2113346 markings, 5540595 edges, 11058 markings/sec, 180 secs
lola: 2168838 markings, 5697266 edges, 11098 markings/sec, 185 secs
lola: 2224263 markings, 5845901 edges, 11085 markings/sec, 190 secs
lola: 2279479 markings, 5989702 edges, 11043 markings/sec, 195 secs
lola: 2334831 markings, 6179873 edges, 11070 markings/sec, 200 secs
lola: 2389750 markings, 6335573 edges, 10984 markings/sec, 205 secs
lola: 2445105 markings, 6481780 edges, 11071 markings/sec, 210 secs
lola: 2500068 markings, 6655355 edges, 10993 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(p_0_0_1_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 55494 markings, 116143 edges, 11099 markings/sec, 0 secs
lola: 112851 markings, 258303 edges, 11471 markings/sec, 5 secs
lola: 169995 markings, 400687 edges, 11429 markings/sec, 10 secs
lola: 227257 markings, 535678 edges, 11452 markings/sec, 15 secs
lola: 284029 markings, 682959 edges, 11354 markings/sec, 20 secs
lola: 340709 markings, 833352 edges, 11336 markings/sec, 25 secs
lola: 396830 markings, 1002260 edges, 11224 markings/sec, 30 secs
lola: 453850 markings, 1122052 edges, 11404 markings/sec, 35 secs
lola: 510481 markings, 1259863 edges, 11326 markings/sec, 40 secs
lola: 566841 markings, 1406209 edges, 11272 markings/sec, 45 secs
lola: 623272 markings, 1537126 edges, 11286 markings/sec, 50 secs
lola: 676569 markings, 1667859 edges, 10659 markings/sec, 55 secs
lola: 732561 markings, 1822004 edges, 11198 markings/sec, 60 secs
lola: 788110 markings, 1976461 edges, 11110 markings/sec, 65 secs
lola: 843991 markings, 2117407 edges, 11176 markings/sec, 70 secs
lola: 900354 markings, 2244886 edges, 11273 markings/sec, 75 secs
lola: 956159 markings, 2394906 edges, 11161 markings/sec, 80 secs
lola: 1012156 markings, 2525459 edges, 11199 markings/sec, 85 secs
lola: 1067955 markings, 2656946 edges, 11160 markings/sec, 90 secs
lola: 1123419 markings, 2808520 edges, 11093 markings/sec, 95 secs
lola: 1178848 markings, 2955589 edges, 11086 markings/sec, 100 secs
lola: 1234044 markings, 3115423 edges, 11039 markings/sec, 105 secs
lola: 1289870 markings, 3231433 edges, 11165 markings/sec, 110 secs
lola: 1345483 markings, 3367149 edges, 11123 markings/sec, 115 secs
lola: 1400730 markings, 3511825 edges, 11049 markings/sec, 120 secs
lola: 1456060 markings, 3640390 edges, 11066 markings/sec, 125 secs
lola: 1511200 markings, 3772827 edges, 11028 markings/sec, 130 secs
lola: 1565947 markings, 3928327 edges, 10949 markings/sec, 135 secs
lola: 1620442 markings, 4074383 edges, 10899 markings/sec, 140 secs
lola: 1675642 markings, 4224307 edges, 11040 markings/sec, 145 secs
lola: 1731746 markings, 4344166 edges, 11221 markings/sec, 150 secs
lola: 1787247 markings, 4484581 edges, 11100 markings/sec, 155 secs
lola: 1842583 markings, 4623189 edges, 11067 markings/sec, 160 secs
lola: 1889602 markings, 4732339 edges, 9404 markings/sec, 165 secs
lola: 1944904 markings, 4866293 edges, 11060 markings/sec, 170 secs
lola: 1999739 markings, 5022038 edges, 10967 markings/sec, 175 secs
lola: 2054319 markings, 5168575 edges, 10916 markings/sec, 180 secs
lola: 2109218 markings, 5318581 edges, 10980 markings/sec, 185 secs
lola: 2164726 markings, 5436451 edges, 11102 markings/sec, 190 secs
lola: 2219677 markings, 5570342 edges, 10990 markings/sec, 195 secs
lola: 2274296 markings, 5712416 edges, 10924 markings/sec, 200 secs
lola: 2329048 markings, 5839569 edges, 10950 markings/sec, 205 secs
lola: 2383583 markings, 5972102 edges, 10907 markings/sec, 210 secs
lola: 2437595 markings, 6126459 edges, 10802 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(p_0_1_2_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 65313 markings, 137827 edges, 13063 markings/sec, 0 secs
lola: 129415 markings, 287057 edges, 12820 markings/sec, 5 secs
lola: 193826 markings, 420634 edges, 12882 markings/sec, 10 secs
lola: 257357 markings, 571515 edges, 12706 markings/sec, 15 secs
lola: 321798 markings, 705017 edges, 12888 markings/sec, 20 secs
lola: 385082 markings, 846465 edges, 12657 markings/sec, 25 secs
lola: 449147 markings, 979475 edges, 12813 markings/sec, 30 secs
lola: 512495 markings, 1114518 edges, 12670 markings/sec, 35 secs
lola: 575381 markings, 1264612 edges, 12577 markings/sec, 40 secs
lola: 638611 markings, 1399734 edges, 12646 markings/sec, 45 secs
lola: 700792 markings, 1540310 edges, 12436 markings/sec, 50 secs
lola: 763793 markings, 1673293 edges, 12600 markings/sec, 55 secs
lola: 826362 markings, 1808178 edges, 12514 markings/sec, 60 secs
lola: 887933 markings, 1957471 edges, 12314 markings/sec, 65 secs
lola: 950827 markings, 2082896 edges, 12579 markings/sec, 70 secs
lola: 1012914 markings, 2217293 edges, 12417 markings/sec, 75 secs
lola: 1074093 markings, 2366025 edges, 12236 markings/sec, 80 secs
lola: 1137007 markings, 2493191 edges, 12583 markings/sec, 85 secs
lola: 1200103 markings, 2630952 edges, 12619 markings/sec, 90 secs
lola: 1262836 markings, 2775198 edges, 12547 markings/sec, 95 secs
lola: 1325862 markings, 2911057 edges, 12605 markings/sec, 100 secs
lola: 1387923 markings, 3049121 edges, 12412 markings/sec, 105 secs
lola: 1449638 markings, 3173121 edges, 12343 markings/sec, 110 secs
lola: 1510734 markings, 3330216 edges, 12219 markings/sec, 115 secs
lola: 1573277 markings, 3448583 edges, 12509 markings/sec, 120 secs
lola: 1635542 markings, 3585959 edges, 12453 markings/sec, 125 secs
lola: 1697621 markings, 3728523 edges, 12416 markings/sec, 130 secs
lola: 1759971 markings, 3870038 edges, 12470 markings/sec, 135 secs
lola: 1822288 markings, 3996498 edges, 12463 markings/sec, 140 secs
lola: 1884103 markings, 4128167 edges, 12363 markings/sec, 145 secs
lola: 1945422 markings, 4278121 edges, 12264 markings/sec, 150 secs
lola: 2007506 markings, 4410703 edges, 12417 markings/sec, 155 secs
lola: 2069336 markings, 4573340 edges, 12366 markings/sec, 160 secs
lola: 2131348 markings, 4737318 edges, 12402 markings/sec, 165 secs
lola: 2193214 markings, 4921528 edges, 12373 markings/sec, 170 secs
lola: 2255092 markings, 5056808 edges, 12376 markings/sec, 175 secs
lola: 2316844 markings, 5182531 edges, 12350 markings/sec, 180 secs
lola: 2377951 markings, 5334178 edges, 12221 markings/sec, 185 secs
lola: 2439887 markings, 5467337 edges, 12387 markings/sec, 190 secs
lola: 2501456 markings, 5628659 edges, 12314 markings/sec, 195 secs
lola: 2563215 markings, 5790270 edges, 12352 markings/sec, 200 secs
lola: 2624717 markings, 5973039 edges, 12300 markings/sec, 205 secs
lola: 2686047 markings, 6106366 edges, 12266 markings/sec, 210 secs
lola: 2747107 markings, 6243897 edges, 12212 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(p_1_2_1_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 52797 markings, 132148 edges, 10559 markings/sec, 0 secs
lola: 107845 markings, 306235 edges, 11010 markings/sec, 5 secs
lola: 162716 markings, 484634 edges, 10974 markings/sec, 10 secs
lola: 217615 markings, 662581 edges, 10980 markings/sec, 15 secs
lola: 272476 markings, 840474 edges, 10972 markings/sec, 20 secs
lola: 327262 markings, 1018599 edges, 10957 markings/sec, 25 secs
lola: 382175 markings, 1196639 edges, 10983 markings/sec, 30 secs
lola: 436964 markings, 1374347 edges, 10958 markings/sec, 35 secs
lola: 491752 markings, 1552437 edges, 10958 markings/sec, 40 secs
lola: 546470 markings, 1730075 edges, 10944 markings/sec, 45 secs
lola: 601065 markings, 1907175 edges, 10919 markings/sec, 50 secs
lola: 655901 markings, 2085121 edges, 10967 markings/sec, 55 secs
lola: 710729 markings, 2263079 edges, 10966 markings/sec, 60 secs
lola: 765491 markings, 2440877 edges, 10952 markings/sec, 65 secs
lola: 820258 markings, 2618215 edges, 10953 markings/sec, 70 secs
lola: 874960 markings, 2795817 edges, 10940 markings/sec, 75 secs
lola: 929650 markings, 2973461 edges, 10938 markings/sec, 80 secs
lola: 984432 markings, 3150973 edges, 10956 markings/sec, 85 secs
lola: 1037498 markings, 3323450 edges, 10613 markings/sec, 90 secs
lola: 1092298 markings, 3501093 edges, 10960 markings/sec, 95 secs
lola: 1147081 markings, 3678799 edges, 10957 markings/sec, 100 secs
lola: 1201844 markings, 3856533 edges, 10953 markings/sec, 105 secs
lola: 1256578 markings, 4033847 edges, 10947 markings/sec, 110 secs
lola: 1311339 markings, 4211474 edges, 10952 markings/sec, 115 secs
lola: 1366087 markings, 4388963 edges, 10950 markings/sec, 120 secs
lola: 1420804 markings, 4566528 edges, 10943 markings/sec, 125 secs
lola: 1475563 markings, 4744131 edges, 10952 markings/sec, 130 secs
lola: 1530489 markings, 4922219 edges, 10985 markings/sec, 135 secs
lola: 1585327 markings, 5099823 edges, 10968 markings/sec, 140 secs
lola: 1640174 markings, 5277568 edges, 10969 markings/sec, 145 secs
lola: 1688947 markings, 5435586 edges, 9755 markings/sec, 150 secs
lola: 1743716 markings, 5613359 edges, 10954 markings/sec, 155 secs
lola: 1798787 markings, 5771926 edges, 11014 markings/sec, 160 secs
lola: 1851151 markings, 5975701 edges, 10473 markings/sec, 165 secs
lola: 1905660 markings, 6194192 edges, 10902 markings/sec, 170 secs
lola: 1960172 markings, 6412225 edges, 10902 markings/sec, 175 secs
lola: 2014643 markings, 6630796 edges, 10894 markings/sec, 180 secs
lola: 2069159 markings, 6848833 edges, 10903 markings/sec, 185 secs
lola: 2123723 markings, 7067138 edges, 10913 markings/sec, 190 secs
lola: 2178206 markings, 7285245 edges, 10897 markings/sec, 195 secs
lola: 2232666 markings, 7503849 edges, 10892 markings/sec, 200 secs
lola: 2287101 markings, 7721674 edges, 10887 markings/sec, 205 secs
lola: 2341596 markings, 7939847 edges, 10899 markings/sec, 210 secs
lola: 2396064 markings, 8157982 edges, 10894 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(p_0_0_0_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 61497 markings, 129312 edges, 12299 markings/sec, 0 secs
lola: 121933 markings, 271298 edges, 12087 markings/sec, 5 secs
lola: 182817 markings, 403916 edges, 12177 markings/sec, 10 secs
lola: 243893 markings, 532295 edges, 12215 markings/sec, 15 secs
lola: 304699 markings, 666684 edges, 12161 markings/sec, 20 secs
lola: 364990 markings, 818658 edges, 12058 markings/sec, 25 secs
lola: 425477 markings, 954458 edges, 12097 markings/sec, 30 secs
lola: 486365 markings, 1094568 edges, 12178 markings/sec, 35 secs
lola: 547418 markings, 1232284 edges, 12211 markings/sec, 40 secs
lola: 607972 markings, 1369233 edges, 12111 markings/sec, 45 secs
lola: 668754 markings, 1505950 edges, 12156 markings/sec, 50 secs
lola: 728925 markings, 1651916 edges, 12034 markings/sec, 55 secs
lola: 789502 markings, 1783751 edges, 12115 markings/sec, 60 secs
lola: 850047 markings, 1925983 edges, 12109 markings/sec, 65 secs
lola: 910260 markings, 2066765 edges, 12043 markings/sec, 70 secs
lola: 970745 markings, 2204187 edges, 12097 markings/sec, 75 secs
lola: 1031067 markings, 2340918 edges, 12064 markings/sec, 80 secs
lola: 1091296 markings, 2480018 edges, 12046 markings/sec, 85 secs
lola: 1150666 markings, 2616717 edges, 11874 markings/sec, 90 secs
lola: 1210516 markings, 2745470 edges, 11970 markings/sec, 95 secs
lola: 1270676 markings, 2879777 edges, 12032 markings/sec, 100 secs
lola: 1330674 markings, 3013225 edges, 12000 markings/sec, 105 secs
lola: 1390619 markings, 3151210 edges, 11989 markings/sec, 110 secs
lola: 1449353 markings, 3280742 edges, 11747 markings/sec, 115 secs
lola: 1508376 markings, 3415398 edges, 11805 markings/sec, 120 secs
lola: 1567265 markings, 3553709 edges, 11778 markings/sec, 125 secs
lola: 1626496 markings, 3695592 edges, 11846 markings/sec, 130 secs
lola: 1685635 markings, 3842032 edges, 11828 markings/sec, 135 secs
lola: 1744803 markings, 3985474 edges, 11834 markings/sec, 140 secs
lola: 1804147 markings, 4122608 edges, 11869 markings/sec, 145 secs
lola: 1862955 markings, 4261655 edges, 11762 markings/sec, 150 secs
lola: 1921962 markings, 4403372 edges, 11801 markings/sec, 155 secs
lola: 1981497 markings, 4534964 edges, 11907 markings/sec, 160 secs
lola: 2038030 markings, 4664112 edges, 11307 markings/sec, 165 secs
lola: 2097044 markings, 4800369 edges, 11803 markings/sec, 170 secs
lola: 2156136 markings, 4937382 edges, 11818 markings/sec, 175 secs
lola: 2214949 markings, 5090026 edges, 11763 markings/sec, 180 secs
lola: 2274058 markings, 5228067 edges, 11822 markings/sec, 185 secs
lola: 2333820 markings, 5361467 edges, 11952 markings/sec, 190 secs
lola: 2392940 markings, 5498145 edges, 11824 markings/sec, 195 secs
lola: 2453117 markings, 5639306 edges, 12035 markings/sec, 200 secs
lola: 2513953 markings, 5775804 edges, 12167 markings/sec, 205 secs
lola: 2575048 markings, 5917389 edges, 12219 markings/sec, 210 secs
lola: 2636034 markings, 6062575 edges, 12197 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(p_2_1_2_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 64310 markings, 143652 edges, 12862 markings/sec, 0 secs
lola: 128935 markings, 288286 edges, 12925 markings/sec, 5 secs
lola: 192594 markings, 430630 edges, 12732 markings/sec, 10 secs
lola: 256250 markings, 573098 edges, 12731 markings/sec, 15 secs
lola: 319504 markings, 714739 edges, 12651 markings/sec, 20 secs
lola: 381878 markings, 854517 edges, 12475 markings/sec, 25 secs
lola: 443664 markings, 992974 edges, 12357 markings/sec, 30 secs
lola: 499383 markings, 1131051 edges, 11144 markings/sec, 35 secs
lola: 555258 markings, 1289592 edges, 11175 markings/sec, 40 secs
lola: 610578 markings, 1457054 edges, 11064 markings/sec, 45 secs
lola: 666733 markings, 1587958 edges, 11231 markings/sec, 50 secs
lola: 722574 markings, 1720799 edges, 11168 markings/sec, 55 secs
lola: 778298 markings, 1828041 edges, 11145 markings/sec, 60 secs
lola: 834124 markings, 1938435 edges, 11165 markings/sec, 65 secs
lola: 890237 markings, 2071380 edges, 11223 markings/sec, 70 secs
lola: 945985 markings, 2196404 edges, 11150 markings/sec, 75 secs
lola: 1001283 markings, 2356172 edges, 11060 markings/sec, 80 secs
lola: 1056766 markings, 2500104 edges, 11097 markings/sec, 85 secs
lola: 1112409 markings, 2625233 edges, 11129 markings/sec, 90 secs
lola: 1167920 markings, 2797300 edges, 11102 markings/sec, 95 secs
lola: 1223938 markings, 2955085 edges, 11204 markings/sec, 100 secs
lola: 1279943 markings, 3112706 edges, 11201 markings/sec, 105 secs
lola: 1335812 markings, 3286030 edges, 11174 markings/sec, 110 secs
lola: 1392605 markings, 3410203 edges, 11359 markings/sec, 115 secs
lola: 1448452 markings, 3593258 edges, 11169 markings/sec, 120 secs
lola: 1504619 markings, 3725575 edges, 11233 markings/sec, 125 secs
lola: 1560707 markings, 3859402 edges, 11218 markings/sec, 130 secs
lola: 1616602 markings, 3979819 edges, 11179 markings/sec, 135 secs
lola: 1671386 markings, 4143414 edges, 10957 markings/sec, 140 secs
lola: 1726291 markings, 4320236 edges, 10981 markings/sec, 145 secs
lola: 1781181 markings, 4516048 edges, 10978 markings/sec, 150 secs
lola: 1836617 markings, 4710225 edges, 11087 markings/sec, 155 secs
lola: 1892296 markings, 4913523 edges, 11136 markings/sec, 160 secs
lola: 1947794 markings, 5069248 edges, 11100 markings/sec, 165 secs
lola: 2002959 markings, 5222250 edges, 11033 markings/sec, 170 secs
lola: 2058736 markings, 5367823 edges, 11155 markings/sec, 175 secs
lola: 2114305 markings, 5543570 edges, 11114 markings/sec, 180 secs
lola: 2169770 markings, 5699826 edges, 11093 markings/sec, 185 secs
lola: 2224800 markings, 5847341 edges, 11006 markings/sec, 190 secs
lola: 2280167 markings, 5991388 edges, 11073 markings/sec, 195 secs
lola: 2335175 markings, 6180790 edges, 11002 markings/sec, 200 secs
lola: 2385934 markings, 6325063 edges, 10152 markings/sec, 205 secs
lola: 2441392 markings, 6469610 edges, 11092 markings/sec, 210 secs
lola: 2496476 markings, 6644540 edges, 11017 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(p_2_1_0_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 65692 markings, 213310 edges, 13138 markings/sec, 0 secs
lola: 128952 markings, 417583 edges, 12652 markings/sec, 5 secs
lola: 192315 markings, 608726 edges, 12673 markings/sec, 10 secs
lola: 254472 markings, 793044 edges, 12431 markings/sec, 15 secs
lola: 316125 markings, 1016701 edges, 12331 markings/sec, 20 secs
lola: 379384 markings, 1246410 edges, 12652 markings/sec, 25 secs
lola: 442510 markings, 1474635 edges, 12625 markings/sec, 30 secs
lola: 506113 markings, 1714427 edges, 12721 markings/sec, 35 secs
lola: 568662 markings, 1983433 edges, 12510 markings/sec, 40 secs
lola: 631007 markings, 2251178 edges, 12469 markings/sec, 45 secs
lola: 693735 markings, 2509770 edges, 12546 markings/sec, 50 secs
lola: 756736 markings, 2780056 edges, 12600 markings/sec, 55 secs
lola: 819299 markings, 3048912 edges, 12513 markings/sec, 60 secs
lola: 881622 markings, 3315639 edges, 12465 markings/sec, 65 secs
lola: 944991 markings, 3577560 edges, 12674 markings/sec, 70 secs
lola: 1007571 markings, 3846643 edges, 12516 markings/sec, 75 secs
lola: 1069755 markings, 4113126 edges, 12437 markings/sec, 80 secs
lola: 1132714 markings, 4373140 edges, 12592 markings/sec, 85 secs
lola: 1195242 markings, 4641990 edges, 12506 markings/sec, 90 secs
lola: 1257540 markings, 4908949 edges, 12460 markings/sec, 95 secs
lola: 1320824 markings, 5170521 edges, 12657 markings/sec, 100 secs
lola: 1383358 markings, 5439453 edges, 12507 markings/sec, 105 secs
lola: 1445744 markings, 5706415 edges, 12477 markings/sec, 110 secs
lola: 1509055 markings, 5968905 edges, 12662 markings/sec, 115 secs
lola: 1571505 markings, 6237143 edges, 12490 markings/sec, 120 secs
lola: 1634329 markings, 6496497 edges, 12565 markings/sec, 125 secs
lola: 1697123 markings, 6766580 edges, 12559 markings/sec, 130 secs
lola: 1759540 markings, 7034448 edges, 12483 markings/sec, 135 secs
lola: 1822688 markings, 7295959 edges, 12630 markings/sec, 140 secs
lola: 1885410 markings, 7565498 edges, 12544 markings/sec, 145 secs
lola: 1948245 markings, 7830361 edges, 12567 markings/sec, 150 secs
lola: 2011202 markings, 8096032 edges, 12591 markings/sec, 155 secs
lola: 2073587 markings, 8363794 edges, 12477 markings/sec, 160 secs
lola: 2137257 markings, 8628012 edges, 12734 markings/sec, 165 secs
lola: 2200308 markings, 8898848 edges, 12610 markings/sec, 170 secs
lola: 2263851 markings, 9162453 edges, 12709 markings/sec, 175 secs
lola: 2327036 markings, 9434049 edges, 12637 markings/sec, 180 secs
lola: 2390399 markings, 9697019 edges, 12673 markings/sec, 185 secs
lola: 2453676 markings, 9968887 edges, 12655 markings/sec, 190 secs
lola: 2516920 markings, 10233727 edges, 12649 markings/sec, 195 secs
lola: 2580248 markings, 10503830 edges, 12666 markings/sec, 200 secs
lola: 2643476 markings, 10768040 edges, 12646 markings/sec, 205 secs
lola: 2706872 markings, 11039096 edges, 12679 markings/sec, 210 secs
lola: 2770283 markings, 11303004 edges, 12682 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(p_1_2_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 65058 markings, 129150 edges, 13012 markings/sec, 0 secs
lola: 128608 markings, 256372 edges, 12710 markings/sec, 5 secs
lola: 190993 markings, 381053 edges, 12477 markings/sec, 10 secs
lola: 252665 markings, 504803 edges, 12334 markings/sec, 15 secs
lola: 313912 markings, 628308 edges, 12249 markings/sec, 20 secs
lola: 375361 markings, 752269 edges, 12290 markings/sec, 25 secs
lola: 436515 markings, 875440 edges, 12231 markings/sec, 30 secs
lola: 497099 markings, 997731 edges, 12117 markings/sec, 35 secs
lola: 557860 markings, 1120041 edges, 12152 markings/sec, 40 secs
lola: 618230 markings, 1241621 edges, 12074 markings/sec, 45 secs
lola: 678362 markings, 1362975 edges, 12026 markings/sec, 50 secs
lola: 738275 markings, 1483502 edges, 11983 markings/sec, 55 secs
lola: 797965 markings, 1603816 edges, 11938 markings/sec, 60 secs
lola: 857477 markings, 1723696 edges, 11902 markings/sec, 65 secs
lola: 916499 markings, 1842547 edges, 11804 markings/sec, 70 secs
lola: 975789 markings, 1962002 edges, 11858 markings/sec, 75 secs
lola: 1034690 markings, 2080637 edges, 11780 markings/sec, 80 secs
lola: 1093450 markings, 2198979 edges, 11752 markings/sec, 85 secs
lola: 1151844 markings, 2316546 edges, 11679 markings/sec, 90 secs
lola: 1210050 markings, 2433801 edges, 11641 markings/sec, 95 secs
lola: 1267788 markings, 2550118 edges, 11548 markings/sec, 100 secs
lola: 1325893 markings, 2667163 edges, 11621 markings/sec, 105 secs
lola: 1383770 markings, 2783681 edges, 11575 markings/sec, 110 secs
lola: 1441430 markings, 2899709 edges, 11532 markings/sec, 115 secs
lola: 1498909 markings, 3015461 edges, 11496 markings/sec, 120 secs
lola: 1555880 markings, 3130136 edges, 11394 markings/sec, 125 secs
lola: 1612444 markings, 3244277 edges, 11313 markings/sec, 130 secs
lola: 1668327 markings, 3356499 edges, 11177 markings/sec, 135 secs
lola: 1724627 markings, 3470004 edges, 11260 markings/sec, 140 secs
lola: 1780697 markings, 3582706 edges, 11214 markings/sec, 145 secs
lola: 1836840 markings, 3695878 edges, 11229 markings/sec, 150 secs
lola: 1893274 markings, 3809568 edges, 11287 markings/sec, 155 secs
lola: 1949090 markings, 3921668 edges, 11163 markings/sec, 160 secs
lola: 2004515 markings, 4033441 edges, 11085 markings/sec, 165 secs
lola: 2059945 markings, 4144789 edges, 11086 markings/sec, 170 secs
lola: 2115109 markings, 4255894 edges, 11033 markings/sec, 175 secs
lola: 2170398 markings, 4367031 edges, 11058 markings/sec, 180 secs
lola: 2225403 markings, 4477732 edges, 11001 markings/sec, 185 secs
lola: 2280400 markings, 4588518 edges, 10999 markings/sec, 190 secs
lola: 2335220 markings, 4698713 edges, 10964 markings/sec, 195 secs
lola: 2389333 markings, 4807819 edges, 10823 markings/sec, 200 secs
lola: 2443666 markings, 4917081 edges, 10867 markings/sec, 205 secs
lola: 2498212 markings, 5026737 edges, 10909 markings/sec, 210 secs
lola: 2552055 markings, 5135117 edges, 10769 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p_1_2_2_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 64817 markings, 128648 edges, 12963 markings/sec, 0 secs
lola: 128222 markings, 255601 edges, 12681 markings/sec, 5 secs
lola: 190471 markings, 380130 edges, 12450 markings/sec, 10 secs
lola: 252015 markings, 503530 edges, 12309 markings/sec, 15 secs
lola: 313130 markings, 626754 edges, 12223 markings/sec, 20 secs
lola: 374399 markings, 750224 edges, 12254 markings/sec, 25 secs
lola: 435406 markings, 873217 edges, 12201 markings/sec, 30 secs
lola: 495858 markings, 995272 edges, 12090 markings/sec, 35 secs
lola: 556415 markings, 1117048 edges, 12111 markings/sec, 40 secs
lola: 616550 markings, 1238199 edges, 12027 markings/sec, 45 secs
lola: 676505 markings, 1359132 edges, 11991 markings/sec, 50 secs
lola: 736208 markings, 1479454 edges, 11941 markings/sec, 55 secs
lola: 795726 markings, 1599324 edges, 11904 markings/sec, 60 secs
lola: 854885 markings, 1718437 edges, 11832 markings/sec, 65 secs
lola: 913658 markings, 1836874 edges, 11755 markings/sec, 70 secs
lola: 972941 markings, 1956298 edges, 11857 markings/sec, 75 secs
lola: 1031968 markings, 2075171 edges, 11805 markings/sec, 80 secs
lola: 1090917 markings, 2193830 edges, 11790 markings/sec, 85 secs
lola: 1149510 markings, 2311897 edges, 11719 markings/sec, 90 secs
lola: 1207910 markings, 2429556 edges, 11680 markings/sec, 95 secs
lola: 1265868 markings, 2546211 edges, 11592 markings/sec, 100 secs
lola: 1324105 markings, 2663546 edges, 11647 markings/sec, 105 secs
lola: 1382222 markings, 2780554 edges, 11623 markings/sec, 110 secs
lola: 1440025 markings, 2896897 edges, 11561 markings/sec, 115 secs
lola: 1497396 markings, 3012397 edges, 11474 markings/sec, 120 secs
lola: 1554269 markings, 3126939 edges, 11375 markings/sec, 125 secs
lola: 1610671 markings, 3240603 edges, 11280 markings/sec, 130 secs
lola: 1665809 markings, 3351542 edges, 11028 markings/sec, 135 secs
lola: 1721910 markings, 3464576 edges, 11220 markings/sec, 140 secs
lola: 1777900 markings, 3577074 edges, 11198 markings/sec, 145 secs
lola: 1833797 markings, 3689643 edges, 11179 markings/sec, 150 secs
lola: 1890162 markings, 3803127 edges, 11273 markings/sec, 155 secs
lola: 1945838 markings, 3915158 edges, 11135 markings/sec, 160 secs
lola: 1999273 markings, 4022649 edges, 10687 markings/sec, 165 secs
lola: 2054465 markings, 4133845 edges, 11038 markings/sec, 170 secs
lola: 2109493 markings, 4244525 edges, 11006 markings/sec, 175 secs
lola: 2164633 markings, 4355448 edges, 11028 markings/sec, 180 secs
lola: 2219533 markings, 4465892 edges, 10980 markings/sec, 185 secs
lola: 2274546 markings, 4576925 edges, 11003 markings/sec, 190 secs
lola: 2329121 markings, 4686543 edges, 10915 markings/sec, 195 secs
lola: 2383171 markings, 4795212 edges, 10810 markings/sec, 200 secs
lola: 2437485 markings, 4904754 edges, 10863 markings/sec, 205 secs
lola: 2492011 markings, 5014345 edges, 10905 markings/sec, 210 secs
lola: 2545944 markings, 5122794 edges, 10787 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(p_0_1_0_0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 320 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: 61437 markings, 271285 edges, 12287 markings/sec, 0 secs
lola: 121847 markings, 538793 edges, 12082 markings/sec, 5 secs
lola: 182245 markings, 806725 edges, 12080 markings/sec, 10 secs
lola: 243249 markings, 1083740 edges, 12201 markings/sec, 15 secs
lola: 303586 markings, 1334279 edges, 12067 markings/sec, 20 secs
lola: 363307 markings, 1581146 edges, 11944 markings/sec, 25 secs
lola: 422578 markings, 1815831 edges, 11854 markings/sec, 30 secs
lola: 481326 markings, 2050243 edges, 11750 markings/sec, 35 secs
lola: 538203 markings, 2280575 edges, 11375 markings/sec, 40 secs
lola: 599951 markings, 2535271 edges, 12350 markings/sec, 45 secs
lola: 660103 markings, 2770927 edges, 12030 markings/sec, 50 secs
lola: 719650 markings, 3034543 edges, 11909 markings/sec, 55 secs
lola: 779033 markings, 3304425 edges, 11877 markings/sec, 60 secs
lola: 839351 markings, 3556988 edges, 12064 markings/sec, 65 secs
lola: 899172 markings, 3813258 edges, 11964 markings/sec, 70 secs
lola: 961450 markings, 4103311 edges, 12456 markings/sec, 75 secs
lola: 1021704 markings, 4373838 edges, 12051 markings/sec, 80 secs
lola: 1082782 markings, 4646738 edges, 12216 markings/sec, 85 secs
lola: 1142671 markings, 4902680 edges, 11978 markings/sec, 90 secs
lola: 1203772 markings, 5183840 edges, 12220 markings/sec, 95 secs
lola: 1265241 markings, 5433845 edges, 12294 markings/sec, 100 secs
lola: 1326307 markings, 5693902 edges, 12213 markings/sec, 105 secs
lola: 1386570 markings, 5934902 edges, 12053 markings/sec, 110 secs
lola: 1447210 markings, 6172598 edges, 12128 markings/sec, 115 secs
lola: 1506911 markings, 6417649 edges, 11940 markings/sec, 120 secs
lola: 1567489 markings, 6662402 edges, 12116 markings/sec, 125 secs
lola: 1629270 markings, 6910068 edges, 12356 markings/sec, 130 secs
lola: 1689303 markings, 7157774 edges, 12007 markings/sec, 135 secs
lola: 1749099 markings, 7446803 edges, 11959 markings/sec, 140 secs
lola: 1809564 markings, 7694004 edges, 12093 markings/sec, 145 secs
lola: 1870141 markings, 7961934 edges, 12115 markings/sec, 150 secs
lola: 1931619 markings, 8230878 edges, 12296 markings/sec, 155 secs
lola: 1992911 markings, 8513443 edges, 12258 markings/sec, 160 secs
lola: 2054234 markings, 8800244 edges, 12265 markings/sec, 165 secs
lola: 2115202 markings, 9070065 edges, 12194 markings/sec, 170 secs
lola: 2175602 markings, 9311327 edges, 12080 markings/sec, 175 secs
lola: 2236790 markings, 9590826 edges, 12238 markings/sec, 180 secs
lola: 2297515 markings, 9841841 edges, 12145 markings/sec, 185 secs
lola: 2357514 markings, 10093145 edges, 12000 markings/sec, 190 secs
lola: 2417252 markings, 10330630 edges, 11948 markings/sec, 195 secs
lola: 2477001 markings, 10567177 edges, 11950 markings/sec, 200 secs
lola: 2535977 markings, 10808327 edges, 11795 markings/sec, 205 secs
lola: 2596419 markings, 11052545 edges, 12088 markings/sec, 210 secs
lola: 2657300 markings, 11295344 edges, 12176 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 NeighborGrid-PT-d4n3m2c23-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d4n3m2c23-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d4n3m2c23-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d4n3m2c23-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d4n3m2c23-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d4n3m2c23-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d4n3m2c23-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d4n3m2c23-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d4n3m2c23-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d4n3m2c23-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d4n3m2c23-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d4n3m2c23-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d4n3m2c23-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d4n3m2c23-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d4n3m2c23-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA NeighborGrid-PT-d4n3m2c23-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496299176727

--------------------
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="NeighborGrid-PT-d4n3m2c23"
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/NeighborGrid-PT-d4n3m2c23.tgz
mv NeighborGrid-PT-d4n3m2c23 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is NeighborGrid-PT-d4n3m2c23, 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 r208-smll-149581172200029"
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 ;