Execution Chart

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

Trace from the execution

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

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

=== Now, execution of the tool begins

BK_START 1496402130822


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-COL-S04J06T06: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-COL-S04J06T06: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-COL-S04J06T06 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3808/65536 symbol table entries, 459 collisions
lola: preprocessing...
lola: finding significant places
lola: 618 places, 3190 transitions, 564 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2157 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J06T06-UpperBounds.task
lola: MAX(p521 + p522 + p523 + p524 + p525 + p526) : MAX(p606 + p607 + p608 + p609 + p610 + p611) : MAX(p429 + p430 + p431 + p432 + p433 + p434 + p435) : MAX(p312 + p313 + p314 + p315 + p316 + p317) : MAX(p379 + p380 + p381 + p382 + p383 + p384 + p385) : MAX(p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262) : MAX(p506 + p507 + p508 + p509 + p510 + p511) : MAX(p512) : MAX(p489) : MAX(p336) : MAX(p283 + p284 + p285 + p286) : MAX(p329 + p330 + p331 + p332 + p333 + p334) : MAX(p546 + p547 + p548 + p549 + p550 + p551 + p552) : MAX(p521 + p522 + p523 + p524 + p525 + p526) : MAX(p238) : MAX(p469)
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(p521 + p522 + p523 + p524 + p525 + p526)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 33104 markings, 34238 edges, 6621 markings/sec, 0 secs
lola: 66084 markings, 68696 edges, 6596 markings/sec, 5 secs
lola: 98792 markings, 102922 edges, 6542 markings/sec, 10 secs
lola: 131361 markings, 136883 edges, 6514 markings/sec, 15 secs
lola: 164080 markings, 171530 edges, 6544 markings/sec, 20 secs
lola: 196863 markings, 206111 edges, 6557 markings/sec, 25 secs
lola: 229724 markings, 240814 edges, 6572 markings/sec, 30 secs
lola: 262403 markings, 275388 edges, 6536 markings/sec, 35 secs
lola: 295377 markings, 310666 edges, 6595 markings/sec, 40 secs
lola: 328044 markings, 345519 edges, 6533 markings/sec, 45 secs
lola: 360986 markings, 381102 edges, 6588 markings/sec, 50 secs
lola: 393672 markings, 416190 edges, 6537 markings/sec, 55 secs
lola: 426354 markings, 451758 edges, 6536 markings/sec, 60 secs
lola: 458825 markings, 486480 edges, 6494 markings/sec, 65 secs
lola: 491450 markings, 521711 edges, 6525 markings/sec, 70 secs
lola: 524158 markings, 557052 edges, 6542 markings/sec, 75 secs
lola: 556685 markings, 592051 edges, 6505 markings/sec, 80 secs
lola: 589113 markings, 626838 edges, 6486 markings/sec, 85 secs
lola: 621656 markings, 661788 edges, 6509 markings/sec, 90 secs
lola: 654245 markings, 697718 edges, 6518 markings/sec, 95 secs
lola: 686777 markings, 732789 edges, 6506 markings/sec, 100 secs
lola: 719532 markings, 768569 edges, 6551 markings/sec, 105 secs
lola: 752190 markings, 803794 edges, 6532 markings/sec, 110 secs
lola: 784597 markings, 838833 edges, 6481 markings/sec, 115 secs
lola: 817344 markings, 874841 edges, 6549 markings/sec, 120 secs
lola: 850000 markings, 910609 edges, 6531 markings/sec, 125 secs
lola: 882700 markings, 946127 edges, 6540 markings/sec, 130 secs
lola: 915323 markings, 982131 edges, 6525 markings/sec, 135 secs
lola: 947983 markings, 1017861 edges, 6532 markings/sec, 140 secs
lola: 980218 markings, 1053936 edges, 6447 markings/sec, 145 secs
lola: 1012812 markings, 1090294 edges, 6519 markings/sec, 150 secs
lola: 1045387 markings, 1126434 edges, 6515 markings/sec, 155 secs
lola: 1077916 markings, 1161943 edges, 6506 markings/sec, 160 secs
lola: 1110482 markings, 1198663 edges, 6513 markings/sec, 165 secs
lola: 1142916 markings, 1234323 edges, 6487 markings/sec, 170 secs
lola: 1175486 markings, 1271085 edges, 6514 markings/sec, 175 secs
lola: 1207830 markings, 1306609 edges, 6469 markings/sec, 180 secs
lola: 1240261 markings, 1342623 edges, 6486 markings/sec, 185 secs
lola: 1272648 markings, 1378711 edges, 6477 markings/sec, 190 secs
lola: 1304927 markings, 1414553 edges, 6456 markings/sec, 195 secs
lola: 1337371 markings, 1450367 edges, 6489 markings/sec, 200 secs
lola: 1369847 markings, 1486288 edges, 6495 markings/sec, 205 secs
lola: 1402140 markings, 1522600 edges, 6459 markings/sec, 210 secs
lola: 1434603 markings, 1558556 edges, 6493 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(p606 + p607 + p608 + p609 + p610 + p611)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 29309 markings, 32579 edges, 5862 markings/sec, 0 secs
lola: 58482 markings, 65840 edges, 5835 markings/sec, 5 secs
lola: 87554 markings, 99279 edges, 5814 markings/sec, 10 secs
lola: 116380 markings, 133270 edges, 5765 markings/sec, 15 secs
lola: 145130 markings, 167524 edges, 5750 markings/sec, 20 secs
lola: 173555 markings, 201042 edges, 5685 markings/sec, 25 secs
lola: 201570 markings, 234651 edges, 5603 markings/sec, 30 secs
lola: 229159 markings, 268254 edges, 5518 markings/sec, 35 secs
lola: 257697 markings, 302437 edges, 5708 markings/sec, 40 secs
lola: 286172 markings, 337695 edges, 5695 markings/sec, 45 secs
lola: 314642 markings, 372822 edges, 5694 markings/sec, 50 secs
lola: 343009 markings, 407559 edges, 5673 markings/sec, 55 secs
lola: 371426 markings, 442759 edges, 5683 markings/sec, 60 secs
lola: 399804 markings, 477311 edges, 5676 markings/sec, 65 secs
lola: 428132 markings, 511900 edges, 5666 markings/sec, 70 secs
lola: 456318 markings, 547249 edges, 5637 markings/sec, 75 secs
lola: 484579 markings, 582690 edges, 5652 markings/sec, 80 secs
lola: 512553 markings, 618415 edges, 5595 markings/sec, 85 secs
lola: 540752 markings, 654139 edges, 5640 markings/sec, 90 secs
lola: 569037 markings, 689381 edges, 5657 markings/sec, 95 secs
lola: 597002 markings, 725267 edges, 5593 markings/sec, 100 secs
lola: 625269 markings, 759832 edges, 5653 markings/sec, 105 secs
lola: 653424 markings, 795342 edges, 5631 markings/sec, 110 secs
lola: 681541 markings, 829540 edges, 5623 markings/sec, 115 secs
lola: 709728 markings, 864546 edges, 5637 markings/sec, 120 secs
lola: 737831 markings, 899847 edges, 5621 markings/sec, 125 secs
lola: 766008 markings, 935337 edges, 5635 markings/sec, 130 secs
lola: 794042 markings, 970510 edges, 5607 markings/sec, 135 secs
lola: 822123 markings, 1005810 edges, 5616 markings/sec, 140 secs
lola: 850256 markings, 1040987 edges, 5627 markings/sec, 145 secs
lola: 877210 markings, 1075820 edges, 5391 markings/sec, 150 secs
lola: 904925 markings, 1110973 edges, 5543 markings/sec, 155 secs
lola: 932861 markings, 1146541 edges, 5587 markings/sec, 160 secs
lola: 960888 markings, 1181803 edges, 5605 markings/sec, 165 secs
lola: 988902 markings, 1217033 edges, 5603 markings/sec, 170 secs
lola: 1016951 markings, 1252159 edges, 5610 markings/sec, 175 secs
lola: 1044127 markings, 1286298 edges, 5435 markings/sec, 180 secs
lola: 1071828 markings, 1321279 edges, 5540 markings/sec, 185 secs
lola: 1099680 markings, 1356478 edges, 5570 markings/sec, 190 secs
lola: 1126455 markings, 1390723 edges, 5355 markings/sec, 195 secs
lola: 1154525 markings, 1426004 edges, 5614 markings/sec, 200 secs
lola: 1182481 markings, 1461578 edges, 5591 markings/sec, 205 secs
lola: 1210552 markings, 1496725 edges, 5614 markings/sec, 210 secs
lola: 1238421 markings, 1532509 edges, 5574 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(p429 + p430 + p431 + p432 + p433 + p434 + p435)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 30274 markings, 32769 edges, 6055 markings/sec, 0 secs
lola: 60175 markings, 66251 edges, 5980 markings/sec, 5 secs
lola: 90035 markings, 100145 edges, 5972 markings/sec, 10 secs
lola: 119710 markings, 134271 edges, 5935 markings/sec, 15 secs
lola: 149209 markings, 168546 edges, 5900 markings/sec, 20 secs
lola: 178437 markings, 203391 edges, 5846 markings/sec, 25 secs
lola: 207590 markings, 238447 edges, 5831 markings/sec, 30 secs
lola: 236733 markings, 273135 edges, 5829 markings/sec, 35 secs
lola: 266108 markings, 308817 edges, 5875 markings/sec, 40 secs
lola: 295189 markings, 343741 edges, 5816 markings/sec, 45 secs
lola: 324249 markings, 378979 edges, 5812 markings/sec, 50 secs
lola: 353315 markings, 414191 edges, 5813 markings/sec, 55 secs
lola: 382305 markings, 449480 edges, 5798 markings/sec, 60 secs
lola: 411273 markings, 485003 edges, 5794 markings/sec, 65 secs
lola: 439876 markings, 520866 edges, 5721 markings/sec, 70 secs
lola: 468674 markings, 556650 edges, 5760 markings/sec, 75 secs
lola: 497201 markings, 592171 edges, 5705 markings/sec, 80 secs
lola: 526068 markings, 628088 edges, 5773 markings/sec, 85 secs
lola: 554952 markings, 664503 edges, 5777 markings/sec, 90 secs
lola: 583427 markings, 700526 edges, 5695 markings/sec, 95 secs
lola: 611870 markings, 736324 edges, 5689 markings/sec, 100 secs
lola: 640042 markings, 771794 edges, 5634 markings/sec, 105 secs
lola: 668289 markings, 806899 edges, 5649 markings/sec, 110 secs
lola: 696773 markings, 841470 edges, 5697 markings/sec, 115 secs
lola: 724914 markings, 877579 edges, 5628 markings/sec, 120 secs
lola: 753062 markings, 912705 edges, 5630 markings/sec, 125 secs
lola: 781566 markings, 948885 edges, 5701 markings/sec, 130 secs
lola: 810207 markings, 984261 edges, 5728 markings/sec, 135 secs
lola: 838372 markings, 1020149 edges, 5633 markings/sec, 140 secs
lola: 866672 markings, 1055899 edges, 5660 markings/sec, 145 secs
lola: 895005 markings, 1091524 edges, 5667 markings/sec, 150 secs
lola: 923230 markings, 1127344 edges, 5645 markings/sec, 155 secs
lola: 951519 markings, 1162822 edges, 5658 markings/sec, 160 secs
lola: 979904 markings, 1198658 edges, 5677 markings/sec, 165 secs
lola: 1008240 markings, 1234736 edges, 5667 markings/sec, 170 secs
lola: 1036330 markings, 1270743 edges, 5618 markings/sec, 175 secs
lola: 1064550 markings, 1307098 edges, 5644 markings/sec, 180 secs
lola: 1092806 markings, 1343050 edges, 5651 markings/sec, 185 secs
lola: 1120958 markings, 1378995 edges, 5630 markings/sec, 190 secs
lola: 1148787 markings, 1415064 edges, 5566 markings/sec, 195 secs
lola: 1176929 markings, 1450708 edges, 5628 markings/sec, 200 secs
lola: 1205250 markings, 1487146 edges, 5664 markings/sec, 205 secs
lola: 1233431 markings, 1523017 edges, 5636 markings/sec, 210 secs
lola: 1261360 markings, 1559198 edges, 5586 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(p312 + p313 + p314 + p315 + p316 + p317)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 34301 markings, 36732 edges, 6860 markings/sec, 0 secs
lola: 68434 markings, 74445 edges, 6827 markings/sec, 5 secs
lola: 102070 markings, 111819 edges, 6727 markings/sec, 10 secs
lola: 135671 markings, 150426 edges, 6720 markings/sec, 15 secs
lola: 169198 markings, 188821 edges, 6705 markings/sec, 20 secs
lola: 202619 markings, 226932 edges, 6684 markings/sec, 25 secs
lola: 235822 markings, 264969 edges, 6641 markings/sec, 30 secs
lola: 269192 markings, 303259 edges, 6674 markings/sec, 35 secs
lola: 302427 markings, 342174 edges, 6647 markings/sec, 40 secs
lola: 335460 markings, 380586 edges, 6607 markings/sec, 45 secs
lola: 368586 markings, 419275 edges, 6625 markings/sec, 50 secs
lola: 401680 markings, 458802 edges, 6619 markings/sec, 55 secs
lola: 434626 markings, 497616 edges, 6589 markings/sec, 60 secs
lola: 467576 markings, 536642 edges, 6590 markings/sec, 65 secs
lola: 500421 markings, 575711 edges, 6569 markings/sec, 70 secs
lola: 533339 markings, 614209 edges, 6584 markings/sec, 75 secs
lola: 566201 markings, 653632 edges, 6572 markings/sec, 80 secs
lola: 598977 markings, 693235 edges, 6555 markings/sec, 85 secs
lola: 631767 markings, 731580 edges, 6558 markings/sec, 90 secs
lola: 664515 markings, 770422 edges, 6550 markings/sec, 95 secs
lola: 697224 markings, 810235 edges, 6542 markings/sec, 100 secs
lola: 729803 markings, 849530 edges, 6516 markings/sec, 105 secs
lola: 762588 markings, 889215 edges, 6557 markings/sec, 110 secs
lola: 795318 markings, 928014 edges, 6546 markings/sec, 115 secs
lola: 827943 markings, 967835 edges, 6525 markings/sec, 120 secs
lola: 860656 markings, 1007374 edges, 6543 markings/sec, 125 secs
lola: 893352 markings, 1047421 edges, 6539 markings/sec, 130 secs
lola: 925863 markings, 1086821 edges, 6502 markings/sec, 135 secs
lola: 958508 markings, 1126204 edges, 6529 markings/sec, 140 secs
lola: 990919 markings, 1165073 edges, 6482 markings/sec, 145 secs
lola: 1022932 markings, 1203767 edges, 6403 markings/sec, 150 secs
lola: 1055016 markings, 1242728 edges, 6417 markings/sec, 155 secs
lola: 1087245 markings, 1281833 edges, 6446 markings/sec, 160 secs
lola: 1119397 markings, 1320609 edges, 6430 markings/sec, 165 secs
lola: 1151660 markings, 1359951 edges, 6453 markings/sec, 170 secs
lola: 1183756 markings, 1399026 edges, 6419 markings/sec, 175 secs
lola: 1216047 markings, 1437290 edges, 6458 markings/sec, 180 secs
lola: 1248768 markings, 1476715 edges, 6544 markings/sec, 185 secs
lola: 1281528 markings, 1515403 edges, 6552 markings/sec, 190 secs
lola: 1313945 markings, 1554765 edges, 6483 markings/sec, 195 secs
lola: 1346595 markings, 1594855 edges, 6530 markings/sec, 200 secs
lola: 1379209 markings, 1635010 edges, 6523 markings/sec, 205 secs
lola: 1411882 markings, 1675249 edges, 6535 markings/sec, 210 secs
lola: 1444538 markings, 1714907 edges, 6531 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(p379 + p380 + p381 + p382 + p383 + p384 + p385)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 28464 markings, 31653 edges, 5693 markings/sec, 0 secs
lola: 57964 markings, 65262 edges, 5900 markings/sec, 5 secs
lola: 87326 markings, 99036 edges, 5872 markings/sec, 10 secs
lola: 116462 markings, 133352 edges, 5827 markings/sec, 15 secs
lola: 145530 markings, 167968 edges, 5814 markings/sec, 20 secs
lola: 174629 markings, 202356 edges, 5820 markings/sec, 25 secs
lola: 203611 markings, 237137 edges, 5796 markings/sec, 30 secs
lola: 232570 markings, 272210 edges, 5792 markings/sec, 35 secs
lola: 261357 markings, 306919 edges, 5757 markings/sec, 40 secs
lola: 290154 markings, 342514 edges, 5759 markings/sec, 45 secs
lola: 318955 markings, 378181 edges, 5760 markings/sec, 50 secs
lola: 347582 markings, 413325 edges, 5725 markings/sec, 55 secs
lola: 376396 markings, 448588 edges, 5763 markings/sec, 60 secs
lola: 405063 markings, 483815 edges, 5733 markings/sec, 65 secs
lola: 433708 markings, 518770 edges, 5729 markings/sec, 70 secs
lola: 462187 markings, 554519 edges, 5696 markings/sec, 75 secs
lola: 490693 markings, 590495 edges, 5701 markings/sec, 80 secs
lola: 519087 markings, 626354 edges, 5679 markings/sec, 85 secs
lola: 547534 markings, 662607 edges, 5689 markings/sec, 90 secs
lola: 575955 markings, 698697 edges, 5684 markings/sec, 95 secs
lola: 604308 markings, 734712 edges, 5671 markings/sec, 100 secs
lola: 633049 markings, 769572 edges, 5748 markings/sec, 105 secs
lola: 661495 markings, 805309 edges, 5689 markings/sec, 110 secs
lola: 689760 markings, 839892 edges, 5653 markings/sec, 115 secs
lola: 717948 markings, 874964 edges, 5638 markings/sec, 120 secs
lola: 746099 markings, 910305 edges, 5630 markings/sec, 125 secs
lola: 774347 markings, 945551 edges, 5650 markings/sec, 130 secs
lola: 802361 markings, 980854 edges, 5603 markings/sec, 135 secs
lola: 830332 markings, 1016085 edges, 5594 markings/sec, 140 secs
lola: 858317 markings, 1051388 edges, 5597 markings/sec, 145 secs
lola: 886193 markings, 1087337 edges, 5575 markings/sec, 150 secs
lola: 914124 markings, 1122971 edges, 5586 markings/sec, 155 secs
lola: 942202 markings, 1158246 edges, 5616 markings/sec, 160 secs
lola: 970299 markings, 1193357 edges, 5619 markings/sec, 165 secs
lola: 998269 markings, 1229023 edges, 5594 markings/sec, 170 secs
lola: 1026414 markings, 1263908 edges, 5629 markings/sec, 175 secs
lola: 1054393 markings, 1299154 edges, 5596 markings/sec, 180 secs
lola: 1081947 markings, 1334356 edges, 5511 markings/sec, 185 secs
lola: 1108843 markings, 1368319 edges, 5379 markings/sec, 190 secs
lola: 1135688 markings, 1402205 edges, 5369 markings/sec, 195 secs
lola: 1162683 markings, 1436562 edges, 5399 markings/sec, 200 secs
lola: 1189568 markings, 1470710 edges, 5377 markings/sec, 205 secs
lola: 1216534 markings, 1504544 edges, 5393 markings/sec, 210 secs
lola: 1243452 markings, 1538825 edges, 5384 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(p239 + p240 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 30167 markings, 32662 edges, 6033 markings/sec, 0 secs
lola: 59958 markings, 65976 edges, 5958 markings/sec, 5 secs
lola: 89687 markings, 99730 edges, 5946 markings/sec, 10 secs
lola: 119240 markings, 133747 edges, 5911 markings/sec, 15 secs
lola: 148614 markings, 167837 edges, 5875 markings/sec, 20 secs
lola: 177295 markings, 202082 edges, 5736 markings/sec, 25 secs
lola: 205169 markings, 235516 edges, 5575 markings/sec, 30 secs
lola: 233025 markings, 268607 edges, 5571 markings/sec, 35 secs
lola: 261131 markings, 302728 edges, 5621 markings/sec, 40 secs
lola: 288952 markings, 336348 edges, 5564 markings/sec, 45 secs
lola: 316780 markings, 369967 edges, 5566 markings/sec, 50 secs
lola: 344496 markings, 403748 edges, 5543 markings/sec, 55 secs
lola: 372247 markings, 437265 edges, 5550 markings/sec, 60 secs
lola: 399925 markings, 471248 edges, 5536 markings/sec, 65 secs
lola: 427549 markings, 505308 edges, 5525 markings/sec, 70 secs
lola: 454931 markings, 539750 edges, 5476 markings/sec, 75 secs
lola: 482413 markings, 573611 edges, 5496 markings/sec, 80 secs
lola: 509937 markings, 608081 edges, 5505 markings/sec, 85 secs
lola: 537614 markings, 642573 edges, 5535 markings/sec, 90 secs
lola: 564943 markings, 677140 edges, 5466 markings/sec, 95 secs
lola: 594047 markings, 714238 edges, 5821 markings/sec, 100 secs
lola: 622953 markings, 750362 edges, 5781 markings/sec, 105 secs
lola: 652073 markings, 786929 edges, 5824 markings/sec, 110 secs
lola: 681261 markings, 822629 edges, 5838 markings/sec, 115 secs
lola: 710446 markings, 858681 edges, 5837 markings/sec, 120 secs
lola: 739286 markings, 895442 edges, 5768 markings/sec, 125 secs
lola: 768285 markings, 932158 edges, 5800 markings/sec, 130 secs
lola: 797427 markings, 968477 edges, 5828 markings/sec, 135 secs
lola: 826321 markings, 1005058 edges, 5779 markings/sec, 140 secs
lola: 855426 markings, 1041620 edges, 5821 markings/sec, 145 secs
lola: 884500 markings, 1078032 edges, 5815 markings/sec, 150 secs
lola: 913330 markings, 1114913 edges, 5766 markings/sec, 155 secs
lola: 942340 markings, 1151472 edges, 5802 markings/sec, 160 secs
lola: 971368 markings, 1187878 edges, 5806 markings/sec, 165 secs
lola: 1000629 markings, 1225078 edges, 5852 markings/sec, 170 secs
lola: 1029328 markings, 1261869 edges, 5740 markings/sec, 175 secs
lola: 1058360 markings, 1299103 edges, 5806 markings/sec, 180 secs
lola: 1087245 markings, 1335957 edges, 5777 markings/sec, 185 secs
lola: 1116031 markings, 1372887 edges, 5757 markings/sec, 190 secs
lola: 1144596 markings, 1409755 edges, 5713 markings/sec, 195 secs
lola: 1173437 markings, 1446342 edges, 5768 markings/sec, 200 secs
lola: 1202436 markings, 1483591 edges, 5800 markings/sec, 205 secs
lola: 1231427 markings, 1520541 edges, 5798 markings/sec, 210 secs
lola: 1260002 markings, 1557406 edges, 5715 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(p506 + p507 + p508 + p509 + p510 + p511)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 30860 markings, 32951 edges, 6172 markings/sec, 0 secs
lola: 61590 markings, 66782 edges, 6146 markings/sec, 5 secs
lola: 92193 markings, 101012 edges, 6121 markings/sec, 10 secs
lola: 122612 markings, 135971 edges, 6084 markings/sec, 15 secs
lola: 152829 markings, 171078 edges, 6043 markings/sec, 20 secs
lola: 182903 markings, 206344 edges, 6015 markings/sec, 25 secs
lola: 212790 markings, 241499 edges, 5977 markings/sec, 30 secs
lola: 242614 markings, 276805 edges, 5965 markings/sec, 35 secs
lola: 272382 markings, 312828 edges, 5954 markings/sec, 40 secs
lola: 302044 markings, 348189 edges, 5932 markings/sec, 45 secs
lola: 331783 markings, 383519 edges, 5948 markings/sec, 50 secs
lola: 361552 markings, 419574 edges, 5954 markings/sec, 55 secs
lola: 391323 markings, 454908 edges, 5954 markings/sec, 60 secs
lola: 421107 markings, 490591 edges, 5957 markings/sec, 65 secs
lola: 450861 markings, 526832 edges, 5951 markings/sec, 70 secs
lola: 480427 markings, 562465 edges, 5913 markings/sec, 75 secs
lola: 510007 markings, 598956 edges, 5916 markings/sec, 80 secs
lola: 539715 markings, 634140 edges, 5942 markings/sec, 85 secs
lola: 569230 markings, 669676 edges, 5903 markings/sec, 90 secs
lola: 598337 markings, 706025 edges, 5821 markings/sec, 95 secs
lola: 627788 markings, 741598 edges, 5890 markings/sec, 100 secs
lola: 656977 markings, 777982 edges, 5838 markings/sec, 105 secs
lola: 686236 markings, 814349 edges, 5852 markings/sec, 110 secs
lola: 715488 markings, 850076 edges, 5850 markings/sec, 115 secs
lola: 744889 markings, 885638 edges, 5880 markings/sec, 120 secs
lola: 774178 markings, 921007 edges, 5858 markings/sec, 125 secs
lola: 802203 markings, 955620 edges, 5605 markings/sec, 130 secs
lola: 831392 markings, 990751 edges, 5838 markings/sec, 135 secs
lola: 860593 markings, 1026241 edges, 5840 markings/sec, 140 secs
lola: 889413 markings, 1061894 edges, 5764 markings/sec, 145 secs
lola: 918059 markings, 1097731 edges, 5729 markings/sec, 150 secs
lola: 947221 markings, 1133448 edges, 5832 markings/sec, 155 secs
lola: 976096 markings, 1169407 edges, 5775 markings/sec, 160 secs
lola: 1005150 markings, 1204913 edges, 5811 markings/sec, 165 secs
lola: 1034358 markings, 1240681 edges, 5842 markings/sec, 170 secs
lola: 1063158 markings, 1276380 edges, 5760 markings/sec, 175 secs
lola: 1092067 markings, 1311880 edges, 5782 markings/sec, 180 secs
lola: 1121404 markings, 1347817 edges, 5867 markings/sec, 185 secs
lola: 1148784 markings, 1382362 edges, 5476 markings/sec, 190 secs
lola: 1177885 markings, 1418003 edges, 5820 markings/sec, 195 secs
lola: 1206739 markings, 1453961 edges, 5771 markings/sec, 200 secs
lola: 1235670 markings, 1489195 edges, 5786 markings/sec, 205 secs
lola: 1264608 markings, 1524132 edges, 5788 markings/sec, 210 secs
lola: 1293643 markings, 1559776 edges, 5807 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(p512)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 28809 markings, 29939 edges, 5762 markings/sec, 0 secs
lola: 57944 markings, 60945 edges, 5827 markings/sec, 5 secs
lola: 86587 markings, 91123 edges, 5729 markings/sec, 10 secs
lola: 114530 markings, 120443 edges, 5589 markings/sec, 15 secs
lola: 142164 markings, 150041 edges, 5527 markings/sec, 20 secs
lola: 169752 markings, 179036 edges, 5518 markings/sec, 25 secs
lola: 197207 markings, 208508 edges, 5491 markings/sec, 30 secs
lola: 224320 markings, 237428 edges, 5423 markings/sec, 35 secs
lola: 251405 markings, 265741 edges, 5417 markings/sec, 40 secs
lola: 278470 markings, 294397 edges, 5413 markings/sec, 45 secs
lola: 305379 markings, 322974 edges, 5382 markings/sec, 50 secs
lola: 332491 markings, 351816 edges, 5422 markings/sec, 55 secs
lola: 359471 markings, 380601 edges, 5396 markings/sec, 60 secs
lola: 386300 markings, 409008 edges, 5366 markings/sec, 65 secs
lola: 413193 markings, 437787 edges, 5379 markings/sec, 70 secs
lola: 441218 markings, 467925 edges, 5605 markings/sec, 75 secs
lola: 469273 markings, 497513 edges, 5611 markings/sec, 80 secs
lola: 497322 markings, 527655 edges, 5610 markings/sec, 85 secs
lola: 525476 markings, 558104 edges, 5631 markings/sec, 90 secs
lola: 553512 markings, 588242 edges, 5607 markings/sec, 95 secs
lola: 581538 markings, 618594 edges, 5605 markings/sec, 100 secs
lola: 609570 markings, 648780 edges, 5606 markings/sec, 105 secs
lola: 637561 markings, 678361 edges, 5598 markings/sec, 110 secs
lola: 665739 markings, 708610 edges, 5636 markings/sec, 115 secs
lola: 693922 markings, 739005 edges, 5637 markings/sec, 120 secs
lola: 721959 markings, 769368 edges, 5607 markings/sec, 125 secs
lola: 749944 markings, 799651 edges, 5597 markings/sec, 130 secs
lola: 777894 markings, 829728 edges, 5590 markings/sec, 135 secs
lola: 805942 markings, 860995 edges, 5610 markings/sec, 140 secs
lola: 833937 markings, 891252 edges, 5599 markings/sec, 145 secs
lola: 861776 markings, 921575 edges, 5568 markings/sec, 150 secs
lola: 889790 markings, 952105 edges, 5603 markings/sec, 155 secs
lola: 917637 markings, 982461 edges, 5569 markings/sec, 160 secs
lola: 945522 markings, 1012646 edges, 5577 markings/sec, 165 secs
lola: 973466 markings, 1043989 edges, 5589 markings/sec, 170 secs
lola: 1001428 markings, 1074340 edges, 5592 markings/sec, 175 secs
lola: 1029367 markings, 1104749 edges, 5588 markings/sec, 180 secs
lola: 1057447 markings, 1135771 edges, 5616 markings/sec, 185 secs
lola: 1085340 markings, 1166655 edges, 5579 markings/sec, 190 secs
lola: 1113327 markings, 1197918 edges, 5597 markings/sec, 195 secs
lola: 1141185 markings, 1228340 edges, 5572 markings/sec, 200 secs
lola: 1169011 markings, 1259511 edges, 5565 markings/sec, 205 secs
lola: 1196843 markings, 1290807 edges, 5566 markings/sec, 210 secs
lola: 1224745 markings, 1321865 edges, 5580 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(p489)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 29285 markings, 32555 edges, 5857 markings/sec, 0 secs
lola: 58402 markings, 65753 edges, 5823 markings/sec, 5 secs
lola: 87407 markings, 99117 edges, 5801 markings/sec, 10 secs
lola: 116191 markings, 133063 edges, 5757 markings/sec, 15 secs
lola: 144969 markings, 167336 edges, 5756 markings/sec, 20 secs
lola: 173808 markings, 201351 edges, 5768 markings/sec, 25 secs
lola: 202520 markings, 235836 edges, 5742 markings/sec, 30 secs
lola: 231125 markings, 270542 edges, 5721 markings/sec, 35 secs
lola: 259677 markings, 304802 edges, 5710 markings/sec, 40 secs
lola: 288215 markings, 340192 edges, 5708 markings/sec, 45 secs
lola: 316740 markings, 375428 edges, 5705 markings/sec, 50 secs
lola: 345102 markings, 410224 edges, 5672 markings/sec, 55 secs
lola: 373579 markings, 445407 edges, 5695 markings/sec, 60 secs
lola: 401929 markings, 479909 edges, 5670 markings/sec, 65 secs
lola: 430271 markings, 514598 edges, 5668 markings/sec, 70 secs
lola: 458478 markings, 549793 edges, 5641 markings/sec, 75 secs
lola: 486771 markings, 585442 edges, 5659 markings/sec, 80 secs
lola: 514759 markings, 621123 edges, 5598 markings/sec, 85 secs
lola: 542803 markings, 656724 edges, 5609 markings/sec, 90 secs
lola: 571144 markings, 691952 edges, 5668 markings/sec, 95 secs
lola: 599230 markings, 727999 edges, 5617 markings/sec, 100 secs
lola: 627704 markings, 762946 edges, 5695 markings/sec, 105 secs
lola: 656046 markings, 798516 edges, 5668 markings/sec, 110 secs
lola: 684454 markings, 833219 edges, 5682 markings/sec, 115 secs
lola: 712732 markings, 868346 edges, 5656 markings/sec, 120 secs
lola: 740994 markings, 903931 edges, 5652 markings/sec, 125 secs
lola: 769360 markings, 939514 edges, 5673 markings/sec, 130 secs
lola: 797547 markings, 975099 edges, 5637 markings/sec, 135 secs
lola: 825852 markings, 1010426 edges, 5661 markings/sec, 140 secs
lola: 853983 markings, 1045860 edges, 5626 markings/sec, 145 secs
lola: 881930 markings, 1082026 edges, 5589 markings/sec, 150 secs
lola: 909977 markings, 1117641 edges, 5609 markings/sec, 155 secs
lola: 937058 markings, 1152006 edges, 5416 markings/sec, 160 secs
lola: 965260 markings, 1187156 edges, 5640 markings/sec, 165 secs
lola: 993480 markings, 1222953 edges, 5644 markings/sec, 170 secs
lola: 1021722 markings, 1258127 edges, 5648 markings/sec, 175 secs
lola: 1049889 markings, 1293446 edges, 5633 markings/sec, 180 secs
lola: 1077926 markings, 1329285 edges, 5607 markings/sec, 185 secs
lola: 1106090 markings, 1364804 edges, 5633 markings/sec, 190 secs
lola: 1134170 markings, 1400427 edges, 5616 markings/sec, 195 secs
lola: 1162341 markings, 1436140 edges, 5634 markings/sec, 200 secs
lola: 1190373 markings, 1471732 edges, 5606 markings/sec, 205 secs
lola: 1218521 markings, 1507138 edges, 5630 markings/sec, 210 secs
lola: 1246685 markings, 1542916 edges, 5633 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(p336)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 29525 markings, 32817 edges, 5905 markings/sec, 0 secs
lola: 58908 markings, 66339 edges, 5877 markings/sec, 5 secs
lola: 88142 markings, 99979 edges, 5847 markings/sec, 10 secs
lola: 117164 markings, 134135 edges, 5804 markings/sec, 15 secs
lola: 146132 markings, 168715 edges, 5794 markings/sec, 20 secs
lola: 175102 markings, 202921 edges, 5794 markings/sec, 25 secs
lola: 203996 markings, 237613 edges, 5779 markings/sec, 30 secs
lola: 232824 markings, 272482 edges, 5766 markings/sec, 35 secs
lola: 261546 markings, 307127 edges, 5744 markings/sec, 40 secs
lola: 290287 markings, 342687 edges, 5748 markings/sec, 45 secs
lola: 318979 markings, 378205 edges, 5738 markings/sec, 50 secs
lola: 347517 markings, 413251 edges, 5708 markings/sec, 55 secs
lola: 376178 markings, 448354 edges, 5732 markings/sec, 60 secs
lola: 404689 markings, 483313 edges, 5702 markings/sec, 65 secs
lola: 433252 markings, 518208 edges, 5713 markings/sec, 70 secs
lola: 461634 markings, 553720 edges, 5676 markings/sec, 75 secs
lola: 489974 markings, 589605 edges, 5668 markings/sec, 80 secs
lola: 518246 markings, 625359 edges, 5654 markings/sec, 85 secs
lola: 546602 markings, 661565 edges, 5671 markings/sec, 90 secs
lola: 574992 markings, 697335 edges, 5678 markings/sec, 95 secs
lola: 603183 markings, 733073 edges, 5638 markings/sec, 100 secs
lola: 631636 markings, 767866 edges, 5691 markings/sec, 105 secs
lola: 659732 markings, 803196 edges, 5619 markings/sec, 110 secs
lola: 688010 markings, 837772 edges, 5656 markings/sec, 115 secs
lola: 716361 markings, 872838 edges, 5670 markings/sec, 120 secs
lola: 744593 markings, 908339 edges, 5646 markings/sec, 125 secs
lola: 772941 markings, 943809 edges, 5670 markings/sec, 130 secs
lola: 801079 markings, 979434 edges, 5628 markings/sec, 135 secs
lola: 829315 markings, 1014851 edges, 5647 markings/sec, 140 secs
lola: 857291 markings, 1050130 edges, 5595 markings/sec, 145 secs
lola: 885182 markings, 1086041 edges, 5578 markings/sec, 150 secs
lola: 913167 markings, 1121749 edges, 5597 markings/sec, 155 secs
lola: 941329 markings, 1157265 edges, 5632 markings/sec, 160 secs
lola: 969436 markings, 1192458 edges, 5621 markings/sec, 165 secs
lola: 997553 markings, 1228108 edges, 5623 markings/sec, 170 secs
lola: 1025754 markings, 1263156 edges, 5640 markings/sec, 175 secs
lola: 1053848 markings, 1298470 edges, 5619 markings/sec, 180 secs
lola: 1081799 markings, 1334192 edges, 5590 markings/sec, 185 secs
lola: 1109891 markings, 1369570 edges, 5618 markings/sec, 190 secs
lola: 1137896 markings, 1405076 edges, 5601 markings/sec, 195 secs
lola: 1165973 markings, 1440779 edges, 5615 markings/sec, 200 secs
lola: 1193987 markings, 1475954 edges, 5603 markings/sec, 205 secs
lola: 1222097 markings, 1511651 edges, 5622 markings/sec, 210 secs
lola: 1250222 markings, 1547441 edges, 5625 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(p283 + p284 + p285 + p286)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 32186 markings, 34680 edges, 6437 markings/sec, 0 secs
lola: 64457 markings, 71151 edges, 6454 markings/sec, 5 secs
lola: 96578 markings, 108000 edges, 6424 markings/sec, 10 secs
lola: 128614 markings, 145290 edges, 6407 markings/sec, 15 secs
lola: 160408 markings, 182361 edges, 6359 markings/sec, 20 secs
lola: 192130 markings, 219595 edges, 6344 markings/sec, 25 secs
lola: 223785 markings, 256943 edges, 6331 markings/sec, 30 secs
lola: 255333 markings, 294162 edges, 6310 markings/sec, 35 secs
lola: 286832 markings, 331726 edges, 6300 markings/sec, 40 secs
lola: 318402 markings, 369230 edges, 6314 markings/sec, 45 secs
lola: 349791 markings, 406362 edges, 6278 markings/sec, 50 secs
lola: 381321 markings, 444341 edges, 6306 markings/sec, 55 secs
lola: 412665 markings, 482044 edges, 6269 markings/sec, 60 secs
lola: 443886 markings, 519563 edges, 6244 markings/sec, 65 secs
lola: 475194 markings, 557820 edges, 6262 markings/sec, 70 secs
lola: 506525 markings, 596034 edges, 6266 markings/sec, 75 secs
lola: 537634 markings, 633962 edges, 6222 markings/sec, 80 secs
lola: 568880 markings, 671818 edges, 6249 markings/sec, 85 secs
lola: 600138 markings, 710585 edges, 6252 markings/sec, 90 secs
lola: 631347 markings, 749273 edges, 6242 markings/sec, 95 secs
lola: 662515 markings, 787174 edges, 6234 markings/sec, 100 secs
lola: 693657 markings, 824893 edges, 6228 markings/sec, 105 secs
lola: 724721 markings, 863692 edges, 6213 markings/sec, 110 secs
lola: 755844 markings, 902019 edges, 6225 markings/sec, 115 secs
lola: 786886 markings, 940362 edges, 6208 markings/sec, 120 secs
lola: 818050 markings, 978845 edges, 6233 markings/sec, 125 secs
lola: 849248 markings, 1017924 edges, 6240 markings/sec, 130 secs
lola: 880245 markings, 1056346 edges, 6199 markings/sec, 135 secs
lola: 911159 markings, 1093723 edges, 6183 markings/sec, 140 secs
lola: 942114 markings, 1131903 edges, 6191 markings/sec, 145 secs
lola: 973077 markings, 1169997 edges, 6193 markings/sec, 150 secs
lola: 1003954 markings, 1208345 edges, 6175 markings/sec, 155 secs
lola: 1034884 markings, 1245889 edges, 6186 markings/sec, 160 secs
lola: 1065631 markings, 1283327 edges, 6149 markings/sec, 165 secs
lola: 1096581 markings, 1321397 edges, 6190 markings/sec, 170 secs
lola: 1127517 markings, 1360098 edges, 6187 markings/sec, 175 secs
lola: 1158702 markings, 1398949 edges, 6237 markings/sec, 180 secs
lola: 1189615 markings, 1437379 edges, 6183 markings/sec, 185 secs
lola: 1220609 markings, 1475626 edges, 6199 markings/sec, 190 secs
lola: 1251440 markings, 1513303 edges, 6166 markings/sec, 195 secs
lola: 1282386 markings, 1551524 edges, 6189 markings/sec, 200 secs
lola: 1313209 markings, 1589584 edges, 6165 markings/sec, 205 secs
lola: 1343923 markings, 1627399 edges, 6143 markings/sec, 210 secs
lola: 1374599 markings, 1665974 edges, 6135 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(p329 + p330 + p331 + p332 + p333 + p334)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 30622 markings, 32859 edges, 6124 markings/sec, 0 secs
lola: 60951 markings, 65992 edges, 6066 markings/sec, 5 secs
lola: 91109 markings, 99571 edges, 6032 markings/sec, 10 secs
lola: 120923 markings, 133350 edges, 5963 markings/sec, 15 secs
lola: 150687 markings, 167504 edges, 5953 markings/sec, 20 secs
lola: 180316 markings, 202179 edges, 5926 markings/sec, 25 secs
lola: 209756 markings, 236811 edges, 5888 markings/sec, 30 secs
lola: 239348 markings, 271879 edges, 5918 markings/sec, 35 secs
lola: 268371 markings, 306999 edges, 5805 markings/sec, 40 secs
lola: 293444 markings, 336767 edges, 5015 markings/sec, 45 secs
lola: 320792 markings, 369522 edges, 5470 markings/sec, 50 secs
lola: 349799 markings, 405113 edges, 5801 markings/sec, 55 secs
lola: 378763 markings, 440332 edges, 5793 markings/sec, 60 secs
lola: 407749 markings, 474984 edges, 5797 markings/sec, 65 secs
lola: 436372 markings, 509483 edges, 5725 markings/sec, 70 secs
lola: 465001 markings, 544770 edges, 5726 markings/sec, 75 secs
lola: 493768 markings, 581532 edges, 5753 markings/sec, 80 secs
lola: 522756 markings, 617002 edges, 5798 markings/sec, 85 secs
lola: 552101 markings, 652202 edges, 5869 markings/sec, 90 secs
lola: 581054 markings, 688415 edges, 5791 markings/sec, 95 secs
lola: 610536 markings, 723811 edges, 5896 markings/sec, 100 secs
lola: 639831 markings, 759051 edges, 5859 markings/sec, 105 secs
lola: 668956 markings, 794530 edges, 5825 markings/sec, 110 secs
lola: 697761 markings, 830438 edges, 5761 markings/sec, 115 secs
lola: 727217 markings, 866058 edges, 5891 markings/sec, 120 secs
lola: 755806 markings, 900527 edges, 5718 markings/sec, 125 secs
lola: 783763 markings, 934731 edges, 5591 markings/sec, 130 secs
lola: 812833 markings, 970297 edges, 5814 markings/sec, 135 secs
lola: 841795 markings, 1005898 edges, 5792 markings/sec, 140 secs
lola: 870540 markings, 1041887 edges, 5749 markings/sec, 145 secs
lola: 899665 markings, 1077763 edges, 5825 markings/sec, 150 secs
lola: 928242 markings, 1113616 edges, 5715 markings/sec, 155 secs
lola: 957213 markings, 1148850 edges, 5794 markings/sec, 160 secs
lola: 986029 markings, 1184252 edges, 5763 markings/sec, 165 secs
lola: 1014465 markings, 1219099 edges, 5687 markings/sec, 170 secs
lola: 1043083 markings, 1255487 edges, 5724 markings/sec, 175 secs
lola: 1071635 markings, 1291456 edges, 5710 markings/sec, 180 secs
lola: 1098150 markings, 1324685 edges, 5303 markings/sec, 185 secs
lola: 1127010 markings, 1360468 edges, 5772 markings/sec, 190 secs
lola: 1155917 markings, 1396192 edges, 5781 markings/sec, 195 secs
lola: 1184218 markings, 1431737 edges, 5660 markings/sec, 200 secs
lola: 1213114 markings, 1466874 edges, 5779 markings/sec, 205 secs
lola: 1241733 markings, 1502690 edges, 5724 markings/sec, 210 secs
lola: 1270185 markings, 1538087 edges, 5690 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(p546 + p547 + p548 + p549 + p550 + p551 + p552)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 24659 markings, 27398 edges, 4932 markings/sec, 0 secs
lola: 50224 markings, 56311 edges, 5113 markings/sec, 5 secs
lola: 74944 markings, 84803 edges, 4944 markings/sec, 10 secs
lola: 100274 markings, 114303 edges, 5066 markings/sec, 15 secs
lola: 124524 markings, 142733 edges, 4850 markings/sec, 20 secs
lola: 149910 markings, 172989 edges, 5077 markings/sec, 25 secs
lola: 174498 markings, 202198 edges, 4918 markings/sec, 30 secs
lola: 198613 markings, 230997 edges, 4823 markings/sec, 35 secs
lola: 223601 markings, 261573 edges, 4998 markings/sec, 40 secs
lola: 247819 markings, 290490 edges, 4844 markings/sec, 45 secs
lola: 273223 markings, 321668 edges, 5081 markings/sec, 50 secs
lola: 297156 markings, 351185 edges, 4787 markings/sec, 55 secs
lola: 321280 markings, 380975 edges, 4825 markings/sec, 60 secs
lola: 346090 markings, 411501 edges, 4962 markings/sec, 65 secs
lola: 370394 markings, 441580 edges, 4861 markings/sec, 70 secs
lola: 395262 markings, 471751 edges, 4974 markings/sec, 75 secs
lola: 419023 markings, 501005 edges, 4752 markings/sec, 80 secs
lola: 443920 markings, 531864 edges, 4979 markings/sec, 85 secs
lola: 468026 markings, 561865 edges, 4821 markings/sec, 90 secs
lola: 491742 markings, 591887 edges, 4743 markings/sec, 95 secs
lola: 516344 markings, 622903 edges, 4920 markings/sec, 100 secs
lola: 540146 markings, 653464 edges, 4760 markings/sec, 105 secs
lola: 565311 markings, 684647 edges, 5033 markings/sec, 110 secs
lola: 588832 markings, 715159 edges, 4704 markings/sec, 115 secs
lola: 615203 markings, 747626 edges, 5274 markings/sec, 120 secs
lola: 639927 markings, 778335 edges, 4945 markings/sec, 125 secs
lola: 663957 markings, 808445 edges, 4806 markings/sec, 130 secs
lola: 688682 markings, 838565 edges, 4945 markings/sec, 135 secs
lola: 712327 markings, 867845 edges, 4729 markings/sec, 140 secs
lola: 737231 markings, 898959 edges, 4981 markings/sec, 145 secs
lola: 761178 markings, 929438 edges, 4789 markings/sec, 150 secs
lola: 784846 markings, 958694 edges, 4734 markings/sec, 155 secs
lola: 809370 markings, 989717 edges, 4905 markings/sec, 160 secs
lola: 833243 markings, 1019515 edges, 4775 markings/sec, 165 secs
lola: 858020 markings, 1050981 edges, 4955 markings/sec, 170 secs
lola: 881386 markings, 1081329 edges, 4673 markings/sec, 175 secs
lola: 905067 markings, 1111163 edges, 4736 markings/sec, 180 secs
lola: 929548 markings, 1142390 edges, 4896 markings/sec, 185 secs
lola: 953491 markings, 1172405 edges, 4789 markings/sec, 190 secs
lola: 978143 markings, 1203487 edges, 4930 markings/sec, 195 secs
lola: 1001704 markings, 1233170 edges, 4712 markings/sec, 200 secs
lola: 1026489 markings, 1264042 edges, 4957 markings/sec, 205 secs
lola: 1050299 markings, 1294085 edges, 4762 markings/sec, 210 secs
lola: 1073856 markings, 1323853 edges, 4711 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p521 + p522 + p523 + p524 + p525 + p526)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 33214 markings, 34350 edges, 6643 markings/sec, 0 secs
lola: 66261 markings, 68907 edges, 6609 markings/sec, 5 secs
lola: 98998 markings, 103131 edges, 6547 markings/sec, 10 secs
lola: 131577 markings, 137113 edges, 6516 markings/sec, 15 secs
lola: 164337 markings, 171802 edges, 6552 markings/sec, 20 secs
lola: 197193 markings, 206448 edges, 6571 markings/sec, 25 secs
lola: 230018 markings, 241137 edges, 6565 markings/sec, 30 secs
lola: 262709 markings, 275703 edges, 6538 markings/sec, 35 secs
lola: 295676 markings, 310972 edges, 6593 markings/sec, 40 secs
lola: 328356 markings, 345844 edges, 6536 markings/sec, 45 secs
lola: 361294 markings, 381421 edges, 6588 markings/sec, 50 secs
lola: 393976 markings, 416501 edges, 6536 markings/sec, 55 secs
lola: 426593 markings, 452008 edges, 6523 markings/sec, 60 secs
lola: 459061 markings, 486725 edges, 6494 markings/sec, 65 secs
lola: 491663 markings, 521929 edges, 6520 markings/sec, 70 secs
lola: 524337 markings, 557234 edges, 6535 markings/sec, 75 secs
lola: 556871 markings, 592242 edges, 6507 markings/sec, 80 secs
lola: 589285 markings, 627019 edges, 6483 markings/sec, 85 secs
lola: 621861 markings, 661995 edges, 6515 markings/sec, 90 secs
lola: 654484 markings, 697994 edges, 6525 markings/sec, 95 secs
lola: 687082 markings, 733114 edges, 6520 markings/sec, 100 secs
lola: 719924 markings, 768987 edges, 6568 markings/sec, 105 secs
lola: 752602 markings, 804300 edges, 6536 markings/sec, 110 secs
lola: 785038 markings, 839292 edges, 6487 markings/sec, 115 secs
lola: 817807 markings, 875321 edges, 6554 markings/sec, 120 secs
lola: 850477 markings, 911118 edges, 6534 markings/sec, 125 secs
lola: 883218 markings, 946710 edges, 6548 markings/sec, 130 secs
lola: 915839 markings, 982720 edges, 6524 markings/sec, 135 secs
lola: 948485 markings, 1018439 edges, 6529 markings/sec, 140 secs
lola: 980686 markings, 1054412 edges, 6440 markings/sec, 145 secs
lola: 1013360 markings, 1090893 edges, 6535 markings/sec, 150 secs
lola: 1045882 markings, 1126948 edges, 6504 markings/sec, 155 secs
lola: 1078458 markings, 1162515 edges, 6515 markings/sec, 160 secs
lola: 1111030 markings, 1199273 edges, 6514 markings/sec, 165 secs
lola: 1143478 markings, 1234907 edges, 6490 markings/sec, 170 secs
lola: 1176092 markings, 1271765 edges, 6523 markings/sec, 175 secs
lola: 1208437 markings, 1307267 edges, 6469 markings/sec, 180 secs
lola: 1240882 markings, 1343326 edges, 6489 markings/sec, 185 secs
lola: 1273270 markings, 1379368 edges, 6478 markings/sec, 190 secs
lola: 1305561 markings, 1415239 edges, 6458 markings/sec, 195 secs
lola: 1336704 markings, 1449642 edges, 6229 markings/sec, 200 secs
lola: 1369174 markings, 1485554 edges, 6494 markings/sec, 205 secs
lola: 1401484 markings, 1521919 edges, 6462 markings/sec, 210 secs
lola: 1433918 markings, 1557830 edges, 6487 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(p238)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 29144 markings, 30573 edges, 5829 markings/sec, 0 secs
lola: 57865 markings, 61149 edges, 5744 markings/sec, 5 secs
lola: 86412 markings, 91335 edges, 5709 markings/sec, 10 secs
lola: 114732 markings, 121633 edges, 5664 markings/sec, 15 secs
lola: 143065 markings, 151566 edges, 5667 markings/sec, 20 secs
lola: 171276 markings, 181749 edges, 5642 markings/sec, 25 secs
lola: 199424 markings, 212052 edges, 5630 markings/sec, 30 secs
lola: 227465 markings, 242229 edges, 5608 markings/sec, 35 secs
lola: 255553 markings, 272527 edges, 5618 markings/sec, 40 secs
lola: 283585 markings, 303250 edges, 5606 markings/sec, 45 secs
lola: 311652 markings, 334016 edges, 5613 markings/sec, 50 secs
lola: 339689 markings, 364489 edges, 5607 markings/sec, 55 secs
lola: 367626 markings, 394878 edges, 5587 markings/sec, 60 secs
lola: 395555 markings, 425072 edges, 5586 markings/sec, 65 secs
lola: 423430 markings, 455372 edges, 5575 markings/sec, 70 secs
lola: 451305 markings, 486052 edges, 5575 markings/sec, 75 secs
lola: 479183 markings, 516429 edges, 5576 markings/sec, 80 secs
lola: 507069 markings, 547023 edges, 5577 markings/sec, 85 secs
lola: 534914 markings, 577100 edges, 5569 markings/sec, 90 secs
lola: 562642 markings, 607352 edges, 5546 markings/sec, 95 secs
lola: 590459 markings, 637902 edges, 5563 markings/sec, 100 secs
lola: 618292 markings, 668519 edges, 5567 markings/sec, 105 secs
lola: 646166 markings, 699672 edges, 5575 markings/sec, 110 secs
lola: 674068 markings, 731259 edges, 5580 markings/sec, 115 secs
lola: 701955 markings, 762414 edges, 5577 markings/sec, 120 secs
lola: 729829 markings, 793500 edges, 5575 markings/sec, 125 secs
lola: 757639 markings, 824798 edges, 5562 markings/sec, 130 secs
lola: 785384 markings, 855913 edges, 5549 markings/sec, 135 secs
lola: 813138 markings, 887293 edges, 5551 markings/sec, 140 secs
lola: 840845 markings, 919082 edges, 5541 markings/sec, 145 secs
lola: 868663 markings, 951011 edges, 5564 markings/sec, 150 secs
lola: 896367 markings, 981946 edges, 5541 markings/sec, 155 secs
lola: 924193 markings, 1013285 edges, 5565 markings/sec, 160 secs
lola: 951956 markings, 1044603 edges, 5553 markings/sec, 165 secs
lola: 979888 markings, 1076528 edges, 5586 markings/sec, 170 secs
lola: 1007620 markings, 1108818 edges, 5546 markings/sec, 175 secs
lola: 1035375 markings, 1140263 edges, 5551 markings/sec, 180 secs
lola: 1063024 markings, 1172042 edges, 5530 markings/sec, 185 secs
lola: 1090908 markings, 1204138 edges, 5577 markings/sec, 190 secs
lola: 1118497 markings, 1236355 edges, 5518 markings/sec, 195 secs
lola: 1146097 markings, 1268314 edges, 5520 markings/sec, 200 secs
lola: 1173805 markings, 1300090 edges, 5542 markings/sec, 205 secs
lola: 1201707 markings, 1332810 edges, 5580 markings/sec, 210 secs
lola: 1229595 markings, 1364741 edges, 5578 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(p469)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 29099 markings, 35982 edges, 5820 markings/sec, 0 secs
lola: 57812 markings, 73687 edges, 5743 markings/sec, 5 secs
lola: 86302 markings, 111757 edges, 5698 markings/sec, 10 secs
lola: 114921 markings, 149713 edges, 5724 markings/sec, 15 secs
lola: 143501 markings, 187345 edges, 5716 markings/sec, 20 secs
lola: 172158 markings, 224659 edges, 5731 markings/sec, 25 secs
lola: 200745 markings, 262001 edges, 5717 markings/sec, 30 secs
lola: 229203 markings, 299849 edges, 5692 markings/sec, 35 secs
lola: 257640 markings, 338463 edges, 5687 markings/sec, 40 secs
lola: 286028 markings, 377146 edges, 5678 markings/sec, 45 secs
lola: 314372 markings, 415007 edges, 5669 markings/sec, 50 secs
lola: 342850 markings, 453876 edges, 5696 markings/sec, 55 secs
lola: 371386 markings, 492737 edges, 5707 markings/sec, 60 secs
lola: 399731 markings, 531942 edges, 5669 markings/sec, 65 secs
lola: 428030 markings, 572116 edges, 5660 markings/sec, 70 secs
lola: 456311 markings, 610563 edges, 5656 markings/sec, 75 secs
lola: 484719 markings, 650237 edges, 5682 markings/sec, 80 secs
lola: 513031 markings, 689616 edges, 5662 markings/sec, 85 secs
lola: 541274 markings, 728220 edges, 5649 markings/sec, 90 secs
lola: 569559 markings, 767499 edges, 5657 markings/sec, 95 secs
lola: 597753 markings, 806633 edges, 5639 markings/sec, 100 secs
lola: 625972 markings, 846390 edges, 5644 markings/sec, 105 secs
lola: 654401 markings, 886095 edges, 5686 markings/sec, 110 secs
lola: 681051 markings, 923935 edges, 5330 markings/sec, 115 secs
lola: 709327 markings, 963338 edges, 5655 markings/sec, 120 secs
lola: 737228 markings, 1002108 edges, 5580 markings/sec, 125 secs
lola: 765256 markings, 1040786 edges, 5606 markings/sec, 130 secs
lola: 793219 markings, 1079552 edges, 5593 markings/sec, 135 secs
lola: 821272 markings, 1117602 edges, 5611 markings/sec, 140 secs
lola: 849259 markings, 1155232 edges, 5597 markings/sec, 145 secs
lola: 876830 markings, 1194366 edges, 5514 markings/sec, 150 secs
lola: 904983 markings, 1234327 edges, 5631 markings/sec, 155 secs
lola: 933062 markings, 1273475 edges, 5616 markings/sec, 160 secs
lola: 959968 markings, 1311630 edges, 5381 markings/sec, 165 secs
lola: 986816 markings, 1349597 edges, 5370 markings/sec, 170 secs
lola: 1013784 markings, 1387128 edges, 5394 markings/sec, 175 secs
lola: 1040705 markings, 1424944 edges, 5384 markings/sec, 180 secs
lola: 1067554 markings, 1462782 edges, 5370 markings/sec, 185 secs
lola: 1094503 markings, 1500559 edges, 5390 markings/sec, 190 secs
lola: 1121376 markings, 1538066 edges, 5375 markings/sec, 195 secs
lola: 1148308 markings, 1575943 edges, 5386 markings/sec, 200 secs
lola: 1175296 markings, 1613266 edges, 5398 markings/sec, 205 secs
lola: 1202113 markings, 1650100 edges, 5363 markings/sec, 210 secs
lola: 1229106 markings, 1688995 edges, 5399 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 PolyORBLF-COL-S04J06T06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496405670085

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PolyORBLF-COL-S04J06T06"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_PolyORBLF-COL-S04J06T06.tgz
mv S_PolyORBLF-COL-S04J06T06 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_PolyORBLF-COL-S04J06T06, 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 r128-smll-149441681500344"
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 ;