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

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-PT-S04J04T08 @ 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: 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: 37996 markings, 39860 edges, 7599 markings/sec, 0 secs
lola: 75014 markings, 79936 edges, 7404 markings/sec, 5 secs
lola: 112123 markings, 120706 edges, 7422 markings/sec, 10 secs
lola: 148507 markings, 161367 edges, 7277 markings/sec, 15 secs
lola: 185132 markings, 202363 edges, 7325 markings/sec, 20 secs
lola: 222040 markings, 244042 edges, 7382 markings/sec, 25 secs
lola: 258696 markings, 285883 edges, 7331 markings/sec, 30 secs
lola: 294972 markings, 327735 edges, 7255 markings/sec, 35 secs
lola: 331095 markings, 370405 edges, 7225 markings/sec, 40 secs
lola: 367621 markings, 412433 edges, 7305 markings/sec, 45 secs
lola: 404052 markings, 455123 edges, 7286 markings/sec, 50 secs
lola: 440564 markings, 498114 edges, 7302 markings/sec, 55 secs
lola: 476683 markings, 540901 edges, 7224 markings/sec, 60 secs
lola: 512340 markings, 583556 edges, 7131 markings/sec, 65 secs
lola: 548156 markings, 626383 edges, 7163 markings/sec, 70 secs
lola: 583784 markings, 668410 edges, 7126 markings/sec, 75 secs
lola: 619404 markings, 711231 edges, 7124 markings/sec, 80 secs
lola: 655196 markings, 753717 edges, 7158 markings/sec, 85 secs
lola: 691124 markings, 796641 edges, 7186 markings/sec, 90 secs
lola: 727099 markings, 839362 edges, 7195 markings/sec, 95 secs
lola: 763259 markings, 882232 edges, 7232 markings/sec, 100 secs
lola: 799192 markings, 925070 edges, 7187 markings/sec, 105 secs
lola: 834820 markings, 968493 edges, 7126 markings/sec, 110 secs
lola: 871212 markings, 1012754 edges, 7278 markings/sec, 115 secs
lola: 907195 markings, 1055586 edges, 7197 markings/sec, 120 secs
lola: 942887 markings, 1099273 edges, 7138 markings/sec, 125 secs
lola: 979849 markings, 1142974 edges, 7392 markings/sec, 130 secs
lola: 1016217 markings, 1186699 edges, 7274 markings/sec, 135 secs
lola: 1051902 markings, 1229684 edges, 7137 markings/sec, 140 secs
lola: 1088830 markings, 1272644 edges, 7386 markings/sec, 145 secs
lola: 1124294 markings, 1316987 edges, 7093 markings/sec, 150 secs
lola: 1159894 markings, 1359983 edges, 7120 markings/sec, 155 secs
lola: 1196137 markings, 1404298 edges, 7249 markings/sec, 160 secs
lola: 1231820 markings, 1448087 edges, 7137 markings/sec, 165 secs
lola: 1267830 markings, 1492038 edges, 7202 markings/sec, 170 secs
lola: 1303585 markings, 1535465 edges, 7151 markings/sec, 175 secs
lola: 1339356 markings, 1578268 edges, 7154 markings/sec, 180 secs
lola: 1374701 markings, 1621533 edges, 7069 markings/sec, 185 secs
lola: 1409536 markings, 1664007 edges, 6967 markings/sec, 190 secs
lola: 1444576 markings, 1706390 edges, 7008 markings/sec, 195 secs
lola: 1479852 markings, 1748423 edges, 7055 markings/sec, 200 secs
lola: 1514675 markings, 1790839 edges, 6965 markings/sec, 205 secs
lola: 1549231 markings, 1832816 edges, 6911 markings/sec, 210 secs
lola: 1584169 markings, 1875787 edges, 6988 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: 38253 markings, 39759 edges, 7651 markings/sec, 0 secs
lola: 75893 markings, 80028 edges, 7528 markings/sec, 5 secs
lola: 112798 markings, 120309 edges, 7381 markings/sec, 10 secs
lola: 149543 markings, 161033 edges, 7349 markings/sec, 15 secs
lola: 186489 markings, 201548 edges, 7389 markings/sec, 20 secs
lola: 223163 markings, 242793 edges, 7335 markings/sec, 25 secs
lola: 260144 markings, 284694 edges, 7396 markings/sec, 30 secs
lola: 297779 markings, 328204 edges, 7527 markings/sec, 35 secs
lola: 336089 markings, 371404 edges, 7662 markings/sec, 40 secs
lola: 374048 markings, 415331 edges, 7592 markings/sec, 45 secs
lola: 412033 markings, 459131 edges, 7597 markings/sec, 50 secs
lola: 450349 markings, 503229 edges, 7663 markings/sec, 55 secs
lola: 487171 markings, 547727 edges, 7364 markings/sec, 60 secs
lola: 524832 markings, 591704 edges, 7532 markings/sec, 65 secs
lola: 562445 markings, 635575 edges, 7523 markings/sec, 70 secs
lola: 600577 markings, 679114 edges, 7626 markings/sec, 75 secs
lola: 638338 markings, 723297 edges, 7552 markings/sec, 80 secs
lola: 675278 markings, 768563 edges, 7388 markings/sec, 85 secs
lola: 713059 markings, 813097 edges, 7556 markings/sec, 90 secs
lola: 750905 markings, 857784 edges, 7569 markings/sec, 95 secs
lola: 788761 markings, 902235 edges, 7571 markings/sec, 100 secs
lola: 826455 markings, 946821 edges, 7539 markings/sec, 105 secs
lola: 864357 markings, 991704 edges, 7580 markings/sec, 110 secs
lola: 901830 markings, 1036977 edges, 7495 markings/sec, 115 secs
lola: 939826 markings, 1083184 edges, 7599 markings/sec, 120 secs
lola: 977590 markings, 1128622 edges, 7553 markings/sec, 125 secs
lola: 1015605 markings, 1174554 edges, 7603 markings/sec, 130 secs
lola: 1053755 markings, 1220167 edges, 7630 markings/sec, 135 secs
lola: 1091626 markings, 1265189 edges, 7574 markings/sec, 140 secs
lola: 1129326 markings, 1310553 edges, 7540 markings/sec, 145 secs
lola: 1166621 markings, 1356533 edges, 7459 markings/sec, 150 secs
lola: 1204226 markings, 1402452 edges, 7521 markings/sec, 155 secs
lola: 1242493 markings, 1447930 edges, 7653 markings/sec, 160 secs
lola: 1280467 markings, 1493456 edges, 7595 markings/sec, 165 secs
lola: 1318113 markings, 1538324 edges, 7529 markings/sec, 170 secs
lola: 1356237 markings, 1583196 edges, 7625 markings/sec, 175 secs
lola: 1393883 markings, 1628972 edges, 7529 markings/sec, 180 secs
lola: 1431960 markings, 1674671 edges, 7615 markings/sec, 185 secs
lola: 1470012 markings, 1720019 edges, 7610 markings/sec, 190 secs
lola: 1507728 markings, 1765666 edges, 7543 markings/sec, 195 secs
lola: 1545001 markings, 1810787 edges, 7455 markings/sec, 200 secs
lola: 1582706 markings, 1856542 edges, 7541 markings/sec, 205 secs
lola: 1620372 markings, 1902524 edges, 7533 markings/sec, 210 secs
lola: 1658070 markings, 1947882 edges, 7540 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: 37527 markings, 39129 edges, 7505 markings/sec, 0 secs
lola: 74360 markings, 78615 edges, 7367 markings/sec, 5 secs
lola: 110137 markings, 117866 edges, 7155 markings/sec, 10 secs
lola: 146429 markings, 157656 edges, 7258 markings/sec, 15 secs
lola: 181356 markings, 197804 edges, 6985 markings/sec, 20 secs
lola: 217823 markings, 237725 edges, 7293 markings/sec, 25 secs
lola: 254630 markings, 278445 edges, 7361 markings/sec, 30 secs
lola: 289937 markings, 318019 edges, 7061 markings/sec, 35 secs
lola: 324075 markings, 356512 edges, 6828 markings/sec, 40 secs
lola: 359510 markings, 396490 edges, 7087 markings/sec, 45 secs
lola: 397147 markings, 437872 edges, 7527 markings/sec, 50 secs
lola: 433008 markings, 477667 edges, 7172 markings/sec, 55 secs
lola: 469359 markings, 519825 edges, 7270 markings/sec, 60 secs
lola: 507417 markings, 561579 edges, 7612 markings/sec, 65 secs
lola: 544500 markings, 603782 edges, 7417 markings/sec, 70 secs
lola: 582497 markings, 645756 edges, 7599 markings/sec, 75 secs
lola: 618526 markings, 686098 edges, 7206 markings/sec, 80 secs
lola: 655839 markings, 727437 edges, 7463 markings/sec, 85 secs
lola: 693042 markings, 768349 edges, 7441 markings/sec, 90 secs
lola: 728127 markings, 807161 edges, 7017 markings/sec, 95 secs
lola: 765938 markings, 848772 edges, 7562 markings/sec, 100 secs
lola: 802867 markings, 890223 edges, 7386 markings/sec, 105 secs
lola: 838336 markings, 930084 edges, 7094 markings/sec, 110 secs
lola: 874985 markings, 970586 edges, 7330 markings/sec, 115 secs
lola: 910589 markings, 1009833 edges, 7121 markings/sec, 120 secs
lola: 947440 markings, 1051235 edges, 7370 markings/sec, 125 secs
lola: 984082 markings, 1091966 edges, 7328 markings/sec, 130 secs
lola: 1021238 markings, 1133654 edges, 7431 markings/sec, 135 secs
lola: 1058449 markings, 1175940 edges, 7442 markings/sec, 140 secs
lola: 1094855 markings, 1217129 edges, 7281 markings/sec, 145 secs
lola: 1131165 markings, 1258166 edges, 7262 markings/sec, 150 secs
lola: 1168446 markings, 1299699 edges, 7456 markings/sec, 155 secs
lola: 1205162 markings, 1340041 edges, 7343 markings/sec, 160 secs
lola: 1241245 markings, 1380766 edges, 7217 markings/sec, 165 secs
lola: 1276222 markings, 1419560 edges, 6995 markings/sec, 170 secs
lola: 1313599 markings, 1460736 edges, 7475 markings/sec, 175 secs
lola: 1349611 markings, 1500913 edges, 7202 markings/sec, 180 secs
lola: 1387194 markings, 1543330 edges, 7517 markings/sec, 185 secs
lola: 1424975 markings, 1585695 edges, 7556 markings/sec, 190 secs
lola: 1461697 markings, 1626294 edges, 7344 markings/sec, 195 secs
lola: 1499241 markings, 1668238 edges, 7509 markings/sec, 200 secs
lola: 1536469 markings, 1710283 edges, 7446 markings/sec, 205 secs
lola: 1572582 markings, 1750511 edges, 7223 markings/sec, 210 secs
lola: 1610002 markings, 1791960 edges, 7484 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: 23040 markings, 23845 edges, 4608 markings/sec, 0 secs
lola: 45729 markings, 47909 edges, 4538 markings/sec, 5 secs
lola: 68262 markings, 72100 edges, 4507 markings/sec, 10 secs
lola: 90735 markings, 96392 edges, 4495 markings/sec, 15 secs
lola: 113014 markings, 120749 edges, 4456 markings/sec, 20 secs
lola: 135250 markings, 145101 edges, 4447 markings/sec, 25 secs
lola: 157282 markings, 169352 edges, 4406 markings/sec, 30 secs
lola: 179215 markings, 193596 edges, 4387 markings/sec, 35 secs
lola: 201055 markings, 218044 edges, 4368 markings/sec, 40 secs
lola: 222912 markings, 242764 edges, 4371 markings/sec, 45 secs
lola: 245141 markings, 267436 edges, 4446 markings/sec, 50 secs
lola: 266916 markings, 292565 edges, 4355 markings/sec, 55 secs
lola: 289056 markings, 317451 edges, 4428 markings/sec, 60 secs
lola: 311425 markings, 342664 edges, 4474 markings/sec, 65 secs
lola: 333939 markings, 367784 edges, 4503 markings/sec, 70 secs
lola: 357045 markings, 393834 edges, 4621 markings/sec, 75 secs
lola: 379029 markings, 420007 edges, 4397 markings/sec, 80 secs
lola: 401909 markings, 445290 edges, 4576 markings/sec, 85 secs
lola: 424705 markings, 470557 edges, 4559 markings/sec, 90 secs
lola: 446923 markings, 495812 edges, 4444 markings/sec, 95 secs
lola: 469788 markings, 520981 edges, 4573 markings/sec, 100 secs
lola: 492546 markings, 546369 edges, 4552 markings/sec, 105 secs
lola: 515269 markings, 571141 edges, 4545 markings/sec, 110 secs
lola: 537927 markings, 596151 edges, 4532 markings/sec, 115 secs
lola: 560600 markings, 621221 edges, 4535 markings/sec, 120 secs
lola: 583463 markings, 646949 edges, 4573 markings/sec, 125 secs
lola: 605898 markings, 672050 edges, 4487 markings/sec, 130 secs
lola: 628293 markings, 697873 edges, 4479 markings/sec, 135 secs
lola: 651133 markings, 723323 edges, 4568 markings/sec, 140 secs
lola: 673556 markings, 748324 edges, 4485 markings/sec, 145 secs
lola: 696009 markings, 773872 edges, 4491 markings/sec, 150 secs
lola: 718939 markings, 799332 edges, 4586 markings/sec, 155 secs
lola: 742170 markings, 824875 edges, 4646 markings/sec, 160 secs
lola: 781336 markings, 868258 edges, 7833 markings/sec, 165 secs
lola: 819843 markings, 911275 edges, 7701 markings/sec, 170 secs
lola: 858630 markings, 954114 edges, 7757 markings/sec, 175 secs
lola: 897247 markings, 996830 edges, 7723 markings/sec, 180 secs
lola: 936036 markings, 1040127 edges, 7758 markings/sec, 185 secs
lola: 974797 markings, 1083098 edges, 7752 markings/sec, 190 secs
lola: 1013827 markings, 1126097 edges, 7806 markings/sec, 195 secs
lola: 1052541 markings, 1169284 edges, 7743 markings/sec, 200 secs
lola: 1091526 markings, 1212104 edges, 7797 markings/sec, 205 secs
lola: 1130406 markings, 1254937 edges, 7776 markings/sec, 210 secs
lola: 1168628 markings, 1297687 edges, 7644 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: 40014 markings, 41847 edges, 8003 markings/sec, 0 secs
lola: 78623 markings, 81931 edges, 7722 markings/sec, 5 secs
lola: 117963 markings, 123242 edges, 7868 markings/sec, 10 secs
lola: 157749 markings, 166228 edges, 7957 markings/sec, 15 secs
lola: 197261 markings, 209160 edges, 7902 markings/sec, 20 secs
lola: 236308 markings, 252080 edges, 7809 markings/sec, 25 secs
lola: 275618 markings, 295546 edges, 7862 markings/sec, 30 secs
lola: 315016 markings, 338784 edges, 7880 markings/sec, 35 secs
lola: 354050 markings, 381753 edges, 7807 markings/sec, 40 secs
lola: 392561 markings, 423700 edges, 7702 markings/sec, 45 secs
lola: 431933 markings, 467483 edges, 7874 markings/sec, 50 secs
lola: 469102 markings, 506971 edges, 7434 markings/sec, 55 secs
lola: 507547 markings, 548789 edges, 7689 markings/sec, 60 secs
lola: 546669 markings, 591352 edges, 7824 markings/sec, 65 secs
lola: 585485 markings, 634554 edges, 7763 markings/sec, 70 secs
lola: 624541 markings, 678463 edges, 7811 markings/sec, 75 secs
lola: 663484 markings, 721196 edges, 7789 markings/sec, 80 secs
lola: 702388 markings, 765081 edges, 7781 markings/sec, 85 secs
lola: 741019 markings, 810306 edges, 7726 markings/sec, 90 secs
lola: 779414 markings, 853322 edges, 7679 markings/sec, 95 secs
lola: 817913 markings, 896879 edges, 7700 markings/sec, 100 secs
lola: 855968 markings, 940304 edges, 7611 markings/sec, 105 secs
lola: 894340 markings, 984676 edges, 7674 markings/sec, 110 secs
lola: 932907 markings, 1029912 edges, 7713 markings/sec, 115 secs
lola: 969901 markings, 1070927 edges, 7399 markings/sec, 120 secs
lola: 1008184 markings, 1115659 edges, 7657 markings/sec, 125 secs
lola: 1046355 markings, 1159288 edges, 7634 markings/sec, 130 secs
lola: 1083690 markings, 1201765 edges, 7467 markings/sec, 135 secs
lola: 1121933 markings, 1245082 edges, 7649 markings/sec, 140 secs
lola: 1159486 markings, 1287389 edges, 7511 markings/sec, 145 secs
lola: 1198199 markings, 1332253 edges, 7743 markings/sec, 150 secs
lola: 1236671 markings, 1377119 edges, 7694 markings/sec, 155 secs
lola: 1275036 markings, 1423320 edges, 7673 markings/sec, 160 secs
lola: 1313542 markings, 1467773 edges, 7701 markings/sec, 165 secs
lola: 1352302 markings, 1511330 edges, 7752 markings/sec, 170 secs
lola: 1390699 markings, 1558872 edges, 7679 markings/sec, 175 secs
lola: 1428696 markings, 1602610 edges, 7599 markings/sec, 180 secs
lola: 1466821 markings, 1647106 edges, 7625 markings/sec, 185 secs
lola: 1505348 markings, 1693975 edges, 7705 markings/sec, 190 secs
lola: 1543403 markings, 1740221 edges, 7611 markings/sec, 195 secs
lola: 1580924 markings, 1787702 edges, 7504 markings/sec, 200 secs
lola: 1618728 markings, 1830304 edges, 7561 markings/sec, 205 secs
lola: 1656833 markings, 1874895 edges, 7621 markings/sec, 210 secs
lola: 1694883 markings, 1920604 edges, 7610 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: 38183 markings, 39778 edges, 7637 markings/sec, 0 secs
lola: 75699 markings, 80030 edges, 7503 markings/sec, 5 secs
lola: 112989 markings, 120647 edges, 7458 markings/sec, 10 secs
lola: 149506 markings, 161449 edges, 7303 markings/sec, 15 secs
lola: 186281 markings, 202684 edges, 7355 markings/sec, 20 secs
lola: 223748 markings, 244411 edges, 7493 markings/sec, 25 secs
lola: 261304 markings, 285826 edges, 7511 markings/sec, 30 secs
lola: 298549 markings, 327749 edges, 7449 markings/sec, 35 secs
lola: 336005 markings, 369967 edges, 7491 markings/sec, 40 secs
lola: 373813 markings, 413439 edges, 7562 markings/sec, 45 secs
lola: 411807 markings, 455879 edges, 7599 markings/sec, 50 secs
lola: 450321 markings, 498988 edges, 7703 markings/sec, 55 secs
lola: 489376 markings, 542294 edges, 7811 markings/sec, 60 secs
lola: 528159 markings, 585411 edges, 7757 markings/sec, 65 secs
lola: 566161 markings, 627764 edges, 7600 markings/sec, 70 secs
lola: 603980 markings, 670570 edges, 7564 markings/sec, 75 secs
lola: 642822 markings, 713420 edges, 7768 markings/sec, 80 secs
lola: 681421 markings, 756838 edges, 7720 markings/sec, 85 secs
lola: 719770 markings, 799738 edges, 7670 markings/sec, 90 secs
lola: 758657 markings, 843596 edges, 7777 markings/sec, 95 secs
lola: 796741 markings, 886827 edges, 7617 markings/sec, 100 secs
lola: 835677 markings, 929381 edges, 7787 markings/sec, 105 secs
lola: 873799 markings, 971661 edges, 7624 markings/sec, 110 secs
lola: 912558 markings, 1014877 edges, 7752 markings/sec, 115 secs
lola: 951983 markings, 1058536 edges, 7885 markings/sec, 120 secs
lola: 991660 markings, 1102672 edges, 7935 markings/sec, 125 secs
lola: 1030310 markings, 1145321 edges, 7730 markings/sec, 130 secs
lola: 1069681 markings, 1188717 edges, 7874 markings/sec, 135 secs
lola: 1109044 markings, 1232214 edges, 7873 markings/sec, 140 secs
lola: 1148694 markings, 1275857 edges, 7930 markings/sec, 145 secs
lola: 1187630 markings, 1320396 edges, 7787 markings/sec, 150 secs
lola: 1227194 markings, 1365409 edges, 7913 markings/sec, 155 secs
lola: 1265952 markings, 1408932 edges, 7752 markings/sec, 160 secs
lola: 1305078 markings, 1452337 edges, 7825 markings/sec, 165 secs
lola: 1343831 markings, 1496201 edges, 7751 markings/sec, 170 secs
lola: 1383323 markings, 1540038 edges, 7898 markings/sec, 175 secs
lola: 1422348 markings, 1583846 edges, 7805 markings/sec, 180 secs
lola: 1461668 markings, 1627317 edges, 7864 markings/sec, 185 secs
lola: 1500968 markings, 1671275 edges, 7860 markings/sec, 190 secs
lola: 1540161 markings, 1714915 edges, 7839 markings/sec, 195 secs
lola: 1579096 markings, 1758302 edges, 7787 markings/sec, 200 secs
lola: 1618536 markings, 1803007 edges, 7888 markings/sec, 205 secs
lola: 1658256 markings, 1847245 edges, 7944 markings/sec, 210 secs
lola: 1697491 markings, 1891206 edges, 7847 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: 30752 markings, 31630 edges, 6150 markings/sec, 0 secs
lola: 61324 markings, 64058 edges, 6114 markings/sec, 5 secs
lola: 92034 markings, 97049 edges, 6142 markings/sec, 10 secs
lola: 122555 markings, 131006 edges, 6104 markings/sec, 15 secs
lola: 154327 markings, 166569 edges, 6354 markings/sec, 20 secs
lola: 185997 markings, 203265 edges, 6334 markings/sec, 25 secs
lola: 217394 markings, 240242 edges, 6279 markings/sec, 30 secs
lola: 248586 markings, 277825 edges, 6238 markings/sec, 35 secs
lola: 279870 markings, 314320 edges, 6257 markings/sec, 40 secs
lola: 311123 markings, 352089 edges, 6251 markings/sec, 45 secs
lola: 342644 markings, 387819 edges, 6304 markings/sec, 50 secs
lola: 373891 markings, 424621 edges, 6249 markings/sec, 55 secs
lola: 405382 markings, 460466 edges, 6298 markings/sec, 60 secs
lola: 436828 markings, 495785 edges, 6289 markings/sec, 65 secs
lola: 468346 markings, 530776 edges, 6304 markings/sec, 70 secs
lola: 499972 markings, 566862 edges, 6325 markings/sec, 75 secs
lola: 531574 markings, 602965 edges, 6320 markings/sec, 80 secs
lola: 563239 markings, 638872 edges, 6333 markings/sec, 85 secs
lola: 594769 markings, 675217 edges, 6306 markings/sec, 90 secs
lola: 626205 markings, 711662 edges, 6287 markings/sec, 95 secs
lola: 657579 markings, 747871 edges, 6275 markings/sec, 100 secs
lola: 689412 markings, 784545 edges, 6367 markings/sec, 105 secs
lola: 721237 markings, 820885 edges, 6365 markings/sec, 110 secs
lola: 752949 markings, 857241 edges, 6342 markings/sec, 115 secs
lola: 784562 markings, 894216 edges, 6323 markings/sec, 120 secs
lola: 815939 markings, 929716 edges, 6275 markings/sec, 125 secs
lola: 847033 markings, 966199 edges, 6219 markings/sec, 130 secs
lola: 878373 markings, 1003729 edges, 6268 markings/sec, 135 secs
lola: 909526 markings, 1041330 edges, 6231 markings/sec, 140 secs
lola: 940904 markings, 1077998 edges, 6276 markings/sec, 145 secs
lola: 972402 markings, 1114540 edges, 6300 markings/sec, 150 secs
lola: 1003504 markings, 1152043 edges, 6220 markings/sec, 155 secs
lola: 1034668 markings, 1189048 edges, 6233 markings/sec, 160 secs
lola: 1066003 markings, 1226668 edges, 6267 markings/sec, 165 secs
lola: 1097441 markings, 1264266 edges, 6288 markings/sec, 170 secs
lola: 1128909 markings, 1301652 edges, 6294 markings/sec, 175 secs
lola: 1160241 markings, 1339049 edges, 6266 markings/sec, 180 secs
lola: 1191513 markings, 1376641 edges, 6254 markings/sec, 185 secs
lola: 1222634 markings, 1414881 edges, 6224 markings/sec, 190 secs
lola: 1253869 markings, 1451424 edges, 6247 markings/sec, 195 secs
lola: 1285102 markings, 1488860 edges, 6247 markings/sec, 200 secs
lola: 1316238 markings, 1526079 edges, 6227 markings/sec, 205 secs
lola: 1347662 markings, 1562336 edges, 6285 markings/sec, 210 secs
lola: 1379108 markings, 1599250 edges, 6289 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: 38941 markings, 41674 edges, 7788 markings/sec, 0 secs
lola: 76828 markings, 82151 edges, 7577 markings/sec, 5 secs
lola: 114374 markings, 122720 edges, 7509 markings/sec, 10 secs
lola: 151150 markings, 161995 edges, 7355 markings/sec, 15 secs
lola: 189626 markings, 204142 edges, 7695 markings/sec, 20 secs
lola: 227523 markings, 245701 edges, 7579 markings/sec, 25 secs
lola: 265473 markings, 287820 edges, 7590 markings/sec, 30 secs
lola: 302900 markings, 329479 edges, 7485 markings/sec, 35 secs
lola: 340262 markings, 371714 edges, 7472 markings/sec, 40 secs
lola: 378630 markings, 414318 edges, 7674 markings/sec, 45 secs
lola: 416307 markings, 456691 edges, 7535 markings/sec, 50 secs
lola: 454578 markings, 499180 edges, 7654 markings/sec, 55 secs
lola: 492207 markings, 541376 edges, 7526 markings/sec, 60 secs
lola: 530391 markings, 584542 edges, 7637 markings/sec, 65 secs
lola: 567955 markings, 626252 edges, 7513 markings/sec, 70 secs
lola: 605547 markings, 668556 edges, 7518 markings/sec, 75 secs
lola: 643257 markings, 711719 edges, 7542 markings/sec, 80 secs
lola: 679783 markings, 752732 edges, 7305 markings/sec, 85 secs
lola: 717565 markings, 795956 edges, 7556 markings/sec, 90 secs
lola: 755348 markings, 838429 edges, 7557 markings/sec, 95 secs
lola: 790584 markings, 878676 edges, 7047 markings/sec, 100 secs
lola: 828476 markings, 921553 edges, 7578 markings/sec, 105 secs
lola: 865264 markings, 963404 edges, 7358 markings/sec, 110 secs
lola: 903153 markings, 1005564 edges, 7578 markings/sec, 115 secs
lola: 939832 markings, 1047150 edges, 7336 markings/sec, 120 secs
lola: 976873 markings, 1089096 edges, 7408 markings/sec, 125 secs
lola: 1014379 markings, 1132523 edges, 7501 markings/sec, 130 secs
lola: 1050951 markings, 1175319 edges, 7314 markings/sec, 135 secs
lola: 1088357 markings, 1217834 edges, 7481 markings/sec, 140 secs
lola: 1125535 markings, 1260430 edges, 7436 markings/sec, 145 secs
lola: 1162827 markings, 1302614 edges, 7458 markings/sec, 150 secs
lola: 1200060 markings, 1345855 edges, 7447 markings/sec, 155 secs
lola: 1237258 markings, 1388143 edges, 7440 markings/sec, 160 secs
lola: 1273800 markings, 1432097 edges, 7308 markings/sec, 165 secs
lola: 1310144 markings, 1473379 edges, 7269 markings/sec, 170 secs
lola: 1347087 markings, 1514903 edges, 7389 markings/sec, 175 secs
lola: 1383945 markings, 1557849 edges, 7372 markings/sec, 180 secs
lola: 1420903 markings, 1600514 edges, 7392 markings/sec, 185 secs
lola: 1457821 markings, 1642861 edges, 7384 markings/sec, 190 secs
lola: 1494650 markings, 1684578 edges, 7366 markings/sec, 195 secs
lola: 1531561 markings, 1726823 edges, 7382 markings/sec, 200 secs
lola: 1568295 markings, 1767799 edges, 7347 markings/sec, 205 secs
lola: 1606918 markings, 1810359 edges, 7725 markings/sec, 210 secs
lola: 1644996 markings, 1854125 edges, 7616 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: 40134 markings, 41852 edges, 8027 markings/sec, 0 secs
lola: 79529 markings, 83966 edges, 7879 markings/sec, 5 secs
lola: 118104 markings, 126224 edges, 7715 markings/sec, 10 secs
lola: 156625 markings, 168906 edges, 7704 markings/sec, 15 secs
lola: 195012 markings, 211467 edges, 7677 markings/sec, 20 secs
lola: 233606 markings, 254476 edges, 7719 markings/sec, 25 secs
lola: 272069 markings, 298251 edges, 7693 markings/sec, 30 secs
lola: 309654 markings, 341812 edges, 7517 markings/sec, 35 secs
lola: 347634 markings, 384583 edges, 7596 markings/sec, 40 secs
lola: 385023 markings, 428206 edges, 7478 markings/sec, 45 secs
lola: 422723 markings, 471461 edges, 7540 markings/sec, 50 secs
lola: 460055 markings, 515164 edges, 7466 markings/sec, 55 secs
lola: 496950 markings, 558670 edges, 7379 markings/sec, 60 secs
lola: 533824 markings, 602302 edges, 7375 markings/sec, 65 secs
lola: 571138 markings, 645472 edges, 7463 markings/sec, 70 secs
lola: 608734 markings, 688769 edges, 7519 markings/sec, 75 secs
lola: 645684 markings, 732774 edges, 7390 markings/sec, 80 secs
lola: 682499 markings, 777037 edges, 7363 markings/sec, 85 secs
lola: 719885 markings, 821099 edges, 7477 markings/sec, 90 secs
lola: 756900 markings, 864795 edges, 7403 markings/sec, 95 secs
lola: 792659 markings, 907541 edges, 7152 markings/sec, 100 secs
lola: 828787 markings, 949680 edges, 7226 markings/sec, 105 secs
lola: 865008 markings, 992444 edges, 7244 markings/sec, 110 secs
lola: 900977 markings, 1035972 edges, 7194 markings/sec, 115 secs
lola: 938313 markings, 1081437 edges, 7467 markings/sec, 120 secs
lola: 975320 markings, 1125792 edges, 7401 markings/sec, 125 secs
lola: 1012844 markings, 1171242 edges, 7505 markings/sec, 130 secs
lola: 1049780 markings, 1215333 edges, 7387 markings/sec, 135 secs
lola: 1086935 markings, 1259432 edges, 7431 markings/sec, 140 secs
lola: 1124193 markings, 1304532 edges, 7452 markings/sec, 145 secs
lola: 1161242 markings, 1349775 edges, 7410 markings/sec, 150 secs
lola: 1198160 markings, 1395251 edges, 7384 markings/sec, 155 secs
lola: 1235913 markings, 1439924 edges, 7551 markings/sec, 160 secs
lola: 1273322 markings, 1484799 edges, 7482 markings/sec, 165 secs
lola: 1310711 markings, 1529397 edges, 7478 markings/sec, 170 secs
lola: 1348118 markings, 1573670 edges, 7481 markings/sec, 175 secs
lola: 1385804 markings, 1618318 edges, 7537 markings/sec, 180 secs
lola: 1422639 markings, 1663699 edges, 7367 markings/sec, 185 secs
lola: 1460492 markings, 1708216 edges, 7571 markings/sec, 190 secs
lola: 1497583 markings, 1753857 edges, 7418 markings/sec, 195 secs
lola: 1534618 markings, 1798405 edges, 7407 markings/sec, 200 secs
lola: 1571507 markings, 1842954 edges, 7378 markings/sec, 205 secs
lola: 1608695 markings, 1888388 edges, 7438 markings/sec, 210 secs
lola: 1646056 markings, 1933603 edges, 7472 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: 19857 markings, 24433 edges, 3971 markings/sec, 0 secs
lola: 37197 markings, 47564 edges, 3468 markings/sec, 5 secs
lola: 67024 markings, 88630 edges, 5965 markings/sec, 10 secs
lola: 97017 markings, 130614 edges, 5999 markings/sec, 15 secs
lola: 126380 markings, 171244 edges, 5873 markings/sec, 20 secs
lola: 156063 markings, 212974 edges, 5937 markings/sec, 25 secs
lola: 185523 markings, 253568 edges, 5892 markings/sec, 30 secs
lola: 215210 markings, 295261 edges, 5937 markings/sec, 35 secs
lola: 244718 markings, 336709 edges, 5902 markings/sec, 40 secs
lola: 274628 markings, 378003 edges, 5982 markings/sec, 45 secs
lola: 304102 markings, 418944 edges, 5895 markings/sec, 50 secs
lola: 327619 markings, 451959 edges, 4703 markings/sec, 55 secs
lola: 346312 markings, 478575 edges, 3739 markings/sec, 60 secs
lola: 364858 markings, 505105 edges, 3709 markings/sec, 65 secs
lola: 382585 markings, 530977 edges, 3545 markings/sec, 70 secs
lola: 401391 markings, 557516 edges, 3761 markings/sec, 75 secs
lola: 419759 markings, 583588 edges, 3674 markings/sec, 80 secs
lola: 438024 markings, 608588 edges, 3653 markings/sec, 85 secs
lola: 456415 markings, 633988 edges, 3678 markings/sec, 90 secs
lola: 475364 markings, 661463 edges, 3790 markings/sec, 95 secs
lola: 493718 markings, 688119 edges, 3671 markings/sec, 100 secs
lola: 512536 markings, 715448 edges, 3764 markings/sec, 105 secs
lola: 530743 markings, 740558 edges, 3641 markings/sec, 110 secs
lola: 549806 markings, 767095 edges, 3813 markings/sec, 115 secs
lola: 567861 markings, 792037 edges, 3611 markings/sec, 120 secs
lola: 586098 markings, 817432 edges, 3647 markings/sec, 125 secs
lola: 605029 markings, 844670 edges, 3786 markings/sec, 130 secs
lola: 623807 markings, 871690 edges, 3756 markings/sec, 135 secs
lola: 641571 markings, 896267 edges, 3553 markings/sec, 140 secs
lola: 660468 markings, 923034 edges, 3779 markings/sec, 145 secs
lola: 679151 markings, 949660 edges, 3737 markings/sec, 150 secs
lola: 697912 markings, 977020 edges, 3752 markings/sec, 155 secs
lola: 716777 markings, 1004388 edges, 3773 markings/sec, 160 secs
lola: 734624 markings, 1030440 edges, 3569 markings/sec, 165 secs
lola: 752950 markings, 1056280 edges, 3665 markings/sec, 170 secs
lola: 771695 markings, 1083748 edges, 3749 markings/sec, 175 secs
lola: 790012 markings, 1110968 edges, 3663 markings/sec, 180 secs
lola: 808663 markings, 1137649 edges, 3730 markings/sec, 185 secs
lola: 826940 markings, 1163344 edges, 3655 markings/sec, 190 secs
lola: 844811 markings, 1189098 edges, 3574 markings/sec, 195 secs
lola: 862583 markings, 1215127 edges, 3554 markings/sec, 200 secs
lola: 880738 markings, 1241379 edges, 3631 markings/sec, 205 secs
lola: 898297 markings, 1266177 edges, 3512 markings/sec, 210 secs
lola: 916565 markings, 1291834 edges, 3654 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: 24058 markings, 26731 edges, 4812 markings/sec, 0 secs
lola: 48078 markings, 54459 edges, 4804 markings/sec, 5 secs
lola: 71999 markings, 82275 edges, 4784 markings/sec, 10 secs
lola: 95910 markings, 110780 edges, 4782 markings/sec, 15 secs
lola: 119840 markings, 140276 edges, 4786 markings/sec, 20 secs
lola: 143735 markings, 169238 edges, 4779 markings/sec, 25 secs
lola: 167563 markings, 199141 edges, 4766 markings/sec, 30 secs
lola: 191418 markings, 228189 edges, 4771 markings/sec, 35 secs
lola: 215153 markings, 257966 edges, 4747 markings/sec, 40 secs
lola: 239065 markings, 287973 edges, 4782 markings/sec, 45 secs
lola: 262857 markings, 318381 edges, 4758 markings/sec, 50 secs
lola: 286651 markings, 348618 edges, 4759 markings/sec, 55 secs
lola: 310413 markings, 378816 edges, 4752 markings/sec, 60 secs
lola: 334196 markings, 409185 edges, 4757 markings/sec, 65 secs
lola: 357933 markings, 440073 edges, 4747 markings/sec, 70 secs
lola: 381605 markings, 470993 edges, 4734 markings/sec, 75 secs
lola: 405367 markings, 502043 edges, 4752 markings/sec, 80 secs
lola: 429026 markings, 532580 edges, 4732 markings/sec, 85 secs
lola: 452734 markings, 564344 edges, 4742 markings/sec, 90 secs
lola: 476468 markings, 594589 edges, 4747 markings/sec, 95 secs
lola: 500086 markings, 625671 edges, 4724 markings/sec, 100 secs
lola: 523789 markings, 656279 edges, 4741 markings/sec, 105 secs
lola: 547451 markings, 687954 edges, 4732 markings/sec, 110 secs
lola: 571127 markings, 718319 edges, 4735 markings/sec, 115 secs
lola: 594786 markings, 749645 edges, 4732 markings/sec, 120 secs
lola: 618410 markings, 779878 edges, 4725 markings/sec, 125 secs
lola: 642060 markings, 810538 edges, 4730 markings/sec, 130 secs
lola: 665688 markings, 841692 edges, 4726 markings/sec, 135 secs
lola: 689217 markings, 872477 edges, 4706 markings/sec, 140 secs
lola: 712821 markings, 902986 edges, 4721 markings/sec, 145 secs
lola: 736406 markings, 934985 edges, 4717 markings/sec, 150 secs
lola: 760021 markings, 966456 edges, 4723 markings/sec, 155 secs
lola: 783571 markings, 996913 edges, 4710 markings/sec, 160 secs
lola: 807158 markings, 1027926 edges, 4717 markings/sec, 165 secs
lola: 829369 markings, 1056895 edges, 4442 markings/sec, 170 secs
lola: 851432 markings, 1086118 edges, 4413 markings/sec, 175 secs
lola: 875034 markings, 1117565 edges, 4720 markings/sec, 180 secs
lola: 898661 markings, 1148779 edges, 4725 markings/sec, 185 secs
lola: 922164 markings, 1179992 edges, 4701 markings/sec, 190 secs
lola: 945718 markings, 1210690 edges, 4711 markings/sec, 195 secs
lola: 969409 markings, 1242122 edges, 4738 markings/sec, 200 secs
lola: 993112 markings, 1272963 edges, 4741 markings/sec, 205 secs
lola: 1016632 markings, 1303440 edges, 4704 markings/sec, 210 secs
lola: 1040204 markings, 1334696 edges, 4714 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: 40495 markings, 43320 edges, 8099 markings/sec, 0 secs
lola: 80074 markings, 85676 edges, 7916 markings/sec, 5 secs
lola: 119825 markings, 128633 edges, 7950 markings/sec, 10 secs
lola: 159366 markings, 171078 edges, 7908 markings/sec, 15 secs
lola: 199286 markings, 214786 edges, 7984 markings/sec, 20 secs
lola: 239454 markings, 259183 edges, 8034 markings/sec, 25 secs
lola: 279280 markings, 303313 edges, 7965 markings/sec, 30 secs
lola: 319026 markings, 348091 edges, 7949 markings/sec, 35 secs
lola: 358926 markings, 392589 edges, 7980 markings/sec, 40 secs
lola: 398323 markings, 436819 edges, 7879 markings/sec, 45 secs
lola: 437828 markings, 480954 edges, 7901 markings/sec, 50 secs
lola: 477157 markings, 524770 edges, 7866 markings/sec, 55 secs
lola: 516436 markings, 568803 edges, 7856 markings/sec, 60 secs
lola: 555918 markings, 613013 edges, 7896 markings/sec, 65 secs
lola: 595253 markings, 657072 edges, 7867 markings/sec, 70 secs
lola: 634986 markings, 702374 edges, 7947 markings/sec, 75 secs
lola: 674148 markings, 746364 edges, 7832 markings/sec, 80 secs
lola: 713972 markings, 791901 edges, 7965 markings/sec, 85 secs
lola: 753903 markings, 836794 edges, 7986 markings/sec, 90 secs
lola: 793857 markings, 882375 edges, 7991 markings/sec, 95 secs
lola: 833831 markings, 927532 edges, 7995 markings/sec, 100 secs
lola: 873318 markings, 972436 edges, 7897 markings/sec, 105 secs
lola: 913081 markings, 1016712 edges, 7953 markings/sec, 110 secs
lola: 952206 markings, 1061135 edges, 7825 markings/sec, 115 secs
lola: 989513 markings, 1104024 edges, 7461 markings/sec, 120 secs
lola: 1024637 markings, 1144493 edges, 7025 markings/sec, 125 secs
lola: 1062072 markings, 1188419 edges, 7487 markings/sec, 130 secs
lola: 1099512 markings, 1229985 edges, 7488 markings/sec, 135 secs
lola: 1137081 markings, 1273771 edges, 7514 markings/sec, 140 secs
lola: 1174857 markings, 1316571 edges, 7555 markings/sec, 145 secs
lola: 1212463 markings, 1359828 edges, 7521 markings/sec, 150 secs
lola: 1250173 markings, 1402931 edges, 7542 markings/sec, 155 secs
lola: 1286701 markings, 1447148 edges, 7306 markings/sec, 160 secs
lola: 1323400 markings, 1487958 edges, 7340 markings/sec, 165 secs
lola: 1360756 markings, 1530556 edges, 7471 markings/sec, 170 secs
lola: 1397742 markings, 1573984 edges, 7397 markings/sec, 175 secs
lola: 1434266 markings, 1616039 edges, 7305 markings/sec, 180 secs
lola: 1471149 markings, 1658385 edges, 7377 markings/sec, 185 secs
lola: 1508106 markings, 1700212 edges, 7391 markings/sec, 190 secs
lola: 1544957 markings, 1741929 edges, 7370 markings/sec, 195 secs
lola: 1581855 markings, 1783447 edges, 7380 markings/sec, 200 secs
lola: 1618611 markings, 1824082 edges, 7351 markings/sec, 205 secs
lola: 1655597 markings, 1866453 edges, 7397 markings/sec, 210 secs
lola: 1693705 markings, 1909520 edges, 7622 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: 34482 markings, 35599 edges, 6896 markings/sec, 0 secs
lola: 73621 markings, 76397 edges, 7828 markings/sec, 5 secs
lola: 111882 markings, 116075 edges, 7652 markings/sec, 10 secs
lola: 150175 markings, 157230 edges, 7659 markings/sec, 15 secs
lola: 188641 markings, 198071 edges, 7693 markings/sec, 20 secs
lola: 226575 markings, 238532 edges, 7587 markings/sec, 25 secs
lola: 264689 markings, 279979 edges, 7623 markings/sec, 30 secs
lola: 302877 markings, 320169 edges, 7638 markings/sec, 35 secs
lola: 340866 markings, 361051 edges, 7598 markings/sec, 40 secs
lola: 378961 markings, 401970 edges, 7619 markings/sec, 45 secs
lola: 416764 markings, 443418 edges, 7561 markings/sec, 50 secs
lola: 454774 markings, 484356 edges, 7602 markings/sec, 55 secs
lola: 493476 markings, 525802 edges, 7740 markings/sec, 60 secs
lola: 532074 markings, 567882 edges, 7720 markings/sec, 65 secs
lola: 570901 markings, 609800 edges, 7765 markings/sec, 70 secs
lola: 609469 markings, 651325 edges, 7714 markings/sec, 75 secs
lola: 648180 markings, 693193 edges, 7742 markings/sec, 80 secs
lola: 686690 markings, 734661 edges, 7702 markings/sec, 85 secs
lola: 725390 markings, 776188 edges, 7740 markings/sec, 90 secs
lola: 763424 markings, 818007 edges, 7607 markings/sec, 95 secs
lola: 802274 markings, 859843 edges, 7770 markings/sec, 100 secs
lola: 840544 markings, 901841 edges, 7654 markings/sec, 105 secs
lola: 879290 markings, 943858 edges, 7749 markings/sec, 110 secs
lola: 917494 markings, 985088 edges, 7641 markings/sec, 115 secs
lola: 956227 markings, 1026817 edges, 7747 markings/sec, 120 secs
lola: 994771 markings, 1067815 edges, 7709 markings/sec, 125 secs
lola: 1033689 markings, 1109573 edges, 7784 markings/sec, 130 secs
lola: 1072663 markings, 1151951 edges, 7795 markings/sec, 135 secs
lola: 1111051 markings, 1193301 edges, 7678 markings/sec, 140 secs
lola: 1149498 markings, 1233707 edges, 7689 markings/sec, 145 secs
lola: 1188130 markings, 1275619 edges, 7726 markings/sec, 150 secs
lola: 1226957 markings, 1317521 edges, 7765 markings/sec, 155 secs
lola: 1265641 markings, 1359157 edges, 7737 markings/sec, 160 secs
lola: 1304349 markings, 1400973 edges, 7742 markings/sec, 165 secs
lola: 1341511 markings, 1441391 edges, 7432 markings/sec, 170 secs
lola: 1378011 markings, 1480519 edges, 7300 markings/sec, 175 secs
lola: 1415884 markings, 1521064 edges, 7575 markings/sec, 180 secs
lola: 1454895 markings, 1562862 edges, 7802 markings/sec, 185 secs
lola: 1493575 markings, 1603671 edges, 7736 markings/sec, 190 secs
lola: 1531900 markings, 1645238 edges, 7665 markings/sec, 195 secs
lola: 1570881 markings, 1686972 edges, 7796 markings/sec, 200 secs
lola: 1609843 markings, 1729339 edges, 7792 markings/sec, 205 secs
lola: 1648018 markings, 1770920 edges, 7635 markings/sec, 210 secs
lola: 1687146 markings, 1813179 edges, 7826 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: 38971 markings, 40570 edges, 7794 markings/sec, 0 secs
lola: 77253 markings, 81738 edges, 7656 markings/sec, 5 secs
lola: 114913 markings, 123109 edges, 7532 markings/sec, 10 secs
lola: 152666 markings, 164341 edges, 7551 markings/sec, 15 secs
lola: 190458 markings, 205690 edges, 7558 markings/sec, 20 secs
lola: 227711 markings, 247891 edges, 7451 markings/sec, 25 secs
lola: 265912 markings, 289990 edges, 7640 markings/sec, 30 secs
lola: 303850 markings, 332274 edges, 7588 markings/sec, 35 secs
lola: 342882 markings, 375289 edges, 7806 markings/sec, 40 secs
lola: 380999 markings, 419345 edges, 7623 markings/sec, 45 secs
lola: 420035 markings, 462697 edges, 7807 markings/sec, 50 secs
lola: 459341 markings, 505731 edges, 7861 markings/sec, 55 secs
lola: 497857 markings, 549284 edges, 7703 markings/sec, 60 secs
lola: 536756 markings, 592215 edges, 7780 markings/sec, 65 secs
lola: 576137 markings, 635587 edges, 7876 markings/sec, 70 secs
lola: 615593 markings, 679295 edges, 7891 markings/sec, 75 secs
lola: 654644 markings, 722306 edges, 7810 markings/sec, 80 secs
lola: 693422 markings, 765475 edges, 7756 markings/sec, 85 secs
lola: 732413 markings, 809008 edges, 7798 markings/sec, 90 secs
lola: 771725 markings, 852075 edges, 7862 markings/sec, 95 secs
lola: 811389 markings, 895650 edges, 7933 markings/sec, 100 secs
lola: 851164 markings, 939139 edges, 7955 markings/sec, 105 secs
lola: 890751 markings, 982893 edges, 7917 markings/sec, 110 secs
lola: 930755 markings, 1027136 edges, 8001 markings/sec, 115 secs
lola: 970600 markings, 1070941 edges, 7969 markings/sec, 120 secs
lola: 1009482 markings, 1114042 edges, 7776 markings/sec, 125 secs
lola: 1048793 markings, 1157531 edges, 7862 markings/sec, 130 secs
lola: 1088601 markings, 1201706 edges, 7962 markings/sec, 135 secs
lola: 1128855 markings, 1246487 edges, 8051 markings/sec, 140 secs
lola: 1168453 markings, 1290521 edges, 7920 markings/sec, 145 secs
lola: 1208314 markings, 1334463 edges, 7972 markings/sec, 150 secs
lola: 1248374 markings, 1379102 edges, 8012 markings/sec, 155 secs
lola: 1288077 markings, 1422679 edges, 7941 markings/sec, 160 secs
lola: 1327603 markings, 1466742 edges, 7905 markings/sec, 165 secs
lola: 1367831 markings, 1511219 edges, 8046 markings/sec, 170 secs
lola: 1407500 markings, 1555271 edges, 7934 markings/sec, 175 secs
lola: 1447680 markings, 1599721 edges, 8036 markings/sec, 180 secs
lola: 1487644 markings, 1643758 edges, 7993 markings/sec, 185 secs
lola: 1527863 markings, 1688414 edges, 8044 markings/sec, 190 secs
lola: 1567688 markings, 1731915 edges, 7965 markings/sec, 195 secs
lola: 1607720 markings, 1776385 edges, 8006 markings/sec, 200 secs
lola: 1648329 markings, 1821107 edges, 8122 markings/sec, 205 secs
lola: 1688950 markings, 1866136 edges, 8124 markings/sec, 210 secs
lola: 1728980 markings, 1910490 edges, 8006 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: 34033 markings, 34997 edges, 6807 markings/sec, 0 secs
lola: 65853 markings, 71177 edges, 6364 markings/sec, 5 secs
lola: 99319 markings, 109156 edges, 6693 markings/sec, 10 secs
lola: 132864 markings, 146973 edges, 6709 markings/sec, 15 secs
lola: 166360 markings, 184323 edges, 6699 markings/sec, 20 secs
lola: 199979 markings, 221501 edges, 6724 markings/sec, 25 secs
lola: 233373 markings, 261161 edges, 6679 markings/sec, 30 secs
lola: 266838 markings, 300275 edges, 6693 markings/sec, 35 secs
lola: 300522 markings, 338582 edges, 6737 markings/sec, 40 secs
lola: 332833 markings, 376245 edges, 6462 markings/sec, 45 secs
lola: 364527 markings, 415136 edges, 6339 markings/sec, 50 secs
lola: 396368 markings, 454228 edges, 6368 markings/sec, 55 secs
lola: 427999 markings, 492781 edges, 6326 markings/sec, 60 secs
lola: 459215 markings, 533105 edges, 6243 markings/sec, 65 secs
lola: 491275 markings, 571081 edges, 6412 markings/sec, 70 secs
lola: 523081 markings, 608288 edges, 6361 markings/sec, 75 secs
lola: 554761 markings, 646939 edges, 6336 markings/sec, 80 secs
lola: 586667 markings, 685011 edges, 6381 markings/sec, 85 secs
lola: 618358 markings, 721077 edges, 6338 markings/sec, 90 secs
lola: 649713 markings, 759602 edges, 6271 markings/sec, 95 secs
lola: 681408 markings, 797801 edges, 6339 markings/sec, 100 secs
lola: 713307 markings, 835321 edges, 6380 markings/sec, 105 secs
lola: 744917 markings, 873264 edges, 6322 markings/sec, 110 secs
lola: 777154 markings, 909653 edges, 6447 markings/sec, 115 secs
lola: 809293 markings, 948082 edges, 6428 markings/sec, 120 secs
lola: 841316 markings, 986493 edges, 6405 markings/sec, 125 secs
lola: 873461 markings, 1024105 edges, 6429 markings/sec, 130 secs
lola: 905494 markings, 1063655 edges, 6407 markings/sec, 135 secs
lola: 936972 markings, 1101221 edges, 6296 markings/sec, 140 secs
lola: 968816 markings, 1141041 edges, 6369 markings/sec, 145 secs
lola: 1002369 markings, 1182127 edges, 6711 markings/sec, 150 secs
lola: 1035930 markings, 1224757 edges, 6712 markings/sec, 155 secs
lola: 1069991 markings, 1264858 edges, 6812 markings/sec, 160 secs
lola: 1103830 markings, 1306528 edges, 6768 markings/sec, 165 secs
lola: 1137502 markings, 1348839 edges, 6734 markings/sec, 170 secs
lola: 1171414 markings, 1390722 edges, 6782 markings/sec, 175 secs
lola: 1204670 markings, 1429807 edges, 6651 markings/sec, 180 secs
lola: 1236965 markings, 1472221 edges, 6459 markings/sec, 185 secs
lola: 1269585 markings, 1512791 edges, 6524 markings/sec, 190 secs
lola: 1302480 markings, 1552199 edges, 6579 markings/sec, 195 secs
lola: 1334892 markings, 1593420 edges, 6482 markings/sec, 200 secs
lola: 1367558 markings, 1630953 edges, 6533 markings/sec, 205 secs
lola: 1399862 markings, 1672284 edges, 6461 markings/sec, 210 secs
lola: 1432490 markings, 1711967 edges, 6526 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: 24252 markings, 26963 edges, 4850 markings/sec, 0 secs
lola: 48476 markings, 54881 edges, 4845 markings/sec, 5 secs
lola: 72614 markings, 83004 edges, 4828 markings/sec, 10 secs
lola: 96762 markings, 111791 edges, 4830 markings/sec, 15 secs
lola: 121003 markings, 141703 edges, 4848 markings/sec, 20 secs
lola: 145264 markings, 171117 edges, 4852 markings/sec, 25 secs
lola: 169320 markings, 201266 edges, 4811 markings/sec, 30 secs
lola: 193389 markings, 230571 edges, 4814 markings/sec, 35 secs
lola: 217350 markings, 260622 edges, 4792 markings/sec, 40 secs
lola: 241487 markings, 291024 edges, 4827 markings/sec, 45 secs
lola: 265475 markings, 321904 edges, 4798 markings/sec, 50 secs
lola: 289522 markings, 352236 edges, 4809 markings/sec, 55 secs
lola: 313504 markings, 382515 edges, 4796 markings/sec, 60 secs
lola: 337500 markings, 414081 edges, 4799 markings/sec, 65 secs
lola: 361488 markings, 444996 edges, 4798 markings/sec, 70 secs
lola: 385425 markings, 476157 edges, 4787 markings/sec, 75 secs
lola: 409360 markings, 507640 edges, 4787 markings/sec, 80 secs
lola: 433222 markings, 537908 edges, 4772 markings/sec, 85 secs
lola: 457136 markings, 569823 edges, 4783 markings/sec, 90 secs
lola: 481015 markings, 600457 edges, 4776 markings/sec, 95 secs
lola: 504868 markings, 631737 edges, 4771 markings/sec, 100 secs
lola: 528753 markings, 662677 edges, 4777 markings/sec, 105 secs
lola: 552666 markings, 694793 edges, 4783 markings/sec, 110 secs
lola: 576541 markings, 725401 edges, 4775 markings/sec, 115 secs
lola: 600420 markings, 756954 edges, 4776 markings/sec, 120 secs
lola: 624268 markings, 787245 edges, 4770 markings/sec, 125 secs
lola: 648110 markings, 818200 edges, 4768 markings/sec, 130 secs
lola: 671978 markings, 849942 edges, 4774 markings/sec, 135 secs
lola: 695746 markings, 880933 edges, 4754 markings/sec, 140 secs
lola: 719570 markings, 912252 edges, 4765 markings/sec, 145 secs
lola: 743385 markings, 944617 edges, 4763 markings/sec, 150 secs
lola: 767192 markings, 975819 edges, 4761 markings/sec, 155 secs
lola: 791037 markings, 1006408 edges, 4769 markings/sec, 160 secs
lola: 814731 markings, 1037816 edges, 4739 markings/sec, 165 secs
lola: 838344 markings, 1068587 edges, 4723 markings/sec, 170 secs
lola: 861719 markings, 1100145 edges, 4675 markings/sec, 175 secs
lola: 885167 markings, 1130985 edges, 4690 markings/sec, 180 secs
lola: 908913 markings, 1162194 edges, 4749 markings/sec, 185 secs
lola: 932542 markings, 1193636 edges, 4726 markings/sec, 190 secs
lola: 956339 markings, 1224639 edges, 4759 markings/sec, 195 secs
lola: 980253 markings, 1256250 edges, 4783 markings/sec, 200 secs
lola: 1004053 markings, 1287353 edges, 4760 markings/sec, 205 secs
lola: 1027803 markings, 1318318 edges, 4750 markings/sec, 210 secs
lola: 1051602 markings, 1350194 edges, 4760 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBLF-COL-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 1494698265338

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