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

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

=== Now, execution of the tool begins

BK_START 1496443485908


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


checking for too many tokens
===========================================================================================
S_PolyORBLF-PT-S02J04T06: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-PT-S02J04T06 @ 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: 1396/65536 symbol table entries, 7 collisions
lola: preprocessing...
lola: finding significant places
lola: 476 places, 920 transitions, 430 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1243 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S02J04T06-UpperBounds.task
lola: MAX(Try_Check_Sources_E_1 + Try_Check_Sources_E_2 + Try_Check_Sources_E_3 + Try_Check_Sources_E_4 + Try_Check_Sources_E_5 + Try_Check_Sources_E_6) : MAX(DataOnSrc_1 + DataOnSrc_2) : MAX(Try_Check_Sources_B_1 + Try_Check_Sources_B_2 + Try_Check_Sources_B_3 + Try_Check_Sources_B_4 + Try_Check_Sources_B_5 + Try_Check_Sources_B_6) : MAX(P_1716) : MAX(P_1159_1 + P_1159_2 + P_1159_3 + P_1159_4 + P_1159_5 + P_1159_6) : MAX(NotifyEventJobQueuedB_2_0 + NotifyEventJobQueuedB_2_1 + NotifyEventJobQueuedB_2_2 + NotifyEventJobQueuedB_2_3 + NotifyEventJobQueuedB_2_4 + NotifyEventJobQueuedB_3_0 + NotifyEventJobQueuedB_3_1 + NotifyEventJobQueuedB_3_2 + NotifyEventJobQueuedB_3_3 + NotifyEventJobQueuedB_3_4 + NotifyEventJobQueuedB_4_0 + NotifyEventJobQueuedB_4_1 + NotifyEventJobQueuedB_4_2 + NotifyEventJobQueuedB_4_3 + NotifyEventJobQueuedB_4_4 + NotifyEventJobQueuedB_5_0 + NotifyEventJobQueuedB_5_1 + NotifyEventJobQueuedB_5_2 + NotifyEventJobQueuedB_5_3 + NotifyEventJobQueuedB_5_4 + NotifyEventJobQueuedB_6_0 + NotifyEventJobQueuedB_6_1 + NotifyEventJobQueuedB_6_2 + NotifyEventJobQueuedB_6_3 + NotifyEventJobQueuedB_6_4 + NotifyEventJobQueuedB_1_0 + NotifyEventJobQueuedB_1_1 + NotifyEventJobQueuedB_1_2 + NotifyEventJobQueuedB_1_3 + NotifyEventJobQueuedB_1_4) : MAX(MarkerRead) : MAX(cBlockedTasks) : MAX(PollingAbort) : MAX(EnablePollingB_1 + EnablePollingB_2 + EnablePollingB_3 + EnablePollingB_4 + EnablePollingB_5 + EnablePollingB_6) : MAX(cIdleTasks) : MAX(EnablePollingE_1 + EnablePollingE_2 + EnablePollingE_3 + EnablePollingE_4 + EnablePollingE_5 + EnablePollingE_6) : MAX(cIsMonitoring) : MAX(IdleTasks_6 + IdleTasks_5 + IdleTasks_4 + IdleTasks_3 + IdleTasks_2 + IdleTasks_1) : MAX(QueueJobE_1 + QueueJobE_2 + QueueJobE_3 + QueueJobE_4 + QueueJobE_5 + QueueJobE_6) : MAX(cIsMonitoring)
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(Try_Check_Sources_E_1 + Try_Check_Sources_E_2 + Try_Check_Sources_E_3 + Try_Check_Sources_E_4 + Try_Check_Sources_E_5 + Try_Check_Sources_E_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 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: 195982 markings, 208244 edges, 39196 markings/sec, 0 secs
lola: 387530 markings, 414046 edges, 38310 markings/sec, 5 secs
lola: 577572 markings, 618584 edges, 38008 markings/sec, 10 secs
lola: 765788 markings, 822545 edges, 37643 markings/sec, 15 secs
lola: 952564 markings, 1026198 edges, 37355 markings/sec, 20 secs
lola: 1138858 markings, 1230555 edges, 37259 markings/sec, 25 secs
lola: 1321926 markings, 1432480 edges, 36614 markings/sec, 30 secs
lola: 1504621 markings, 1633963 edges, 36539 markings/sec, 35 secs
lola: 1685806 markings, 1835314 edges, 36237 markings/sec, 40 secs
lola: 1866382 markings, 2036516 edges, 36115 markings/sec, 45 secs
lola: 2044577 markings, 2236228 edges, 35639 markings/sec, 50 secs
lola: 2221749 markings, 2434521 edges, 35434 markings/sec, 55 secs
lola: 2396606 markings, 2631989 edges, 34971 markings/sec, 60 secs
lola: 2570817 markings, 2829410 edges, 34842 markings/sec, 65 secs
lola: 2743851 markings, 3025918 edges, 34607 markings/sec, 70 secs
lola: 2917782 markings, 3222961 edges, 34786 markings/sec, 75 secs
lola: 3092310 markings, 3420371 edges, 34906 markings/sec, 80 secs
lola: 3263200 markings, 3616503 edges, 34178 markings/sec, 85 secs
lola: 3434198 markings, 3813215 edges, 34200 markings/sec, 90 secs
lola: 3606163 markings, 4009081 edges, 34393 markings/sec, 95 secs
lola: 3777698 markings, 4203470 edges, 34307 markings/sec, 100 secs
lola: 3949811 markings, 4399251 edges, 34423 markings/sec, 105 secs
lola: 4119080 markings, 4594901 edges, 33854 markings/sec, 110 secs
lola: 4288685 markings, 4791431 edges, 33921 markings/sec, 115 secs
lola: 4459688 markings, 4988823 edges, 34201 markings/sec, 120 secs
lola: 4627699 markings, 5184254 edges, 33602 markings/sec, 125 secs
lola: 4796635 markings, 5381908 edges, 33787 markings/sec, 130 secs
lola: 4965020 markings, 5580962 edges, 33677 markings/sec, 135 secs
lola: 5131915 markings, 5777862 edges, 33379 markings/sec, 140 secs
lola: 5294594 markings, 5970880 edges, 32536 markings/sec, 145 secs
lola: 5462131 markings, 6169440 edges, 33507 markings/sec, 150 secs
lola: 5631227 markings, 6368306 edges, 33819 markings/sec, 155 secs
lola: 5798710 markings, 6566838 edges, 33497 markings/sec, 160 secs
lola: 5967164 markings, 6766982 edges, 33691 markings/sec, 165 secs
lola: 6130746 markings, 6961372 edges, 32716 markings/sec, 170 secs
lola: 6297025 markings, 7157505 edges, 33256 markings/sec, 175 secs
lola: 6462431 markings, 7355402 edges, 33081 markings/sec, 180 secs
lola: 6626435 markings, 7553925 edges, 32801 markings/sec, 185 secs
lola: 6795362 markings, 7754436 edges, 33785 markings/sec, 190 secs
lola: 6963146 markings, 7953413 edges, 33557 markings/sec, 195 secs
lola: 7130398 markings, 8153880 edges, 33450 markings/sec, 200 secs
lola: 7290956 markings, 8345336 edges, 32112 markings/sec, 205 secs
lola: 7453131 markings, 8538477 edges, 32435 markings/sec, 210 secs
lola: 7620717 markings, 8739079 edges, 33517 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(DataOnSrc_1 + DataOnSrc_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 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: 191695 markings, 209270 edges, 38339 markings/sec, 0 secs
lola: 384435 markings, 422523 edges, 38548 markings/sec, 5 secs
lola: 574019 markings, 632226 edges, 37917 markings/sec, 10 secs
lola: 761501 markings, 840608 edges, 37496 markings/sec, 15 secs
lola: 949097 markings, 1049574 edges, 37519 markings/sec, 20 secs
lola: 1134971 markings, 1256936 edges, 37175 markings/sec, 25 secs
lola: 1319585 markings, 1462927 edges, 36923 markings/sec, 30 secs
lola: 1502346 markings, 1666889 edges, 36552 markings/sec, 35 secs
lola: 1683827 markings, 1870180 edges, 36296 markings/sec, 40 secs
lola: 1863765 markings, 2072241 edges, 35988 markings/sec, 45 secs
lola: 2041330 markings, 2272358 edges, 35513 markings/sec, 50 secs
lola: 2217199 markings, 2471211 edges, 35174 markings/sec, 55 secs
lola: 2391316 markings, 2668968 edges, 34823 markings/sec, 60 secs
lola: 2564648 markings, 2866007 edges, 34666 markings/sec, 65 secs
lola: 2735859 markings, 3060632 edges, 34242 markings/sec, 70 secs
lola: 2905539 markings, 3254665 edges, 33936 markings/sec, 75 secs
lola: 3073490 markings, 3448258 edges, 33590 markings/sec, 80 secs
lola: 3238905 markings, 3639394 edges, 33083 markings/sec, 85 secs
lola: 3405727 markings, 3832700 edges, 33364 markings/sec, 90 secs
lola: 3568335 markings, 4022012 edges, 32522 markings/sec, 95 secs
lola: 3731102 markings, 4212831 edges, 32553 markings/sec, 100 secs
lola: 3893323 markings, 4402805 edges, 32444 markings/sec, 105 secs
lola: 4055770 markings, 4593574 edges, 32489 markings/sec, 110 secs
lola: 4217951 markings, 4784829 edges, 32436 markings/sec, 115 secs
lola: 4382655 markings, 4979838 edges, 32941 markings/sec, 120 secs
lola: 4544108 markings, 5172853 edges, 32291 markings/sec, 125 secs
lola: 4706912 markings, 5366398 edges, 32561 markings/sec, 130 secs
lola: 4870737 markings, 5561487 edges, 32765 markings/sec, 135 secs
lola: 5034951 markings, 5757866 edges, 32843 markings/sec, 140 secs
lola: 5199445 markings, 5955705 edges, 32899 markings/sec, 145 secs
lola: 5362451 markings, 6150283 edges, 32601 markings/sec, 150 secs
lola: 5526442 markings, 6345724 edges, 32798 markings/sec, 155 secs
lola: 5691265 markings, 6543006 edges, 32965 markings/sec, 160 secs
lola: 5854475 markings, 6738348 edges, 32642 markings/sec, 165 secs
lola: 6017664 markings, 6932828 edges, 32638 markings/sec, 170 secs
lola: 6181891 markings, 7129873 edges, 32845 markings/sec, 175 secs
lola: 6347097 markings, 7327689 edges, 33041 markings/sec, 180 secs
lola: 6513102 markings, 7525906 edges, 33201 markings/sec, 185 secs
lola: 6677285 markings, 7723681 edges, 32837 markings/sec, 190 secs
lola: 6842196 markings, 7921782 edges, 32982 markings/sec, 195 secs
lola: 7008498 markings, 8122499 edges, 33260 markings/sec, 200 secs
lola: 7175364 markings, 8323762 edges, 33373 markings/sec, 205 secs
lola: 7341483 markings, 8524055 edges, 33224 markings/sec, 210 secs
lola: 7505699 markings, 8725089 edges, 32843 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(Try_Check_Sources_B_1 + Try_Check_Sources_B_2 + Try_Check_Sources_B_3 + Try_Check_Sources_B_4 + Try_Check_Sources_B_5 + Try_Check_Sources_B_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 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: 174974 markings, 202974 edges, 34995 markings/sec, 0 secs
lola: 352809 markings, 417464 edges, 35567 markings/sec, 5 secs
lola: 530772 markings, 632798 edges, 35593 markings/sec, 10 secs
lola: 707231 markings, 850827 edges, 35292 markings/sec, 15 secs
lola: 882421 markings, 1070212 edges, 35038 markings/sec, 20 secs
lola: 1057509 markings, 1286175 edges, 35018 markings/sec, 25 secs
lola: 1232714 markings, 1506296 edges, 35041 markings/sec, 30 secs
lola: 1409416 markings, 1728353 edges, 35340 markings/sec, 35 secs
lola: 1583887 markings, 1948168 edges, 34894 markings/sec, 40 secs
lola: 1759574 markings, 2164440 edges, 35137 markings/sec, 45 secs
lola: 1935941 markings, 2385034 edges, 35273 markings/sec, 50 secs
lola: 2111136 markings, 2602873 edges, 35039 markings/sec, 55 secs
lola: 2285616 markings, 2819489 edges, 34896 markings/sec, 60 secs
lola: 2458782 markings, 3034009 edges, 34633 markings/sec, 65 secs
lola: 2631878 markings, 3249874 edges, 34619 markings/sec, 70 secs
lola: 2805323 markings, 3466429 edges, 34689 markings/sec, 75 secs
lola: 2977457 markings, 3680291 edges, 34427 markings/sec, 80 secs
lola: 3149912 markings, 3891229 edges, 34491 markings/sec, 85 secs
lola: 3322093 markings, 4104211 edges, 34436 markings/sec, 90 secs
lola: 3493653 markings, 4315992 edges, 34312 markings/sec, 95 secs
lola: 3667379 markings, 4532991 edges, 34745 markings/sec, 100 secs
lola: 3840756 markings, 4747653 edges, 34675 markings/sec, 105 secs
lola: 4013636 markings, 4963590 edges, 34576 markings/sec, 110 secs
lola: 4186111 markings, 5180245 edges, 34495 markings/sec, 115 secs
lola: 4356636 markings, 5391364 edges, 34105 markings/sec, 120 secs
lola: 4527170 markings, 5602610 edges, 34107 markings/sec, 125 secs
lola: 4697041 markings, 5815469 edges, 33974 markings/sec, 130 secs
lola: 4866656 markings, 6022806 edges, 33923 markings/sec, 135 secs
lola: 5033721 markings, 6226214 edges, 33413 markings/sec, 140 secs
lola: 5202396 markings, 6434451 edges, 33735 markings/sec, 145 secs
lola: 5367597 markings, 6633721 edges, 33040 markings/sec, 150 secs
lola: 5534696 markings, 6840633 edges, 33420 markings/sec, 155 secs
lola: 5702612 markings, 7051337 edges, 33583 markings/sec, 160 secs
lola: 5869824 markings, 7259067 edges, 33442 markings/sec, 165 secs
lola: 6036155 markings, 7465409 edges, 33266 markings/sec, 170 secs
lola: 6203868 markings, 7674153 edges, 33543 markings/sec, 175 secs
lola: 6370476 markings, 7882482 edges, 33322 markings/sec, 180 secs
lola: 6537327 markings, 8088670 edges, 33370 markings/sec, 185 secs
lola: 6704775 markings, 8298724 edges, 33490 markings/sec, 190 secs
lola: 6872368 markings, 8507711 edges, 33519 markings/sec, 195 secs
lola: 7038312 markings, 8713604 edges, 33189 markings/sec, 200 secs
lola: 7204614 markings, 8919827 edges, 33260 markings/sec, 205 secs
lola: 7368601 markings, 9119143 edges, 32797 markings/sec, 210 secs
lola: 7533534 markings, 9320671 edges, 32987 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_1716)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 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: 159734 markings, 192507 edges, 31947 markings/sec, 0 secs
lola: 326037 markings, 396473 edges, 33261 markings/sec, 5 secs
lola: 491247 markings, 599186 edges, 33042 markings/sec, 10 secs
lola: 655839 markings, 800090 edges, 32918 markings/sec, 15 secs
lola: 819291 markings, 1000515 edges, 32690 markings/sec, 20 secs
lola: 981549 markings, 1202476 edges, 32452 markings/sec, 25 secs
lola: 1137477 markings, 1393268 edges, 31186 markings/sec, 30 secs
lola: 1288073 markings, 1580961 edges, 30119 markings/sec, 35 secs
lola: 1438731 markings, 1766865 edges, 30132 markings/sec, 40 secs
lola: 1589521 markings, 1951996 edges, 30158 markings/sec, 45 secs
lola: 1739579 markings, 2137598 edges, 30012 markings/sec, 50 secs
lola: 1889693 markings, 2323562 edges, 30023 markings/sec, 55 secs
lola: 2039059 markings, 2508996 edges, 29873 markings/sec, 60 secs
lola: 2188544 markings, 2694790 edges, 29897 markings/sec, 65 secs
lola: 2339149 markings, 2883785 edges, 30121 markings/sec, 70 secs
lola: 2497596 markings, 3081194 edges, 31689 markings/sec, 75 secs
lola: 2655716 markings, 3279452 edges, 31624 markings/sec, 80 secs
lola: 2813552 markings, 3479228 edges, 31567 markings/sec, 85 secs
lola: 2970982 markings, 3677688 edges, 31486 markings/sec, 90 secs
lola: 3128439 markings, 3875266 edges, 31491 markings/sec, 95 secs
lola: 3285868 markings, 4072491 edges, 31486 markings/sec, 100 secs
lola: 3443841 markings, 4269113 edges, 31595 markings/sec, 105 secs
lola: 3600906 markings, 4464588 edges, 31413 markings/sec, 110 secs
lola: 3758050 markings, 4660723 edges, 31429 markings/sec, 115 secs
lola: 3915733 markings, 4855114 edges, 31537 markings/sec, 120 secs
lola: 4072823 markings, 5048238 edges, 31418 markings/sec, 125 secs
lola: 4229600 markings, 5242376 edges, 31355 markings/sec, 130 secs
lola: 4386137 markings, 5435563 edges, 31307 markings/sec, 135 secs
lola: 4542962 markings, 5629968 edges, 31365 markings/sec, 140 secs
lola: 4700909 markings, 5821288 edges, 31589 markings/sec, 145 secs
lola: 4857897 markings, 6013190 edges, 31398 markings/sec, 150 secs
lola: 5014345 markings, 6205872 edges, 31290 markings/sec, 155 secs
lola: 5170727 markings, 6396346 edges, 31276 markings/sec, 160 secs
lola: 5326845 markings, 6587335 edges, 31224 markings/sec, 165 secs
lola: 5484013 markings, 6777490 edges, 31434 markings/sec, 170 secs
lola: 5640115 markings, 6972055 edges, 31220 markings/sec, 175 secs
lola: 5796143 markings, 7164054 edges, 31206 markings/sec, 180 secs
lola: 5952005 markings, 7352855 edges, 31172 markings/sec, 185 secs
lola: 6107432 markings, 7543376 edges, 31085 markings/sec, 190 secs
lola: 6262813 markings, 7735876 edges, 31076 markings/sec, 195 secs
lola: 6418504 markings, 7927708 edges, 31138 markings/sec, 200 secs
lola: 6574077 markings, 8117303 edges, 31115 markings/sec, 205 secs
lola: 6729144 markings, 8307286 edges, 31013 markings/sec, 210 secs
lola: 6884357 markings, 8497135 edges, 31043 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_1159_1 + P_1159_2 + P_1159_3 + P_1159_4 + P_1159_5 + P_1159_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 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: 151651 markings, 180577 edges, 30330 markings/sec, 0 secs
lola: 300019 markings, 357951 edges, 29674 markings/sec, 5 secs
lola: 449469 markings, 538395 edges, 29890 markings/sec, 10 secs
lola: 598909 markings, 719518 edges, 29888 markings/sec, 15 secs
lola: 747176 markings, 899791 edges, 29653 markings/sec, 20 secs
lola: 894905 markings, 1079152 edges, 29546 markings/sec, 25 secs
lola: 1020208 markings, 1231281 edges, 25061 markings/sec, 30 secs
lola: 1112026 markings, 1342695 edges, 18364 markings/sec, 35 secs
lola: 1203545 markings, 1453457 edges, 18304 markings/sec, 40 secs
lola: 1294798 markings, 1564188 edges, 18251 markings/sec, 45 secs
lola: 1386528 markings, 1675378 edges, 18346 markings/sec, 50 secs
lola: 1477608 markings, 1785826 edges, 18216 markings/sec, 55 secs
lola: 1569205 markings, 1897338 edges, 18319 markings/sec, 60 secs
lola: 1660408 markings, 2007869 edges, 18241 markings/sec, 65 secs
lola: 1751534 markings, 2119067 edges, 18225 markings/sec, 70 secs
lola: 1842811 markings, 2230315 edges, 18255 markings/sec, 75 secs
lola: 1933828 markings, 2341011 edges, 18203 markings/sec, 80 secs
lola: 2024799 markings, 2451956 edges, 18194 markings/sec, 85 secs
lola: 2116034 markings, 2562479 edges, 18247 markings/sec, 90 secs
lola: 2207625 markings, 2672981 edges, 18318 markings/sec, 95 secs
lola: 2298171 markings, 2783027 edges, 18109 markings/sec, 100 secs
lola: 2389547 markings, 2893229 edges, 18275 markings/sec, 105 secs
lola: 2480718 markings, 3003270 edges, 18234 markings/sec, 110 secs
lola: 2571858 markings, 3114417 edges, 18228 markings/sec, 115 secs
lola: 2663225 markings, 3225207 edges, 18273 markings/sec, 120 secs
lola: 2754411 markings, 3335700 edges, 18237 markings/sec, 125 secs
lola: 2846448 markings, 3445864 edges, 18407 markings/sec, 130 secs
lola: 2937854 markings, 3556665 edges, 18281 markings/sec, 135 secs
lola: 3029598 markings, 3666393 edges, 18349 markings/sec, 140 secs
lola: 3121560 markings, 3776289 edges, 18392 markings/sec, 145 secs
lola: 3212826 markings, 3884717 edges, 18253 markings/sec, 150 secs
lola: 3304085 markings, 3994812 edges, 18252 markings/sec, 155 secs
lola: 3394850 markings, 4105140 edges, 18153 markings/sec, 160 secs
lola: 3486176 markings, 4214785 edges, 18265 markings/sec, 165 secs
lola: 3577185 markings, 4322785 edges, 18202 markings/sec, 170 secs
lola: 3668993 markings, 4432120 edges, 18362 markings/sec, 175 secs
lola: 3759616 markings, 4540645 edges, 18125 markings/sec, 180 secs
lola: 3849731 markings, 4649104 edges, 18023 markings/sec, 185 secs
lola: 3940997 markings, 4758355 edges, 18253 markings/sec, 190 secs
lola: 4031841 markings, 4869297 edges, 18169 markings/sec, 195 secs
lola: 4123273 markings, 4978095 edges, 18286 markings/sec, 200 secs
lola: 4214078 markings, 5086599 edges, 18161 markings/sec, 205 secs
lola: 4304754 markings, 5195358 edges, 18135 markings/sec, 210 secs
lola: 4394767 markings, 5304527 edges, 18003 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(NotifyEventJobQueuedB_2_0 + NotifyEventJobQueuedB_2_1 + NotifyEventJobQueuedB_2_2 + NotifyEventJobQueuedB_2_3 + NotifyEventJobQueuedB_2_4 + NotifyEventJobQueuedB_3_0 + NotifyEventJobQueuedB_3_1 + NotifyEventJobQueuedB_3_2 + NotifyEventJobQueuedB_3_3 + NotifyEventJobQueuedB_3_4 + NotifyEventJobQueuedB_4_0 + NotifyEventJobQueuedB_4_1 + NotifyEventJobQueuedB_4_2 + NotifyEventJobQueuedB_4_3 + Noti... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 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: 110097 markings, 130800 edges, 22019 markings/sec, 0 secs
lola: 208013 markings, 247821 edges, 19583 markings/sec, 5 secs
lola: 305570 markings, 365068 edges, 19511 markings/sec, 10 secs
lola: 402601 markings, 481410 edges, 19406 markings/sec, 15 secs
lola: 499789 markings, 597886 edges, 19438 markings/sec, 20 secs
lola: 596235 markings, 714769 edges, 19289 markings/sec, 25 secs
lola: 693078 markings, 831720 edges, 19369 markings/sec, 30 secs
lola: 789162 markings, 948498 edges, 19217 markings/sec, 35 secs
lola: 885024 markings, 1064436 edges, 19172 markings/sec, 40 secs
lola: 980632 markings, 1179322 edges, 19122 markings/sec, 45 secs
lola: 1076028 markings, 1294967 edges, 19079 markings/sec, 50 secs
lola: 1171380 markings, 1410375 edges, 19070 markings/sec, 55 secs
lola: 1266868 markings, 1526282 edges, 19098 markings/sec, 60 secs
lola: 1362471 markings, 1642437 edges, 19121 markings/sec, 65 secs
lola: 1457611 markings, 1757095 edges, 19028 markings/sec, 70 secs
lola: 1552645 markings, 1872886 edges, 19007 markings/sec, 75 secs
lola: 1648244 markings, 1989124 edges, 19120 markings/sec, 80 secs
lola: 1742930 markings, 2104539 edges, 18937 markings/sec, 85 secs
lola: 1837794 markings, 2219622 edges, 18973 markings/sec, 90 secs
lola: 1932725 markings, 2335366 edges, 18986 markings/sec, 95 secs
lola: 2027836 markings, 2451652 edges, 19022 markings/sec, 100 secs
lola: 2122059 markings, 2566403 edges, 18845 markings/sec, 105 secs
lola: 2216694 markings, 2682128 edges, 18927 markings/sec, 110 secs
lola: 2311674 markings, 2797627 edges, 18996 markings/sec, 115 secs
lola: 2405922 markings, 2912044 edges, 18850 markings/sec, 120 secs
lola: 2500393 markings, 3027272 edges, 18894 markings/sec, 125 secs
lola: 2594927 markings, 3142019 edges, 18907 markings/sec, 130 secs
lola: 2689526 markings, 3257985 edges, 18920 markings/sec, 135 secs
lola: 2784494 markings, 3373084 edges, 18994 markings/sec, 140 secs
lola: 2879427 markings, 3487557 edges, 18987 markings/sec, 145 secs
lola: 2974226 markings, 3601060 edges, 18960 markings/sec, 150 secs
lola: 3068765 markings, 3715616 edges, 18908 markings/sec, 155 secs
lola: 3163083 markings, 3829649 edges, 18864 markings/sec, 160 secs
lola: 3257837 markings, 3943699 edges, 18951 markings/sec, 165 secs
lola: 3352318 markings, 4057188 edges, 18896 markings/sec, 170 secs
lola: 3447327 markings, 4171372 edges, 19002 markings/sec, 175 secs
lola: 3542503 markings, 4283489 edges, 19035 markings/sec, 180 secs
lola: 3636396 markings, 4395837 edges, 18779 markings/sec, 185 secs
lola: 3732198 markings, 4507926 edges, 19160 markings/sec, 190 secs
lola: 3826665 markings, 4620552 edges, 18893 markings/sec, 195 secs
lola: 3920719 markings, 4731699 edges, 18811 markings/sec, 200 secs
lola: 4014597 markings, 4845476 edges, 18776 markings/sec, 205 secs
lola: 4110726 markings, 4957469 edges, 19226 markings/sec, 210 secs
lola: 4207056 markings, 5068598 edges, 19266 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(MarkerRead)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 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: 165561 markings, 200370 edges, 33112 markings/sec, 0 secs
lola: 324774 markings, 395136 edges, 31843 markings/sec, 5 secs
lola: 486418 markings, 592272 edges, 32329 markings/sec, 10 secs
lola: 646977 markings, 786548 edges, 32112 markings/sec, 15 secs
lola: 803777 markings, 977577 edges, 31360 markings/sec, 20 secs
lola: 961609 markings, 1174810 edges, 31566 markings/sec, 25 secs
lola: 1120286 markings, 1370046 edges, 31735 markings/sec, 30 secs
lola: 1276930 markings, 1562995 edges, 31329 markings/sec, 35 secs
lola: 1434129 markings, 1758544 edges, 31440 markings/sec, 40 secs
lola: 1590657 markings, 1951701 edges, 31306 markings/sec, 45 secs
lola: 1747309 markings, 2146518 edges, 31330 markings/sec, 50 secs
lola: 1901765 markings, 2337465 edges, 30891 markings/sec, 55 secs
lola: 2054759 markings, 2528238 edges, 30599 markings/sec, 60 secs
lola: 2210517 markings, 2722344 edges, 31152 markings/sec, 65 secs
lola: 2363151 markings, 2912584 edges, 30527 markings/sec, 70 secs
lola: 2518000 markings, 3107312 edges, 30970 markings/sec, 75 secs
lola: 2670492 markings, 3297365 edges, 30498 markings/sec, 80 secs
lola: 2825100 markings, 3491394 edges, 30922 markings/sec, 85 secs
lola: 2979880 markings, 3685306 edges, 30956 markings/sec, 90 secs
lola: 3132193 markings, 3874565 edges, 30463 markings/sec, 95 secs
lola: 3284797 markings, 4063729 edges, 30521 markings/sec, 100 secs
lola: 3438608 markings, 4254425 edges, 30762 markings/sec, 105 secs
lola: 3593225 markings, 4446928 edges, 30923 markings/sec, 110 secs
lola: 3747763 markings, 4639837 edges, 30908 markings/sec, 115 secs
lola: 3903155 markings, 4831555 edges, 31078 markings/sec, 120 secs
lola: 4058523 markings, 5023830 edges, 31074 markings/sec, 125 secs
lola: 4213288 markings, 5215264 edges, 30953 markings/sec, 130 secs
lola: 4369468 markings, 5407013 edges, 31236 markings/sec, 135 secs
lola: 4532084 markings, 5607033 edges, 32523 markings/sec, 140 secs
lola: 4694498 markings, 5806770 edges, 32483 markings/sec, 145 secs
lola: 4856605 markings, 6005389 edges, 32421 markings/sec, 150 secs
lola: 5019457 markings, 6203166 edges, 32570 markings/sec, 155 secs
lola: 5181105 markings, 6402570 edges, 32330 markings/sec, 160 secs
lola: 5343491 markings, 6601508 edges, 32477 markings/sec, 165 secs
lola: 5504708 markings, 6801142 edges, 32243 markings/sec, 170 secs
lola: 5666322 markings, 6999974 edges, 32323 markings/sec, 175 secs
lola: 5827952 markings, 7200186 edges, 32326 markings/sec, 180 secs
lola: 5988787 markings, 7398889 edges, 32167 markings/sec, 185 secs
lola: 6150223 markings, 7595868 edges, 32287 markings/sec, 190 secs
lola: 6310810 markings, 7792410 edges, 32117 markings/sec, 195 secs
lola: 6473301 markings, 7989998 edges, 32498 markings/sec, 200 secs
lola: 6633861 markings, 8187578 edges, 32112 markings/sec, 205 secs
lola: 6795630 markings, 8384221 edges, 32354 markings/sec, 210 secs
lola: 6955549 markings, 8581890 edges, 31984 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(cBlockedTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 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: 196064 markings, 208329 edges, 39213 markings/sec, 0 secs
lola: 387956 markings, 414509 edges, 38378 markings/sec, 5 secs
lola: 577991 markings, 619032 edges, 38007 markings/sec, 10 secs
lola: 766010 markings, 822781 edges, 37604 markings/sec, 15 secs
lola: 952848 markings, 1026491 edges, 37368 markings/sec, 20 secs
lola: 1139357 markings, 1231115 edges, 37302 markings/sec, 25 secs
lola: 1322416 markings, 1433015 edges, 36612 markings/sec, 30 secs
lola: 1505647 markings, 1635155 edges, 36646 markings/sec, 35 secs
lola: 1687110 markings, 1836738 edges, 36293 markings/sec, 40 secs
lola: 1867856 markings, 2038139 edges, 36149 markings/sec, 45 secs
lola: 2046255 markings, 2238183 edges, 35680 markings/sec, 50 secs
lola: 2223399 markings, 2436446 edges, 35429 markings/sec, 55 secs
lola: 2398585 markings, 2634149 edges, 35037 markings/sec, 60 secs
lola: 2572937 markings, 2831789 edges, 34870 markings/sec, 65 secs
lola: 2745889 markings, 3028191 edges, 34590 markings/sec, 70 secs
lola: 2920110 markings, 3225492 edges, 34844 markings/sec, 75 secs
lola: 3094836 markings, 3423233 edges, 34945 markings/sec, 80 secs
lola: 3265665 markings, 3619482 edges, 34166 markings/sec, 85 secs
lola: 3437121 markings, 3816504 edges, 34291 markings/sec, 90 secs
lola: 3609102 markings, 4012302 edges, 34396 markings/sec, 95 secs
lola: 3780716 markings, 4207033 edges, 34323 markings/sec, 100 secs
lola: 3952973 markings, 4402916 edges, 34451 markings/sec, 105 secs
lola: 4122237 markings, 4598710 edges, 33853 markings/sec, 110 secs
lola: 4292270 markings, 4795754 edges, 34007 markings/sec, 115 secs
lola: 4463673 markings, 4993401 edges, 34281 markings/sec, 120 secs
lola: 4631814 markings, 5189121 edges, 33628 markings/sec, 125 secs
lola: 4801038 markings, 5387109 edges, 33845 markings/sec, 130 secs
lola: 4969976 markings, 5586572 edges, 33788 markings/sec, 135 secs
lola: 5137487 markings, 5784477 edges, 33502 markings/sec, 140 secs
lola: 5300692 markings, 5978102 edges, 32641 markings/sec, 145 secs
lola: 5468455 markings, 6176978 edges, 33553 markings/sec, 150 secs
lola: 5638015 markings, 6376318 edges, 33912 markings/sec, 155 secs
lola: 5806066 markings, 6575311 edges, 33610 markings/sec, 160 secs
lola: 5974474 markings, 6775619 edges, 33682 markings/sec, 165 secs
lola: 6138380 markings, 6970364 edges, 32781 markings/sec, 170 secs
lola: 6305185 markings, 7167234 edges, 33361 markings/sec, 175 secs
lola: 6470759 markings, 7365429 edges, 33115 markings/sec, 180 secs
lola: 6635593 markings, 7564644 edges, 32967 markings/sec, 185 secs
lola: 6804316 markings, 7765001 edges, 33745 markings/sec, 190 secs
lola: 6972500 markings, 7964407 edges, 33637 markings/sec, 195 secs
lola: 7139083 markings, 8164082 edges, 33317 markings/sec, 200 secs
lola: 7303099 markings, 8359737 edges, 32803 markings/sec, 205 secs
lola: 7466535 markings, 8554686 edges, 32687 markings/sec, 210 secs
lola: 7634577 markings, 8755303 edges, 33608 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(PollingAbort)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 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: 188709 markings, 202703 edges, 37742 markings/sec, 0 secs
lola: 372816 markings, 402989 edges, 36821 markings/sec, 5 secs
lola: 555352 markings, 601845 edges, 36507 markings/sec, 10 secs
lola: 736570 markings, 800031 edges, 36244 markings/sec, 15 secs
lola: 916486 markings, 998006 edges, 35983 markings/sec, 20 secs
lola: 1094405 markings, 1193941 edges, 35584 markings/sec, 25 secs
lola: 1270991 markings, 1389622 edges, 35317 markings/sec, 30 secs
lola: 1443970 markings, 1582786 edges, 34596 markings/sec, 35 secs
lola: 1615834 markings, 1774773 edges, 34373 markings/sec, 40 secs
lola: 1785452 markings, 1964674 edges, 33924 markings/sec, 45 secs
lola: 1955281 markings, 2155944 edges, 33966 markings/sec, 50 secs
lola: 2126164 markings, 2344857 edges, 34177 markings/sec, 55 secs
lola: 2294230 markings, 2535291 edges, 33613 markings/sec, 60 secs
lola: 2461499 markings, 2724551 edges, 33454 markings/sec, 65 secs
lola: 2627556 markings, 2913344 edges, 33211 markings/sec, 70 secs
lola: 2792406 markings, 3102395 edges, 32970 markings/sec, 75 secs
lola: 2958546 markings, 3290891 edges, 33228 markings/sec, 80 secs
lola: 3125357 markings, 3481397 edges, 33362 markings/sec, 85 secs
lola: 3288994 markings, 3669385 edges, 32727 markings/sec, 90 secs
lola: 3453078 markings, 3858805 edges, 32817 markings/sec, 95 secs
lola: 3617071 markings, 4046703 edges, 32799 markings/sec, 100 secs
lola: 3780731 markings, 4235981 edges, 32732 markings/sec, 105 secs
lola: 3944743 markings, 4423887 edges, 32802 markings/sec, 110 secs
lola: 4106532 markings, 4613462 edges, 32358 markings/sec, 115 secs
lola: 4269050 markings, 4804351 edges, 32504 markings/sec, 120 secs
lola: 4432705 markings, 4993286 edges, 32731 markings/sec, 125 secs
lola: 4594979 markings, 5184086 edges, 32455 markings/sec, 130 secs
lola: 4757451 markings, 5371978 edges, 32494 markings/sec, 135 secs
lola: 4922265 markings, 5563650 edges, 32963 markings/sec, 140 secs
lola: 5085158 markings, 5754520 edges, 32579 markings/sec, 145 secs
lola: 5247612 markings, 5945473 edges, 32491 markings/sec, 150 secs
lola: 5412981 markings, 6137450 edges, 33074 markings/sec, 155 secs
lola: 5574644 markings, 6328237 edges, 32333 markings/sec, 160 secs
lola: 5735735 markings, 6519979 edges, 32218 markings/sec, 165 secs
lola: 5899142 markings, 6713239 edges, 32681 markings/sec, 170 secs
lola: 6062003 markings, 6905573 edges, 32572 markings/sec, 175 secs
lola: 6223283 markings, 7097894 edges, 32256 markings/sec, 180 secs
lola: 6386324 markings, 7293720 edges, 32608 markings/sec, 185 secs
lola: 6548454 markings, 7487578 edges, 32426 markings/sec, 190 secs
lola: 6709994 markings, 7680785 edges, 32308 markings/sec, 195 secs
lola: 6872255 markings, 7875686 edges, 32452 markings/sec, 200 secs
lola: 7033650 markings, 8069589 edges, 32279 markings/sec, 205 secs
lola: 7193007 markings, 8262061 edges, 31871 markings/sec, 210 secs
lola: 7354290 markings, 8454709 edges, 32257 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(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 1720 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: 192962 markings, 210718 edges, 38592 markings/sec, 0 secs
lola: 377370 markings, 414730 edges, 36882 markings/sec, 5 secs
lola: 558525 markings, 614968 edges, 36231 markings/sec, 10 secs
lola: 738040 markings, 814643 edges, 35903 markings/sec, 15 secs
lola: 916897 markings, 1013686 edges, 35771 markings/sec, 20 secs
lola: 1094206 markings, 1211435 edges, 35462 markings/sec, 25 secs
lola: 1270771 markings, 1408464 edges, 35313 markings/sec, 30 secs
lola: 1444848 markings, 1602662 edges, 34815 markings/sec, 35 secs
lola: 1621950 markings, 1800784 edges, 35420 markings/sec, 40 secs
lola: 1802378 markings, 2003426 edges, 36086 markings/sec, 45 secs
lola: 1981792 markings, 2205143 edges, 35883 markings/sec, 50 secs
lola: 2157945 markings, 2404356 edges, 35231 markings/sec, 55 secs
lola: 2324979 markings, 2593817 edges, 33407 markings/sec, 60 secs
lola: 2490683 markings, 2781808 edges, 33141 markings/sec, 65 secs
lola: 2654507 markings, 2968452 edges, 32765 markings/sec, 70 secs
lola: 2817168 markings, 3153573 edges, 32532 markings/sec, 75 secs
lola: 2978814 markings, 3338871 edges, 32329 markings/sec, 80 secs
lola: 3138526 markings, 3523681 edges, 31942 markings/sec, 85 secs
lola: 3297280 markings, 3707118 edges, 31751 markings/sec, 90 secs
lola: 3453368 markings, 3888046 edges, 31218 markings/sec, 95 secs
lola: 3606879 markings, 4066745 edges, 30702 markings/sec, 100 secs
lola: 3759583 markings, 4245970 edges, 30541 markings/sec, 105 secs
lola: 3912069 markings, 4424791 edges, 30497 markings/sec, 110 secs
lola: 4064430 markings, 4603752 edges, 30472 markings/sec, 115 secs
lola: 4219482 markings, 4786662 edges, 31010 markings/sec, 120 secs
lola: 4375482 markings, 4971193 edges, 31200 markings/sec, 125 secs
lola: 4527417 markings, 5153011 edges, 30387 markings/sec, 130 secs
lola: 4683158 markings, 5338220 edges, 31148 markings/sec, 135 secs
lola: 4839426 markings, 5524164 edges, 31254 markings/sec, 140 secs
lola: 4997121 markings, 5712588 edges, 31539 markings/sec, 145 secs
lola: 5153464 markings, 5900815 edges, 31269 markings/sec, 150 secs
lola: 5307500 markings, 6084835 edges, 30807 markings/sec, 155 secs
lola: 5460999 markings, 6267669 edges, 30700 markings/sec, 160 secs
lola: 5623169 markings, 6462023 edges, 32434 markings/sec, 165 secs
lola: 5787002 markings, 6657431 edges, 32767 markings/sec, 170 secs
lola: 5948716 markings, 6850304 edges, 32343 markings/sec, 175 secs
lola: 6111656 markings, 7045191 edges, 32588 markings/sec, 180 secs
lola: 6272981 markings, 7238589 edges, 32265 markings/sec, 185 secs
lola: 6434430 markings, 7431770 edges, 32290 markings/sec, 190 secs
lola: 6596039 markings, 7626157 edges, 32322 markings/sec, 195 secs
lola: 6757391 markings, 7820102 edges, 32270 markings/sec, 200 secs
lola: 6919898 markings, 8015872 edges, 32501 markings/sec, 205 secs
lola: 7082858 markings, 8212368 edges, 32592 markings/sec, 210 secs
lola: 7246375 markings, 8409811 edges, 32703 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(cIdleTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 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: 164915 markings, 187369 edges, 32983 markings/sec, 0 secs
lola: 325745 markings, 377583 edges, 32166 markings/sec, 5 secs
lola: 485056 markings, 565331 edges, 31862 markings/sec, 10 secs
lola: 642441 markings, 752943 edges, 31477 markings/sec, 15 secs
lola: 797866 markings, 939401 edges, 31085 markings/sec, 20 secs
lola: 951506 markings, 1124341 edges, 30728 markings/sec, 25 secs
lola: 1104480 markings, 1307451 edges, 30595 markings/sec, 30 secs
lola: 1256244 markings, 1489597 edges, 30353 markings/sec, 35 secs
lola: 1406663 markings, 1673130 edges, 30084 markings/sec, 40 secs
lola: 1556624 markings, 1856147 edges, 29992 markings/sec, 45 secs
lola: 1705831 markings, 2036785 edges, 29841 markings/sec, 50 secs
lola: 1855163 markings, 2219136 edges, 29866 markings/sec, 55 secs
lola: 2003737 markings, 2398830 edges, 29715 markings/sec, 60 secs
lola: 2152168 markings, 2579111 edges, 29686 markings/sec, 65 secs
lola: 2299291 markings, 2758329 edges, 29425 markings/sec, 70 secs
lola: 2442450 markings, 2932673 edges, 28632 markings/sec, 75 secs
lola: 2583801 markings, 3103368 edges, 28270 markings/sec, 80 secs
lola: 2730312 markings, 3282290 edges, 29302 markings/sec, 85 secs
lola: 2876280 markings, 3459051 edges, 29194 markings/sec, 90 secs
lola: 3021831 markings, 3633602 edges, 29110 markings/sec, 95 secs
lola: 3166348 markings, 3808240 edges, 28903 markings/sec, 100 secs
lola: 3312024 markings, 3983906 edges, 29135 markings/sec, 105 secs
lola: 3450373 markings, 4150318 edges, 27670 markings/sec, 110 secs
lola: 3593307 markings, 4321116 edges, 28587 markings/sec, 115 secs
lola: 3730946 markings, 4486780 edges, 27528 markings/sec, 120 secs
lola: 3868227 markings, 4652017 edges, 27456 markings/sec, 125 secs
lola: 4010790 markings, 4827002 edges, 28513 markings/sec, 130 secs
lola: 4153560 markings, 5000257 edges, 28554 markings/sec, 135 secs
lola: 4297151 markings, 5175664 edges, 28718 markings/sec, 140 secs
lola: 4433935 markings, 5344322 edges, 27357 markings/sec, 145 secs
lola: 4575661 markings, 5518416 edges, 28345 markings/sec, 150 secs
lola: 4718190 markings, 5693758 edges, 28506 markings/sec, 155 secs
lola: 4857476 markings, 5865712 edges, 27857 markings/sec, 160 secs
lola: 4998607 markings, 6037934 edges, 28226 markings/sec, 165 secs
lola: 5135257 markings, 6207195 edges, 27330 markings/sec, 170 secs
lola: 5278076 markings, 6382861 edges, 28564 markings/sec, 175 secs
lola: 5414522 markings, 6552509 edges, 27289 markings/sec, 180 secs
lola: 5552703 markings, 6723580 edges, 27636 markings/sec, 185 secs
lola: 5687988 markings, 6892067 edges, 27057 markings/sec, 190 secs
lola: 5823444 markings, 7062109 edges, 27091 markings/sec, 195 secs
lola: 5958722 markings, 7229200 edges, 27056 markings/sec, 200 secs
lola: 6094116 markings, 7397776 edges, 27079 markings/sec, 205 secs
lola: 6230087 markings, 7564795 edges, 27194 markings/sec, 210 secs
lola: 6365451 markings, 7732086 edges, 27073 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(EnablePollingE_1 + EnablePollingE_2 + EnablePollingE_3 + EnablePollingE_4 + EnablePollingE_5 + EnablePollingE_6)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 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: 185752 markings, 200768 edges, 37150 markings/sec, 0 secs
lola: 368562 markings, 401697 edges, 36562 markings/sec, 5 secs
lola: 549739 markings, 601049 edges, 36235 markings/sec, 10 secs
lola: 729466 markings, 798026 edges, 35945 markings/sec, 15 secs
lola: 908264 markings, 995299 edges, 35760 markings/sec, 20 secs
lola: 1086134 markings, 1191817 edges, 35574 markings/sec, 25 secs
lola: 1263849 markings, 1388301 edges, 35543 markings/sec, 30 secs
lola: 1440546 markings, 1584014 edges, 35339 markings/sec, 35 secs
lola: 1617055 markings, 1779691 edges, 35302 markings/sec, 40 secs
lola: 1793460 markings, 1976120 edges, 35281 markings/sec, 45 secs
lola: 1968706 markings, 2170690 edges, 35049 markings/sec, 50 secs
lola: 2143070 markings, 2365271 edges, 34873 markings/sec, 55 secs
lola: 2315666 markings, 2558558 edges, 34519 markings/sec, 60 secs
lola: 2488603 markings, 2751532 edges, 34587 markings/sec, 65 secs
lola: 2660399 markings, 2943834 edges, 34359 markings/sec, 70 secs
lola: 2831295 markings, 3135995 edges, 34179 markings/sec, 75 secs
lola: 2999553 markings, 3324225 edges, 33652 markings/sec, 80 secs
lola: 3166362 markings, 3512867 edges, 33362 markings/sec, 85 secs
lola: 3332540 markings, 3700891 edges, 33236 markings/sec, 90 secs
lola: 3496165 markings, 3885650 edges, 32725 markings/sec, 95 secs
lola: 3659474 markings, 4071384 edges, 32662 markings/sec, 100 secs
lola: 3821687 markings, 4255766 edges, 32443 markings/sec, 105 secs
lola: 3983766 markings, 4441277 edges, 32416 markings/sec, 110 secs
lola: 4144031 markings, 4624537 edges, 32053 markings/sec, 115 secs
lola: 4305571 markings, 4810201 edges, 32308 markings/sec, 120 secs
lola: 4465654 markings, 4994027 edges, 32017 markings/sec, 125 secs
lola: 4625355 markings, 5178286 edges, 31940 markings/sec, 130 secs
lola: 4783700 markings, 5361425 edges, 31669 markings/sec, 135 secs
lola: 4943498 markings, 5547389 edges, 31960 markings/sec, 140 secs
lola: 5100439 markings, 5729880 edges, 31388 markings/sec, 145 secs
lola: 5259142 markings, 5914340 edges, 31741 markings/sec, 150 secs
lola: 5417656 markings, 6099292 edges, 31703 markings/sec, 155 secs
lola: 5576488 markings, 6285127 edges, 31766 markings/sec, 160 secs
lola: 5733325 markings, 6469125 edges, 31367 markings/sec, 165 secs
lola: 5888896 markings, 6652850 edges, 31114 markings/sec, 170 secs
lola: 6045636 markings, 6836960 edges, 31348 markings/sec, 175 secs
lola: 6203144 markings, 7022929 edges, 31502 markings/sec, 180 secs
lola: 6359921 markings, 7208710 edges, 31355 markings/sec, 185 secs
lola: 6515335 markings, 7394024 edges, 31083 markings/sec, 190 secs
lola: 6679053 markings, 7588118 edges, 32744 markings/sec, 195 secs
lola: 6843534 markings, 7783883 edges, 32896 markings/sec, 200 secs
lola: 7005786 markings, 7978217 edges, 32450 markings/sec, 205 secs
lola: 7167138 markings, 8169694 edges, 32270 markings/sec, 210 secs
lola: 7330562 markings, 8364418 edges, 32685 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(cIsMonitoring)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 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: 195380 markings, 207620 edges, 39076 markings/sec, 0 secs
lola: 385985 markings, 412337 edges, 38121 markings/sec, 5 secs
lola: 574838 markings, 615690 edges, 37771 markings/sec, 10 secs
lola: 761870 markings, 818321 edges, 37406 markings/sec, 15 secs
lola: 947591 markings, 1020764 edges, 37144 markings/sec, 20 secs
lola: 1132738 markings, 1223729 edges, 37029 markings/sec, 25 secs
lola: 1314714 markings, 1424502 edges, 36395 markings/sec, 30 secs
lola: 1496658 markings, 1625157 edges, 36389 markings/sec, 35 secs
lola: 1676867 markings, 1825236 edges, 36042 markings/sec, 40 secs
lola: 1856132 markings, 2025120 edges, 35853 markings/sec, 45 secs
lola: 2032372 markings, 2222526 edges, 35248 markings/sec, 50 secs
lola: 2207104 markings, 2417935 edges, 34946 markings/sec, 55 secs
lola: 2378527 markings, 2611797 edges, 34285 markings/sec, 60 secs
lola: 2550006 markings, 2805558 edges, 34296 markings/sec, 65 secs
lola: 2720168 markings, 2999092 edges, 34032 markings/sec, 70 secs
lola: 2891008 markings, 3192926 edges, 34168 markings/sec, 75 secs
lola: 3062564 markings, 3386239 edges, 34311 markings/sec, 80 secs
lola: 3230677 markings, 3579220 edges, 33623 markings/sec, 85 secs
lola: 3401111 markings, 3775321 edges, 34087 markings/sec, 90 secs
lola: 3572820 markings, 3971109 edges, 34342 markings/sec, 95 secs
lola: 3744696 markings, 4166068 edges, 34375 markings/sec, 100 secs
lola: 3918204 markings, 4362334 edges, 34702 markings/sec, 105 secs
lola: 4087859 markings, 4558124 edges, 33931 markings/sec, 110 secs
lola: 4258856 markings, 4756855 edges, 34199 markings/sec, 115 secs
lola: 4429747 markings, 4954002 edges, 34178 markings/sec, 120 secs
lola: 4598630 markings, 5150326 edges, 33777 markings/sec, 125 secs
lola: 4767363 markings, 5347427 edges, 33747 markings/sec, 130 secs
lola: 4934560 markings, 5545777 edges, 33439 markings/sec, 135 secs
lola: 5101042 markings, 5741223 edges, 33296 markings/sec, 140 secs
lola: 5263910 markings, 5934611 edges, 32574 markings/sec, 145 secs
lola: 5430160 markings, 6131081 edges, 33250 markings/sec, 150 secs
lola: 5597897 markings, 6329483 edges, 33547 markings/sec, 155 secs
lola: 5764233 markings, 6526375 edges, 33267 markings/sec, 160 secs
lola: 5931967 markings, 6724992 edges, 33547 markings/sec, 165 secs
lola: 6096334 markings, 6920435 edges, 32873 markings/sec, 170 secs
lola: 6262234 markings, 7115942 edges, 33180 markings/sec, 175 secs
lola: 6425495 markings, 7310183 edges, 32652 markings/sec, 180 secs
lola: 6590147 markings, 7509736 edges, 32930 markings/sec, 185 secs
lola: 6756494 markings, 7708169 edges, 33269 markings/sec, 190 secs
lola: 6923838 markings, 7906756 edges, 33469 markings/sec, 195 secs
lola: 7089361 markings, 8105759 edges, 33105 markings/sec, 200 secs
lola: 7253677 markings, 8301543 edges, 32863 markings/sec, 205 secs
lola: 7415279 markings, 8493582 edges, 32320 markings/sec, 210 secs
lola: 7580738 markings, 8692701 edges, 33092 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(IdleTasks_6 + IdleTasks_5 + IdleTasks_4 + IdleTasks_3 + IdleTasks_2 + IdleTasks_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 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: 178039 markings, 211035 edges, 35608 markings/sec, 0 secs
lola: 352063 markings, 424887 edges, 34805 markings/sec, 5 secs
lola: 524627 markings, 635942 edges, 34513 markings/sec, 10 secs
lola: 696311 markings, 847746 edges, 34337 markings/sec, 15 secs
lola: 867399 markings, 1062041 edges, 34218 markings/sec, 20 secs
lola: 1038560 markings, 1273733 edges, 34232 markings/sec, 25 secs
lola: 1209053 markings, 1485951 edges, 34099 markings/sec, 30 secs
lola: 1373042 markings, 1691026 edges, 32798 markings/sec, 35 secs
lola: 1516416 markings, 1871982 edges, 28675 markings/sec, 40 secs
lola: 1687702 markings, 2086281 edges, 34257 markings/sec, 45 secs
lola: 1855296 markings, 2294656 edges, 33519 markings/sec, 50 secs
lola: 2021801 markings, 2503028 edges, 33301 markings/sec, 55 secs
lola: 2192146 markings, 2716117 edges, 34069 markings/sec, 60 secs
lola: 2363123 markings, 2929404 edges, 34195 markings/sec, 65 secs
lola: 2531159 markings, 3140067 edges, 33607 markings/sec, 70 secs
lola: 2701374 markings, 3353874 edges, 34043 markings/sec, 75 secs
lola: 2870449 markings, 3566734 edges, 33815 markings/sec, 80 secs
lola: 3039863 markings, 3776425 edges, 33883 markings/sec, 85 secs
lola: 3210328 markings, 3991650 edges, 34093 markings/sec, 90 secs
lola: 3380401 markings, 4206678 edges, 34015 markings/sec, 95 secs
lola: 3548820 markings, 4419114 edges, 33684 markings/sec, 100 secs
lola: 3718175 markings, 4631652 edges, 33871 markings/sec, 105 secs
lola: 3887680 markings, 4844760 edges, 33901 markings/sec, 110 secs
lola: 4055204 markings, 5051499 edges, 33505 markings/sec, 115 secs
lola: 4222809 markings, 5258632 edges, 33521 markings/sec, 120 secs
lola: 4391885 markings, 5468228 edges, 33815 markings/sec, 125 secs
lola: 4560715 markings, 5677504 edges, 33766 markings/sec, 130 secs
lola: 4729055 markings, 5888846 edges, 33668 markings/sec, 135 secs
lola: 4895714 markings, 6093285 edges, 33332 markings/sec, 140 secs
lola: 5062769 markings, 6301204 edges, 33411 markings/sec, 145 secs
lola: 5229712 markings, 6509750 edges, 33389 markings/sec, 150 secs
lola: 5395585 markings, 6714608 edges, 33175 markings/sec, 155 secs
lola: 5561545 markings, 6921272 edges, 33192 markings/sec, 160 secs
lola: 5727195 markings, 7125704 edges, 33130 markings/sec, 165 secs
lola: 5893283 markings, 7331071 edges, 33218 markings/sec, 170 secs
lola: 6058814 markings, 7535071 edges, 33106 markings/sec, 175 secs
lola: 6224328 markings, 7741248 edges, 33103 markings/sec, 180 secs
lola: 6388943 markings, 7945970 edges, 32923 markings/sec, 185 secs
lola: 6553644 markings, 8153497 edges, 32940 markings/sec, 190 secs
lola: 6719318 markings, 8359398 edges, 33135 markings/sec, 195 secs
lola: 6885334 markings, 8565846 edges, 33203 markings/sec, 200 secs
lola: 7048554 markings, 8767488 edges, 32644 markings/sec, 205 secs
lola: 7212896 markings, 8972208 edges, 32868 markings/sec, 210 secs
lola: 7376933 markings, 9176674 edges, 32807 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(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 1720 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: 152442 markings, 181078 edges, 30488 markings/sec, 0 secs
lola: 301755 markings, 360453 edges, 29863 markings/sec, 5 secs
lola: 449970 markings, 538810 edges, 29643 markings/sec, 10 secs
lola: 597589 markings, 717014 edges, 29524 markings/sec, 15 secs
lola: 743426 markings, 894163 edges, 29167 markings/sec, 20 secs
lola: 896310 markings, 1079104 edges, 30577 markings/sec, 25 secs
lola: 1048232 markings, 1262809 edges, 30384 markings/sec, 30 secs
lola: 1202135 markings, 1448931 edges, 30781 markings/sec, 35 secs
lola: 1351075 markings, 1629058 edges, 29788 markings/sec, 40 secs
lola: 1497246 markings, 1806063 edges, 29234 markings/sec, 45 secs
lola: 1643154 markings, 1983372 edges, 29182 markings/sec, 50 secs
lola: 1788982 markings, 2160050 edges, 29166 markings/sec, 55 secs
lola: 1934578 markings, 2337067 edges, 29119 markings/sec, 60 secs
lola: 2080002 markings, 2513442 edges, 29085 markings/sec, 65 secs
lola: 2225209 markings, 2689939 edges, 29041 markings/sec, 70 secs
lola: 2370724 markings, 2865857 edges, 29103 markings/sec, 75 secs
lola: 2515887 markings, 3041306 edges, 29033 markings/sec, 80 secs
lola: 2661297 markings, 3217494 edges, 29082 markings/sec, 85 secs
lola: 2806968 markings, 3392223 edges, 29134 markings/sec, 90 secs
lola: 2952346 markings, 3566494 edges, 29076 markings/sec, 95 secs
lola: 3097277 markings, 3739347 edges, 28986 markings/sec, 100 secs
lola: 3243217 markings, 3913427 edges, 29188 markings/sec, 105 secs
lola: 3388221 markings, 4085927 edges, 29001 markings/sec, 110 secs
lola: 3533900 markings, 4258828 edges, 29136 markings/sec, 115 secs
lola: 3678945 markings, 4431826 edges, 29009 markings/sec, 120 secs
lola: 3824422 markings, 4602613 edges, 29095 markings/sec, 125 secs
lola: 3968899 markings, 4773368 edges, 28895 markings/sec, 130 secs
lola: 4114436 markings, 4946348 edges, 29107 markings/sec, 135 secs
lola: 4258752 markings, 5118248 edges, 28863 markings/sec, 140 secs
lola: 4404053 markings, 5289565 edges, 29060 markings/sec, 145 secs
lola: 4548195 markings, 5458798 edges, 28828 markings/sec, 150 secs
lola: 4690475 markings, 5627466 edges, 28456 markings/sec, 155 secs
lola: 4835164 markings, 5798983 edges, 28938 markings/sec, 160 secs
lola: 4978009 markings, 5969300 edges, 28569 markings/sec, 165 secs
lola: 5121039 markings, 6138551 edges, 28606 markings/sec, 170 secs
lola: 5263570 markings, 6309165 edges, 28506 markings/sec, 175 secs
lola: 5405001 markings, 6478918 edges, 28286 markings/sec, 180 secs
lola: 5547779 markings, 6650339 edges, 28556 markings/sec, 185 secs
lola: 5688588 markings, 6821176 edges, 28162 markings/sec, 190 secs
lola: 5830413 markings, 6993246 edges, 28365 markings/sec, 195 secs
lola: 5973290 markings, 7163871 edges, 28575 markings/sec, 200 secs
lola: 6115246 markings, 7336085 edges, 28391 markings/sec, 205 secs
lola: 6256440 markings, 7509519 edges, 28239 markings/sec, 210 secs
lola: 6400175 markings, 7682745 edges, 28747 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(cIsMonitoring)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1720 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: 187659 markings, 199380 edges, 37532 markings/sec, 0 secs
lola: 371191 markings, 396433 edges, 36706 markings/sec, 5 secs
lola: 552647 markings, 591832 edges, 36291 markings/sec, 10 secs
lola: 732716 markings, 786617 edges, 36014 markings/sec, 15 secs
lola: 911693 markings, 981428 edges, 35795 markings/sec, 20 secs
lola: 1090265 markings, 1177248 edges, 35714 markings/sec, 25 secs
lola: 1266323 markings, 1370984 edges, 35212 markings/sec, 30 secs
lola: 1442334 markings, 1564862 edges, 35202 markings/sec, 35 secs
lola: 1615776 markings, 1757641 edges, 34688 markings/sec, 40 secs
lola: 1789348 markings, 1950411 edges, 34714 markings/sec, 45 secs
lola: 1961325 markings, 2142523 edges, 34395 markings/sec, 50 secs
lola: 2131658 markings, 2333340 edges, 34067 markings/sec, 55 secs
lola: 2299830 markings, 2523292 edges, 33634 markings/sec, 60 secs
lola: 2467356 markings, 2711728 edges, 33505 markings/sec, 65 secs
lola: 2634757 markings, 2901427 edges, 33480 markings/sec, 70 secs
lola: 2800904 markings, 3090593 edges, 33229 markings/sec, 75 secs
lola: 2968356 markings, 3280032 edges, 33490 markings/sec, 80 secs
lola: 3134863 markings, 3468656 edges, 33301 markings/sec, 85 secs
lola: 3298033 markings, 3656641 edges, 32634 markings/sec, 90 secs
lola: 3462266 markings, 3844779 edges, 32847 markings/sec, 95 secs
lola: 3626569 markings, 4031903 edges, 32861 markings/sec, 100 secs
lola: 3791086 markings, 4218876 edges, 32903 markings/sec, 105 secs
lola: 3956377 markings, 4406777 edges, 33058 markings/sec, 110 secs
lola: 4118580 markings, 4594327 edges, 32441 markings/sec, 115 secs
lola: 4281804 markings, 4783334 edges, 32645 markings/sec, 120 secs
lola: 4445527 markings, 4972096 edges, 32745 markings/sec, 125 secs
lola: 4606736 markings, 5159836 edges, 32242 markings/sec, 130 secs
lola: 4769729 markings, 5350192 edges, 32599 markings/sec, 135 secs
lola: 4930956 markings, 5541609 edges, 32245 markings/sec, 140 secs
lola: 5091882 markings, 5730274 edges, 32185 markings/sec, 145 secs
lola: 5249340 markings, 5916604 edges, 31492 markings/sec, 150 secs
lola: 5409159 markings, 6106021 edges, 31964 markings/sec, 155 secs
lola: 5571131 markings, 6298039 edges, 32394 markings/sec, 160 secs
lola: 5731873 markings, 6488417 edges, 32148 markings/sec, 165 secs
lola: 5894234 markings, 6679984 edges, 32472 markings/sec, 170 secs
lola: 6053875 markings, 6869675 edges, 31928 markings/sec, 175 secs
lola: 6213052 markings, 7058012 edges, 31835 markings/sec, 180 secs
lola: 6370120 markings, 7245105 edges, 31414 markings/sec, 185 secs
lola: 6530701 markings, 7438268 edges, 32116 markings/sec, 190 secs
lola: 6690361 markings, 7629549 edges, 31932 markings/sec, 195 secs
lola: 6852101 markings, 7822292 edges, 32348 markings/sec, 200 secs
lola: 7012256 markings, 8013019 edges, 32031 markings/sec, 205 secs
lola: 7170021 markings, 8201290 edges, 31553 markings/sec, 210 secs
lola: 7328392 markings, 8390250 edges, 31674 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-S02J04T06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S02J04T06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496447025127

--------------------
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-PT-S02J04T06"
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-PT-S02J04T06.tgz
mv S_PolyORBLF-PT-S02J04T06 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-PT-S02J04T06, 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-149441681600425"
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 ;