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

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-PT-S02J04T06 @ 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: 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: 195897 markings, 208154 edges, 39179 markings/sec, 0 secs
lola: 387537 markings, 414054 edges, 38328 markings/sec, 5 secs
lola: 577333 markings, 618333 edges, 37959 markings/sec, 10 secs
lola: 765268 markings, 821969 edges, 37587 markings/sec, 15 secs
lola: 951890 markings, 1025483 edges, 37324 markings/sec, 20 secs
lola: 1137818 markings, 1229355 edges, 37186 markings/sec, 25 secs
lola: 1320540 markings, 1430911 edges, 36544 markings/sec, 30 secs
lola: 1503374 markings, 1632587 edges, 36567 markings/sec, 35 secs
lola: 1684180 markings, 1833493 edges, 36161 markings/sec, 40 secs
lola: 1864565 markings, 2034487 edges, 36077 markings/sec, 45 secs
lola: 2042677 markings, 2234071 edges, 35622 markings/sec, 50 secs
lola: 2219887 markings, 2432346 edges, 35442 markings/sec, 55 secs
lola: 2394585 markings, 2629732 edges, 34940 markings/sec, 60 secs
lola: 2568708 markings, 2827023 edges, 34825 markings/sec, 65 secs
lola: 2741511 markings, 3023349 edges, 34561 markings/sec, 70 secs
lola: 2915361 markings, 3220145 edges, 34770 markings/sec, 75 secs
lola: 3089823 markings, 3417466 edges, 34892 markings/sec, 80 secs
lola: 3260539 markings, 3613333 edges, 34143 markings/sec, 85 secs
lola: 3430570 markings, 3809191 edges, 34006 markings/sec, 90 secs
lola: 3602238 markings, 4004615 edges, 34334 markings/sec, 95 secs
lola: 3773317 markings, 4198402 edges, 34216 markings/sec, 100 secs
lola: 3944992 markings, 4393566 edges, 34335 markings/sec, 105 secs
lola: 4114112 markings, 4588896 edges, 33824 markings/sec, 110 secs
lola: 4283693 markings, 4785584 edges, 33916 markings/sec, 115 secs
lola: 4454446 markings, 4982542 edges, 34151 markings/sec, 120 secs
lola: 4621848 markings, 5177288 edges, 33480 markings/sec, 125 secs
lola: 4790896 markings, 5375170 edges, 33810 markings/sec, 130 secs
lola: 4958863 markings, 5573811 edges, 33593 markings/sec, 135 secs
lola: 5126257 markings, 5771076 edges, 33479 markings/sec, 140 secs
lola: 5288540 markings, 5963688 edges, 32457 markings/sec, 145 secs
lola: 5456021 markings, 6162046 edges, 33496 markings/sec, 150 secs
lola: 5624956 markings, 6360857 edges, 33787 markings/sec, 155 secs
lola: 5791737 markings, 6558738 edges, 33356 markings/sec, 160 secs
lola: 5959763 markings, 6758321 edges, 33605 markings/sec, 165 secs
lola: 6123682 markings, 6952835 edges, 32784 markings/sec, 170 secs
lola: 6289485 markings, 7148855 edges, 33161 markings/sec, 175 secs
lola: 6455071 markings, 7346320 edges, 33117 markings/sec, 180 secs
lola: 6618672 markings, 7544602 edges, 32720 markings/sec, 185 secs
lola: 6786770 markings, 7744171 edges, 33620 markings/sec, 190 secs
lola: 6954200 markings, 7942780 edges, 33486 markings/sec, 195 secs
lola: 7121008 markings, 8143074 edges, 33362 markings/sec, 200 secs
lola: 7285394 markings, 8338765 edges, 32877 markings/sec, 205 secs
lola: 7447045 markings, 8531332 edges, 32330 markings/sec, 210 secs
lola: 7614265 markings, 8731798 edges, 33444 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: 188986 markings, 206364 edges, 37797 markings/sec, 0 secs
lola: 372163 markings, 408948 edges, 36635 markings/sec, 5 secs
lola: 552006 markings, 607828 edges, 35969 markings/sec, 10 secs
lola: 730219 markings, 805947 edges, 35643 markings/sec, 15 secs
lola: 907728 markings, 1003439 edges, 35502 markings/sec, 20 secs
lola: 1084046 markings, 1200137 edges, 35264 markings/sec, 25 secs
lola: 1259156 markings, 1395366 edges, 35022 markings/sec, 30 secs
lola: 1432288 markings, 1588704 edges, 34626 markings/sec, 35 secs
lola: 1607356 markings, 1784486 edges, 35014 markings/sec, 40 secs
lola: 1787129 markings, 1986385 edges, 35955 markings/sec, 45 secs
lola: 1966279 markings, 2187859 edges, 35830 markings/sec, 50 secs
lola: 2142390 markings, 2386740 edges, 35222 markings/sec, 55 secs
lola: 2317341 markings, 2585101 edges, 34990 markings/sec, 60 secs
lola: 2490848 markings, 2781992 edges, 34701 markings/sec, 65 secs
lola: 2662279 markings, 2977332 edges, 34286 markings/sec, 70 secs
lola: 2832460 markings, 3171126 edges, 34036 markings/sec, 75 secs
lola: 3000998 markings, 3364154 edges, 33708 markings/sec, 80 secs
lola: 3167959 markings, 3557425 edges, 33392 markings/sec, 85 secs
lola: 3334354 markings, 3749866 edges, 33279 markings/sec, 90 secs
lola: 3498926 markings, 3940283 edges, 32914 markings/sec, 95 secs
lola: 3661530 markings, 4130938 edges, 32521 markings/sec, 100 secs
lola: 3823987 markings, 4321465 edges, 32491 markings/sec, 105 secs
lola: 3985952 markings, 4511114 edges, 32393 markings/sec, 110 secs
lola: 4148980 markings, 4702735 edges, 32606 markings/sec, 115 secs
lola: 4311104 markings, 4895351 edges, 32425 markings/sec, 120 secs
lola: 4471067 markings, 5085804 edges, 31993 markings/sec, 125 secs
lola: 4630771 markings, 5275963 edges, 31941 markings/sec, 130 secs
lola: 4791554 markings, 5467369 edges, 32157 markings/sec, 135 secs
lola: 4952863 markings, 5659815 edges, 32262 markings/sec, 140 secs
lola: 5114348 markings, 5854039 edges, 32297 markings/sec, 145 secs
lola: 5274178 markings, 6045293 edges, 31966 markings/sec, 150 secs
lola: 5428228 markings, 6228236 edges, 30810 markings/sec, 155 secs
lola: 5588516 markings, 6420878 edges, 32058 markings/sec, 160 secs
lola: 5750979 markings, 6614419 edges, 32493 markings/sec, 165 secs
lola: 5911969 markings, 6806274 edges, 32198 markings/sec, 170 secs
lola: 6073903 markings, 6999760 edges, 32387 markings/sec, 175 secs
lola: 6238130 markings, 7197244 edges, 32845 markings/sec, 180 secs
lola: 6400510 markings, 7390980 edges, 32476 markings/sec, 185 secs
lola: 6563619 markings, 7587253 edges, 32622 markings/sec, 190 secs
lola: 6725979 markings, 7782974 edges, 32472 markings/sec, 195 secs
lola: 6890030 markings, 7980019 edges, 32810 markings/sec, 200 secs
lola: 7054127 markings, 8177191 edges, 32819 markings/sec, 205 secs
lola: 7218534 markings, 8376438 edges, 32881 markings/sec, 210 secs
lola: 7382296 markings, 8573549 edges, 32752 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: 172706 markings, 200413 edges, 34541 markings/sec, 0 secs
lola: 347763 markings, 411283 edges, 35011 markings/sec, 5 secs
lola: 522542 markings, 622670 edges, 34956 markings/sec, 10 secs
lola: 696154 markings, 837233 edges, 34722 markings/sec, 15 secs
lola: 868543 markings, 1052429 edges, 34478 markings/sec, 20 secs
lola: 1040708 markings, 1265151 edges, 34433 markings/sec, 25 secs
lola: 1213929 markings, 1483009 edges, 34644 markings/sec, 30 secs
lola: 1390052 markings, 1703327 edges, 35225 markings/sec, 35 secs
lola: 1562176 markings, 1921238 edges, 34425 markings/sec, 40 secs
lola: 1738846 markings, 2138972 edges, 35334 markings/sec, 45 secs
lola: 1914899 markings, 2358567 edges, 35211 markings/sec, 50 secs
lola: 2091154 markings, 2578559 edges, 35251 markings/sec, 55 secs
lola: 2266688 markings, 2795144 edges, 35107 markings/sec, 60 secs
lola: 2440227 markings, 3011019 edges, 34708 markings/sec, 65 secs
lola: 2614539 markings, 3228434 edges, 34862 markings/sec, 70 secs
lola: 2789015 markings, 3445998 edges, 34895 markings/sec, 75 secs
lola: 2961919 markings, 3660884 edges, 34581 markings/sec, 80 secs
lola: 3134892 markings, 3872609 edges, 34595 markings/sec, 85 secs
lola: 3308100 markings, 4086382 edges, 34642 markings/sec, 90 secs
lola: 3480547 markings, 4299889 edges, 34489 markings/sec, 95 secs
lola: 3654857 markings, 4517286 edges, 34862 markings/sec, 100 secs
lola: 3828909 markings, 4733033 edges, 34810 markings/sec, 105 secs
lola: 4000849 markings, 4948148 edges, 34388 markings/sec, 110 secs
lola: 4172689 markings, 5162981 edges, 34368 markings/sec, 115 secs
lola: 4342629 markings, 5373815 edges, 33988 markings/sec, 120 secs
lola: 4512683 markings, 5585133 edges, 34011 markings/sec, 125 secs
lola: 4680847 markings, 5795272 edges, 33633 markings/sec, 130 secs
lola: 4849598 markings, 6001843 edges, 33750 markings/sec, 135 secs
lola: 5017195 markings, 6206572 edges, 33519 markings/sec, 140 secs
lola: 5184591 markings, 6412730 edges, 33479 markings/sec, 145 secs
lola: 5349101 markings, 6611416 edges, 32902 markings/sec, 150 secs
lola: 5515606 markings, 6816792 edges, 33301 markings/sec, 155 secs
lola: 5682889 markings, 7026858 edges, 33457 markings/sec, 160 secs
lola: 5849741 markings, 7233411 edges, 33370 markings/sec, 165 secs
lola: 6015138 markings, 7439211 edges, 33079 markings/sec, 170 secs
lola: 6182190 markings, 7646782 edges, 33410 markings/sec, 175 secs
lola: 6348795 markings, 7854875 edges, 33321 markings/sec, 180 secs
lola: 6515453 markings, 8062269 edges, 33332 markings/sec, 185 secs
lola: 6681183 markings, 8268803 edges, 33146 markings/sec, 190 secs
lola: 6848685 markings, 8477519 edges, 33500 markings/sec, 195 secs
lola: 7013224 markings, 8682102 edges, 32908 markings/sec, 200 secs
lola: 7176268 markings, 8884504 edges, 32609 markings/sec, 205 secs
lola: 7337990 markings, 9081760 edges, 32344 markings/sec, 210 secs
lola: 7497658 markings, 9276103 edges, 31934 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: 166871 markings, 201132 edges, 33374 markings/sec, 0 secs
lola: 329561 markings, 400799 edges, 32538 markings/sec, 5 secs
lola: 484669 markings, 591105 edges, 31022 markings/sec, 10 secs
lola: 646769 markings, 788983 edges, 32420 markings/sec, 15 secs
lola: 804338 markings, 981654 edges, 31514 markings/sec, 20 secs
lola: 963389 markings, 1179987 edges, 31810 markings/sec, 25 secs
lola: 1121009 markings, 1373369 edges, 31524 markings/sec, 30 secs
lola: 1276412 markings, 1566521 edges, 31081 markings/sec, 35 secs
lola: 1435044 markings, 1762341 edges, 31726 markings/sec, 40 secs
lola: 1592104 markings, 1955099 edges, 31412 markings/sec, 45 secs
lola: 1743808 markings, 2142827 edges, 30341 markings/sec, 50 secs
lola: 1901494 markings, 2338741 edges, 31537 markings/sec, 55 secs
lola: 2059115 markings, 2533721 edges, 31524 markings/sec, 60 secs
lola: 2214836 markings, 2727880 edges, 31144 markings/sec, 65 secs
lola: 2368322 markings, 2920678 edges, 30697 markings/sec, 70 secs
lola: 2523648 markings, 3113323 edges, 31065 markings/sec, 75 secs
lola: 2680115 markings, 3309792 edges, 31293 markings/sec, 80 secs
lola: 2836066 markings, 3507707 edges, 31190 markings/sec, 85 secs
lola: 2992071 markings, 3704517 edges, 31201 markings/sec, 90 secs
lola: 3138949 markings, 3888483 edges, 29376 markings/sec, 95 secs
lola: 3287074 markings, 4074061 edges, 29625 markings/sec, 100 secs
lola: 3435993 markings, 4259548 edges, 29784 markings/sec, 105 secs
lola: 3584366 markings, 4444114 edges, 29675 markings/sec, 110 secs
lola: 3732454 markings, 4628850 edges, 29618 markings/sec, 115 secs
lola: 3881200 markings, 4812420 edges, 29749 markings/sec, 120 secs
lola: 4029407 markings, 4995144 edges, 29641 markings/sec, 125 secs
lola: 4182485 markings, 5183700 edges, 30616 markings/sec, 130 secs
lola: 4336288 markings, 5374078 edges, 30761 markings/sec, 135 secs
lola: 4491724 markings, 5565611 edges, 31087 markings/sec, 140 secs
lola: 4647137 markings, 5757138 edges, 31083 markings/sec, 145 secs
lola: 4802433 markings, 5945431 edges, 31059 markings/sec, 150 secs
lola: 4953345 markings, 6131760 edges, 30182 markings/sec, 155 secs
lola: 5099732 markings, 6310493 edges, 29277 markings/sec, 160 secs
lola: 5254227 markings, 6499084 edges, 30899 markings/sec, 165 secs
lola: 5408509 markings, 6687168 edges, 30856 markings/sec, 170 secs
lola: 5563469 markings, 6876709 edges, 30992 markings/sec, 175 secs
lola: 5709196 markings, 7056693 edges, 29145 markings/sec, 180 secs
lola: 5857543 markings, 7238985 edges, 29669 markings/sec, 185 secs
lola: 6009897 markings, 7423397 edges, 30471 markings/sec, 190 secs
lola: 6160252 markings, 7608606 edges, 30071 markings/sec, 195 secs
lola: 6314768 markings, 7800050 edges, 30903 markings/sec, 200 secs
lola: 6470444 markings, 7990269 edges, 31135 markings/sec, 205 secs
lola: 6622445 markings, 8177011 edges, 30400 markings/sec, 210 secs
lola: 6773562 markings, 8362273 edges, 30223 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: 148900 markings, 177178 edges, 29780 markings/sec, 0 secs
lola: 307027 markings, 366612 edges, 31625 markings/sec, 5 secs
lola: 464165 markings, 555809 edges, 31428 markings/sec, 10 secs
lola: 620233 markings, 745433 edges, 31214 markings/sec, 15 secs
lola: 775630 markings, 934341 edges, 31079 markings/sec, 20 secs
lola: 930317 markings, 1121923 edges, 30937 markings/sec, 25 secs
lola: 1084608 markings, 1309655 edges, 30858 markings/sec, 30 secs
lola: 1238738 markings, 1495932 edges, 30826 markings/sec, 35 secs
lola: 1392751 markings, 1682827 edges, 30803 markings/sec, 40 secs
lola: 1546333 markings, 1869647 edges, 30716 markings/sec, 45 secs
lola: 1699719 markings, 2055757 edges, 30677 markings/sec, 50 secs
lola: 1852961 markings, 2242386 edges, 30648 markings/sec, 55 secs
lola: 2004565 markings, 2427168 edges, 30321 markings/sec, 60 secs
lola: 2155392 markings, 2610044 edges, 30165 markings/sec, 65 secs
lola: 2306586 markings, 2793146 edges, 30239 markings/sec, 70 secs
lola: 2458339 markings, 2976179 edges, 30351 markings/sec, 75 secs
lola: 2608970 markings, 3159852 edges, 30126 markings/sec, 80 secs
lola: 2760347 markings, 3342801 edges, 30275 markings/sec, 85 secs
lola: 2912846 markings, 3526316 edges, 30500 markings/sec, 90 secs
lola: 3065192 markings, 3708816 edges, 30469 markings/sec, 95 secs
lola: 3217354 markings, 3890202 edges, 30432 markings/sec, 100 secs
lola: 3368903 markings, 4073079 edges, 30310 markings/sec, 105 secs
lola: 3520486 markings, 4255375 edges, 30317 markings/sec, 110 secs
lola: 3672926 markings, 4436799 edges, 30488 markings/sec, 115 secs
lola: 3823144 markings, 4617360 edges, 30044 markings/sec, 120 secs
lola: 3975086 markings, 4799675 edges, 30388 markings/sec, 125 secs
lola: 4126299 markings, 4981748 edges, 30243 markings/sec, 130 secs
lola: 4277667 markings, 5162658 edges, 30274 markings/sec, 135 secs
lola: 4427072 markings, 5342834 edges, 29881 markings/sec, 140 secs
lola: 4576525 markings, 5523587 edges, 29891 markings/sec, 145 secs
lola: 4727505 markings, 5706581 edges, 30196 markings/sec, 150 secs
lola: 4876920 markings, 5886335 edges, 29883 markings/sec, 155 secs
lola: 5025992 markings, 6066457 edges, 29814 markings/sec, 160 secs
lola: 5173515 markings, 6246301 edges, 29505 markings/sec, 165 secs
lola: 5322608 markings, 6427617 edges, 29819 markings/sec, 170 secs
lola: 5470032 markings, 6607536 edges, 29485 markings/sec, 175 secs
lola: 5617359 markings, 6789650 edges, 29465 markings/sec, 180 secs
lola: 5764508 markings, 6970385 edges, 29430 markings/sec, 185 secs
lola: 5911276 markings, 7150945 edges, 29354 markings/sec, 190 secs
lola: 6059941 markings, 7332961 edges, 29733 markings/sec, 195 secs
lola: 6208543 markings, 7514801 edges, 29720 markings/sec, 200 secs
lola: 6354983 markings, 7693879 edges, 29288 markings/sec, 205 secs
lola: 6501593 markings, 7873303 edges, 29322 markings/sec, 210 secs
lola: 6649933 markings, 8055373 edges, 29668 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: 168300 markings, 200433 edges, 33660 markings/sec, 0 secs
lola: 333421 markings, 398180 edges, 33024 markings/sec, 5 secs
lola: 497713 markings, 595476 edges, 32858 markings/sec, 10 secs
lola: 660350 markings, 792230 edges, 32527 markings/sec, 15 secs
lola: 820809 markings, 986731 edges, 32092 markings/sec, 20 secs
lola: 981044 markings, 1179854 edges, 32047 markings/sec, 25 secs
lola: 1140897 markings, 1373343 edges, 31971 markings/sec, 30 secs
lola: 1300238 markings, 1566941 edges, 31868 markings/sec, 35 secs
lola: 1459031 markings, 1758835 edges, 31759 markings/sec, 40 secs
lola: 1617527 markings, 1951954 edges, 31699 markings/sec, 45 secs
lola: 1775939 markings, 2144466 edges, 31682 markings/sec, 50 secs
lola: 1933959 markings, 2336820 edges, 31604 markings/sec, 55 secs
lola: 2091334 markings, 2528591 edges, 31475 markings/sec, 60 secs
lola: 2242663 markings, 2713726 edges, 30266 markings/sec, 65 secs
lola: 2381296 markings, 2882125 edges, 27727 markings/sec, 70 secs
lola: 2515808 markings, 3046121 edges, 26902 markings/sec, 75 secs
lola: 2674855 markings, 3240103 edges, 31809 markings/sec, 80 secs
lola: 2834564 markings, 3433575 edges, 31942 markings/sec, 85 secs
lola: 2994039 markings, 3624709 edges, 31895 markings/sec, 90 secs
lola: 3152807 markings, 3817333 edges, 31754 markings/sec, 95 secs
lola: 3311833 markings, 4008395 edges, 31805 markings/sec, 100 secs
lola: 3471213 markings, 4198919 edges, 31876 markings/sec, 105 secs
lola: 3630209 markings, 4388316 edges, 31799 markings/sec, 110 secs
lola: 3790142 markings, 4577336 edges, 31987 markings/sec, 115 secs
lola: 3948360 markings, 4766129 edges, 31644 markings/sec, 120 secs
lola: 4107745 markings, 4953818 edges, 31877 markings/sec, 125 secs
lola: 4268159 markings, 5141249 edges, 32083 markings/sec, 130 secs
lola: 4426877 markings, 5328568 edges, 31744 markings/sec, 135 secs
lola: 4584189 markings, 5516187 edges, 31462 markings/sec, 140 secs
lola: 4740609 markings, 5704332 edges, 31284 markings/sec, 145 secs
lola: 4898422 markings, 5891507 edges, 31563 markings/sec, 150 secs
lola: 5056775 markings, 6079514 edges, 31671 markings/sec, 155 secs
lola: 5213386 markings, 6264022 edges, 31322 markings/sec, 160 secs
lola: 5370759 markings, 6450909 edges, 31475 markings/sec, 165 secs
lola: 5526096 markings, 6634045 edges, 31067 markings/sec, 170 secs
lola: 5682748 markings, 6820803 edges, 31330 markings/sec, 175 secs
lola: 5837560 markings, 7004063 edges, 30962 markings/sec, 180 secs
lola: 5994854 markings, 7194180 edges, 31459 markings/sec, 185 secs
lola: 6147420 markings, 7377851 edges, 30513 markings/sec, 190 secs
lola: 6300604 markings, 7564977 edges, 30637 markings/sec, 195 secs
lola: 6452583 markings, 7751172 edges, 30396 markings/sec, 200 secs
lola: 6606344 markings, 7936622 edges, 30752 markings/sec, 205 secs
lola: 6758268 markings, 8120033 edges, 30385 markings/sec, 210 secs
lola: 6912428 markings, 8305025 edges, 30832 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: 171365 markings, 207222 edges, 34273 markings/sec, 0 secs
lola: 341109 markings, 415206 edges, 33949 markings/sec, 5 secs
lola: 510303 markings, 621111 edges, 33839 markings/sec, 10 secs
lola: 679089 markings, 825214 edges, 33757 markings/sec, 15 secs
lola: 846202 markings, 1030214 edges, 33423 markings/sec, 20 secs
lola: 1011247 markings, 1237447 edges, 33009 markings/sec, 25 secs
lola: 1177215 markings, 1440163 edges, 33194 markings/sec, 30 secs
lola: 1341973 markings, 1644582 edges, 32952 markings/sec, 35 secs
lola: 1506553 markings, 1847692 edges, 32916 markings/sec, 40 secs
lola: 1670828 markings, 2051550 edges, 32855 markings/sec, 45 secs
lola: 1834524 markings, 2254923 edges, 32739 markings/sec, 50 secs
lola: 1997621 markings, 2457453 edges, 32619 markings/sec, 55 secs
lola: 2161034 markings, 2660550 edges, 32683 markings/sec, 60 secs
lola: 2323616 markings, 2863253 edges, 32516 markings/sec, 65 secs
lola: 2486219 markings, 3067547 edges, 32521 markings/sec, 70 secs
lola: 2649173 markings, 3270984 edges, 32591 markings/sec, 75 secs
lola: 2811503 markings, 3474151 edges, 32466 markings/sec, 80 secs
lola: 2973451 markings, 3677214 edges, 32390 markings/sec, 85 secs
lola: 3135584 markings, 3878910 edges, 32427 markings/sec, 90 secs
lola: 3298042 markings, 4080097 edges, 32492 markings/sec, 95 secs
lola: 3460592 markings, 4281860 edges, 32510 markings/sec, 100 secs
lola: 3622388 markings, 4482783 edges, 32359 markings/sec, 105 secs
lola: 3783077 markings, 4683832 edges, 32138 markings/sec, 110 secs
lola: 3944339 markings, 4883185 edges, 32252 markings/sec, 115 secs
lola: 4105404 markings, 5082471 edges, 32213 markings/sec, 120 secs
lola: 4266256 markings, 5280972 edges, 32170 markings/sec, 125 secs
lola: 4426410 markings, 5478426 edges, 32031 markings/sec, 130 secs
lola: 4587830 markings, 5674913 edges, 32284 markings/sec, 135 secs
lola: 4747976 markings, 5871409 edges, 32029 markings/sec, 140 secs
lola: 4907660 markings, 6067948 edges, 31937 markings/sec, 145 secs
lola: 5067737 markings, 6262223 edges, 32015 markings/sec, 150 secs
lola: 5227034 markings, 6460097 edges, 31859 markings/sec, 155 secs
lola: 5386696 markings, 6655285 edges, 31932 markings/sec, 160 secs
lola: 5545860 markings, 6851680 edges, 31833 markings/sec, 165 secs
lola: 5704836 markings, 7048451 edges, 31795 markings/sec, 170 secs
lola: 5864510 markings, 7244440 edges, 31935 markings/sec, 175 secs
lola: 6022767 markings, 7441194 edges, 31651 markings/sec, 180 secs
lola: 6181818 markings, 7634531 edges, 31810 markings/sec, 185 secs
lola: 6340576 markings, 7828037 edges, 31752 markings/sec, 190 secs
lola: 6500093 markings, 8024297 edges, 31903 markings/sec, 195 secs
lola: 6659330 markings, 8218050 edges, 31847 markings/sec, 200 secs
lola: 6818125 markings, 8412372 edges, 31759 markings/sec, 205 secs
lola: 6975991 markings, 8607298 edges, 31573 markings/sec, 210 secs
lola: 7135301 markings, 8802345 edges, 31862 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: 186069 markings, 197651 edges, 37214 markings/sec, 0 secs
lola: 368191 markings, 393206 edges, 36424 markings/sec, 5 secs
lola: 548353 markings, 587144 edges, 36032 markings/sec, 10 secs
lola: 726779 markings, 780114 edges, 35685 markings/sec, 15 secs
lola: 904017 markings, 973013 edges, 35448 markings/sec, 20 secs
lola: 1080186 markings, 1166193 edges, 35234 markings/sec, 25 secs
lola: 1254426 markings, 1357626 edges, 34848 markings/sec, 30 secs
lola: 1428181 markings, 1549186 edges, 34751 markings/sec, 35 secs
lola: 1599847 markings, 1739823 edges, 34333 markings/sec, 40 secs
lola: 1771525 markings, 1930440 edges, 34336 markings/sec, 45 secs
lola: 1941695 markings, 2120667 edges, 34034 markings/sec, 50 secs
lola: 2110108 markings, 2309329 edges, 33683 markings/sec, 55 secs
lola: 2276156 markings, 2496655 edges, 33210 markings/sec, 60 secs
lola: 2442077 markings, 2683881 edges, 33184 markings/sec, 65 secs
lola: 2607548 markings, 2870593 edges, 33094 markings/sec, 70 secs
lola: 2770928 markings, 3056769 edges, 32676 markings/sec, 75 secs
lola: 2936554 markings, 3243928 edges, 33125 markings/sec, 80 secs
lola: 3101299 markings, 3430544 edges, 32949 markings/sec, 85 secs
lola: 3262974 markings, 3616243 edges, 32335 markings/sec, 90 secs
lola: 3424708 markings, 3802233 edges, 32347 markings/sec, 95 secs
lola: 3587557 markings, 3988043 edges, 32570 markings/sec, 100 secs
lola: 3749566 markings, 4171847 edges, 32402 markings/sec, 105 secs
lola: 3913095 markings, 4356759 edges, 32706 markings/sec, 110 secs
lola: 4073334 markings, 4541678 edges, 32048 markings/sec, 115 secs
lola: 4234836 markings, 4728583 edges, 32300 markings/sec, 120 secs
lola: 4395481 markings, 4915065 edges, 32129 markings/sec, 125 secs
lola: 4556309 markings, 5100499 edges, 32166 markings/sec, 130 secs
lola: 4716199 markings, 5287431 edges, 31978 markings/sec, 135 secs
lola: 4875596 markings, 5475641 edges, 31879 markings/sec, 140 secs
lola: 5033934 markings, 5662510 edges, 31668 markings/sec, 145 secs
lola: 5196310 markings, 5853066 edges, 32475 markings/sec, 150 secs
lola: 5358060 markings, 6045195 edges, 32350 markings/sec, 155 secs
lola: 5522625 markings, 6241551 edges, 32913 markings/sec, 160 secs
lola: 5689172 markings, 6437098 edges, 33309 markings/sec, 165 secs
lola: 5855241 markings, 6633628 edges, 33214 markings/sec, 170 secs
lola: 6021113 markings, 6830784 edges, 33174 markings/sec, 175 secs
lola: 6182768 markings, 7022854 edges, 32331 markings/sec, 180 secs
lola: 6344190 markings, 7213416 edges, 32284 markings/sec, 185 secs
lola: 6507982 markings, 7410134 edges, 32758 markings/sec, 190 secs
lola: 6671832 markings, 7607752 edges, 32770 markings/sec, 195 secs
lola: 6838115 markings, 7805369 edges, 33257 markings/sec, 200 secs
lola: 7003206 markings, 8002173 edges, 33018 markings/sec, 205 secs
lola: 7165870 markings, 8195706 edges, 32533 markings/sec, 210 secs
lola: 7328459 markings, 8390332 edges, 32518 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: 198026 markings, 212947 edges, 39605 markings/sec, 0 secs
lola: 391117 markings, 423002 edges, 38618 markings/sec, 5 secs
lola: 582176 markings, 631007 edges, 38212 markings/sec, 10 secs
lola: 772308 markings, 839412 edges, 38026 markings/sec, 15 secs
lola: 960325 markings, 1046335 edges, 37603 markings/sec, 20 secs
lola: 1146710 markings, 1251805 edges, 37277 markings/sec, 25 secs
lola: 1330612 markings, 1456121 edges, 36780 markings/sec, 30 secs
lola: 1511640 markings, 1658293 edges, 36206 markings/sec, 35 secs
lola: 1690629 markings, 1858231 edges, 35798 markings/sec, 40 secs
lola: 1869701 markings, 2059241 edges, 35814 markings/sec, 45 secs
lola: 2047500 markings, 2257801 edges, 35560 markings/sec, 50 secs
lola: 2226087 markings, 2457691 edges, 35717 markings/sec, 55 secs
lola: 2402529 markings, 2657225 edges, 35288 markings/sec, 60 secs
lola: 2576818 markings, 2855004 edges, 34858 markings/sec, 65 secs
lola: 2750392 markings, 3054237 edges, 34715 markings/sec, 70 secs
lola: 2922487 markings, 3251120 edges, 34419 markings/sec, 75 secs
lola: 3100064 markings, 3452259 edges, 35515 markings/sec, 80 secs
lola: 3272550 markings, 3650653 edges, 34497 markings/sec, 85 secs
lola: 3444685 markings, 3849166 edges, 34427 markings/sec, 90 secs
lola: 3617186 markings, 4046839 edges, 34500 markings/sec, 95 secs
lola: 3789181 markings, 4245863 edges, 34399 markings/sec, 100 secs
lola: 3961464 markings, 4443015 edges, 34457 markings/sec, 105 secs
lola: 4131846 markings, 4642669 edges, 34076 markings/sec, 110 secs
lola: 4302753 markings, 4843230 edges, 34181 markings/sec, 115 secs
lola: 4474163 markings, 5042735 edges, 34282 markings/sec, 120 secs
lola: 4645743 markings, 5242790 edges, 34316 markings/sec, 125 secs
lola: 4807108 markings, 5429347 edges, 32273 markings/sec, 130 secs
lola: 4962123 markings, 5611089 edges, 31003 markings/sec, 135 secs
lola: 5127744 markings, 5804234 edges, 33124 markings/sec, 140 secs
lola: 5296970 markings, 6003690 edges, 33845 markings/sec, 145 secs
lola: 5466214 markings, 6201361 edges, 33849 markings/sec, 150 secs
lola: 5638107 markings, 6403591 edges, 34379 markings/sec, 155 secs
lola: 5808205 markings, 6606204 edges, 34020 markings/sec, 160 secs
lola: 5979945 markings, 6809016 edges, 34348 markings/sec, 165 secs
lola: 6149182 markings, 7009986 edges, 33847 markings/sec, 170 secs
lola: 6320344 markings, 7214350 edges, 34232 markings/sec, 175 secs
lola: 6488905 markings, 7416394 edges, 33712 markings/sec, 180 secs
lola: 6651098 markings, 7608998 edges, 32439 markings/sec, 185 secs
lola: 6814014 markings, 7805886 edges, 32583 markings/sec, 190 secs
lola: 6977283 markings, 8001195 edges, 32654 markings/sec, 195 secs
lola: 7137025 markings, 8194717 edges, 31948 markings/sec, 200 secs
lola: 7299503 markings, 8388249 edges, 32496 markings/sec, 205 secs
lola: 7460797 markings, 8583625 edges, 32259 markings/sec, 210 secs
lola: 7621388 markings, 8780955 edges, 32118 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: 185514 markings, 202566 edges, 37103 markings/sec, 0 secs
lola: 368864 markings, 405337 edges, 36670 markings/sec, 5 secs
lola: 548728 markings, 604214 edges, 35973 markings/sec, 10 secs
lola: 727040 markings, 802352 edges, 35662 markings/sec, 15 secs
lola: 904809 markings, 1000130 edges, 35554 markings/sec, 20 secs
lola: 1081336 markings, 1197122 edges, 35305 markings/sec, 25 secs
lola: 1256428 markings, 1392383 edges, 35018 markings/sec, 30 secs
lola: 1429413 markings, 1585455 edges, 34597 markings/sec, 35 secs
lola: 1606350 markings, 1783358 edges, 35387 markings/sec, 40 secs
lola: 1784703 markings, 1983681 edges, 35671 markings/sec, 45 secs
lola: 1962266 markings, 2183319 edges, 35513 markings/sec, 50 secs
lola: 2136327 markings, 2379823 edges, 34812 markings/sec, 55 secs
lola: 2309030 markings, 2575637 edges, 34541 markings/sec, 60 secs
lola: 2480840 markings, 2770653 edges, 34362 markings/sec, 65 secs
lola: 2650108 markings, 2963478 edges, 33854 markings/sec, 70 secs
lola: 2818209 markings, 3154838 edges, 33620 markings/sec, 75 secs
lola: 2985004 markings, 3346027 edges, 33359 markings/sec, 80 secs
lola: 3149847 markings, 3536601 edges, 32969 markings/sec, 85 secs
lola: 3313988 markings, 3726615 edges, 32828 markings/sec, 90 secs
lola: 3476849 markings, 3915194 edges, 32572 markings/sec, 95 secs
lola: 3637813 markings, 4103082 edges, 32193 markings/sec, 100 secs
lola: 3798255 markings, 4290679 edges, 32088 markings/sec, 105 secs
lola: 3958434 markings, 4479285 edges, 32036 markings/sec, 110 secs
lola: 4118820 markings, 4667008 edges, 32077 markings/sec, 115 secs
lola: 4279087 markings, 4856944 edges, 32053 markings/sec, 120 secs
lola: 4441248 markings, 5049866 edges, 32432 markings/sec, 125 secs
lola: 4600959 markings, 5240569 edges, 31942 markings/sec, 130 secs
lola: 4761632 markings, 5431452 edges, 32135 markings/sec, 135 secs
lola: 4923300 markings, 5624676 edges, 32334 markings/sec, 140 secs
lola: 5085615 markings, 5819673 edges, 32463 markings/sec, 145 secs
lola: 5247633 markings, 6013873 edges, 32404 markings/sec, 150 secs
lola: 5408571 markings, 6205279 edges, 32188 markings/sec, 155 secs
lola: 5570273 markings, 6398395 edges, 32340 markings/sec, 160 secs
lola: 5732429 markings, 6592195 edges, 32431 markings/sec, 165 secs
lola: 5893174 markings, 6784233 edges, 32149 markings/sec, 170 secs
lola: 6052992 markings, 6975110 edges, 31964 markings/sec, 175 secs
lola: 6216346 markings, 7171670 edges, 32671 markings/sec, 180 secs
lola: 6378019 markings, 7364212 edges, 32335 markings/sec, 185 secs
lola: 6539789 markings, 7558454 edges, 32354 markings/sec, 190 secs
lola: 6701514 markings, 7753163 edges, 32345 markings/sec, 195 secs
lola: 6864042 markings, 7948307 edges, 32506 markings/sec, 200 secs
lola: 7027006 markings, 8144645 edges, 32593 markings/sec, 205 secs
lola: 7191503 markings, 8343381 edges, 32899 markings/sec, 210 secs
lola: 7356246 markings, 8541663 edges, 32949 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: 168752 markings, 191843 edges, 33750 markings/sec, 0 secs
lola: 330428 markings, 383231 edges, 32335 markings/sec, 5 secs
lola: 489786 markings, 571042 edges, 31872 markings/sec, 10 secs
lola: 646751 markings, 758171 edges, 31393 markings/sec, 15 secs
lola: 802090 markings, 944439 edges, 31068 markings/sec, 20 secs
lola: 955309 markings, 1129068 edges, 30644 markings/sec, 25 secs
lola: 1108089 markings, 1311818 edges, 30556 markings/sec, 30 secs
lola: 1259398 markings, 1493518 edges, 30262 markings/sec, 35 secs
lola: 1409463 markings, 1676529 edges, 30013 markings/sec, 40 secs
lola: 1559291 markings, 1859391 edges, 29966 markings/sec, 45 secs
lola: 1708577 markings, 2040141 edges, 29857 markings/sec, 50 secs
lola: 1857480 markings, 2221941 edges, 29781 markings/sec, 55 secs
lola: 2005911 markings, 2401627 edges, 29686 markings/sec, 60 secs
lola: 2154016 markings, 2581330 edges, 29621 markings/sec, 65 secs
lola: 2300766 markings, 2760259 edges, 29350 markings/sec, 70 secs
lola: 2448272 markings, 2939799 edges, 29501 markings/sec, 75 secs
lola: 2595496 markings, 3117634 edges, 29445 markings/sec, 80 secs
lola: 2741583 markings, 3295641 edges, 29217 markings/sec, 85 secs
lola: 2887262 markings, 3472317 edges, 29136 markings/sec, 90 secs
lola: 3032369 markings, 3646166 edges, 29021 markings/sec, 95 secs
lola: 3176447 markings, 3820494 edges, 28816 markings/sec, 100 secs
lola: 3321882 markings, 3995498 edges, 29087 markings/sec, 105 secs
lola: 3464452 markings, 4166884 edges, 28514 markings/sec, 110 secs
lola: 3607310 markings, 4338164 edges, 28572 markings/sec, 115 secs
lola: 3750386 markings, 4510777 edges, 28615 markings/sec, 120 secs
lola: 3893531 markings, 4683302 edges, 28629 markings/sec, 125 secs
lola: 4035922 markings, 4857583 edges, 28478 markings/sec, 130 secs
lola: 4179063 markings, 5030901 edges, 28628 markings/sec, 135 secs
lola: 4322192 markings, 5206579 edges, 28626 markings/sec, 140 secs
lola: 4464523 markings, 5382798 edges, 28466 markings/sec, 145 secs
lola: 4606804 markings, 5556986 edges, 28456 markings/sec, 150 secs
lola: 4748508 markings, 5730755 edges, 28341 markings/sec, 155 secs
lola: 4889408 markings, 5905097 edges, 28180 markings/sec, 160 secs
lola: 5030051 markings, 6076393 edges, 28129 markings/sec, 165 secs
lola: 5170987 markings, 6250589 edges, 28187 markings/sec, 170 secs
lola: 5312581 markings, 6425482 edges, 28319 markings/sec, 175 secs
lola: 5452872 markings, 6599274 edges, 28058 markings/sec, 180 secs
lola: 5593957 markings, 6774651 edges, 28217 markings/sec, 185 secs
lola: 5734583 markings, 6950430 edges, 28125 markings/sec, 190 secs
lola: 5875306 markings, 7125537 edges, 28145 markings/sec, 195 secs
lola: 6015755 markings, 7300592 edges, 28090 markings/sec, 200 secs
lola: 6156765 markings, 7474216 edges, 28202 markings/sec, 205 secs
lola: 6298269 markings, 7649088 edges, 28301 markings/sec, 210 secs
lola: 6438490 markings, 7823413 edges, 28044 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: 194167 markings, 210116 edges, 38833 markings/sec, 0 secs
lola: 385556 markings, 420488 edges, 38278 markings/sec, 5 secs
lola: 575039 markings, 628924 edges, 37897 markings/sec, 10 secs
lola: 762895 markings, 834990 edges, 37571 markings/sec, 15 secs
lola: 949968 markings, 1041466 edges, 37415 markings/sec, 20 secs
lola: 1136032 markings, 1246919 edges, 37213 markings/sec, 25 secs
lola: 1322289 markings, 1453111 edges, 37251 markings/sec, 30 secs
lola: 1506501 markings, 1657459 edges, 36842 markings/sec, 35 secs
lola: 1691253 markings, 1862366 edges, 36950 markings/sec, 40 secs
lola: 1874351 markings, 2065999 edges, 36620 markings/sec, 45 secs
lola: 2056953 markings, 2269242 edges, 36520 markings/sec, 50 secs
lola: 2238279 markings, 2471920 edges, 36265 markings/sec, 55 secs
lola: 2418368 markings, 2673468 edges, 36018 markings/sec, 60 secs
lola: 2597831 markings, 2873808 edges, 35893 markings/sec, 65 secs
lola: 2776267 markings, 3074045 edges, 35687 markings/sec, 70 secs
lola: 2952993 markings, 3272154 edges, 35345 markings/sec, 75 secs
lola: 3127531 markings, 3469058 edges, 34908 markings/sec, 80 secs
lola: 3301230 markings, 3665361 edges, 34740 markings/sec, 85 secs
lola: 3472368 markings, 3858589 edges, 34228 markings/sec, 90 secs
lola: 3643003 markings, 4052708 edges, 34127 markings/sec, 95 secs
lola: 3812801 markings, 4245723 edges, 33960 markings/sec, 100 secs
lola: 3981774 markings, 4438859 edges, 33795 markings/sec, 105 secs
lola: 4149227 markings, 4630450 edges, 33491 markings/sec, 110 secs
lola: 4318277 markings, 4824821 edges, 33810 markings/sec, 115 secs
lola: 4485124 markings, 5016399 edges, 33369 markings/sec, 120 secs
lola: 4651038 markings, 5207735 edges, 33183 markings/sec, 125 secs
lola: 4817697 markings, 5400766 edges, 33332 markings/sec, 130 secs
lola: 4982995 markings, 5593337 edges, 33060 markings/sec, 135 secs
lola: 5147211 markings, 5784352 edges, 32843 markings/sec, 140 secs
lola: 5312565 markings, 5976361 edges, 33071 markings/sec, 145 secs
lola: 5477640 markings, 6169196 edges, 33015 markings/sec, 150 secs
lola: 5642652 markings, 6363051 edges, 33002 markings/sec, 155 secs
lola: 5806134 markings, 6555257 edges, 32696 markings/sec, 160 secs
lola: 5967724 markings, 6744856 edges, 32318 markings/sec, 165 secs
lola: 6132644 markings, 6940174 edges, 32984 markings/sec, 170 secs
lola: 6295957 markings, 7133552 edges, 32663 markings/sec, 175 secs
lola: 6458941 markings, 7327188 edges, 32597 markings/sec, 180 secs
lola: 6622348 markings, 7520463 edges, 32681 markings/sec, 185 secs
lola: 6786050 markings, 7715389 edges, 32740 markings/sec, 190 secs
lola: 6948976 markings, 7909174 edges, 32585 markings/sec, 195 secs
lola: 7110070 markings, 8101612 edges, 32219 markings/sec, 200 secs
lola: 7272004 markings, 8296047 edges, 32387 markings/sec, 205 secs
lola: 7437436 markings, 8492131 edges, 33086 markings/sec, 210 secs
lola: 7599399 markings, 8686546 edges, 32393 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: 184882 markings, 196399 edges, 36976 markings/sec, 0 secs
lola: 365661 markings, 390495 edges, 36156 markings/sec, 5 secs
lola: 544537 markings, 583116 edges, 35775 markings/sec, 10 secs
lola: 722166 markings, 775151 edges, 35526 markings/sec, 15 secs
lola: 898689 markings, 967207 edges, 35305 markings/sec, 20 secs
lola: 1074203 markings, 1159711 edges, 35103 markings/sec, 25 secs
lola: 1248203 markings, 1350632 edges, 34800 markings/sec, 30 secs
lola: 1420821 markings, 1540949 edges, 34524 markings/sec, 35 secs
lola: 1591322 markings, 1730381 edges, 34100 markings/sec, 40 secs
lola: 1762445 markings, 1920234 edges, 34225 markings/sec, 45 secs
lola: 1931904 markings, 2109688 edges, 33892 markings/sec, 50 secs
lola: 2098537 markings, 2296817 edges, 33327 markings/sec, 55 secs
lola: 2263718 markings, 2482468 edges, 33036 markings/sec, 60 secs
lola: 2429279 markings, 2669070 edges, 33112 markings/sec, 65 secs
lola: 2593117 markings, 2854424 edges, 32768 markings/sec, 70 secs
lola: 2755816 markings, 3039573 edges, 32540 markings/sec, 75 secs
lola: 2920019 markings, 3225389 edges, 32841 markings/sec, 80 secs
lola: 3084623 markings, 3411275 edges, 32921 markings/sec, 85 secs
lola: 3245220 markings, 3595483 edges, 32119 markings/sec, 90 secs
lola: 3406412 markings, 3781250 edges, 32238 markings/sec, 95 secs
lola: 3569240 markings, 3967194 edges, 32566 markings/sec, 100 secs
lola: 3730956 markings, 4150606 edges, 32343 markings/sec, 105 secs
lola: 3882199 markings, 4321558 edges, 30249 markings/sec, 110 secs
lola: 4038419 markings, 4501576 edges, 31244 markings/sec, 115 secs
lola: 4187188 markings, 4673245 edges, 29754 markings/sec, 120 secs
lola: 4337045 markings, 4848035 edges, 29971 markings/sec, 125 secs
lola: 4487112 markings, 5020103 edges, 30013 markings/sec, 130 secs
lola: 4631487 markings, 5188753 edges, 28875 markings/sec, 135 secs
lola: 4784775 markings, 5367917 edges, 30658 markings/sec, 140 secs
lola: 4934189 markings, 5545361 edges, 29883 markings/sec, 145 secs
lola: 5087776 markings, 5725440 edges, 30717 markings/sec, 150 secs
lola: 5240649 markings, 5906183 edges, 30575 markings/sec, 155 secs
lola: 5394909 markings, 6088574 edges, 30852 markings/sec, 160 secs
lola: 5538396 markings, 6259720 edges, 28697 markings/sec, 165 secs
lola: 5694285 markings, 6443109 edges, 31178 markings/sec, 170 secs
lola: 5860392 markings, 6639726 edges, 33221 markings/sec, 175 secs
lola: 6022914 markings, 6832968 edges, 32504 markings/sec, 180 secs
lola: 6185577 markings, 7026142 edges, 32533 markings/sec, 185 secs
lola: 6348877 markings, 7218927 edges, 32660 markings/sec, 190 secs
lola: 6507382 markings, 7409389 edges, 31701 markings/sec, 195 secs
lola: 6671057 markings, 7606828 edges, 32735 markings/sec, 200 secs
lola: 6838084 markings, 7805337 edges, 33405 markings/sec, 205 secs
lola: 7004110 markings, 8003263 edges, 33205 markings/sec, 210 secs
lola: 7167487 markings, 8197792 edges, 32675 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: 178639 markings, 211755 edges, 35728 markings/sec, 0 secs
lola: 353119 markings, 426139 edges, 34896 markings/sec, 5 secs
lola: 526323 markings, 638000 edges, 34641 markings/sec, 10 secs
lola: 698560 markings, 850366 edges, 34447 markings/sec, 15 secs
lola: 870261 markings, 1065506 edges, 34340 markings/sec, 20 secs
lola: 1042164 markings, 1278263 edges, 34381 markings/sec, 25 secs
lola: 1213655 markings, 1491473 edges, 34298 markings/sec, 30 secs
lola: 1383549 markings, 1703839 edges, 33979 markings/sec, 35 secs
lola: 1553238 markings, 1917798 edges, 33938 markings/sec, 40 secs
lola: 1723831 markings, 2131404 edges, 34119 markings/sec, 45 secs
lola: 1893371 markings, 2342219 edges, 33908 markings/sec, 50 secs
lola: 2062744 markings, 2554395 edges, 33875 markings/sec, 55 secs
lola: 2232182 markings, 2765747 edges, 33888 markings/sec, 60 secs
lola: 2401856 markings, 2977470 edges, 33935 markings/sec, 65 secs
lola: 2570175 markings, 3188717 edges, 33664 markings/sec, 70 secs
lola: 2739025 markings, 3401213 edges, 33770 markings/sec, 75 secs
lola: 2907711 markings, 3612740 edges, 33737 markings/sec, 80 secs
lola: 3075601 markings, 3822116 edges, 33578 markings/sec, 85 secs
lola: 3244583 markings, 4035000 edges, 33796 markings/sec, 90 secs
lola: 3412431 markings, 4248092 edges, 33570 markings/sec, 95 secs
lola: 3579833 markings, 4458051 edges, 33480 markings/sec, 100 secs
lola: 3747498 markings, 4668549 edges, 33533 markings/sec, 105 secs
lola: 3915641 markings, 4879432 edges, 33629 markings/sec, 110 secs
lola: 4081495 markings, 5083820 edges, 33171 markings/sec, 115 secs
lola: 4248057 markings, 5290073 edges, 33312 markings/sec, 120 secs
lola: 4415632 markings, 5497084 edges, 33515 markings/sec, 125 secs
lola: 4583052 markings, 5705645 edges, 33484 markings/sec, 130 secs
lola: 4749653 markings, 5914123 edges, 33320 markings/sec, 135 secs
lola: 4916652 markings, 6120058 edges, 33400 markings/sec, 140 secs
lola: 5083208 markings, 6326765 edges, 33311 markings/sec, 145 secs
lola: 5249867 markings, 6535253 edges, 33332 markings/sec, 150 secs
lola: 5415814 markings, 6739862 edges, 33189 markings/sec, 155 secs
lola: 5581822 markings, 6946267 edges, 33202 markings/sec, 160 secs
lola: 5746439 markings, 7149108 edges, 32923 markings/sec, 165 secs
lola: 5912712 markings, 7354695 edges, 33255 markings/sec, 170 secs
lola: 6078169 markings, 7559142 edges, 33091 markings/sec, 175 secs
lola: 6243648 markings, 7765437 edges, 33096 markings/sec, 180 secs
lola: 6407497 markings, 7969937 edges, 32770 markings/sec, 185 secs
lola: 6572474 markings, 8177072 edges, 32995 markings/sec, 190 secs
lola: 6737959 markings, 8382712 edges, 33097 markings/sec, 195 secs
lola: 6903773 markings, 8588479 edges, 33163 markings/sec, 200 secs
lola: 7066902 markings, 8789991 edges, 32626 markings/sec, 205 secs
lola: 7231509 markings, 8996059 edges, 32921 markings/sec, 210 secs
lola: 7396096 markings, 9200531 edges, 32917 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: 160808 markings, 191131 edges, 32162 markings/sec, 0 secs
lola: 318236 markings, 380382 edges, 31486 markings/sec, 5 secs
lola: 474804 markings, 568777 edges, 31314 markings/sec, 10 secs
lola: 630395 markings, 757100 edges, 31118 markings/sec, 15 secs
lola: 785334 markings, 944845 edges, 30988 markings/sec, 20 secs
lola: 939795 markings, 1131449 edges, 30892 markings/sec, 25 secs
lola: 1093612 markings, 1317691 edges, 30763 markings/sec, 30 secs
lola: 1247304 markings, 1503749 edges, 30738 markings/sec, 35 secs
lola: 1400306 markings, 1689081 edges, 30600 markings/sec, 40 secs
lola: 1552823 markings, 1873703 edges, 30503 markings/sec, 45 secs
lola: 1705331 markings, 2058558 edges, 30502 markings/sec, 50 secs
lola: 1857185 markings, 2242827 edges, 30371 markings/sec, 55 secs
lola: 2008769 markings, 2427207 edges, 30317 markings/sec, 60 secs
lola: 2160379 markings, 2611367 edges, 30322 markings/sec, 65 secs
lola: 2312544 markings, 2795416 edges, 30433 markings/sec, 70 secs
lola: 2464092 markings, 2978442 edges, 30310 markings/sec, 75 secs
lola: 2615689 markings, 3162103 edges, 30319 markings/sec, 80 secs
lola: 2767389 markings, 3344937 edges, 30340 markings/sec, 85 secs
lola: 2919686 markings, 3527523 edges, 30459 markings/sec, 90 secs
lola: 3070929 markings, 3707794 edges, 30249 markings/sec, 95 secs
lola: 3223065 markings, 3889241 edges, 30427 markings/sec, 100 secs
lola: 3374708 markings, 4069844 edges, 30329 markings/sec, 105 secs
lola: 3526548 markings, 4250475 edges, 30368 markings/sec, 110 secs
lola: 3678391 markings, 4431098 edges, 30369 markings/sec, 115 secs
lola: 3830223 markings, 4609492 edges, 30366 markings/sec, 120 secs
lola: 3980880 markings, 4787590 edges, 30131 markings/sec, 125 secs
lola: 4132910 markings, 4968489 edges, 30406 markings/sec, 130 secs
lola: 4283035 markings, 5147000 edges, 30025 markings/sec, 135 secs
lola: 4435185 markings, 5326576 edges, 30430 markings/sec, 140 secs
lola: 4585362 markings, 5502804 edges, 30035 markings/sec, 145 secs
lola: 4735324 markings, 5680263 edges, 29992 markings/sec, 150 secs
lola: 4885713 markings, 5859207 edges, 30078 markings/sec, 155 secs
lola: 5035520 markings, 6037093 edges, 29961 markings/sec, 160 secs
lola: 5183687 markings, 6214279 edges, 29633 markings/sec, 165 secs
lola: 5325439 markings, 6382925 edges, 28350 markings/sec, 170 secs
lola: 5466620 markings, 6553656 edges, 28236 markings/sec, 175 secs
lola: 5608947 markings, 6724557 edges, 28465 markings/sec, 180 secs
lola: 5749850 markings, 6896030 edges, 28181 markings/sec, 185 secs
lola: 5898901 markings, 7075459 edges, 29810 markings/sec, 190 secs
lola: 6046527 markings, 7252056 edges, 29525 markings/sec, 195 secs
lola: 6194868 markings, 7434467 edges, 29668 markings/sec, 200 secs
lola: 6340002 markings, 7611120 edges, 29027 markings/sec, 205 secs
lola: 6480590 markings, 7778751 edges, 28118 markings/sec, 210 secs
lola: 6621635 markings, 7952846 edges, 28209 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(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: 194083 markings, 206233 edges, 38817 markings/sec, 0 secs
lola: 383595 markings, 409735 edges, 37902 markings/sec, 5 secs
lola: 571363 markings, 611992 edges, 37554 markings/sec, 10 secs
lola: 757301 markings, 813370 edges, 37188 markings/sec, 15 secs
lola: 942046 markings, 1014683 edges, 36949 markings/sec, 20 secs
lola: 1126061 markings, 1216418 edges, 36803 markings/sec, 25 secs
lola: 1307163 markings, 1416139 edges, 36220 markings/sec, 30 secs
lola: 1487631 markings, 1615300 edges, 36094 markings/sec, 35 secs
lola: 1666532 markings, 1813967 edges, 35780 markings/sec, 40 secs
lola: 1844432 markings, 2012132 edges, 35580 markings/sec, 45 secs
lola: 2020733 markings, 2209342 edges, 35260 markings/sec, 50 secs
lola: 2195685 markings, 2404967 edges, 34990 markings/sec, 55 secs
lola: 2366902 markings, 2598925 edges, 34243 markings/sec, 60 secs
lola: 2539083 markings, 2792985 edges, 34436 markings/sec, 65 secs
lola: 2709636 markings, 2986914 edges, 34111 markings/sec, 70 secs
lola: 2880720 markings, 3181298 edges, 34217 markings/sec, 75 secs
lola: 3052629 markings, 3375229 edges, 34382 markings/sec, 80 secs
lola: 3221519 markings, 3568293 edges, 33778 markings/sec, 85 secs
lola: 3389742 markings, 3762460 edges, 33645 markings/sec, 90 secs
lola: 3558627 markings, 3954855 edges, 33777 markings/sec, 95 secs
lola: 3727462 markings, 4146388 edges, 33767 markings/sec, 100 secs
lola: 3897286 markings, 4338707 edges, 33965 markings/sec, 105 secs
lola: 4064358 markings, 4531336 edges, 33414 markings/sec, 110 secs
lola: 4233988 markings, 4727636 edges, 33926 markings/sec, 115 secs
lola: 4403197 markings, 4923634 edges, 33842 markings/sec, 120 secs
lola: 4571475 markings, 5118273 edges, 33656 markings/sec, 125 secs
lola: 4739628 markings, 5315143 edges, 33631 markings/sec, 130 secs
lola: 4906417 markings, 5512474 edges, 33358 markings/sec, 135 secs
lola: 5060952 markings, 5694090 edges, 30907 markings/sec, 140 secs
lola: 5226578 markings, 5889370 edges, 33125 markings/sec, 145 secs
lola: 5384020 markings, 6075748 edges, 31488 markings/sec, 150 secs
lola: 5542942 markings, 6265208 edges, 31784 markings/sec, 155 secs
lola: 5701986 markings, 6452560 edges, 31809 markings/sec, 160 secs
lola: 5845751 markings, 6622604 edges, 28753 markings/sec, 165 secs
lola: 5977639 markings, 6779454 edges, 26378 markings/sec, 170 secs
lola: 6107767 markings, 6934174 edges, 26026 markings/sec, 175 secs
lola: 6259503 markings, 7112723 edges, 30347 markings/sec, 180 secs
lola: 6414052 markings, 7296734 edges, 30910 markings/sec, 185 secs
lola: 6572316 markings, 7488311 edges, 31653 markings/sec, 190 secs
lola: 6731688 markings, 7678866 edges, 31874 markings/sec, 195 secs
lola: 6892674 markings, 7869965 edges, 32197 markings/sec, 200 secs
lola: 7047999 markings, 8055731 edges, 31065 markings/sec, 205 secs
lola: 7189693 markings, 8224944 edges, 28339 markings/sec, 210 secs
lola: 7330005 markings, 8392218 edges, 28062 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
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 1494684556901

--------------------
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-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/PolyORBLF-PT-S02J04T06.tgz
mv 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 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 r048-smll-149440869900425"
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 ;