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

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

=== Now, execution of the tool begins

BK_START 1496458799760


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


checking for too many tokens
===========================================================================================
S_PolyORBLF-PT-S04J04T08: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-PT-S04J04T08 @ 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: 4724/65536 symbol table entries, 1248 collisions
lola: preprocessing...
lola: finding significant places
lola: 712 places, 4012 transitions, 658 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2451 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J04T08-UpperBounds.task
lola: MAX(P_1093) : MAX(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8) : MAX(DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1) : MAX(P_2321_8 + P_2321_7 + P_2321_6 + P_2321_5 + P_2321_4 + P_2321_3 + P_2321_2 + P_2321_1) : MAX(Perform_Work_E_1 + Perform_Work_E_2 + Perform_Work_E_3 + Perform_Work_E_4 + Perform_Work_E_5 + Perform_Work_E_6 + Perform_Work_E_7 + Perform_Work_E_8) : MAX(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_3_3 + DisablePollingE_3_4 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_4_3 + DisablePollingE_4_4 + DisablePollingE_5_1 + DisablePollingE_5_2 + DisablePollingE_5_3 + DisablePollingE_5_4 + DisablePollingE_6_1 + DisablePollingE_6_2 + DisablePollingE_6_3 + DisablePollingE_6_4 + DisablePollingE_7_1 + DisablePollingE_7_2 + DisablePollingE_7_3 + DisablePollingE_7_4 + DisablePollingE_8_1 + DisablePollingE_8_2 + DisablePollingE_8_3 + DisablePollingE_8_4 + DisablePollingE_2_4 + DisablePollingE_2_3 + DisablePollingE_2_2 + DisablePollingE_2_1 + DisablePollingE_1_4 + DisablePollingE_1_3 + DisablePollingE_1_2 + DisablePollingE_1_1) : MAX(ScheduleTaskB_1 + ScheduleTaskB_2 + ScheduleTaskB_3 + ScheduleTaskB_4 + ScheduleTaskB_5 + ScheduleTaskB_6 + ScheduleTaskB_7 + ScheduleTaskB_8) : MAX(SigAbort) : MAX(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8) : MAX(P_1717) : MAX(P_1726) : MAX(Abort_Check_Sources_B_1 + Abort_Check_Sources_B_2 + Abort_Check_Sources_B_3 + Abort_Check_Sources_B_4 + Abort_Check_Sources_B_5 + Abort_Check_Sources_B_6 + Abort_Check_Sources_B_7 + Abort_Check_Sources_B_8) : MAX(NotifyEventEndOfCheckSourcesE_1 + NotifyEventEndOfCheckSourcesE_2 + NotifyEventEndOfCheckSourcesE_3 + NotifyEventEndOfCheckSourcesE_4 + NotifyEventEndOfCheckSourcesE_5 + NotifyEventEndOfCheckSourcesE_6 + NotifyEventEndOfCheckSourcesE_7 + NotifyEventEndOfCheckSourcesE_8) : MAX(NotifyEventSourceAddedE_1 + NotifyEventSourceAddedE_2 + NotifyEventSourceAddedE_3 + NotifyEventSourceAddedE_4 + NotifyEventSourceAddedE_5 + NotifyEventSourceAddedE_6 + NotifyEventSourceAddedE_7 + NotifyEventSourceAddedE_8) : MAX(ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6 + ScheduleTaskE_Check_7 + ScheduleTaskE_Check_8) : MAX(P_1724_0 + P_1724_1 + P_1724_2 + P_1724_3 + P_1724_4)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P_1093)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 38578 markings, 40499 edges, 7716 markings/sec, 0 secs
lola: 76291 markings, 81316 edges, 7543 markings/sec, 5 secs
lola: 114079 markings, 122854 edges, 7558 markings/sec, 10 secs
lola: 151145 markings, 164212 edges, 7413 markings/sec, 15 secs
lola: 188326 markings, 205844 edges, 7436 markings/sec, 20 secs
lola: 225574 markings, 248188 edges, 7450 markings/sec, 25 secs
lola: 262892 markings, 290669 edges, 7464 markings/sec, 30 secs
lola: 299702 markings, 333061 edges, 7362 markings/sec, 35 secs
lola: 336455 markings, 376447 edges, 7351 markings/sec, 40 secs
lola: 373471 markings, 419252 edges, 7403 markings/sec, 45 secs
lola: 410739 markings, 462603 edges, 7454 markings/sec, 50 secs
lola: 447711 markings, 506436 edges, 7394 markings/sec, 55 secs
lola: 484254 markings, 549740 edges, 7309 markings/sec, 60 secs
lola: 520859 markings, 593732 edges, 7321 markings/sec, 65 secs
lola: 557251 markings, 637033 edges, 7278 markings/sec, 70 secs
lola: 593979 markings, 681423 edges, 7346 markings/sec, 75 secs
lola: 630434 markings, 724220 edges, 7291 markings/sec, 80 secs
lola: 667244 markings, 768100 edges, 7362 markings/sec, 85 secs
lola: 703575 markings, 811399 edges, 7266 markings/sec, 90 secs
lola: 740633 markings, 855086 edges, 7412 markings/sec, 95 secs
lola: 777318 markings, 899147 edges, 7337 markings/sec, 100 secs
lola: 813330 markings, 943391 edges, 7202 markings/sec, 105 secs
lola: 850623 markings, 987327 edges, 7459 markings/sec, 110 secs
lola: 887876 markings, 1032396 edges, 7451 markings/sec, 115 secs
lola: 924005 markings, 1076461 edges, 7226 markings/sec, 120 secs
lola: 960930 markings, 1120893 edges, 7385 markings/sec, 125 secs
lola: 999298 markings, 1165503 edges, 7674 markings/sec, 130 secs
lola: 1035882 markings, 1210359 edges, 7317 markings/sec, 135 secs
lola: 1072933 markings, 1254188 edges, 7410 markings/sec, 140 secs
lola: 1109963 markings, 1299403 edges, 7406 markings/sec, 145 secs
lola: 1147091 markings, 1344290 edges, 7426 markings/sec, 150 secs
lola: 1183646 markings, 1389159 edges, 7311 markings/sec, 155 secs
lola: 1219594 markings, 1433031 edges, 7190 markings/sec, 160 secs
lola: 1255272 markings, 1476665 edges, 7136 markings/sec, 165 secs
lola: 1290231 markings, 1519683 edges, 6992 markings/sec, 170 secs
lola: 1325961 markings, 1562186 edges, 7146 markings/sec, 175 secs
lola: 1360936 markings, 1604215 edges, 6995 markings/sec, 180 secs
lola: 1396365 markings, 1647920 edges, 7086 markings/sec, 185 secs
lola: 1432138 markings, 1691343 edges, 7155 markings/sec, 190 secs
lola: 1468619 markings, 1734919 edges, 7296 markings/sec, 195 secs
lola: 1504043 markings, 1778580 edges, 7085 markings/sec, 200 secs
lola: 1539990 markings, 1821728 edges, 7189 markings/sec, 205 secs
lola: 1575918 markings, 1865303 edges, 7186 markings/sec, 210 secs
lola: 1610909 markings, 1908592 edges, 6998 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(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 38596 markings, 40164 edges, 7719 markings/sec, 0 secs
lola: 76420 markings, 80601 edges, 7565 markings/sec, 5 secs
lola: 113541 markings, 121087 edges, 7424 markings/sec, 10 secs
lola: 150519 markings, 162156 edges, 7396 markings/sec, 15 secs
lola: 187660 markings, 202864 edges, 7428 markings/sec, 20 secs
lola: 224496 markings, 244265 edges, 7367 markings/sec, 25 secs
lola: 261578 markings, 286344 edges, 7416 markings/sec, 30 secs
lola: 298051 markings, 328509 edges, 7295 markings/sec, 35 secs
lola: 334794 markings, 369976 edges, 7349 markings/sec, 40 secs
lola: 371277 markings, 412050 edges, 7297 markings/sec, 45 secs
lola: 407892 markings, 454176 edges, 7323 markings/sec, 50 secs
lola: 444469 markings, 496690 edges, 7315 markings/sec, 55 secs
lola: 480081 markings, 539503 edges, 7122 markings/sec, 60 secs
lola: 516683 markings, 581435 edges, 7320 markings/sec, 65 secs
lola: 552450 markings, 624143 edges, 7153 markings/sec, 70 secs
lola: 588995 markings, 665911 edges, 7309 markings/sec, 75 secs
lola: 625565 markings, 708357 edges, 7314 markings/sec, 80 secs
lola: 661147 markings, 751362 edges, 7116 markings/sec, 85 secs
lola: 697165 markings, 794309 edges, 7204 markings/sec, 90 secs
lola: 733795 markings, 837148 edges, 7326 markings/sec, 95 secs
lola: 770072 markings, 880057 edges, 7255 markings/sec, 100 secs
lola: 805943 markings, 922960 edges, 7174 markings/sec, 105 secs
lola: 842443 markings, 965578 edges, 7300 markings/sec, 110 secs
lola: 878317 markings, 1009235 edges, 7175 markings/sec, 115 secs
lola: 914560 markings, 1053728 edges, 7249 markings/sec, 120 secs
lola: 951078 markings, 1096977 edges, 7304 markings/sec, 125 secs
lola: 987462 markings, 1140955 edges, 7277 markings/sec, 130 secs
lola: 1024066 markings, 1184713 edges, 7321 markings/sec, 135 secs
lola: 1060654 markings, 1228311 edges, 7318 markings/sec, 140 secs
lola: 1097229 markings, 1271465 edges, 7315 markings/sec, 145 secs
lola: 1133303 markings, 1315351 edges, 7215 markings/sec, 150 secs
lola: 1169234 markings, 1359520 edges, 7186 markings/sec, 155 secs
lola: 1205164 markings, 1403534 edges, 7186 markings/sec, 160 secs
lola: 1241948 markings, 1447287 edges, 7357 markings/sec, 165 secs
lola: 1278392 markings, 1491046 edges, 7289 markings/sec, 170 secs
lola: 1314677 markings, 1534115 edges, 7257 markings/sec, 175 secs
lola: 1351238 markings, 1577367 edges, 7312 markings/sec, 180 secs
lola: 1387681 markings, 1620759 edges, 7289 markings/sec, 185 secs
lola: 1423583 markings, 1664749 edges, 7180 markings/sec, 190 secs
lola: 1460329 markings, 1708021 edges, 7349 markings/sec, 195 secs
lola: 1496290 markings, 1752265 edges, 7192 markings/sec, 200 secs
lola: 1531985 markings, 1795210 edges, 7139 markings/sec, 205 secs
lola: 1567215 markings, 1837658 edges, 7046 markings/sec, 210 secs
lola: 1602990 markings, 1881465 edges, 7155 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(DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 37450 markings, 39051 edges, 7490 markings/sec, 0 secs
lola: 74172 markings, 78423 edges, 7344 markings/sec, 5 secs
lola: 110372 markings, 118109 edges, 7240 markings/sec, 10 secs
lola: 146641 markings, 157875 edges, 7254 markings/sec, 15 secs
lola: 182022 markings, 198505 edges, 7076 markings/sec, 20 secs
lola: 210667 markings, 229957 edges, 5729 markings/sec, 25 secs
lola: 235667 markings, 257438 edges, 5000 markings/sec, 30 secs
lola: 272721 markings, 298960 edges, 7411 markings/sec, 35 secs
lola: 309808 markings, 340533 edges, 7417 markings/sec, 40 secs
lola: 347315 markings, 382607 edges, 7501 markings/sec, 45 secs
lola: 385010 markings, 424687 edges, 7539 markings/sec, 50 secs
lola: 422764 markings, 466357 edges, 7551 markings/sec, 55 secs
lola: 459876 markings, 508490 edges, 7422 markings/sec, 60 secs
lola: 497900 markings, 551229 edges, 7605 markings/sec, 65 secs
lola: 535918 markings, 594341 edges, 7604 markings/sec, 70 secs
lola: 574592 markings, 637081 edges, 7735 markings/sec, 75 secs
lola: 614185 markings, 681286 edges, 7919 markings/sec, 80 secs
lola: 653364 markings, 724761 edges, 7836 markings/sec, 85 secs
lola: 692890 markings, 768179 edges, 7905 markings/sec, 90 secs
lola: 732236 markings, 811613 edges, 7869 markings/sec, 95 secs
lola: 771789 markings, 855408 edges, 7911 markings/sec, 100 secs
lola: 811240 markings, 899584 edges, 7890 markings/sec, 105 secs
lola: 849901 markings, 942935 edges, 7732 markings/sec, 110 secs
lola: 889785 markings, 986937 edges, 7977 markings/sec, 115 secs
lola: 929084 markings, 1030406 edges, 7860 markings/sec, 120 secs
lola: 968943 markings, 1075118 edges, 7972 markings/sec, 125 secs
lola: 1009101 markings, 1120062 edges, 8032 markings/sec, 130 secs
lola: 1048254 markings, 1164449 edges, 7831 markings/sec, 135 secs
lola: 1087397 markings, 1208841 edges, 7829 markings/sec, 140 secs
lola: 1126894 markings, 1253528 edges, 7899 markings/sec, 145 secs
lola: 1167150 markings, 1298290 edges, 8051 markings/sec, 150 secs
lola: 1206792 markings, 1341801 edges, 7928 markings/sec, 155 secs
lola: 1246728 markings, 1386667 edges, 7987 markings/sec, 160 secs
lola: 1286486 markings, 1430746 edges, 7952 markings/sec, 165 secs
lola: 1326187 markings, 1474894 edges, 7940 markings/sec, 170 secs
lola: 1365321 markings, 1518635 edges, 7827 markings/sec, 175 secs
lola: 1405829 markings, 1564325 edges, 8102 markings/sec, 180 secs
lola: 1445430 markings, 1608393 edges, 7920 markings/sec, 185 secs
lola: 1484928 markings, 1652287 edges, 7900 markings/sec, 190 secs
lola: 1524740 markings, 1696963 edges, 7962 markings/sec, 195 secs
lola: 1564296 markings, 1741367 edges, 7911 markings/sec, 200 secs
lola: 1604481 markings, 1785948 edges, 8037 markings/sec, 205 secs
lola: 1644572 markings, 1830020 edges, 8018 markings/sec, 210 secs
lola: 1684093 markings, 1874216 edges, 7904 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_2321_8 + P_2321_7 + P_2321_6 + P_2321_5 + P_2321_4 + P_2321_3 + P_2321_2 + P_2321_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 37816 markings, 39394 edges, 7563 markings/sec, 0 secs
lola: 75033 markings, 79306 edges, 7443 markings/sec, 5 secs
lola: 111834 markings, 119312 edges, 7360 markings/sec, 10 secs
lola: 148115 markings, 159266 edges, 7256 markings/sec, 15 secs
lola: 184266 markings, 199248 edges, 7230 markings/sec, 20 secs
lola: 220131 markings, 239625 edges, 7173 markings/sec, 25 secs
lola: 257065 markings, 280672 edges, 7387 markings/sec, 30 secs
lola: 293542 markings, 322641 edges, 7295 markings/sec, 35 secs
lola: 330886 markings, 364376 edges, 7469 markings/sec, 40 secs
lola: 368389 markings, 408374 edges, 7501 markings/sec, 45 secs
lola: 406439 markings, 450360 edges, 7610 markings/sec, 50 secs
lola: 443857 markings, 492417 edges, 7484 markings/sec, 55 secs
lola: 481892 markings, 534549 edges, 7607 markings/sec, 60 secs
lola: 519794 markings, 576324 edges, 7580 markings/sec, 65 secs
lola: 557566 markings, 617894 edges, 7554 markings/sec, 70 secs
lola: 595534 markings, 660422 edges, 7594 markings/sec, 75 secs
lola: 632704 markings, 702735 edges, 7434 markings/sec, 80 secs
lola: 670530 markings, 744920 edges, 7565 markings/sec, 85 secs
lola: 708109 markings, 787325 edges, 7516 markings/sec, 90 secs
lola: 746708 markings, 829850 edges, 7720 markings/sec, 95 secs
lola: 785044 markings, 872283 edges, 7667 markings/sec, 100 secs
lola: 823030 markings, 914735 edges, 7597 markings/sec, 105 secs
lola: 861190 markings, 957050 edges, 7632 markings/sec, 110 secs
lola: 899547 markings, 999375 edges, 7671 markings/sec, 115 secs
lola: 937679 markings, 1042043 edges, 7626 markings/sec, 120 secs
lola: 975987 markings, 1084371 edges, 7662 markings/sec, 125 secs
lola: 1014404 markings, 1126738 edges, 7683 markings/sec, 130 secs
lola: 1052615 markings, 1169362 edges, 7642 markings/sec, 135 secs
lola: 1091021 markings, 1211524 edges, 7681 markings/sec, 140 secs
lola: 1129539 markings, 1253957 edges, 7704 markings/sec, 145 secs
lola: 1167349 markings, 1296245 edges, 7562 markings/sec, 150 secs
lola: 1205937 markings, 1340012 edges, 7718 markings/sec, 155 secs
lola: 1244516 markings, 1382575 edges, 7716 markings/sec, 160 secs
lola: 1282648 markings, 1425117 edges, 7626 markings/sec, 165 secs
lola: 1321711 markings, 1468891 edges, 7813 markings/sec, 170 secs
lola: 1360117 markings, 1511352 edges, 7681 markings/sec, 175 secs
lola: 1398557 markings, 1554377 edges, 7688 markings/sec, 180 secs
lola: 1437027 markings, 1597229 edges, 7694 markings/sec, 185 secs
lola: 1475848 markings, 1640222 edges, 7764 markings/sec, 190 secs
lola: 1514659 markings, 1683395 edges, 7762 markings/sec, 195 secs
lola: 1553561 markings, 1725996 edges, 7780 markings/sec, 200 secs
lola: 1591849 markings, 1768394 edges, 7658 markings/sec, 205 secs
lola: 1630071 markings, 1810429 edges, 7644 markings/sec, 210 secs
lola: 1668551 markings, 1852897 edges, 7696 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(Perform_Work_E_1 + Perform_Work_E_2 + Perform_Work_E_3 + Perform_Work_E_4 + Perform_Work_E_5 + Perform_Work_E_6 + Perform_Work_E_7 + Perform_Work_E_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 39151 markings, 40965 edges, 7830 markings/sec, 0 secs
lola: 76889 markings, 80081 edges, 7548 markings/sec, 5 secs
lola: 115141 markings, 120242 edges, 7650 markings/sec, 10 secs
lola: 154012 markings, 162225 edges, 7774 markings/sec, 15 secs
lola: 192712 markings, 204047 edges, 7740 markings/sec, 20 secs
lola: 231020 markings, 246594 edges, 7662 markings/sec, 25 secs
lola: 269354 markings, 288497 edges, 7667 markings/sec, 30 secs
lola: 307764 markings, 330722 edges, 7682 markings/sec, 35 secs
lola: 345901 markings, 372669 edges, 7627 markings/sec, 40 secs
lola: 383640 markings, 413758 edges, 7548 markings/sec, 45 secs
lola: 421845 markings, 456386 edges, 7641 markings/sec, 50 secs
lola: 458947 markings, 496455 edges, 7420 markings/sec, 55 secs
lola: 495781 markings, 535636 edges, 7367 markings/sec, 60 secs
lola: 534018 markings, 577445 edges, 7647 markings/sec, 65 secs
lola: 572290 markings, 619929 edges, 7654 markings/sec, 70 secs
lola: 610174 markings, 662489 edges, 7577 markings/sec, 75 secs
lola: 648165 markings, 703846 edges, 7598 markings/sec, 80 secs
lola: 686279 markings, 747026 edges, 7623 markings/sec, 85 secs
lola: 724107 markings, 790484 edges, 7566 markings/sec, 90 secs
lola: 761834 markings, 834775 edges, 7545 markings/sec, 95 secs
lola: 799563 markings, 876618 edges, 7546 markings/sec, 100 secs
lola: 836612 markings, 918699 edges, 7410 markings/sec, 105 secs
lola: 874224 markings, 961457 edges, 7522 markings/sec, 110 secs
lola: 911705 markings, 1005728 edges, 7496 markings/sec, 115 secs
lola: 949174 markings, 1048998 edges, 7494 markings/sec, 120 secs
lola: 985515 markings, 1089384 edges, 7268 markings/sec, 125 secs
lola: 1022739 markings, 1132363 edges, 7445 markings/sec, 130 secs
lola: 1059154 markings, 1172518 edges, 7283 markings/sec, 135 secs
lola: 1096163 markings, 1214978 edges, 7402 markings/sec, 140 secs
lola: 1133586 markings, 1258105 edges, 7485 markings/sec, 145 secs
lola: 1170117 markings, 1299066 edges, 7306 markings/sec, 150 secs
lola: 1208620 markings, 1344226 edges, 7701 markings/sec, 155 secs
lola: 1246764 markings, 1389083 edges, 7629 markings/sec, 160 secs
lola: 1284834 markings, 1434409 edges, 7614 markings/sec, 165 secs
lola: 1323125 markings, 1478210 edges, 7658 markings/sec, 170 secs
lola: 1361546 markings, 1522517 edges, 7684 markings/sec, 175 secs
lola: 1399503 markings, 1569158 edges, 7591 markings/sec, 180 secs
lola: 1437293 markings, 1612829 edges, 7558 markings/sec, 185 secs
lola: 1475051 markings, 1657965 edges, 7552 markings/sec, 190 secs
lola: 1513267 markings, 1704008 edges, 7643 markings/sec, 195 secs
lola: 1551223 markings, 1749370 edges, 7591 markings/sec, 200 secs
lola: 1588472 markings, 1796705 edges, 7450 markings/sec, 205 secs
lola: 1625931 markings, 1838681 edges, 7492 markings/sec, 210 secs
lola: 1663607 markings, 1883084 edges, 7535 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(DisablePollingE_3_1 + DisablePollingE_3_2 + DisablePollingE_3_3 + DisablePollingE_3_4 + DisablePollingE_4_1 + DisablePollingE_4_2 + DisablePollingE_4_3 + DisablePollingE_4_4 + DisablePollingE_5_1 + DisablePollingE_5_2 + DisablePollingE_5_3 + DisablePollingE_5_4 + DisablePollingE_6_1 + DisablePollingE_6_2 + DisablePollingE_6_3 + DisablePollingE_6_4 + DisablePollingE_7_1 + DisablePollingE_7_2 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 38255 markings, 39853 edges, 7651 markings/sec, 0 secs
lola: 75925 markings, 80263 edges, 7534 markings/sec, 5 secs
lola: 113288 markings, 120981 edges, 7473 markings/sec, 10 secs
lola: 149741 markings, 161725 edges, 7291 markings/sec, 15 secs
lola: 186463 markings, 202871 edges, 7344 markings/sec, 20 secs
lola: 223770 markings, 244433 edges, 7461 markings/sec, 25 secs
lola: 261304 markings, 285826 edges, 7507 markings/sec, 30 secs
lola: 298499 markings, 327696 edges, 7439 markings/sec, 35 secs
lola: 335933 markings, 369892 edges, 7487 markings/sec, 40 secs
lola: 373644 markings, 413253 edges, 7542 markings/sec, 45 secs
lola: 411608 markings, 455674 edges, 7593 markings/sec, 50 secs
lola: 450024 markings, 498671 edges, 7683 markings/sec, 55 secs
lola: 488997 markings, 541859 edges, 7795 markings/sec, 60 secs
lola: 527793 markings, 585025 edges, 7759 markings/sec, 65 secs
lola: 565737 markings, 627289 edges, 7589 markings/sec, 70 secs
lola: 603605 markings, 670107 edges, 7574 markings/sec, 75 secs
lola: 642353 markings, 712895 edges, 7750 markings/sec, 80 secs
lola: 680929 markings, 756264 edges, 7715 markings/sec, 85 secs
lola: 719238 markings, 799145 edges, 7662 markings/sec, 90 secs
lola: 757860 markings, 842690 edges, 7724 markings/sec, 95 secs
lola: 795997 markings, 885933 edges, 7627 markings/sec, 100 secs
lola: 834783 markings, 928446 edges, 7757 markings/sec, 105 secs
lola: 873004 markings, 970775 edges, 7644 markings/sec, 110 secs
lola: 911892 markings, 1014007 edges, 7778 markings/sec, 115 secs
lola: 951027 markings, 1057453 edges, 7827 markings/sec, 120 secs
lola: 990671 markings, 1101578 edges, 7929 markings/sec, 125 secs
lola: 1029254 markings, 1144150 edges, 7717 markings/sec, 130 secs
lola: 1068489 markings, 1187403 edges, 7847 markings/sec, 135 secs
lola: 1107939 markings, 1230956 edges, 7890 markings/sec, 140 secs
lola: 1147460 markings, 1274487 edges, 7904 markings/sec, 145 secs
lola: 1186388 markings, 1319023 edges, 7786 markings/sec, 150 secs
lola: 1225710 markings, 1363792 edges, 7864 markings/sec, 155 secs
lola: 1264448 markings, 1407236 edges, 7748 markings/sec, 160 secs
lola: 1303377 markings, 1450512 edges, 7786 markings/sec, 165 secs
lola: 1342050 markings, 1493942 edges, 7735 markings/sec, 170 secs
lola: 1381610 markings, 1538183 edges, 7912 markings/sec, 175 secs
lola: 1420602 markings, 1581973 edges, 7798 markings/sec, 180 secs
lola: 1460269 markings, 1625634 edges, 7933 markings/sec, 185 secs
lola: 1499662 markings, 1669831 edges, 7879 markings/sec, 190 secs
lola: 1539288 markings, 1713863 edges, 7925 markings/sec, 195 secs
lola: 1578479 markings, 1757636 edges, 7838 markings/sec, 200 secs
lola: 1618221 markings, 1802665 edges, 7948 markings/sec, 205 secs
lola: 1658263 markings, 1847252 edges, 8008 markings/sec, 210 secs
lola: 1697728 markings, 1891516 edges, 7893 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(ScheduleTaskB_1 + ScheduleTaskB_2 + ScheduleTaskB_3 + ScheduleTaskB_4 + ScheduleTaskB_5 + ScheduleTaskB_6 + ScheduleTaskB_7 + ScheduleTaskB_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 31062 markings, 31943 edges, 6212 markings/sec, 0 secs
lola: 61949 markings, 64702 edges, 6177 markings/sec, 5 secs
lola: 92978 markings, 98022 edges, 6206 markings/sec, 10 secs
lola: 123990 markings, 132554 edges, 6202 markings/sec, 15 secs
lola: 154883 markings, 167161 edges, 6179 markings/sec, 20 secs
lola: 185645 markings, 202870 edges, 6152 markings/sec, 25 secs
lola: 216336 markings, 239068 edges, 6138 markings/sec, 30 secs
lola: 246820 markings, 275649 edges, 6097 markings/sec, 35 secs
lola: 277319 markings, 311268 edges, 6100 markings/sec, 40 secs
lola: 307771 markings, 347984 edges, 6090 markings/sec, 45 secs
lola: 338561 markings, 383300 edges, 6158 markings/sec, 50 secs
lola: 369226 markings, 418654 edges, 6133 markings/sec, 55 secs
lola: 399967 markings, 453961 edges, 6148 markings/sec, 60 secs
lola: 430550 markings, 488626 edges, 6117 markings/sec, 65 secs
lola: 461447 markings, 522709 edges, 6179 markings/sec, 70 secs
lola: 492361 markings, 558086 edges, 6183 markings/sec, 75 secs
lola: 523082 markings, 593200 edges, 6144 markings/sec, 80 secs
lola: 554093 markings, 628575 edges, 6202 markings/sec, 85 secs
lola: 584923 markings, 663936 edges, 6166 markings/sec, 90 secs
lola: 615785 markings, 699614 edges, 6172 markings/sec, 95 secs
lola: 646595 markings, 734838 edges, 6162 markings/sec, 100 secs
lola: 677565 markings, 771004 edges, 6194 markings/sec, 105 secs
lola: 708628 markings, 806570 edges, 6213 markings/sec, 110 secs
lola: 739711 markings, 842174 edges, 6217 markings/sec, 115 secs
lola: 770639 markings, 877892 edges, 6186 markings/sec, 120 secs
lola: 801446 markings, 913175 edges, 6161 markings/sec, 125 secs
lola: 832042 markings, 948451 edges, 6119 markings/sec, 130 secs
lola: 862848 markings, 984777 edges, 6161 markings/sec, 135 secs
lola: 893245 markings, 1021772 edges, 6079 markings/sec, 140 secs
lola: 924055 markings, 1057969 edges, 6162 markings/sec, 145 secs
lola: 954672 markings, 1094096 edges, 6123 markings/sec, 150 secs
lola: 985207 markings, 1130371 edges, 6107 markings/sec, 155 secs
lola: 1015689 markings, 1166782 edges, 6096 markings/sec, 160 secs
lola: 1046322 markings, 1203197 edges, 6127 markings/sec, 165 secs
lola: 1077005 markings, 1239321 edges, 6137 markings/sec, 170 secs
lola: 1107631 markings, 1276567 edges, 6125 markings/sec, 175 secs
lola: 1138513 markings, 1313668 edges, 6176 markings/sec, 180 secs
lola: 1169005 markings, 1349779 edges, 6098 markings/sec, 185 secs
lola: 1199833 markings, 1386309 edges, 6166 markings/sec, 190 secs
lola: 1230203 markings, 1423456 edges, 6074 markings/sec, 195 secs
lola: 1260865 markings, 1459671 edges, 6132 markings/sec, 200 secs
lola: 1291220 markings, 1496125 edges, 6071 markings/sec, 205 secs
lola: 1321759 markings, 1532576 edges, 6108 markings/sec, 210 secs
lola: 1352553 markings, 1568327 edges, 6159 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(SigAbort)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 23818 markings, 25278 edges, 4764 markings/sec, 0 secs
lola: 47607 markings, 50958 edges, 4758 markings/sec, 5 secs
lola: 70586 markings, 75479 edges, 4596 markings/sec, 10 secs
lola: 94395 markings, 101165 edges, 4762 markings/sec, 15 secs
lola: 117697 markings, 126413 edges, 4660 markings/sec, 20 secs
lola: 147683 markings, 158327 edges, 5997 markings/sec, 25 secs
lola: 186790 markings, 200998 edges, 7821 markings/sec, 30 secs
lola: 226897 markings, 245058 edges, 8021 markings/sec, 35 secs
lola: 266859 markings, 289357 edges, 7992 markings/sec, 40 secs
lola: 306210 markings, 333274 edges, 7870 markings/sec, 45 secs
lola: 345341 markings, 377307 edges, 7826 markings/sec, 50 secs
lola: 385139 markings, 421544 edges, 7960 markings/sec, 55 secs
lola: 424548 markings, 465860 edges, 7882 markings/sec, 60 secs
lola: 464514 markings, 510240 edges, 7993 markings/sec, 65 secs
lola: 504021 markings, 554865 edges, 7901 markings/sec, 70 secs
lola: 543488 markings, 599101 edges, 7893 markings/sec, 75 secs
lola: 583467 markings, 643427 edges, 7996 markings/sec, 80 secs
lola: 622967 markings, 688280 edges, 7900 markings/sec, 85 secs
lola: 662124 markings, 732788 edges, 7831 markings/sec, 90 secs
lola: 701125 markings, 777221 edges, 7800 markings/sec, 95 secs
lola: 740912 markings, 822039 edges, 7957 markings/sec, 100 secs
lola: 780366 markings, 866901 edges, 7891 markings/sec, 105 secs
lola: 820147 markings, 912353 edges, 7956 markings/sec, 110 secs
lola: 859255 markings, 956939 edges, 7822 markings/sec, 115 secs
lola: 898752 markings, 1000831 edges, 7899 markings/sec, 120 secs
lola: 937633 markings, 1044804 edges, 7776 markings/sec, 125 secs
lola: 976636 markings, 1088836 edges, 7801 markings/sec, 130 secs
lola: 1015903 markings, 1134312 edges, 7853 markings/sec, 135 secs
lola: 1054297 markings, 1179326 edges, 7679 markings/sec, 140 secs
lola: 1093606 markings, 1223474 edges, 7862 markings/sec, 145 secs
lola: 1132717 markings, 1268576 edges, 7822 markings/sec, 150 secs
lola: 1172359 markings, 1313467 edges, 7928 markings/sec, 155 secs
lola: 1211465 markings, 1358616 edges, 7821 markings/sec, 160 secs
lola: 1250823 markings, 1403663 edges, 7872 markings/sec, 165 secs
lola: 1288876 markings, 1449648 edges, 7611 markings/sec, 170 secs
lola: 1327259 markings, 1492105 edges, 7677 markings/sec, 175 secs
lola: 1366168 markings, 1536679 edges, 7782 markings/sec, 180 secs
lola: 1404002 markings, 1581025 edges, 7567 markings/sec, 185 secs
lola: 1441370 markings, 1623925 edges, 7474 markings/sec, 190 secs
lola: 1478161 markings, 1666070 edges, 7358 markings/sec, 195 secs
lola: 1515124 markings, 1708204 edges, 7393 markings/sec, 200 secs
lola: 1552181 markings, 1750246 edges, 7411 markings/sec, 205 secs
lola: 1588994 markings, 1791035 edges, 7363 markings/sec, 210 secs
lola: 1625658 markings, 1832020 edges, 7333 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(Check_Sources_E_1 + Check_Sources_E_2 + Check_Sources_E_3 + Check_Sources_E_4 + Check_Sources_E_5 + Check_Sources_E_6 + Check_Sources_E_7 + Check_Sources_E_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 39878 markings, 41571 edges, 7976 markings/sec, 0 secs
lola: 79078 markings, 83480 edges, 7840 markings/sec, 5 secs
lola: 117535 markings, 125547 edges, 7691 markings/sec, 10 secs
lola: 156049 markings, 168278 edges, 7703 markings/sec, 15 secs
lola: 194449 markings, 210863 edges, 7680 markings/sec, 20 secs
lola: 233192 markings, 254024 edges, 7749 markings/sec, 25 secs
lola: 271642 markings, 297718 edges, 7690 markings/sec, 30 secs
lola: 309520 markings, 341634 edges, 7576 markings/sec, 35 secs
lola: 347978 markings, 384972 edges, 7692 markings/sec, 40 secs
lola: 385828 markings, 429129 edges, 7570 markings/sec, 45 secs
lola: 424073 markings, 472972 edges, 7649 markings/sec, 50 secs
lola: 461931 markings, 517298 edges, 7572 markings/sec, 55 secs
lola: 499345 markings, 561451 edges, 7483 markings/sec, 60 secs
lola: 536672 markings, 605750 edges, 7465 markings/sec, 65 secs
lola: 574650 markings, 649468 edges, 7596 markings/sec, 70 secs
lola: 612670 markings, 693359 edges, 7604 markings/sec, 75 secs
lola: 650134 markings, 738067 edges, 7493 markings/sec, 80 secs
lola: 687529 markings, 783156 edges, 7479 markings/sec, 85 secs
lola: 725661 markings, 827757 edges, 7626 markings/sec, 90 secs
lola: 763536 markings, 872368 edges, 7575 markings/sec, 95 secs
lola: 801072 markings, 917345 edges, 7507 markings/sec, 100 secs
lola: 839189 markings, 961814 edges, 7623 markings/sec, 105 secs
lola: 876647 markings, 1007289 edges, 7492 markings/sec, 110 secs
lola: 914484 markings, 1053564 edges, 7567 markings/sec, 115 secs
lola: 952565 markings, 1098726 edges, 7616 markings/sec, 120 secs
lola: 990624 markings, 1144632 edges, 7612 markings/sec, 125 secs
lola: 1028644 markings, 1190095 edges, 7604 markings/sec, 130 secs
lola: 1066954 markings, 1235971 edges, 7662 markings/sec, 135 secs
lola: 1105247 markings, 1281114 edges, 7659 markings/sec, 140 secs
lola: 1142582 markings, 1326601 edges, 7467 markings/sec, 145 secs
lola: 1180291 markings, 1372721 edges, 7542 markings/sec, 150 secs
lola: 1217876 markings, 1418704 edges, 7517 markings/sec, 155 secs
lola: 1255847 markings, 1464307 edges, 7594 markings/sec, 160 secs
lola: 1293870 markings, 1509532 edges, 7605 markings/sec, 165 secs
lola: 1331822 markings, 1554753 edges, 7590 markings/sec, 170 secs
lola: 1369995 markings, 1599644 edges, 7635 markings/sec, 175 secs
lola: 1407651 markings, 1645508 edges, 7531 markings/sec, 180 secs
lola: 1446207 markings, 1690902 edges, 7711 markings/sec, 185 secs
lola: 1484190 markings, 1737049 edges, 7597 markings/sec, 190 secs
lola: 1521667 markings, 1782510 edges, 7495 markings/sec, 195 secs
lola: 1559041 markings, 1827889 edges, 7475 markings/sec, 200 secs
lola: 1596791 markings, 1873905 edges, 7550 markings/sec, 205 secs
lola: 1634583 markings, 1919998 edges, 7558 markings/sec, 210 secs
lola: 1672593 markings, 1965256 edges, 7602 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P_1717)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 30636 markings, 38862 edges, 6127 markings/sec, 0 secs
lola: 59212 markings, 77816 edges, 5715 markings/sec, 5 secs
lola: 87828 markings, 117589 edges, 5723 markings/sec, 10 secs
lola: 116094 markings, 156880 edges, 5653 markings/sec, 15 secs
lola: 144277 markings, 196042 edges, 5637 markings/sec, 20 secs
lola: 172472 markings, 236098 edges, 5639 markings/sec, 25 secs
lola: 201063 markings, 275054 edges, 5718 markings/sec, 30 secs
lola: 228975 markings, 314165 edges, 5582 markings/sec, 35 secs
lola: 257603 markings, 354008 edges, 5726 markings/sec, 40 secs
lola: 285806 markings, 393212 edges, 5641 markings/sec, 45 secs
lola: 314304 markings, 433412 edges, 5700 markings/sec, 50 secs
lola: 342961 markings, 473785 edges, 5731 markings/sec, 55 secs
lola: 371553 markings, 514358 edges, 5718 markings/sec, 60 secs
lola: 399499 markings, 554799 edges, 5589 markings/sec, 65 secs
lola: 428083 markings, 595329 edges, 5717 markings/sec, 70 secs
lola: 456306 markings, 633847 edges, 5645 markings/sec, 75 secs
lola: 485310 markings, 675974 edges, 5801 markings/sec, 80 secs
lola: 513915 markings, 717543 edges, 5721 markings/sec, 85 secs
lola: 542709 markings, 757412 edges, 5759 markings/sec, 90 secs
lola: 570950 markings, 796528 edges, 5648 markings/sec, 95 secs
lola: 599465 markings, 836257 edges, 5703 markings/sec, 100 secs
lola: 628437 markings, 878041 edges, 5794 markings/sec, 105 secs
lola: 656876 markings, 917899 edges, 5688 markings/sec, 110 secs
lola: 685784 markings, 959339 edges, 5782 markings/sec, 115 secs
lola: 714783 markings, 1001209 edges, 5800 markings/sec, 120 secs
lola: 742544 markings, 1041705 edges, 5552 markings/sec, 125 secs
lola: 771256 markings, 1083137 edges, 5742 markings/sec, 130 secs
lola: 799524 markings, 1124855 edges, 5654 markings/sec, 135 secs
lola: 828088 markings, 1165091 edges, 5713 markings/sec, 140 secs
lola: 857089 markings, 1207190 edges, 5800 markings/sec, 145 secs
lola: 886172 markings, 1249760 edges, 5817 markings/sec, 150 secs
lola: 914089 markings, 1288305 edges, 5583 markings/sec, 155 secs
lola: 942281 markings, 1327924 edges, 5638 markings/sec, 160 secs
lola: 971437 markings, 1370901 edges, 5831 markings/sec, 165 secs
lola: 999969 markings, 1411354 edges, 5706 markings/sec, 170 secs
lola: 1027844 markings, 1451852 edges, 5575 markings/sec, 175 secs
lola: 1057008 markings, 1493569 edges, 5833 markings/sec, 180 secs
lola: 1085268 markings, 1534919 edges, 5652 markings/sec, 185 secs
lola: 1114148 markings, 1575640 edges, 5776 markings/sec, 190 secs
lola: 1143901 markings, 1618614 edges, 5951 markings/sec, 195 secs
lola: 1171862 markings, 1659038 edges, 5592 markings/sec, 200 secs
lola: 1201012 markings, 1701716 edges, 5830 markings/sec, 205 secs
lola: 1229651 markings, 1743910 edges, 5728 markings/sec, 210 secs
lola: 1258372 markings, 1784769 edges, 5744 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P_1726)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 23622 markings, 26252 edges, 4724 markings/sec, 0 secs
lola: 47736 markings, 54058 edges, 4823 markings/sec, 5 secs
lola: 71887 markings, 82154 edges, 4830 markings/sec, 10 secs
lola: 95073 markings, 109822 edges, 4637 markings/sec, 15 secs
lola: 118684 markings, 138878 edges, 4722 markings/sec, 20 secs
lola: 141710 markings, 166761 edges, 4605 markings/sec, 25 secs
lola: 165436 markings, 196377 edges, 4745 markings/sec, 30 secs
lola: 188557 markings, 224877 edges, 4624 markings/sec, 35 secs
lola: 212771 markings, 255033 edges, 4843 markings/sec, 40 secs
lola: 236940 markings, 285076 edges, 4834 markings/sec, 45 secs
lola: 261204 markings, 316265 edges, 4853 markings/sec, 50 secs
lola: 285333 markings, 346975 edges, 4826 markings/sec, 55 secs
lola: 309398 markings, 377376 edges, 4813 markings/sec, 60 secs
lola: 333106 markings, 407782 edges, 4742 markings/sec, 65 secs
lola: 356801 markings, 438756 edges, 4739 markings/sec, 70 secs
lola: 380406 markings, 469442 edges, 4721 markings/sec, 75 secs
lola: 404617 markings, 501168 edges, 4842 markings/sec, 80 secs
lola: 428075 markings, 531260 edges, 4692 markings/sec, 85 secs
lola: 452238 markings, 563672 edges, 4833 markings/sec, 90 secs
lola: 475343 markings, 593104 edges, 4621 markings/sec, 95 secs
lola: 498414 markings, 623529 edges, 4614 markings/sec, 100 secs
lola: 522250 markings, 654353 edges, 4767 markings/sec, 105 secs
lola: 546045 markings, 686163 edges, 4759 markings/sec, 110 secs
lola: 568259 markings, 714658 edges, 4443 markings/sec, 115 secs
lola: 590892 markings, 744484 edges, 4527 markings/sec, 120 secs
lola: 613529 markings, 773745 edges, 4527 markings/sec, 125 secs
lola: 636183 markings, 802699 edges, 4531 markings/sec, 130 secs
lola: 658189 markings, 831464 edges, 4401 markings/sec, 135 secs
lola: 679386 markings, 859557 edges, 4239 markings/sec, 140 secs
lola: 700752 markings, 887285 edges, 4273 markings/sec, 145 secs
lola: 723806 markings, 917653 edges, 4611 markings/sec, 150 secs
lola: 746018 markings, 948095 edges, 4442 markings/sec, 155 secs
lola: 768204 markings, 977130 edges, 4437 markings/sec, 160 secs
lola: 790333 markings, 1005380 edges, 4426 markings/sec, 165 secs
lola: 812501 markings, 1034726 edges, 4434 markings/sec, 170 secs
lola: 834902 markings, 1064103 edges, 4480 markings/sec, 175 secs
lola: 857630 markings, 1094644 edges, 4546 markings/sec, 180 secs
lola: 880730 markings, 1125012 edges, 4620 markings/sec, 185 secs
lola: 902305 markings, 1153724 edges, 4315 markings/sec, 190 secs
lola: 925224 markings, 1183896 edges, 4584 markings/sec, 195 secs
lola: 948767 markings, 1214650 edges, 4709 markings/sec, 200 secs
lola: 971942 markings, 1245564 edges, 4635 markings/sec, 205 secs
lola: 993636 markings, 1273603 edges, 4339 markings/sec, 210 secs
lola: 1015728 markings, 1302282 edges, 4418 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(Abort_Check_Sources_B_1 + Abort_Check_Sources_B_2 + Abort_Check_Sources_B_3 + Abort_Check_Sources_B_4 + Abort_Check_Sources_B_5 + Abort_Check_Sources_B_6 + Abort_Check_Sources_B_7 + Abort_Check_Sources_B_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 39800 markings, 42589 edges, 7960 markings/sec, 0 secs
lola: 77905 markings, 83290 edges, 7621 markings/sec, 5 secs
lola: 116675 markings, 125206 edges, 7754 markings/sec, 10 secs
lola: 156295 markings, 167632 edges, 7924 markings/sec, 15 secs
lola: 196513 markings, 211784 edges, 8044 markings/sec, 20 secs
lola: 237162 markings, 256615 edges, 8130 markings/sec, 25 secs
lola: 277403 markings, 301225 edges, 8048 markings/sec, 30 secs
lola: 317712 markings, 346686 edges, 8062 markings/sec, 35 secs
lola: 358138 markings, 391668 edges, 8085 markings/sec, 40 secs
lola: 398156 markings, 436631 edges, 8004 markings/sec, 45 secs
lola: 438165 markings, 481326 edges, 8002 markings/sec, 50 secs
lola: 478065 markings, 525730 edges, 7980 markings/sec, 55 secs
lola: 517953 markings, 570609 edges, 7978 markings/sec, 60 secs
lola: 558092 markings, 615434 edges, 8028 markings/sec, 65 secs
lola: 597896 markings, 659970 edges, 7961 markings/sec, 70 secs
lola: 637812 markings, 705679 edges, 7983 markings/sec, 75 secs
lola: 677087 markings, 749689 edges, 7855 markings/sec, 80 secs
lola: 716777 markings, 795002 edges, 7938 markings/sec, 85 secs
lola: 756446 markings, 839794 edges, 7934 markings/sec, 90 secs
lola: 796296 markings, 885081 edges, 7970 markings/sec, 95 secs
lola: 836296 markings, 930358 edges, 8000 markings/sec, 100 secs
lola: 875511 markings, 975041 edges, 7843 markings/sec, 105 secs
lola: 915315 markings, 1019237 edges, 7961 markings/sec, 110 secs
lola: 954349 markings, 1063400 edges, 7807 markings/sec, 115 secs
lola: 993528 markings, 1108340 edges, 7836 markings/sec, 120 secs
lola: 1033105 markings, 1154284 edges, 7915 markings/sec, 125 secs
lola: 1072635 markings, 1200121 edges, 7906 markings/sec, 130 secs
lola: 1112111 markings, 1244668 edges, 7895 markings/sec, 135 secs
lola: 1151819 markings, 1290208 edges, 7942 markings/sec, 140 secs
lola: 1191752 markings, 1336874 edges, 7987 markings/sec, 145 secs
lola: 1230992 markings, 1380818 edges, 7848 markings/sec, 150 secs
lola: 1269219 markings, 1425973 edges, 7645 markings/sec, 155 secs
lola: 1307441 markings, 1470401 edges, 7644 markings/sec, 160 secs
lola: 1346512 markings, 1514185 edges, 7814 markings/sec, 165 secs
lola: 1385465 markings, 1559794 edges, 7791 markings/sec, 170 secs
lola: 1424477 markings, 1604606 edges, 7802 markings/sec, 175 secs
lola: 1463540 markings, 1649609 edges, 7813 markings/sec, 180 secs
lola: 1502300 markings, 1692909 edges, 7752 markings/sec, 185 secs
lola: 1541180 markings, 1737682 edges, 7776 markings/sec, 190 secs
lola: 1580152 markings, 1781301 edges, 7794 markings/sec, 195 secs
lola: 1618914 markings, 1824514 edges, 7752 markings/sec, 200 secs
lola: 1657715 markings, 1868817 edges, 7760 markings/sec, 205 secs
lola: 1697089 markings, 1913216 edges, 7875 markings/sec, 210 secs
lola: 1735547 markings, 1956942 edges, 7692 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(NotifyEventEndOfCheckSourcesE_1 + NotifyEventEndOfCheckSourcesE_2 + NotifyEventEndOfCheckSourcesE_3 + NotifyEventEndOfCheckSourcesE_4 + NotifyEventEndOfCheckSourcesE_5 + NotifyEventEndOfCheckSourcesE_6 + NotifyEventEndOfCheckSourcesE_7 + NotifyEventEndOfCheckSourcesE_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 39502 markings, 40851 edges, 7900 markings/sec, 0 secs
lola: 78447 markings, 81487 edges, 7789 markings/sec, 5 secs
lola: 116881 markings, 121396 edges, 7687 markings/sec, 10 secs
lola: 155392 markings, 162741 edges, 7702 markings/sec, 15 secs
lola: 193888 markings, 203552 edges, 7699 markings/sec, 20 secs
lola: 232004 markings, 244264 edges, 7623 markings/sec, 25 secs
lola: 269993 markings, 285763 edges, 7598 markings/sec, 30 secs
lola: 308436 markings, 326055 edges, 7689 markings/sec, 35 secs
lola: 346338 markings, 367055 edges, 7580 markings/sec, 40 secs
lola: 384563 markings, 407940 edges, 7645 markings/sec, 45 secs
lola: 422216 markings, 449215 edges, 7531 markings/sec, 50 secs
lola: 460019 markings, 490017 edges, 7561 markings/sec, 55 secs
lola: 498694 markings, 531556 edges, 7735 markings/sec, 60 secs
lola: 536974 markings, 573301 edges, 7656 markings/sec, 65 secs
lola: 574740 markings, 613820 edges, 7553 markings/sec, 70 secs
lola: 613388 markings, 655449 edges, 7730 markings/sec, 75 secs
lola: 652100 markings, 697550 edges, 7742 markings/sec, 80 secs
lola: 690757 markings, 739130 edges, 7731 markings/sec, 85 secs
lola: 729266 markings, 780574 edges, 7702 markings/sec, 90 secs
lola: 767417 markings, 822340 edges, 7630 markings/sec, 95 secs
lola: 806261 markings, 864128 edges, 7769 markings/sec, 100 secs
lola: 844444 markings, 905885 edges, 7637 markings/sec, 105 secs
lola: 882802 markings, 947554 edges, 7672 markings/sec, 110 secs
lola: 920755 markings, 988544 edges, 7591 markings/sec, 115 secs
lola: 959601 markings, 1030402 edges, 7769 markings/sec, 120 secs
lola: 998045 markings, 1071332 edges, 7689 markings/sec, 125 secs
lola: 1036966 markings, 1113434 edges, 7784 markings/sec, 130 secs
lola: 1075999 markings, 1155654 edges, 7807 markings/sec, 135 secs
lola: 1114558 markings, 1197223 edges, 7712 markings/sec, 140 secs
lola: 1152607 markings, 1236911 edges, 7610 markings/sec, 145 secs
lola: 1191445 markings, 1279133 edges, 7768 markings/sec, 150 secs
lola: 1230311 markings, 1321145 edges, 7773 markings/sec, 155 secs
lola: 1269062 markings, 1362852 edges, 7750 markings/sec, 160 secs
lola: 1307694 markings, 1404678 edges, 7726 markings/sec, 165 secs
lola: 1345124 markings, 1445218 edges, 7486 markings/sec, 170 secs
lola: 1383642 markings, 1486604 edges, 7704 markings/sec, 175 secs
lola: 1421812 markings, 1527428 edges, 7634 markings/sec, 180 secs
lola: 1460959 markings, 1569491 edges, 7829 markings/sec, 185 secs
lola: 1499362 markings, 1609853 edges, 7681 markings/sec, 190 secs
lola: 1537943 markings, 1651508 edges, 7716 markings/sec, 195 secs
lola: 1577079 markings, 1693826 edges, 7827 markings/sec, 200 secs
lola: 1615936 markings, 1735783 edges, 7771 markings/sec, 205 secs
lola: 1654446 markings, 1777727 edges, 7702 markings/sec, 210 secs
lola: 1693616 markings, 1820112 edges, 7834 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(NotifyEventSourceAddedE_1 + NotifyEventSourceAddedE_2 + NotifyEventSourceAddedE_3 + NotifyEventSourceAddedE_4 + NotifyEventSourceAddedE_5 + NotifyEventSourceAddedE_6 + NotifyEventSourceAddedE_7 + NotifyEventSourceAddedE_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 39113 markings, 40717 edges, 7823 markings/sec, 0 secs
lola: 77516 markings, 82011 edges, 7681 markings/sec, 5 secs
lola: 115229 markings, 123480 edges, 7543 markings/sec, 10 secs
lola: 153133 markings, 164826 edges, 7581 markings/sec, 15 secs
lola: 190896 markings, 206257 edges, 7553 markings/sec, 20 secs
lola: 228274 markings, 248497 edges, 7476 markings/sec, 25 secs
lola: 266654 markings, 290794 edges, 7676 markings/sec, 30 secs
lola: 304658 markings, 333187 edges, 7601 markings/sec, 35 secs
lola: 343991 markings, 376521 edges, 7867 markings/sec, 40 secs
lola: 382339 markings, 420745 edges, 7670 markings/sec, 45 secs
lola: 421385 markings, 464267 edges, 7809 markings/sec, 50 secs
lola: 460866 markings, 507386 edges, 7896 markings/sec, 55 secs
lola: 499593 markings, 551152 edges, 7745 markings/sec, 60 secs
lola: 538573 markings, 594417 edges, 7796 markings/sec, 65 secs
lola: 578138 markings, 637807 edges, 7913 markings/sec, 70 secs
lola: 617658 markings, 681548 edges, 7904 markings/sec, 75 secs
lola: 656740 markings, 724682 edges, 7816 markings/sec, 80 secs
lola: 695645 markings, 768094 edges, 7781 markings/sec, 85 secs
lola: 735051 markings, 811957 edges, 7881 markings/sec, 90 secs
lola: 774724 markings, 855365 edges, 7935 markings/sec, 95 secs
lola: 814678 markings, 899235 edges, 7991 markings/sec, 100 secs
lola: 855009 markings, 943377 edges, 8066 markings/sec, 105 secs
lola: 894874 markings, 987269 edges, 7973 markings/sec, 110 secs
lola: 935135 markings, 1031911 edges, 8052 markings/sec, 115 secs
lola: 975539 markings, 1076361 edges, 8081 markings/sec, 120 secs
lola: 1014984 markings, 1120272 edges, 7889 markings/sec, 125 secs
lola: 1055259 markings, 1164763 edges, 8055 markings/sec, 130 secs
lola: 1095247 markings, 1209099 edges, 7998 markings/sec, 135 secs
lola: 1135375 markings, 1253638 edges, 8026 markings/sec, 140 secs
lola: 1175230 markings, 1298068 edges, 7971 markings/sec, 145 secs
lola: 1215200 markings, 1341964 edges, 7994 markings/sec, 150 secs
lola: 1255382 markings, 1386882 edges, 8036 markings/sec, 155 secs
lola: 1294974 markings, 1430772 edges, 7918 markings/sec, 160 secs
lola: 1334674 markings, 1474474 edges, 7940 markings/sec, 165 secs
lola: 1374792 markings, 1519156 edges, 8024 markings/sec, 170 secs
lola: 1415131 markings, 1563704 edges, 8068 markings/sec, 175 secs
lola: 1455429 markings, 1608131 edges, 8060 markings/sec, 180 secs
lola: 1493381 markings, 1650033 edges, 7590 markings/sec, 185 secs
lola: 1533786 markings, 1694885 edges, 8081 markings/sec, 190 secs
lola: 1573403 markings, 1738216 edges, 7923 markings/sec, 195 secs
lola: 1612448 markings, 1781556 edges, 7809 markings/sec, 200 secs
lola: 1652503 markings, 1825608 edges, 8011 markings/sec, 205 secs
lola: 1693464 markings, 1871093 edges, 8192 markings/sec, 210 secs
lola: 1733288 markings, 1915145 edges, 7965 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(ScheduleTaskE_Check_1 + ScheduleTaskE_Check_2 + ScheduleTaskE_Check_3 + ScheduleTaskE_Check_4 + ScheduleTaskE_Check_5 + ScheduleTaskE_Check_6 + ScheduleTaskE_Check_7 + ScheduleTaskE_Check_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 34487 markings, 35459 edges, 6897 markings/sec, 0 secs
lola: 68270 markings, 73898 edges, 6757 markings/sec, 5 secs
lola: 102198 markings, 112448 edges, 6786 markings/sec, 10 secs
lola: 134991 markings, 149135 edges, 6559 markings/sec, 15 secs
lola: 167373 markings, 185381 edges, 6476 markings/sec, 20 secs
lola: 199939 markings, 221460 edges, 6513 markings/sec, 25 secs
lola: 232267 markings, 259668 edges, 6466 markings/sec, 30 secs
lola: 265880 markings, 299273 edges, 6723 markings/sec, 35 secs
lola: 300035 markings, 338090 edges, 6831 markings/sec, 40 secs
lola: 333953 markings, 377497 edges, 6784 markings/sec, 45 secs
lola: 367596 markings, 418844 edges, 6729 markings/sec, 50 secs
lola: 401325 markings, 459667 edges, 6746 markings/sec, 55 secs
lola: 434794 markings, 501619 edges, 6694 markings/sec, 60 secs
lola: 468276 markings, 543380 edges, 6696 markings/sec, 65 secs
lola: 501870 markings, 583511 edges, 6719 markings/sec, 70 secs
lola: 535494 markings, 624261 edges, 6725 markings/sec, 75 secs
lola: 569743 markings, 663617 edges, 6850 markings/sec, 80 secs
lola: 603119 markings, 703266 edges, 6675 markings/sec, 85 secs
lola: 636856 markings, 741865 edges, 6747 markings/sec, 90 secs
lola: 670092 markings, 784800 edges, 6647 markings/sec, 95 secs
lola: 703691 markings, 824788 edges, 6720 markings/sec, 100 secs
lola: 735980 markings, 863158 edges, 6458 markings/sec, 105 secs
lola: 768718 markings, 900063 edges, 6548 markings/sec, 110 secs
lola: 801162 markings, 938743 edges, 6489 markings/sec, 115 secs
lola: 834015 markings, 977273 edges, 6571 markings/sec, 120 secs
lola: 868055 markings, 1017943 edges, 6808 markings/sec, 125 secs
lola: 902313 markings, 1059734 edges, 6852 markings/sec, 130 secs
lola: 936117 markings, 1099986 edges, 6761 markings/sec, 135 secs
lola: 970232 markings, 1143045 edges, 6823 markings/sec, 140 secs
lola: 1004548 markings, 1184607 edges, 6863 markings/sec, 145 secs
lola: 1038876 markings, 1228141 edges, 6866 markings/sec, 150 secs
lola: 1073449 markings, 1269014 edges, 6915 markings/sec, 155 secs
lola: 1107978 markings, 1311549 edges, 6906 markings/sec, 160 secs
lola: 1142182 markings, 1354120 edges, 6841 markings/sec, 165 secs
lola: 1176761 markings, 1397268 edges, 6916 markings/sec, 170 secs
lola: 1211580 markings, 1438549 edges, 6964 markings/sec, 175 secs
lola: 1246037 markings, 1483967 edges, 6891 markings/sec, 180 secs
lola: 1280668 markings, 1526673 edges, 6926 markings/sec, 185 secs
lola: 1315485 markings, 1568898 edges, 6963 markings/sec, 190 secs
lola: 1348548 markings, 1608696 edges, 6613 markings/sec, 195 secs
lola: 1381621 markings, 1649270 edges, 6615 markings/sec, 200 secs
lola: 1415167 markings, 1690578 edges, 6709 markings/sec, 205 secs
lola: 1449836 markings, 1733299 edges, 6934 markings/sec, 210 secs
lola: 1484430 markings, 1775759 edges, 6919 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(P_1724_0 + P_1724_1 + P_1724_2 + P_1724_3 + P_1724_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2632 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: 24554 markings, 27310 edges, 4911 markings/sec, 0 secs
lola: 49067 markings, 55530 edges, 4903 markings/sec, 5 secs
lola: 73489 markings, 84068 edges, 4884 markings/sec, 10 secs
lola: 97928 markings, 113253 edges, 4888 markings/sec, 15 secs
lola: 122202 markings, 143175 edges, 4855 markings/sec, 20 secs
lola: 146012 markings, 172029 edges, 4762 markings/sec, 25 secs
lola: 169788 markings, 201844 edges, 4755 markings/sec, 30 secs
lola: 193575 markings, 230768 edges, 4757 markings/sec, 35 secs
lola: 217796 markings, 261198 edges, 4844 markings/sec, 40 secs
lola: 242331 markings, 292104 edges, 4907 markings/sec, 45 secs
lola: 266548 markings, 323349 edges, 4843 markings/sec, 50 secs
lola: 290875 markings, 353875 edges, 4865 markings/sec, 55 secs
lola: 314499 markings, 383788 edges, 4725 markings/sec, 60 secs
lola: 338096 markings, 414870 edges, 4719 markings/sec, 65 secs
lola: 361733 markings, 445288 edges, 4727 markings/sec, 70 secs
lola: 385332 markings, 476048 edges, 4720 markings/sec, 75 secs
lola: 409420 markings, 507709 edges, 4818 markings/sec, 80 secs
lola: 434080 markings, 539012 edges, 4932 markings/sec, 85 secs
lola: 458779 markings, 571880 edges, 4940 markings/sec, 90 secs
lola: 483438 markings, 604093 edges, 4932 markings/sec, 95 secs
lola: 508073 markings, 636162 edges, 4927 markings/sec, 100 secs
lola: 532724 markings, 668040 edges, 4930 markings/sec, 105 secs
lola: 557054 markings, 700246 edges, 4866 markings/sec, 110 secs
lola: 581713 markings, 732130 edges, 4932 markings/sec, 115 secs
lola: 606365 markings, 764671 edges, 4930 markings/sec, 120 secs
lola: 631033 markings, 796047 edges, 4934 markings/sec, 125 secs
lola: 655712 markings, 828134 edges, 4936 markings/sec, 130 secs
lola: 680375 markings, 860811 edges, 4933 markings/sec, 135 secs
lola: 705019 markings, 892893 edges, 4929 markings/sec, 140 secs
lola: 729641 markings, 925422 edges, 4924 markings/sec, 145 secs
lola: 754369 markings, 958976 edges, 4946 markings/sec, 150 secs
lola: 779005 markings, 991004 edges, 4927 markings/sec, 155 secs
lola: 803628 markings, 1023352 edges, 4925 markings/sec, 160 secs
lola: 828266 markings, 1055596 edges, 4928 markings/sec, 165 secs
lola: 852864 markings, 1088061 edges, 4920 markings/sec, 170 secs
lola: 877524 markings, 1120863 edges, 4932 markings/sec, 175 secs
lola: 902201 markings, 1153601 edges, 4935 markings/sec, 180 secs
lola: 926731 markings, 1185813 edges, 4906 markings/sec, 185 secs
lola: 951335 markings, 1218001 edges, 4921 markings/sec, 190 secs
lola: 975990 markings, 1250699 edges, 4931 markings/sec, 195 secs
lola: 1000550 markings, 1282745 edges, 4912 markings/sec, 200 secs
lola: 1025052 markings, 1314544 edges, 4900 markings/sec, 205 secs
lola: 1049617 markings, 1347221 edges, 4913 markings/sec, 210 secs
lola: 1074152 markings, 1380613 edges, 4907 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-S04J04T08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496462339080

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