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 PolyORBLF-PT-S04J06T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440870000479
=====================================================================

--------------------
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 1494706735752


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-PT-S04J06T06 @ 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: 3808/65536 symbol table entries, 872 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(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6) : MAX(QueueJobE_1 + QueueJobE_2 + QueueJobE_3 + QueueJobE_4 + QueueJobE_5 + QueueJobE_6) : MAX(AvailableJobId_6 + AvailableJobId_5 + AvailableJobId_4 + AvailableJobId_3 + AvailableJobId_2 + AvailableJobId_1 + AvailableJobId_0) : MAX(P_1155_1 + P_1155_2 + P_1155_3 + P_1155_4 + P_1155_5 + P_1155_6) : MAX(P_1712_0 + P_1712_1 + P_1712_2 + P_1712_3 + P_1712_4 + P_1712_5 + P_1712_6) : MAX(Insert_Source_B_1_1 + Insert_Source_B_1_2 + Insert_Source_B_1_3 + Insert_Source_B_1_4 + Insert_Source_B_2_1 + Insert_Source_B_2_2 + Insert_Source_B_2_3 + Insert_Source_B_2_4 + Insert_Source_B_3_1 + Insert_Source_B_3_2 + Insert_Source_B_3_3 + Insert_Source_B_3_4 + Insert_Source_B_4_1 + Insert_Source_B_4_2 + Insert_Source_B_4_3 + Insert_Source_B_4_4 + Insert_Source_B_5_1 + Insert_Source_B_5_2 + Insert_Source_B_5_3 + Insert_Source_B_5_4 + Insert_Source_B_6_1 + Insert_Source_B_6_2 + Insert_Source_B_6_3 + Insert_Source_B_6_4) : MAX(EnablePollingB_1 + EnablePollingB_2 + EnablePollingB_3 + EnablePollingB_4 + EnablePollingB_5 + EnablePollingB_6) : MAX(PollingAbort) : MAX(P_1727) : MAX(P_1726) : MAX(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4) : MAX(P_2321_6 + P_2321_5 + P_2321_4 + P_2321_3 + P_2321_2 + P_2321_1) : MAX(P_1725_0 + P_1725_1 + P_1725_2 + P_1725_3 + P_1725_4 + P_1725_5 + P_1725_6) : MAX(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6) : MAX(NoSigAbort) : MAX(MarkerRead)
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(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6)
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: 32661 markings, 34240 edges, 6532 markings/sec, 0 secs
lola: 65150 markings, 68884 edges, 6498 markings/sec, 5 secs
lola: 97528 markings, 104301 edges, 6476 markings/sec, 10 secs
lola: 130009 markings, 139755 edges, 6496 markings/sec, 15 secs
lola: 162406 markings, 175868 edges, 6479 markings/sec, 20 secs
lola: 194779 markings, 211716 edges, 6475 markings/sec, 25 secs
lola: 227241 markings, 247743 edges, 6492 markings/sec, 30 secs
lola: 259572 markings, 284204 edges, 6466 markings/sec, 35 secs
lola: 291948 markings, 321338 edges, 6475 markings/sec, 40 secs
lola: 324210 markings, 358167 edges, 6452 markings/sec, 45 secs
lola: 356543 markings, 394861 edges, 6467 markings/sec, 50 secs
lola: 388930 markings, 431475 edges, 6477 markings/sec, 55 secs
lola: 421276 markings, 468912 edges, 6469 markings/sec, 60 secs
lola: 453603 markings, 506225 edges, 6465 markings/sec, 65 secs
lola: 486047 markings, 544020 edges, 6489 markings/sec, 70 secs
lola: 518405 markings, 581420 edges, 6472 markings/sec, 75 secs
lola: 550716 markings, 618931 edges, 6462 markings/sec, 80 secs
lola: 583110 markings, 656093 edges, 6479 markings/sec, 85 secs
lola: 615336 markings, 693144 edges, 6445 markings/sec, 90 secs
lola: 647584 markings, 730462 edges, 6450 markings/sec, 95 secs
lola: 679860 markings, 768503 edges, 6455 markings/sec, 100 secs
lola: 712203 markings, 805657 edges, 6469 markings/sec, 105 secs
lola: 744553 markings, 843522 edges, 6470 markings/sec, 110 secs
lola: 776655 markings, 881410 edges, 6420 markings/sec, 115 secs
lola: 808898 markings, 918478 edges, 6449 markings/sec, 120 secs
lola: 841122 markings, 955882 edges, 6445 markings/sec, 125 secs
lola: 873369 markings, 993407 edges, 6449 markings/sec, 130 secs
lola: 905582 markings, 1031337 edges, 6443 markings/sec, 135 secs
lola: 937798 markings, 1069685 edges, 6443 markings/sec, 140 secs
lola: 970018 markings, 1107144 edges, 6444 markings/sec, 145 secs
lola: 1002206 markings, 1144782 edges, 6438 markings/sec, 150 secs
lola: 1034362 markings, 1183411 edges, 6431 markings/sec, 155 secs
lola: 1066593 markings, 1221561 edges, 6446 markings/sec, 160 secs
lola: 1098791 markings, 1260296 edges, 6440 markings/sec, 165 secs
lola: 1130970 markings, 1298526 edges, 6436 markings/sec, 170 secs
lola: 1163153 markings, 1336659 edges, 6437 markings/sec, 175 secs
lola: 1195321 markings, 1376356 edges, 6434 markings/sec, 180 secs
lola: 1227599 markings, 1414657 edges, 6456 markings/sec, 185 secs
lola: 1259725 markings, 1453078 edges, 6425 markings/sec, 190 secs
lola: 1291899 markings, 1490957 edges, 6435 markings/sec, 195 secs
lola: 1323915 markings, 1529473 edges, 6403 markings/sec, 200 secs
lola: 1356164 markings, 1567956 edges, 6450 markings/sec, 205 secs
lola: 1388322 markings, 1605891 edges, 6432 markings/sec, 210 secs
lola: 1420562 markings, 1644345 edges, 6448 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(QueueJobE_1 + QueueJobE_2 + QueueJobE_3 + QueueJobE_4 + QueueJobE_5 + QueueJobE_6)
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: 29010 markings, 32342 edges, 5802 markings/sec, 0 secs
lola: 57910 markings, 65796 edges, 5780 markings/sec, 5 secs
lola: 86749 markings, 99960 edges, 5768 markings/sec, 10 secs
lola: 115535 markings, 134704 edges, 5757 markings/sec, 15 secs
lola: 144364 markings, 170019 edges, 5766 markings/sec, 20 secs
lola: 173117 markings, 205246 edges, 5751 markings/sec, 25 secs
lola: 201832 markings, 240367 edges, 5743 markings/sec, 30 secs
lola: 230550 markings, 275964 edges, 5744 markings/sec, 35 secs
lola: 260267 markings, 313034 edges, 5943 markings/sec, 40 secs
lola: 289990 markings, 350636 edges, 5945 markings/sec, 45 secs
lola: 319649 markings, 388523 edges, 5932 markings/sec, 50 secs
lola: 349246 markings, 425578 edges, 5919 markings/sec, 55 secs
lola: 378826 markings, 463584 edges, 5916 markings/sec, 60 secs
lola: 408521 markings, 501020 edges, 5939 markings/sec, 65 secs
lola: 438106 markings, 538388 edges, 5917 markings/sec, 70 secs
lola: 467660 markings, 575882 edges, 5911 markings/sec, 75 secs
lola: 497202 markings, 613712 edges, 5908 markings/sec, 80 secs
lola: 526718 markings, 651381 edges, 5903 markings/sec, 85 secs
lola: 556216 markings, 689013 edges, 5900 markings/sec, 90 secs
lola: 585757 markings, 726749 edges, 5908 markings/sec, 95 secs
lola: 615189 markings, 764810 edges, 5886 markings/sec, 100 secs
lola: 644746 markings, 802537 edges, 5911 markings/sec, 105 secs
lola: 674207 markings, 841103 edges, 5892 markings/sec, 110 secs
lola: 703768 markings, 879885 edges, 5912 markings/sec, 115 secs
lola: 733299 markings, 918440 edges, 5906 markings/sec, 120 secs
lola: 762767 markings, 956407 edges, 5894 markings/sec, 125 secs
lola: 792195 markings, 994673 edges, 5886 markings/sec, 130 secs
lola: 821637 markings, 1033313 edges, 5888 markings/sec, 135 secs
lola: 851032 markings, 1071634 edges, 5879 markings/sec, 140 secs
lola: 880495 markings, 1109998 edges, 5893 markings/sec, 145 secs
lola: 909916 markings, 1148219 edges, 5884 markings/sec, 150 secs
lola: 939297 markings, 1187072 edges, 5876 markings/sec, 155 secs
lola: 968733 markings, 1225050 edges, 5887 markings/sec, 160 secs
lola: 998106 markings, 1263202 edges, 5875 markings/sec, 165 secs
lola: 1027485 markings, 1302156 edges, 5876 markings/sec, 170 secs
lola: 1056915 markings, 1340942 edges, 5886 markings/sec, 175 secs
lola: 1086316 markings, 1379371 edges, 5880 markings/sec, 180 secs
lola: 1115677 markings, 1417963 edges, 5872 markings/sec, 185 secs
lola: 1145063 markings, 1456184 edges, 5877 markings/sec, 190 secs
lola: 1174432 markings, 1495248 edges, 5874 markings/sec, 195 secs
lola: 1203726 markings, 1533355 edges, 5859 markings/sec, 200 secs
lola: 1233113 markings, 1571693 edges, 5877 markings/sec, 205 secs
lola: 1262455 markings, 1610006 edges, 5868 markings/sec, 210 secs
lola: 1291713 markings, 1648942 edges, 5852 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(AvailableJobId_6 + AvailableJobId_5 + AvailableJobId_4 + AvailableJobId_3 + AvailableJobId_2 + AvailableJobId_1 + AvailableJobId_0)
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: 35634 markings, 39144 edges, 7127 markings/sec, 0 secs
lola: 70985 markings, 79455 edges, 7070 markings/sec, 5 secs
lola: 105698 markings, 120077 edges, 6943 markings/sec, 10 secs
lola: 140006 markings, 160629 edges, 6862 markings/sec, 15 secs
lola: 174629 markings, 202179 edges, 6925 markings/sec, 20 secs
lola: 208154 markings, 242784 edges, 6705 markings/sec, 25 secs
lola: 241928 markings, 283649 edges, 6755 markings/sec, 30 secs
lola: 275176 markings, 324552 edges, 6650 markings/sec, 35 secs
lola: 309298 markings, 366757 edges, 6824 markings/sec, 40 secs
lola: 342680 markings, 407944 edges, 6676 markings/sec, 45 secs
lola: 376191 markings, 449784 edges, 6702 markings/sec, 50 secs
lola: 409737 markings, 491882 edges, 6709 markings/sec, 55 secs
lola: 443239 markings, 532917 edges, 6700 markings/sec, 60 secs
lola: 476605 markings, 574855 edges, 6673 markings/sec, 65 secs
lola: 510159 markings, 617142 edges, 6711 markings/sec, 70 secs
lola: 543405 markings, 659712 edges, 6649 markings/sec, 75 secs
lola: 576634 markings, 701178 edges, 6646 markings/sec, 80 secs
lola: 609489 markings, 742909 edges, 6571 markings/sec, 85 secs
lola: 642528 markings, 784078 edges, 6608 markings/sec, 90 secs
lola: 675533 markings, 826487 edges, 6601 markings/sec, 95 secs
lola: 708621 markings, 869235 edges, 6618 markings/sec, 100 secs
lola: 741528 markings, 911859 edges, 6581 markings/sec, 105 secs
lola: 774640 markings, 954079 edges, 6622 markings/sec, 110 secs
lola: 807832 markings, 995244 edges, 6638 markings/sec, 115 secs
lola: 841207 markings, 1038404 edges, 6675 markings/sec, 120 secs
lola: 873994 markings, 1079712 edges, 6557 markings/sec, 125 secs
lola: 907340 markings, 1122206 edges, 6669 markings/sec, 130 secs
lola: 940112 markings, 1164556 edges, 6554 markings/sec, 135 secs
lola: 973021 markings, 1207544 edges, 6582 markings/sec, 140 secs
lola: 1005929 markings, 1248891 edges, 6582 markings/sec, 145 secs
lola: 1038579 markings, 1291276 edges, 6530 markings/sec, 150 secs
lola: 1071409 markings, 1333281 edges, 6566 markings/sec, 155 secs
lola: 1104238 markings, 1375773 edges, 6566 markings/sec, 160 secs
lola: 1136936 markings, 1417367 edges, 6540 markings/sec, 165 secs
lola: 1169558 markings, 1460598 edges, 6524 markings/sec, 170 secs
lola: 1202410 markings, 1502932 edges, 6570 markings/sec, 175 secs
lola: 1235324 markings, 1544625 edges, 6583 markings/sec, 180 secs
lola: 1268222 markings, 1586882 edges, 6580 markings/sec, 185 secs
lola: 1300790 markings, 1628677 edges, 6514 markings/sec, 190 secs
lola: 1333529 markings, 1671905 edges, 6548 markings/sec, 195 secs
lola: 1366902 markings, 1714966 edges, 6675 markings/sec, 200 secs
lola: 1400442 markings, 1758341 edges, 6708 markings/sec, 205 secs
lola: 1434171 markings, 1800843 edges, 6746 markings/sec, 210 secs
lola: 1467812 markings, 1843966 edges, 6728 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_1155_1 + P_1155_2 + P_1155_3 + P_1155_4 + P_1155_5 + P_1155_6)
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: 31631 markings, 33115 edges, 6326 markings/sec, 0 secs
lola: 66141 markings, 69923 edges, 6902 markings/sec, 5 secs
lola: 100510 markings, 107545 edges, 6874 markings/sec, 10 secs
lola: 134967 markings, 145243 edges, 6891 markings/sec, 15 secs
lola: 169535 markings, 183956 edges, 6914 markings/sec, 20 secs
lola: 203547 markings, 221337 edges, 6802 markings/sec, 25 secs
lola: 237532 markings, 259095 edges, 6797 markings/sec, 30 secs
lola: 271421 markings, 297669 edges, 6778 markings/sec, 35 secs
lola: 305290 markings, 336384 edges, 6774 markings/sec, 40 secs
lola: 339137 markings, 374662 edges, 6769 markings/sec, 45 secs
lola: 373025 markings, 413294 edges, 6778 markings/sec, 50 secs
lola: 406906 markings, 451699 edges, 6776 markings/sec, 55 secs
lola: 440697 markings, 490675 edges, 6758 markings/sec, 60 secs
lola: 474540 markings, 530175 edges, 6769 markings/sec, 65 secs
lola: 508309 markings, 569545 edges, 6754 markings/sec, 70 secs
lola: 542118 markings, 608558 edges, 6762 markings/sec, 75 secs
lola: 575992 markings, 647562 edges, 6775 markings/sec, 80 secs
lola: 609663 markings, 686114 edges, 6734 markings/sec, 85 secs
lola: 643384 markings, 724858 edges, 6744 markings/sec, 90 secs
lola: 677082 markings, 764642 edges, 6740 markings/sec, 95 secs
lola: 711173 markings, 803657 edges, 6818 markings/sec, 100 secs
lola: 744434 markings, 842499 edges, 6652 markings/sec, 105 secs
lola: 776910 markings, 880593 edges, 6495 markings/sec, 110 secs
lola: 809495 markings, 918245 edges, 6517 markings/sec, 115 secs
lola: 842710 markings, 956573 edges, 6643 markings/sec, 120 secs
lola: 876739 markings, 996494 edges, 6806 markings/sec, 125 secs
lola: 910806 markings, 1036325 edges, 6813 markings/sec, 130 secs
lola: 944803 markings, 1076289 edges, 6799 markings/sec, 135 secs
lola: 978853 markings, 1116148 edges, 6810 markings/sec, 140 secs
lola: 1012924 markings, 1156161 edges, 6814 markings/sec, 145 secs
lola: 1046843 markings, 1196223 edges, 6784 markings/sec, 150 secs
lola: 1080739 markings, 1237196 edges, 6779 markings/sec, 155 secs
lola: 1114689 markings, 1278119 edges, 6790 markings/sec, 160 secs
lola: 1148752 markings, 1318798 edges, 6813 markings/sec, 165 secs
lola: 1182755 markings, 1359370 edges, 6801 markings/sec, 170 secs
lola: 1216768 markings, 1399650 edges, 6803 markings/sec, 175 secs
lola: 1250765 markings, 1440224 edges, 6799 markings/sec, 180 secs
lola: 1284580 markings, 1481393 edges, 6763 markings/sec, 185 secs
lola: 1318500 markings, 1521945 edges, 6784 markings/sec, 190 secs
lola: 1352470 markings, 1562510 edges, 6794 markings/sec, 195 secs
lola: 1386490 markings, 1602550 edges, 6804 markings/sec, 200 secs
lola: 1420477 markings, 1642753 edges, 6797 markings/sec, 205 secs
lola: 1454236 markings, 1683334 edges, 6752 markings/sec, 210 secs
lola: 1488174 markings, 1723900 edges, 6788 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_1712_0 + P_1712_1 + P_1712_2 + P_1712_3 + P_1712_4 + P_1712_5 + P_1712_6)
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: 26810 markings, 29876 edges, 5362 markings/sec, 0 secs
lola: 57026 markings, 64725 edges, 6043 markings/sec, 5 secs
lola: 87131 markings, 100432 edges, 6021 markings/sec, 10 secs
lola: 117161 markings, 136826 edges, 6006 markings/sec, 15 secs
lola: 147267 markings, 173611 edges, 6021 markings/sec, 20 secs
lola: 177273 markings, 210305 edges, 6001 markings/sec, 25 secs
lola: 207239 markings, 246966 edges, 5993 markings/sec, 30 secs
lola: 237157 markings, 284241 edges, 5984 markings/sec, 35 secs
lola: 267105 markings, 321664 edges, 5990 markings/sec, 40 secs
lola: 296961 markings, 359870 edges, 5971 markings/sec, 45 secs
lola: 326762 markings, 397760 edges, 5960 markings/sec, 50 secs
lola: 356584 markings, 435130 edges, 5964 markings/sec, 55 secs
lola: 386341 markings, 473134 edges, 5951 markings/sec, 60 secs
lola: 416196 markings, 510707 edges, 5971 markings/sec, 65 secs
lola: 445956 markings, 548699 edges, 5952 markings/sec, 70 secs
lola: 475691 markings, 586233 edges, 5947 markings/sec, 75 secs
lola: 505400 markings, 624179 edges, 5942 markings/sec, 80 secs
lola: 535184 markings, 662062 edges, 5957 markings/sec, 85 secs
lola: 564877 markings, 699946 edges, 5939 markings/sec, 90 secs
lola: 594531 markings, 738354 edges, 5931 markings/sec, 95 secs
lola: 624190 markings, 776268 edges, 5932 markings/sec, 100 secs
lola: 653909 markings, 814499 edges, 5944 markings/sec, 105 secs
lola: 683540 markings, 853470 edges, 5926 markings/sec, 110 secs
lola: 713238 markings, 892172 edges, 5940 markings/sec, 115 secs
lola: 742913 markings, 930680 edges, 5935 markings/sec, 120 secs
lola: 772534 markings, 968979 edges, 5924 markings/sec, 125 secs
lola: 802114 markings, 1008165 edges, 5916 markings/sec, 130 secs
lola: 831700 markings, 1046498 edges, 5917 markings/sec, 135 secs
lola: 861360 markings, 1084707 edges, 5932 markings/sec, 140 secs
lola: 890931 markings, 1123450 edges, 5914 markings/sec, 145 secs
lola: 920490 markings, 1162025 edges, 5912 markings/sec, 150 secs
lola: 950088 markings, 1201039 edges, 5920 markings/sec, 155 secs
lola: 979642 markings, 1239440 edges, 5911 markings/sec, 160 secs
lola: 1009263 markings, 1277987 edges, 5924 markings/sec, 165 secs
lola: 1038854 markings, 1317026 edges, 5918 markings/sec, 170 secs
lola: 1068487 markings, 1355845 edges, 5927 markings/sec, 175 secs
lola: 1098015 markings, 1394866 edges, 5906 markings/sec, 180 secs
lola: 1127571 markings, 1433989 edges, 5911 markings/sec, 185 secs
lola: 1157088 markings, 1471962 edges, 5903 markings/sec, 190 secs
lola: 1186579 markings, 1511123 edges, 5898 markings/sec, 195 secs
lola: 1215795 markings, 1549229 edges, 5843 markings/sec, 200 secs
lola: 1244786 markings, 1587059 edges, 5798 markings/sec, 205 secs
lola: 1273835 markings, 1625236 edges, 5810 markings/sec, 210 secs
lola: 1302796 markings, 1663252 edges, 5792 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(Insert_Source_B_1_1 + Insert_Source_B_1_2 + Insert_Source_B_1_3 + Insert_Source_B_1_4 + Insert_Source_B_2_1 + Insert_Source_B_2_2 + Insert_Source_B_2_3 + Insert_Source_B_2_4 + Insert_Source_B_3_1 + Insert_Source_B_3_2 + Insert_Source_B_3_3 + Insert_Source_B_3_4 + Insert_Source_B_4_1 + Insert_Source_B_4_2 + Insert_Source_B_4_3 + Insert_Source_B_4_4 + Insert_Source_B_5_1 + Insert_Source_B_5_2 + ... (shortened)
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: 37568 markings, 41309 edges, 7514 markings/sec, 0 secs
lola: 74750 markings, 83703 edges, 7436 markings/sec, 5 secs
lola: 111078 markings, 126249 edges, 7266 markings/sec, 10 secs
lola: 145717 markings, 167349 edges, 6928 markings/sec, 15 secs
lola: 181897 markings, 211395 edges, 7236 markings/sec, 20 secs
lola: 217293 markings, 253901 edges, 7079 markings/sec, 25 secs
lola: 252899 markings, 297126 edges, 7121 markings/sec, 30 secs
lola: 288464 markings, 340571 edges, 7113 markings/sec, 35 secs
lola: 323993 markings, 385023 edges, 7106 markings/sec, 40 secs
lola: 359563 markings, 429171 edges, 7114 markings/sec, 45 secs
lola: 394999 markings, 473506 edges, 7087 markings/sec, 50 secs
lola: 430671 markings, 517510 edges, 7134 markings/sec, 55 secs
lola: 466117 markings, 561573 edges, 7089 markings/sec, 60 secs
lola: 501469 markings, 606364 edges, 7070 markings/sec, 65 secs
lola: 536716 markings, 651519 edges, 7049 markings/sec, 70 secs
lola: 571890 markings, 695549 edges, 7035 markings/sec, 75 secs
lola: 606828 markings, 739545 edges, 6988 markings/sec, 80 secs
lola: 641798 markings, 783133 edges, 6994 markings/sec, 85 secs
lola: 676768 markings, 828093 edges, 6994 markings/sec, 90 secs
lola: 711764 markings, 873387 edges, 6999 markings/sec, 95 secs
lola: 746607 markings, 918281 edges, 6969 markings/sec, 100 secs
lola: 781626 markings, 962944 edges, 7004 markings/sec, 105 secs
lola: 816927 markings, 1006722 edges, 7060 markings/sec, 110 secs
lola: 852050 markings, 1051880 edges, 7025 markings/sec, 115 secs
lola: 887054 markings, 1096337 edges, 7001 markings/sec, 120 secs
lola: 922002 markings, 1141686 edges, 6990 markings/sec, 125 secs
lola: 956587 markings, 1185661 edges, 6917 markings/sec, 130 secs
lola: 990939 markings, 1230197 edges, 6870 markings/sec, 135 secs
lola: 1024721 markings, 1273400 edges, 6756 markings/sec, 140 secs
lola: 1059173 markings, 1317505 edges, 6890 markings/sec, 145 secs
lola: 1093997 markings, 1362814 edges, 6965 markings/sec, 150 secs
lola: 1127240 markings, 1404982 edges, 6649 markings/sec, 155 secs
lola: 1161539 markings, 1450004 edges, 6860 markings/sec, 160 secs
lola: 1196052 markings, 1494745 edges, 6903 markings/sec, 165 secs
lola: 1230562 markings, 1538515 edges, 6902 markings/sec, 170 secs
lola: 1265283 markings, 1582976 edges, 6944 markings/sec, 175 secs
lola: 1299474 markings, 1627075 edges, 6838 markings/sec, 180 secs
lola: 1333845 markings, 1672300 edges, 6874 markings/sec, 185 secs
lola: 1368154 markings, 1716538 edges, 6862 markings/sec, 190 secs
lola: 1402347 markings, 1760688 edges, 6839 markings/sec, 195 secs
lola: 1436876 markings, 1804313 edges, 6906 markings/sec, 200 secs
lola: 1471205 markings, 1848647 edges, 6866 markings/sec, 205 secs
lola: 1505923 markings, 1894182 edges, 6944 markings/sec, 210 secs
lola: 1540371 markings, 1938474 edges, 6890 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(EnablePollingB_1 + EnablePollingB_2 + EnablePollingB_3 + EnablePollingB_4 + EnablePollingB_5 + EnablePollingB_6)
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: 38349 markings, 39849 edges, 7670 markings/sec, 0 secs
lola: 75714 markings, 79658 edges, 7473 markings/sec, 5 secs
lola: 112553 markings, 119591 edges, 7368 markings/sec, 10 secs
lola: 148504 markings, 159369 edges, 7190 markings/sec, 15 secs
lola: 184483 markings, 199286 edges, 7196 markings/sec, 20 secs
lola: 220309 markings, 240007 edges, 7165 markings/sec, 25 secs
lola: 256054 markings, 280907 edges, 7149 markings/sec, 30 secs
lola: 292807 markings, 322663 edges, 7351 markings/sec, 35 secs
lola: 329652 markings, 364503 edges, 7369 markings/sec, 40 secs
lola: 366316 markings, 406618 edges, 7333 markings/sec, 45 secs
lola: 402925 markings, 449014 edges, 7322 markings/sec, 50 secs
lola: 439130 markings, 490565 edges, 7241 markings/sec, 55 secs
lola: 475113 markings, 532319 edges, 7197 markings/sec, 60 secs
lola: 511315 markings, 574603 edges, 7240 markings/sec, 65 secs
lola: 547193 markings, 616971 edges, 7176 markings/sec, 70 secs
lola: 583260 markings, 659515 edges, 7213 markings/sec, 75 secs
lola: 619059 markings, 701616 edges, 7160 markings/sec, 80 secs
lola: 654810 markings, 743689 edges, 7150 markings/sec, 85 secs
lola: 690949 markings, 786547 edges, 7228 markings/sec, 90 secs
lola: 726377 markings, 828482 edges, 7086 markings/sec, 95 secs
lola: 760248 markings, 868711 edges, 6774 markings/sec, 100 secs
lola: 794191 markings, 909221 edges, 6789 markings/sec, 105 secs
lola: 828525 markings, 950019 edges, 6867 markings/sec, 110 secs
lola: 862530 markings, 991017 edges, 6801 markings/sec, 115 secs
lola: 896733 markings, 1031401 edges, 6841 markings/sec, 120 secs
lola: 930847 markings, 1072157 edges, 6823 markings/sec, 125 secs
lola: 965297 markings, 1112588 edges, 6890 markings/sec, 130 secs
lola: 999532 markings, 1153732 edges, 6847 markings/sec, 135 secs
lola: 1034478 markings, 1195593 edges, 6989 markings/sec, 140 secs
lola: 1069822 markings, 1238507 edges, 7069 markings/sec, 145 secs
lola: 1105579 markings, 1281999 edges, 7151 markings/sec, 150 secs
lola: 1141552 markings, 1325334 edges, 7195 markings/sec, 155 secs
lola: 1177312 markings, 1368271 edges, 7152 markings/sec, 160 secs
lola: 1212692 markings, 1411398 edges, 7076 markings/sec, 165 secs
lola: 1248205 markings, 1454173 edges, 7103 markings/sec, 170 secs
lola: 1283544 markings, 1496763 edges, 7068 markings/sec, 175 secs
lola: 1319185 markings, 1539376 edges, 7128 markings/sec, 180 secs
lola: 1354697 markings, 1582775 edges, 7102 markings/sec, 185 secs
lola: 1389832 markings, 1626428 edges, 7027 markings/sec, 190 secs
lola: 1425493 markings, 1669943 edges, 7132 markings/sec, 195 secs
lola: 1461167 markings, 1712579 edges, 7135 markings/sec, 200 secs
lola: 1496765 markings, 1755794 edges, 7120 markings/sec, 205 secs
lola: 1532403 markings, 1798824 edges, 7128 markings/sec, 210 secs
lola: 1567653 markings, 1841738 edges, 7050 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(PollingAbort)
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: 37914 markings, 40459 edges, 7583 markings/sec, 0 secs
lola: 74161 markings, 83549 edges, 7249 markings/sec, 5 secs
lola: 110357 markings, 124631 edges, 7239 markings/sec, 10 secs
lola: 146420 markings, 166822 edges, 7213 markings/sec, 15 secs
lola: 182232 markings, 209091 edges, 7162 markings/sec, 20 secs
lola: 217537 markings, 252352 edges, 7061 markings/sec, 25 secs
lola: 252860 markings, 294458 edges, 7065 markings/sec, 30 secs
lola: 288018 markings, 336580 edges, 7032 markings/sec, 35 secs
lola: 323405 markings, 378227 edges, 7077 markings/sec, 40 secs
lola: 358582 markings, 419223 edges, 7035 markings/sec, 45 secs
lola: 393965 markings, 460221 edges, 7077 markings/sec, 50 secs
lola: 428662 markings, 503471 edges, 6939 markings/sec, 55 secs
lola: 463824 markings, 544802 edges, 7032 markings/sec, 60 secs
lola: 498456 markings, 585769 edges, 6926 markings/sec, 65 secs
lola: 533383 markings, 627960 edges, 6985 markings/sec, 70 secs
lola: 567744 markings, 669284 edges, 6872 markings/sec, 75 secs
lola: 602400 markings, 711558 edges, 6931 markings/sec, 80 secs
lola: 636864 markings, 753305 edges, 6893 markings/sec, 85 secs
lola: 671290 markings, 794114 edges, 6885 markings/sec, 90 secs
lola: 705897 markings, 836131 edges, 6921 markings/sec, 95 secs
lola: 740523 markings, 878287 edges, 6925 markings/sec, 100 secs
lola: 775137 markings, 917999 edges, 6923 markings/sec, 105 secs
lola: 809041 markings, 962553 edges, 6781 markings/sec, 110 secs
lola: 843476 markings, 1004479 edges, 6887 markings/sec, 115 secs
lola: 877916 markings, 1045973 edges, 6888 markings/sec, 120 secs
lola: 912254 markings, 1088650 edges, 6868 markings/sec, 125 secs
lola: 947050 markings, 1131311 edges, 6959 markings/sec, 130 secs
lola: 981383 markings, 1172930 edges, 6867 markings/sec, 135 secs
lola: 1015724 markings, 1213957 edges, 6868 markings/sec, 140 secs
lola: 1050003 markings, 1256291 edges, 6856 markings/sec, 145 secs
lola: 1084238 markings, 1298666 edges, 6847 markings/sec, 150 secs
lola: 1118537 markings, 1340764 edges, 6860 markings/sec, 155 secs
lola: 1152256 markings, 1384152 edges, 6744 markings/sec, 160 secs
lola: 1186490 markings, 1427152 edges, 6847 markings/sec, 165 secs
lola: 1220621 markings, 1470325 edges, 6826 markings/sec, 170 secs
lola: 1254647 markings, 1513610 edges, 6805 markings/sec, 175 secs
lola: 1288633 markings, 1555195 edges, 6797 markings/sec, 180 secs
lola: 1322573 markings, 1598094 edges, 6788 markings/sec, 185 secs
lola: 1356281 markings, 1640570 edges, 6742 markings/sec, 190 secs
lola: 1390719 markings, 1681356 edges, 6888 markings/sec, 195 secs
lola: 1424574 markings, 1725272 edges, 6771 markings/sec, 200 secs
lola: 1458475 markings, 1766758 edges, 6780 markings/sec, 205 secs
lola: 1492639 markings, 1808416 edges, 6833 markings/sec, 210 secs
lola: 1526652 markings, 1849870 edges, 6803 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_1727)
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: 30408 markings, 33898 edges, 6082 markings/sec, 0 secs
lola: 60703 markings, 69149 edges, 6059 markings/sec, 5 secs
lola: 90980 markings, 104870 edges, 6055 markings/sec, 10 secs
lola: 121172 markings, 141858 edges, 6038 markings/sec, 15 secs
lola: 151418 markings, 178578 edges, 6049 markings/sec, 20 secs
lola: 181539 markings, 215536 edges, 6024 markings/sec, 25 secs
lola: 211618 markings, 252419 edges, 6016 markings/sec, 30 secs
lola: 241686 markings, 290007 edges, 6014 markings/sec, 35 secs
lola: 271770 markings, 327474 edges, 6017 markings/sec, 40 secs
lola: 301754 markings, 365700 edges, 5997 markings/sec, 45 secs
lola: 331629 markings, 403922 edges, 5975 markings/sec, 50 secs
lola: 361597 markings, 441674 edges, 5994 markings/sec, 55 secs
lola: 391534 markings, 479765 edges, 5987 markings/sec, 60 secs
lola: 421459 markings, 517166 edges, 5985 markings/sec, 65 secs
lola: 451349 markings, 555305 edges, 5978 markings/sec, 70 secs
lola: 481219 markings, 593411 edges, 5974 markings/sec, 75 secs
lola: 511099 markings, 631422 edges, 5976 markings/sec, 80 secs
lola: 540906 markings, 669282 edges, 5961 markings/sec, 85 secs
lola: 570717 markings, 707458 edges, 5962 markings/sec, 90 secs
lola: 600487 markings, 745997 edges, 5954 markings/sec, 95 secs
lola: 630334 markings, 784281 edges, 5969 markings/sec, 100 secs
lola: 660139 markings, 822652 edges, 5961 markings/sec, 105 secs
lola: 689986 markings, 861865 edges, 5969 markings/sec, 110 secs
lola: 719773 markings, 900778 edges, 5957 markings/sec, 115 secs
lola: 749590 markings, 939212 edges, 5963 markings/sec, 120 secs
lola: 779338 markings, 978106 edges, 5950 markings/sec, 125 secs
lola: 809078 markings, 1016942 edges, 5948 markings/sec, 130 secs
lola: 838841 markings, 1055764 edges, 5953 markings/sec, 135 secs
lola: 868628 markings, 1094215 edges, 5957 markings/sec, 140 secs
lola: 898361 markings, 1132972 edges, 5947 markings/sec, 145 secs
lola: 928092 markings, 1172239 edges, 5946 markings/sec, 150 secs
lola: 957839 markings, 1210849 edges, 5949 markings/sec, 155 secs
lola: 987489 markings, 1249381 edges, 5930 markings/sec, 160 secs
lola: 1017132 markings, 1288253 edges, 5929 markings/sec, 165 secs
lola: 1046909 markings, 1327445 edges, 5955 markings/sec, 170 secs
lola: 1076596 markings, 1366652 edges, 5937 markings/sec, 175 secs
lola: 1106296 markings, 1405709 edges, 5940 markings/sec, 180 secs
lola: 1136016 markings, 1444692 edges, 5944 markings/sec, 185 secs
lola: 1165583 markings, 1483695 edges, 5913 markings/sec, 190 secs
lola: 1195209 markings, 1522420 edges, 5925 markings/sec, 195 secs
lola: 1224952 markings, 1560963 edges, 5949 markings/sec, 200 secs
lola: 1254393 markings, 1599480 edges, 5888 markings/sec, 205 secs
lola: 1282732 markings, 1637001 edges, 5668 markings/sec, 210 secs
lola: 1311081 markings, 1674126 edges, 5670 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_1726)
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: 30067 markings, 33506 edges, 6013 markings/sec, 0 secs
lola: 60011 markings, 68328 edges, 5989 markings/sec, 5 secs
lola: 89914 markings, 103694 edges, 5981 markings/sec, 10 secs
lola: 119773 markings, 140158 edges, 5972 markings/sec, 15 secs
lola: 149662 markings, 176464 edges, 5978 markings/sec, 20 secs
lola: 179501 markings, 212977 edges, 5968 markings/sec, 25 secs
lola: 209239 markings, 249487 edges, 5948 markings/sec, 30 secs
lola: 238974 markings, 286519 edges, 5947 markings/sec, 35 secs
lola: 268730 markings, 323688 edges, 5951 markings/sec, 40 secs
lola: 298389 markings, 361616 edges, 5932 markings/sec, 45 secs
lola: 328044 markings, 399309 edges, 5931 markings/sec, 50 secs
lola: 357756 markings, 436622 edges, 5942 markings/sec, 55 secs
lola: 387304 markings, 474441 edges, 5910 markings/sec, 60 secs
lola: 416939 markings, 511634 edges, 5927 markings/sec, 65 secs
lola: 446496 markings, 549313 edges, 5911 markings/sec, 70 secs
lola: 476059 markings, 586684 edges, 5913 markings/sec, 75 secs
lola: 505613 markings, 624460 edges, 5911 markings/sec, 80 secs
lola: 534912 markings, 661757 edges, 5860 markings/sec, 85 secs
lola: 564223 markings, 699129 edges, 5862 markings/sec, 90 secs
lola: 593530 markings, 736885 edges, 5861 markings/sec, 95 secs
lola: 622761 markings, 774517 edges, 5846 markings/sec, 100 secs
lola: 652083 markings, 812233 edges, 5864 markings/sec, 105 secs
lola: 681312 markings, 850586 edges, 5846 markings/sec, 110 secs
lola: 710652 markings, 888834 edges, 5868 markings/sec, 115 secs
lola: 739942 markings, 926875 edges, 5858 markings/sec, 120 secs
lola: 769184 markings, 964522 edges, 5848 markings/sec, 125 secs
lola: 798402 markings, 1003157 edges, 5844 markings/sec, 130 secs
lola: 827616 markings, 1041198 edges, 5843 markings/sec, 135 secs
lola: 856828 markings, 1078842 edges, 5842 markings/sec, 140 secs
lola: 886035 markings, 1116953 edges, 5841 markings/sec, 145 secs
lola: 915228 markings, 1155325 edges, 5839 markings/sec, 150 secs
lola: 944345 markings, 1193627 edges, 5823 markings/sec, 155 secs
lola: 973676 markings, 1231490 edges, 5866 markings/sec, 160 secs
lola: 1003223 markings, 1270007 edges, 5909 markings/sec, 165 secs
lola: 1032702 markings, 1309155 edges, 5896 markings/sec, 170 secs
lola: 1062289 markings, 1347862 edges, 5917 markings/sec, 175 secs
lola: 1091831 markings, 1386499 edges, 5908 markings/sec, 180 secs
lola: 1121298 markings, 1425484 edges, 5893 markings/sec, 185 secs
lola: 1150811 markings, 1463619 edges, 5903 markings/sec, 190 secs
lola: 1180299 markings, 1502961 edges, 5898 markings/sec, 195 secs
lola: 1209762 markings, 1541106 edges, 5893 markings/sec, 200 secs
lola: 1239281 markings, 1579775 edges, 5904 markings/sec, 205 secs
lola: 1268742 markings, 1618439 edges, 5892 markings/sec, 210 secs
lola: 1298104 markings, 1657243 edges, 5872 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(ModifiedSrc_1 + ModifiedSrc_2 + ModifiedSrc_3 + ModifiedSrc_4)
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: 35163 markings, 38926 edges, 7033 markings/sec, 0 secs
lola: 70245 markings, 79111 edges, 7016 markings/sec, 5 secs
lola: 105068 markings, 119836 edges, 6965 markings/sec, 10 secs
lola: 139964 markings, 161570 edges, 6979 markings/sec, 15 secs
lola: 174718 markings, 203208 edges, 6951 markings/sec, 20 secs
lola: 209474 markings, 245566 edges, 6951 markings/sec, 25 secs
lola: 244168 markings, 288113 edges, 6939 markings/sec, 30 secs
lola: 279083 markings, 331765 edges, 6983 markings/sec, 35 secs
lola: 313624 markings, 374129 edges, 6908 markings/sec, 40 secs
lola: 347849 markings, 416930 edges, 6845 markings/sec, 45 secs
lola: 382226 markings, 459652 edges, 6875 markings/sec, 50 secs
lola: 416561 markings, 502452 edges, 6867 markings/sec, 55 secs
lola: 450769 markings, 545392 edges, 6842 markings/sec, 60 secs
lola: 484917 markings, 588694 edges, 6830 markings/sec, 65 secs
lola: 519364 markings, 632576 edges, 6889 markings/sec, 70 secs
lola: 553464 markings, 675518 edges, 6820 markings/sec, 75 secs
lola: 587918 markings, 719512 edges, 6891 markings/sec, 80 secs
lola: 622365 markings, 764077 edges, 6889 markings/sec, 85 secs
lola: 656743 markings, 807264 edges, 6876 markings/sec, 90 secs
lola: 691111 markings, 851235 edges, 6874 markings/sec, 95 secs
lola: 725296 markings, 895333 edges, 6837 markings/sec, 100 secs
lola: 759470 markings, 938609 edges, 6835 markings/sec, 105 secs
lola: 793635 markings, 982364 edges, 6833 markings/sec, 110 secs
lola: 827728 markings, 1026775 edges, 6819 markings/sec, 115 secs
lola: 862104 markings, 1069908 edges, 6875 markings/sec, 120 secs
lola: 896714 markings, 1114908 edges, 6922 markings/sec, 125 secs
lola: 931392 markings, 1159698 edges, 6936 markings/sec, 130 secs
lola: 965916 markings, 1203384 edges, 6905 markings/sec, 135 secs
lola: 1000636 markings, 1247660 edges, 6944 markings/sec, 140 secs
lola: 1034831 markings, 1291179 edges, 6839 markings/sec, 145 secs
lola: 1069574 markings, 1335512 edges, 6949 markings/sec, 150 secs
lola: 1104326 markings, 1380603 edges, 6950 markings/sec, 155 secs
lola: 1138769 markings, 1424764 edges, 6889 markings/sec, 160 secs
lola: 1173478 markings, 1469641 edges, 6942 markings/sec, 165 secs
lola: 1208123 markings, 1514625 edges, 6929 markings/sec, 170 secs
lola: 1242836 markings, 1559755 edges, 6943 markings/sec, 175 secs
lola: 1277391 markings, 1603790 edges, 6911 markings/sec, 180 secs
lola: 1312097 markings, 1648600 edges, 6941 markings/sec, 185 secs
lola: 1346905 markings, 1694095 edges, 6962 markings/sec, 190 secs
lola: 1381436 markings, 1738591 edges, 6906 markings/sec, 195 secs
lola: 1415981 markings, 1782802 edges, 6909 markings/sec, 200 secs
lola: 1450532 markings, 1827263 edges, 6910 markings/sec, 205 secs
lola: 1485198 markings, 1871470 edges, 6933 markings/sec, 210 secs
lola: 1519756 markings, 1917552 edges, 6912 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_2321_6 + P_2321_5 + P_2321_4 + P_2321_3 + P_2321_2 + P_2321_1)
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: 38053 markings, 39467 edges, 7611 markings/sec, 0 secs
lola: 76864 markings, 80660 edges, 7762 markings/sec, 5 secs
lola: 115229 markings, 122329 edges, 7673 markings/sec, 10 secs
lola: 153029 markings, 163980 edges, 7560 markings/sec, 15 secs
lola: 190537 markings, 205936 edges, 7502 markings/sec, 20 secs
lola: 227918 markings, 247931 edges, 7476 markings/sec, 25 secs
lola: 264758 markings, 291440 edges, 7368 markings/sec, 30 secs
lola: 301534 markings, 333889 edges, 7355 markings/sec, 35 secs
lola: 337767 markings, 376299 edges, 7247 markings/sec, 40 secs
lola: 374289 markings, 418945 edges, 7304 markings/sec, 45 secs
lola: 410754 markings, 461465 edges, 7293 markings/sec, 50 secs
lola: 446784 markings, 503759 edges, 7206 markings/sec, 55 secs
lola: 483153 markings, 546534 edges, 7274 markings/sec, 60 secs
lola: 519279 markings, 588597 edges, 7225 markings/sec, 65 secs
lola: 553852 markings, 629115 edges, 6915 markings/sec, 70 secs
lola: 588815 markings, 669997 edges, 6993 markings/sec, 75 secs
lola: 623996 markings, 712269 edges, 7036 markings/sec, 80 secs
lola: 658651 markings, 752604 edges, 6931 markings/sec, 85 secs
lola: 693110 markings, 793509 edges, 6892 markings/sec, 90 secs
lola: 728825 markings, 836214 edges, 7143 markings/sec, 95 secs
lola: 764688 markings, 878141 edges, 7173 markings/sec, 100 secs
lola: 800335 markings, 920953 edges, 7129 markings/sec, 105 secs
lola: 835794 markings, 962642 edges, 7092 markings/sec, 110 secs
lola: 871253 markings, 1004593 edges, 7092 markings/sec, 115 secs
lola: 907041 markings, 1047540 edges, 7158 markings/sec, 120 secs
lola: 942559 markings, 1090069 edges, 7104 markings/sec, 125 secs
lola: 978194 markings, 1132232 edges, 7127 markings/sec, 130 secs
lola: 1013883 markings, 1174451 edges, 7138 markings/sec, 135 secs
lola: 1049648 markings, 1217086 edges, 7153 markings/sec, 140 secs
lola: 1085068 markings, 1259919 edges, 7084 markings/sec, 145 secs
lola: 1120693 markings, 1301820 edges, 7125 markings/sec, 150 secs
lola: 1155848 markings, 1344352 edges, 7031 markings/sec, 155 secs
lola: 1191222 markings, 1386801 edges, 7075 markings/sec, 160 secs
lola: 1226832 markings, 1429521 edges, 7122 markings/sec, 165 secs
lola: 1262113 markings, 1471808 edges, 7056 markings/sec, 170 secs
lola: 1296979 markings, 1514071 edges, 6973 markings/sec, 175 secs
lola: 1332279 markings, 1557093 edges, 7060 markings/sec, 180 secs
lola: 1367491 markings, 1599134 edges, 7042 markings/sec, 185 secs
lola: 1402658 markings, 1641275 edges, 7033 markings/sec, 190 secs
lola: 1438041 markings, 1683949 edges, 7077 markings/sec, 195 secs
lola: 1473611 markings, 1725874 edges, 7114 markings/sec, 200 secs
lola: 1508766 markings, 1768417 edges, 7031 markings/sec, 205 secs
lola: 1544196 markings, 1811613 edges, 7086 markings/sec, 210 secs
lola: 1579503 markings, 1853648 edges, 7061 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_1725_0 + P_1725_1 + P_1725_2 + P_1725_3 + P_1725_4 + P_1725_5 + P_1725_6)
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: 29948 markings, 33369 edges, 5990 markings/sec, 0 secs
lola: 59726 markings, 68002 edges, 5956 markings/sec, 5 secs
lola: 89418 markings, 103130 edges, 5938 markings/sec, 10 secs
lola: 119072 markings, 139193 edges, 5931 markings/sec, 15 secs
lola: 148839 markings, 175437 edges, 5953 markings/sec, 20 secs
lola: 178746 markings, 212034 edges, 5981 markings/sec, 25 secs
lola: 206975 markings, 246637 edges, 5646 markings/sec, 30 secs
lola: 236815 markings, 283834 edges, 5968 markings/sec, 35 secs
lola: 266476 markings, 320860 edges, 5932 markings/sec, 40 secs
lola: 295843 markings, 358328 edges, 5873 markings/sec, 45 secs
lola: 325130 markings, 395640 edges, 5857 markings/sec, 50 secs
lola: 354484 markings, 432382 edges, 5871 markings/sec, 55 secs
lola: 384073 markings, 470242 edges, 5918 markings/sec, 60 secs
lola: 413589 markings, 507343 edges, 5903 markings/sec, 65 secs
lola: 443265 markings, 545177 edges, 5935 markings/sec, 70 secs
lola: 472863 markings, 582632 edges, 5920 markings/sec, 75 secs
lola: 502486 markings, 620619 edges, 5925 markings/sec, 80 secs
lola: 532060 markings, 658087 edges, 5915 markings/sec, 85 secs
lola: 561641 markings, 695872 edges, 5916 markings/sec, 90 secs
lola: 591216 markings, 733932 edges, 5915 markings/sec, 95 secs
lola: 620747 markings, 771768 edges, 5906 markings/sec, 100 secs
lola: 650408 markings, 809688 edges, 5932 markings/sec, 105 secs
lola: 679954 markings, 848737 edges, 5909 markings/sec, 110 secs
lola: 709523 markings, 887225 edges, 5914 markings/sec, 115 secs
lola: 739135 markings, 925688 edges, 5922 markings/sec, 120 secs
lola: 768695 markings, 963897 edges, 5912 markings/sec, 125 secs
lola: 798149 markings, 1002814 edges, 5891 markings/sec, 130 secs
lola: 827691 markings, 1041283 edges, 5908 markings/sec, 135 secs
lola: 857230 markings, 1079316 edges, 5908 markings/sec, 140 secs
lola: 886750 markings, 1117900 edges, 5904 markings/sec, 145 secs
lola: 916219 markings, 1156573 edges, 5894 markings/sec, 150 secs
lola: 945728 markings, 1195357 edges, 5902 markings/sec, 155 secs
lola: 975264 markings, 1233648 edges, 5907 markings/sec, 160 secs
lola: 1004693 markings, 1272023 edges, 5886 markings/sec, 165 secs
lola: 1034172 markings, 1310981 edges, 5896 markings/sec, 170 secs
lola: 1063700 markings, 1349718 edges, 5906 markings/sec, 175 secs
lola: 1093170 markings, 1388268 edges, 5894 markings/sec, 180 secs
lola: 1122620 markings, 1427180 edges, 5890 markings/sec, 185 secs
lola: 1152051 markings, 1465327 edges, 5886 markings/sec, 190 secs
lola: 1181544 markings, 1504632 edges, 5899 markings/sec, 195 secs
lola: 1211124 markings, 1542816 edges, 5916 markings/sec, 200 secs
lola: 1240669 markings, 1581549 edges, 5909 markings/sec, 205 secs
lola: 1270208 markings, 1620398 edges, 5908 markings/sec, 210 secs
lola: 1299732 markings, 1659349 edges, 5905 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(nyo_1 + nyo_2 + nyo_3 + nyo_4 + nyo_5 + nyo_6)
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: 31233 markings, 32672 edges, 6247 markings/sec, 0 secs
lola: 63490 markings, 67058 edges, 6451 markings/sec, 5 secs
lola: 95700 markings, 102242 edges, 6442 markings/sec, 10 secs
lola: 127899 markings, 137396 edges, 6440 markings/sec, 15 secs
lola: 160019 markings, 173221 edges, 6424 markings/sec, 20 secs
lola: 191282 markings, 207935 edges, 6253 markings/sec, 25 secs
lola: 222007 markings, 242124 edges, 6145 markings/sec, 30 secs
lola: 252636 markings, 276076 edges, 6126 markings/sec, 35 secs
lola: 283326 markings, 311289 edges, 6138 markings/sec, 40 secs
lola: 313930 markings, 346243 edges, 6121 markings/sec, 45 secs
lola: 344565 markings, 381292 edges, 6127 markings/sec, 50 secs
lola: 375209 markings, 416015 edges, 6129 markings/sec, 55 secs
lola: 405861 markings, 450768 edges, 6130 markings/sec, 60 secs
lola: 436467 markings, 486279 edges, 6121 markings/sec, 65 secs
lola: 467115 markings, 521902 edges, 6130 markings/sec, 70 secs
lola: 497776 markings, 557919 edges, 6132 markings/sec, 75 secs
lola: 528431 markings, 593055 edges, 6131 markings/sec, 80 secs
lola: 559027 markings, 628528 edges, 6119 markings/sec, 85 secs
lola: 590073 markings, 664089 edges, 6209 markings/sec, 90 secs
lola: 620223 markings, 698586 edges, 6030 markings/sec, 95 secs
lola: 650325 markings, 733793 edges, 6020 markings/sec, 100 secs
lola: 680553 markings, 769287 edges, 6046 markings/sec, 105 secs
lola: 710806 markings, 804074 edges, 6051 markings/sec, 110 secs
lola: 741039 markings, 839404 edges, 6047 markings/sec, 115 secs
lola: 771128 markings, 874914 edges, 6018 markings/sec, 120 secs
lola: 801272 markings, 909734 edges, 6029 markings/sec, 125 secs
lola: 831470 markings, 944583 edges, 6040 markings/sec, 130 secs
lola: 861586 markings, 979691 edges, 6023 markings/sec, 135 secs
lola: 891689 markings, 1015114 edges, 6021 markings/sec, 140 secs
lola: 921813 markings, 1050724 edges, 6025 markings/sec, 145 secs
lola: 951966 markings, 1086193 edges, 6031 markings/sec, 150 secs
lola: 982086 markings, 1120925 edges, 6024 markings/sec, 155 secs
lola: 1012203 markings, 1156643 edges, 6023 markings/sec, 160 secs
lola: 1042317 markings, 1192860 edges, 6023 markings/sec, 165 secs
lola: 1072473 markings, 1228769 edges, 6031 markings/sec, 170 secs
lola: 1102541 markings, 1264492 edges, 6014 markings/sec, 175 secs
lola: 1132659 markings, 1300733 edges, 6024 markings/sec, 180 secs
lola: 1162773 markings, 1336243 edges, 6023 markings/sec, 185 secs
lola: 1192843 markings, 1373466 edges, 6014 markings/sec, 190 secs
lola: 1223017 markings, 1409397 edges, 6035 markings/sec, 195 secs
lola: 1253047 markings, 1444931 edges, 6006 markings/sec, 200 secs
lola: 1283111 markings, 1480756 edges, 6013 markings/sec, 205 secs
lola: 1313123 markings, 1516317 edges, 6002 markings/sec, 210 secs
lola: 1343181 markings, 1552120 edges, 6012 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(NoSigAbort)
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: 37485 markings, 40279 edges, 7497 markings/sec, 0 secs
lola: 73645 markings, 82289 edges, 7232 markings/sec, 5 secs
lola: 109646 markings, 123833 edges, 7200 markings/sec, 10 secs
lola: 144701 markings, 166392 edges, 7011 markings/sec, 15 secs
lola: 179866 markings, 208781 edges, 7033 markings/sec, 20 secs
lola: 214384 markings, 251895 edges, 6904 markings/sec, 25 secs
lola: 249288 markings, 293381 edges, 6981 markings/sec, 30 secs
lola: 283858 markings, 335984 edges, 6914 markings/sec, 35 secs
lola: 319116 markings, 377525 edges, 7052 markings/sec, 40 secs
lola: 354105 markings, 419369 edges, 6998 markings/sec, 45 secs
lola: 388566 markings, 460409 edges, 6892 markings/sec, 50 secs
lola: 423193 markings, 500984 edges, 6925 markings/sec, 55 secs
lola: 458016 markings, 542381 edges, 6965 markings/sec, 60 secs
lola: 492851 markings, 582931 edges, 6967 markings/sec, 65 secs
lola: 527065 markings, 625588 edges, 6843 markings/sec, 70 secs
lola: 561532 markings, 667681 edges, 6893 markings/sec, 75 secs
lola: 595811 markings, 708274 edges, 6856 markings/sec, 80 secs
lola: 630225 markings, 749602 edges, 6883 markings/sec, 85 secs
lola: 664671 markings, 790301 edges, 6889 markings/sec, 90 secs
lola: 698860 markings, 832314 edges, 6838 markings/sec, 95 secs
lola: 733024 markings, 873706 edges, 6833 markings/sec, 100 secs
lola: 766886 markings, 914272 edges, 6772 markings/sec, 105 secs
lola: 801204 markings, 955665 edges, 6864 markings/sec, 110 secs
lola: 835301 markings, 996986 edges, 6819 markings/sec, 115 secs
lola: 869840 markings, 1038352 edges, 6908 markings/sec, 120 secs
lola: 903673 markings, 1080494 edges, 6767 markings/sec, 125 secs
lola: 937881 markings, 1122040 edges, 6842 markings/sec, 130 secs
lola: 972218 markings, 1162836 edges, 6867 markings/sec, 135 secs
lola: 1006229 markings, 1205523 edges, 6802 markings/sec, 140 secs
lola: 1040060 markings, 1248557 edges, 6766 markings/sec, 145 secs
lola: 1074076 markings, 1289125 edges, 6803 markings/sec, 150 secs
lola: 1108216 markings, 1330371 edges, 6828 markings/sec, 155 secs
lola: 1141800 markings, 1372148 edges, 6717 markings/sec, 160 secs
lola: 1176022 markings, 1413602 edges, 6844 markings/sec, 165 secs
lola: 1209681 markings, 1455168 edges, 6732 markings/sec, 170 secs
lola: 1243657 markings, 1496411 edges, 6795 markings/sec, 175 secs
lola: 1277332 markings, 1538487 edges, 6735 markings/sec, 180 secs
lola: 1311014 markings, 1579968 edges, 6736 markings/sec, 185 secs
lola: 1345020 markings, 1621197 edges, 6801 markings/sec, 190 secs
lola: 1378665 markings, 1662780 edges, 6729 markings/sec, 195 secs
lola: 1412383 markings, 1703717 edges, 6744 markings/sec, 200 secs
lola: 1446068 markings, 1745074 edges, 6737 markings/sec, 205 secs
lola: 1479807 markings, 1786253 edges, 6748 markings/sec, 210 secs
lola: 1513835 markings, 1826956 edges, 6806 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MarkerRead)
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: 33918 markings, 44671 edges, 6784 markings/sec, 0 secs
lola: 66521 markings, 90228 edges, 6521 markings/sec, 5 secs
lola: 99298 markings, 136944 edges, 6555 markings/sec, 10 secs
lola: 131496 markings, 182147 edges, 6440 markings/sec, 15 secs
lola: 163689 markings, 228669 edges, 6439 markings/sec, 20 secs
lola: 195596 markings, 273550 edges, 6381 markings/sec, 25 secs
lola: 227455 markings, 320230 edges, 6372 markings/sec, 30 secs
lola: 259654 markings, 367953 edges, 6440 markings/sec, 35 secs
lola: 291833 markings, 415917 edges, 6436 markings/sec, 40 secs
lola: 323559 markings, 464058 edges, 6345 markings/sec, 45 secs
lola: 355620 markings, 511599 edges, 6412 markings/sec, 50 secs
lola: 387274 markings, 560082 edges, 6331 markings/sec, 55 secs
lola: 418870 markings, 607734 edges, 6319 markings/sec, 60 secs
lola: 450626 markings, 655842 edges, 6351 markings/sec, 65 secs
lola: 482292 markings, 702757 edges, 6333 markings/sec, 70 secs
lola: 513940 markings, 751103 edges, 6330 markings/sec, 75 secs
lola: 545626 markings, 797458 edges, 6337 markings/sec, 80 secs
lola: 576940 markings, 843908 edges, 6263 markings/sec, 85 secs
lola: 608434 markings, 889840 edges, 6299 markings/sec, 90 secs
lola: 639858 markings, 937310 edges, 6285 markings/sec, 95 secs
lola: 671054 markings, 984983 edges, 6239 markings/sec, 100 secs
lola: 702479 markings, 1031670 edges, 6285 markings/sec, 105 secs
lola: 733696 markings, 1079070 edges, 6243 markings/sec, 110 secs
lola: 764979 markings, 1125329 edges, 6257 markings/sec, 115 secs
lola: 795828 markings, 1173875 edges, 6170 markings/sec, 120 secs
lola: 826951 markings, 1220957 edges, 6225 markings/sec, 125 secs
lola: 857985 markings, 1268406 edges, 6207 markings/sec, 130 secs
lola: 889244 markings, 1315381 edges, 6252 markings/sec, 135 secs
lola: 920540 markings, 1361447 edges, 6259 markings/sec, 140 secs
lola: 951724 markings, 1407490 edges, 6237 markings/sec, 145 secs
lola: 982804 markings, 1455781 edges, 6216 markings/sec, 150 secs
lola: 1013980 markings, 1501402 edges, 6235 markings/sec, 155 secs
lola: 1045077 markings, 1549517 edges, 6219 markings/sec, 160 secs
lola: 1076126 markings, 1596257 edges, 6210 markings/sec, 165 secs
lola: 1107499 markings, 1641969 edges, 6275 markings/sec, 170 secs
lola: 1138468 markings, 1691192 edges, 6194 markings/sec, 175 secs
lola: 1169701 markings, 1738096 edges, 6247 markings/sec, 180 secs
lola: 1200913 markings, 1786325 edges, 6242 markings/sec, 185 secs
lola: 1232152 markings, 1834693 edges, 6248 markings/sec, 190 secs
lola: 1262893 markings, 1882032 edges, 6148 markings/sec, 195 secs
lola: 1294055 markings, 1928158 edges, 6232 markings/sec, 200 secs
lola: 1325137 markings, 1974896 edges, 6216 markings/sec, 205 secs
lola: 1356329 markings, 2022156 edges, 6238 markings/sec, 210 secs
lola: 1387069 markings, 2069935 edges, 6148 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA 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 1494710275899

--------------------
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="PolyORBLF-PT-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/PolyORBLF-PT-S04J06T06.tgz
mv PolyORBLF-PT-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 PolyORBLF-PT-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 r048-smll-149440870000479"
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 ;