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

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

=== Now, execution of the tool begins

BK_START 1494729127947


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-PT-S06J04T08 @ 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: 14824/65536 symbol table entries, 9110 collisions
lola: preprocessing...
lola: finding significant places
lola: 810 places, 14014 transitions, 752 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3639 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S06J04T08-UpperBounds.task
lola: MAX(MarkerRead) : 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(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6 + P_1617_7 + P_1617_8) : MAX(cBlockedTasks) : MAX(BlockedTasks) : MAX(Insert_Source_E_1 + Insert_Source_E_2 + Insert_Source_E_3 + Insert_Source_E_4 + Insert_Source_E_5 + Insert_Source_E_6 + Insert_Source_E_7 + Insert_Source_E_8) : MAX(P_1097) : MAX(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6 + NotifyEventJobCompletedE_7 + NotifyEventJobCompletedE_8) : MAX(DataOnSrc_6 + DataOnSrc_5 + DataOnSrc_4 + DataOnSrc_3 + DataOnSrc_2 + DataOnSrc_1) : MAX(P_1119_1_1 + P_1119_1_2 + P_1119_1_3 + P_1119_1_4 + P_1119_1_5 + P_1119_1_6 + P_1119_2_1 + P_1119_2_2 + P_1119_2_3 + P_1119_2_4 + P_1119_2_5 + P_1119_2_6 + P_1119_3_1 + P_1119_3_2 + P_1119_3_3 + P_1119_3_4 + P_1119_3_5 + P_1119_3_6 + P_1119_4_1 + P_1119_4_2 + P_1119_4_3 + P_1119_4_4 + P_1119_4_5 + P_1119_4_6 + P_1119_5_1 + P_1119_5_2 + P_1119_5_3 + P_1119_5_4 + P_1119_5_5 + P_1119_5_6 + P_1119_6_1 + P_1119_6_2 + P_1119_6_3 + P_1119_6_4 + P_1119_6_5 + P_1119_6_6 + P_1119_7_1 + P_1119_7_2 + P_1119_7_3 + P_1119_7_4 + P_1119_7_5 + P_1119_7_6 + P_1119_8_1 + P_1119_8_2 + P_1119_8_3 + P_1119_8_4 + P_1119_8_5 + P_1119_8_6) : MAX(P_1155_1 + P_1155_2 + P_1155_3 + P_1155_4 + P_1155_5 + P_1155_6 + P_1155_7 + P_1155_8) : MAX(RunB_1 + RunB_2 + RunB_3 + RunB_4 + RunB_5 + RunB_6 + RunB_7 + RunB_8) : MAX(MarkerWrite) : MAX(cSources) : MAX(P_2579_4_1 + P_2579_4_2 + P_2579_4_3 + P_2579_4_4 + P_2579_4_5 + P_2579_4_6 + P_2579_5_1 + P_2579_5_2 + P_2579_5_3 + P_2579_5_4 + P_2579_5_5 + P_2579_5_6 + P_2579_6_1 + P_2579_6_2 + P_2579_6_3 + P_2579_6_4 + P_2579_6_5 + P_2579_6_6 + P_2579_7_1 + P_2579_7_2 + P_2579_7_3 + P_2579_7_4 + P_2579_7_5 + P_2579_7_6 + P_2579_8_1 + P_2579_8_2 + P_2579_8_3 + P_2579_8_4 + P_2579_8_5 + P_2579_8_6 + P_2579_2_6 + P_2579_2_5 + P_2579_2_4 + P_2579_2_3 + P_2579_2_2 + P_2579_2_1 + P_2579_1_1 + P_2579_1_2 + P_2579_1_3 + P_2579_1_4 + P_2579_1_5 + P_2579_1_6 + P_2579_3_1 + P_2579_3_2 + P_2579_3_3 + P_2579_3_4 + P_2579_3_5 + P_2579_3_6) : MAX(Insert_Source_B_1_1 + Insert_Source_B_1_2 + Insert_Source_B_1_3 + Insert_Source_B_1_4 + Insert_Source_B_1_5 + Insert_Source_B_1_6 + Insert_Source_B_2_1 + Insert_Source_B_2_2 + Insert_Source_B_2_3 + Insert_Source_B_2_4 + Insert_Source_B_2_5 + Insert_Source_B_2_6 + Insert_Source_B_3_1 + Insert_Source_B_3_2 + Insert_Source_B_3_3 + Insert_Source_B_3_4 + Insert_Source_B_3_5 + Insert_Source_B_3_6 + Insert_Source_B_4_1 + Insert_Source_B_4_2 + Insert_Source_B_4_3 + Insert_Source_B_4_4 + Insert_Source_B_4_5 + Insert_Source_B_4_6 + Insert_Source_B_5_1 + Insert_Source_B_5_2 + Insert_Source_B_5_3 + Insert_Source_B_5_4 + Insert_Source_B_5_5 + Insert_Source_B_5_6 + Insert_Source_B_8_6 + Insert_Source_B_8_5 + Insert_Source_B_8_4 + Insert_Source_B_8_3 + Insert_Source_B_8_2 + Insert_Source_B_6_1 + Insert_Source_B_6_2 + Insert_Source_B_6_3 + Insert_Source_B_6_4 + Insert_Source_B_6_5 + Insert_Source_B_6_6 + Insert_Source_B_8_1 + Insert_Source_B_7_1 + Insert_Source_B_7_2 + Insert_Source_B_7_3 + Insert_Source_B_7_4 + Insert_Source_B_7_5 + Insert_Source_B_7_6)
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(MarkerRead)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 3336 markings, 11535 edges, 667 markings/sec, 0 secs
lola: 6648 markings, 23472 edges, 662 markings/sec, 5 secs
lola: 9983 markings, 35520 edges, 667 markings/sec, 10 secs
lola: 13248 markings, 47376 edges, 653 markings/sec, 15 secs
lola: 16498 markings, 59098 edges, 650 markings/sec, 20 secs
lola: 19845 markings, 71163 edges, 669 markings/sec, 25 secs
lola: 23207 markings, 81484 edges, 672 markings/sec, 30 secs
lola: 26571 markings, 91941 edges, 673 markings/sec, 35 secs
lola: 29920 markings, 103331 edges, 670 markings/sec, 40 secs
lola: 33279 markings, 114147 edges, 672 markings/sec, 45 secs
lola: 36642 markings, 124862 edges, 673 markings/sec, 50 secs
lola: 39988 markings, 136227 edges, 669 markings/sec, 55 secs
lola: 43344 markings, 147018 edges, 671 markings/sec, 60 secs
lola: 46704 markings, 157767 edges, 672 markings/sec, 65 secs
lola: 50052 markings, 169447 edges, 670 markings/sec, 70 secs
lola: 53407 markings, 180322 edges, 671 markings/sec, 75 secs
lola: 56761 markings, 191383 edges, 671 markings/sec, 80 secs
lola: 60114 markings, 202576 edges, 671 markings/sec, 85 secs
lola: 63457 markings, 214636 edges, 669 markings/sec, 90 secs
lola: 66799 markings, 226708 edges, 668 markings/sec, 95 secs
lola: 70142 markings, 238749 edges, 669 markings/sec, 100 secs
lola: 73482 markings, 250843 edges, 668 markings/sec, 105 secs
lola: 76821 markings, 262976 edges, 668 markings/sec, 110 secs
lola: 80170 markings, 274200 edges, 670 markings/sec, 115 secs
lola: 83533 markings, 284778 edges, 673 markings/sec, 120 secs
lola: 86893 markings, 295696 edges, 672 markings/sec, 125 secs
lola: 90255 markings, 306535 edges, 672 markings/sec, 130 secs
lola: 93610 markings, 317419 edges, 671 markings/sec, 135 secs
lola: 96965 markings, 328556 edges, 671 markings/sec, 140 secs
lola: 100324 markings, 339462 edges, 672 markings/sec, 145 secs
lola: 103681 markings, 350363 edges, 671 markings/sec, 150 secs
lola: 107039 markings, 361462 edges, 672 markings/sec, 155 secs
lola: 110377 markings, 372780 edges, 668 markings/sec, 160 secs
lola: 113715 markings, 383722 edges, 668 markings/sec, 165 secs
lola: 117062 markings, 394677 edges, 669 markings/sec, 170 secs
lola: 120396 markings, 406218 edges, 667 markings/sec, 175 secs
lola: 123718 markings, 418194 edges, 664 markings/sec, 180 secs
lola: 127044 markings, 430256 edges, 665 markings/sec, 185 secs
lola: 130360 markings, 442235 edges, 663 markings/sec, 190 secs
lola: 133682 markings, 454215 edges, 664 markings/sec, 195 secs
lola: 137000 markings, 466221 edges, 664 markings/sec, 200 secs
lola: 140343 markings, 476780 edges, 669 markings/sec, 205 secs
lola: 143675 markings, 487266 edges, 666 markings/sec, 210 secs
lola: 147013 markings, 498520 edges, 668 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(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 3008 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: 3475 markings, 11772 edges, 695 markings/sec, 0 secs
lola: 6812 markings, 23685 edges, 667 markings/sec, 5 secs
lola: 10149 markings, 35669 edges, 667 markings/sec, 10 secs
lola: 13481 markings, 47571 edges, 666 markings/sec, 15 secs
lola: 16818 markings, 59503 edges, 667 markings/sec, 20 secs
lola: 20156 markings, 71510 edges, 668 markings/sec, 25 secs
lola: 23487 markings, 83492 edges, 666 markings/sec, 30 secs
lola: 26820 markings, 95581 edges, 667 markings/sec, 35 secs
lola: 30159 markings, 107703 edges, 668 markings/sec, 40 secs
lola: 33493 markings, 119902 edges, 667 markings/sec, 45 secs
lola: 36830 markings, 131958 edges, 667 markings/sec, 50 secs
lola: 40167 markings, 144115 edges, 667 markings/sec, 55 secs
lola: 43496 markings, 156339 edges, 666 markings/sec, 60 secs
lola: 46826 markings, 168581 edges, 666 markings/sec, 65 secs
lola: 50152 markings, 180452 edges, 665 markings/sec, 70 secs
lola: 53476 markings, 192394 edges, 665 markings/sec, 75 secs
lola: 56803 markings, 204278 edges, 665 markings/sec, 80 secs
lola: 60131 markings, 216174 edges, 666 markings/sec, 85 secs
lola: 63453 markings, 228118 edges, 664 markings/sec, 90 secs
lola: 66890 markings, 240480 edges, 687 markings/sec, 95 secs
lola: 70334 markings, 252949 edges, 689 markings/sec, 100 secs
lola: 73779 markings, 265465 edges, 689 markings/sec, 105 secs
lola: 77228 markings, 278078 edges, 690 markings/sec, 110 secs
lola: 80629 markings, 290374 edges, 680 markings/sec, 115 secs
lola: 84041 markings, 302803 edges, 682 markings/sec, 120 secs
lola: 87518 markings, 315568 edges, 695 markings/sec, 125 secs
lola: 90975 markings, 328228 edges, 691 markings/sec, 130 secs
lola: 94445 markings, 340620 edges, 694 markings/sec, 135 secs
lola: 97907 markings, 353050 edges, 692 markings/sec, 140 secs
lola: 101378 markings, 365450 edges, 694 markings/sec, 145 secs
lola: 104849 markings, 377871 edges, 694 markings/sec, 150 secs
lola: 108319 markings, 390347 edges, 694 markings/sec, 155 secs
lola: 111778 markings, 402803 edges, 692 markings/sec, 160 secs
lola: 115242 markings, 415391 edges, 693 markings/sec, 165 secs
lola: 118713 markings, 428037 edges, 694 markings/sec, 170 secs
lola: 122183 markings, 440691 edges, 694 markings/sec, 175 secs
lola: 125653 markings, 453220 edges, 694 markings/sec, 180 secs
lola: 129121 markings, 465933 edges, 694 markings/sec, 185 secs
lola: 132592 markings, 478728 edges, 694 markings/sec, 190 secs
lola: 136153 markings, 491191 edges, 712 markings/sec, 195 secs
lola: 139623 markings, 503610 edges, 694 markings/sec, 200 secs
lola: 143096 markings, 516046 edges, 695 markings/sec, 205 secs
lola: 146566 markings, 528441 edges, 694 markings/sec, 210 secs
lola: 150035 markings, 540882 edges, 694 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(P_1617_1 + P_1617_2 + P_1617_3 + P_1617_4 + P_1617_5 + P_1617_6 + P_1617_7 + P_1617_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 7127 markings, 7296 edges, 1425 markings/sec, 0 secs
lola: 14208 markings, 14593 edges, 1416 markings/sec, 5 secs
lola: 21342 markings, 21980 edges, 1427 markings/sec, 10 secs
lola: 28412 markings, 29338 edges, 1414 markings/sec, 15 secs
lola: 35582 markings, 36705 edges, 1434 markings/sec, 20 secs
lola: 42726 markings, 43983 edges, 1429 markings/sec, 25 secs
lola: 49897 markings, 51370 edges, 1434 markings/sec, 30 secs
lola: 57028 markings, 58751 edges, 1426 markings/sec, 35 secs
lola: 64091 markings, 66319 edges, 1413 markings/sec, 40 secs
lola: 71217 markings, 73854 edges, 1425 markings/sec, 45 secs
lola: 78177 markings, 81533 edges, 1392 markings/sec, 50 secs
lola: 85341 markings, 89439 edges, 1433 markings/sec, 55 secs
lola: 92350 markings, 97020 edges, 1402 markings/sec, 60 secs
lola: 99527 markings, 104368 edges, 1435 markings/sec, 65 secs
lola: 106671 markings, 111780 edges, 1429 markings/sec, 70 secs
lola: 113845 markings, 119197 edges, 1435 markings/sec, 75 secs
lola: 120886 markings, 126428 edges, 1408 markings/sec, 80 secs
lola: 128044 markings, 133754 edges, 1432 markings/sec, 85 secs
lola: 135280 markings, 141164 edges, 1447 markings/sec, 90 secs
lola: 142312 markings, 148358 edges, 1406 markings/sec, 95 secs
lola: 149345 markings, 155571 edges, 1407 markings/sec, 100 secs
lola: 156312 markings, 162735 edges, 1393 markings/sec, 105 secs
lola: 163394 markings, 169979 edges, 1416 markings/sec, 110 secs
lola: 170475 markings, 177239 edges, 1416 markings/sec, 115 secs
lola: 177597 markings, 184523 edges, 1424 markings/sec, 120 secs
lola: 184417 markings, 191549 edges, 1364 markings/sec, 125 secs
lola: 191301 markings, 198683 edges, 1377 markings/sec, 130 secs
lola: 198358 markings, 206013 edges, 1411 markings/sec, 135 secs
lola: 205487 markings, 213336 edges, 1426 markings/sec, 140 secs
lola: 212606 markings, 220730 edges, 1424 markings/sec, 145 secs
lola: 219643 markings, 227971 edges, 1407 markings/sec, 150 secs
lola: 226713 markings, 235268 edges, 1414 markings/sec, 155 secs
lola: 233787 markings, 242519 edges, 1415 markings/sec, 160 secs
lola: 240678 markings, 249611 edges, 1378 markings/sec, 165 secs
lola: 247757 markings, 257126 edges, 1416 markings/sec, 170 secs
lola: 254974 markings, 264528 edges, 1443 markings/sec, 175 secs
lola: 262090 markings, 272084 edges, 1423 markings/sec, 180 secs
lola: 269246 markings, 279604 edges, 1431 markings/sec, 185 secs
lola: 276385 markings, 287270 edges, 1428 markings/sec, 190 secs
lola: 283486 markings, 294990 edges, 1420 markings/sec, 195 secs
lola: 290634 markings, 302434 edges, 1430 markings/sec, 200 secs
lola: 297775 markings, 309908 edges, 1428 markings/sec, 205 secs
lola: 304978 markings, 317396 edges, 1441 markings/sec, 210 secs
lola: 312177 markings, 324758 edges, 1440 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(cBlockedTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 3436 markings, 11630 edges, 687 markings/sec, 0 secs
lola: 6665 markings, 23161 edges, 646 markings/sec, 5 secs
lola: 9924 markings, 34867 edges, 652 markings/sec, 10 secs
lola: 13204 markings, 46580 edges, 656 markings/sec, 15 secs
lola: 16532 markings, 58486 edges, 666 markings/sec, 20 secs
lola: 19869 markings, 70481 edges, 667 markings/sec, 25 secs
lola: 23177 markings, 82382 edges, 662 markings/sec, 30 secs
lola: 26471 markings, 94309 edges, 659 markings/sec, 35 secs
lola: 29768 markings, 106284 edges, 659 markings/sec, 40 secs
lola: 33067 markings, 118371 edges, 660 markings/sec, 45 secs
lola: 36370 markings, 130305 edges, 661 markings/sec, 50 secs
lola: 39670 markings, 142285 edges, 660 markings/sec, 55 secs
lola: 42966 markings, 154419 edges, 659 markings/sec, 60 secs
lola: 46262 markings, 166575 edges, 659 markings/sec, 65 secs
lola: 49551 markings, 178305 edges, 658 markings/sec, 70 secs
lola: 52842 markings, 190112 edges, 658 markings/sec, 75 secs
lola: 56126 markings, 201859 edges, 657 markings/sec, 80 secs
lola: 59413 markings, 213597 edges, 657 markings/sec, 85 secs
lola: 62699 markings, 225394 edges, 657 markings/sec, 90 secs
lola: 65987 markings, 237240 edges, 658 markings/sec, 95 secs
lola: 69279 markings, 249112 edges, 658 markings/sec, 100 secs
lola: 72563 markings, 261072 edges, 657 markings/sec, 105 secs
lola: 75846 markings, 273062 edges, 657 markings/sec, 110 secs
lola: 79132 markings, 284976 edges, 657 markings/sec, 115 secs
lola: 82418 markings, 296867 edges, 657 markings/sec, 120 secs
lola: 85703 markings, 308964 edges, 657 markings/sec, 125 secs
lola: 88988 markings, 321025 edges, 657 markings/sec, 130 secs
lola: 92276 markings, 332879 edges, 658 markings/sec, 135 secs
lola: 95718 markings, 345197 edges, 688 markings/sec, 140 secs
lola: 99180 markings, 357592 edges, 692 markings/sec, 145 secs
lola: 102642 markings, 369959 edges, 692 markings/sec, 150 secs
lola: 106104 markings, 382378 edges, 692 markings/sec, 155 secs
lola: 109565 markings, 394850 edges, 692 markings/sec, 160 secs
lola: 113026 markings, 407328 edges, 692 markings/sec, 165 secs
lola: 116486 markings, 419929 edges, 692 markings/sec, 170 secs
lola: 119948 markings, 432589 edges, 692 markings/sec, 175 secs
lola: 123408 markings, 445106 edges, 692 markings/sec, 180 secs
lola: 126868 markings, 457647 edges, 692 markings/sec, 185 secs
lola: 130329 markings, 470379 edges, 692 markings/sec, 190 secs
lola: 135665 markings, 484705 edges, 1067 markings/sec, 195 secs
lola: 151806 markings, 505998 edges, 3228 markings/sec, 200 secs
lola: 168145 markings, 528046 edges, 3268 markings/sec, 205 secs
lola: 184440 markings, 549292 edges, 3259 markings/sec, 210 secs
lola: 200959 markings, 571928 edges, 3304 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(BlockedTasks)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 7847 markings, 8397 edges, 1569 markings/sec, 0 secs
lola: 14855 markings, 18799 edges, 1402 markings/sec, 5 secs
lola: 20350 markings, 30159 edges, 1099 markings/sec, 10 secs
lola: 27331 markings, 40557 edges, 1396 markings/sec, 15 secs
lola: 33780 markings, 51274 edges, 1290 markings/sec, 20 secs
lola: 40582 markings, 61777 edges, 1360 markings/sec, 25 secs
lola: 48425 markings, 70881 edges, 1569 markings/sec, 30 secs
lola: 54909 markings, 81522 edges, 1297 markings/sec, 35 secs
lola: 61519 markings, 92149 edges, 1322 markings/sec, 40 secs
lola: 65282 markings, 105400 edges, 753 markings/sec, 45 secs
lola: 70346 markings, 117431 edges, 1013 markings/sec, 50 secs
lola: 76255 markings, 128514 edges, 1182 markings/sec, 55 secs
lola: 83451 markings, 138710 edges, 1439 markings/sec, 60 secs
lola: 89527 markings, 150197 edges, 1215 markings/sec, 65 secs
lola: 96801 markings, 160327 edges, 1455 markings/sec, 70 secs
lola: 104344 markings, 169765 edges, 1509 markings/sec, 75 secs
lola: 109971 markings, 181444 edges, 1125 markings/sec, 80 secs
lola: 115560 markings, 193608 edges, 1118 markings/sec, 85 secs
lola: 122784 markings, 204554 edges, 1445 markings/sec, 90 secs
lola: 130266 markings, 214581 edges, 1496 markings/sec, 95 secs
lola: 137750 markings, 224540 edges, 1497 markings/sec, 100 secs
lola: 145325 markings, 234564 edges, 1515 markings/sec, 105 secs
lola: 152802 markings, 244477 edges, 1495 markings/sec, 110 secs
lola: 159654 markings, 255061 edges, 1370 markings/sec, 115 secs
lola: 167321 markings, 264929 edges, 1533 markings/sec, 120 secs
lola: 173843 markings, 276078 edges, 1304 markings/sec, 125 secs
lola: 181423 markings, 286580 edges, 1516 markings/sec, 130 secs
lola: 189048 markings, 296582 edges, 1525 markings/sec, 135 secs
lola: 195674 markings, 307798 edges, 1325 markings/sec, 140 secs
lola: 202133 markings, 319612 edges, 1292 markings/sec, 145 secs
lola: 209091 markings, 330938 edges, 1392 markings/sec, 150 secs
lola: 216911 markings, 340565 edges, 1564 markings/sec, 155 secs
lola: 223379 markings, 351507 edges, 1294 markings/sec, 160 secs
lola: 226986 markings, 365251 edges, 721 markings/sec, 165 secs
lola: 231967 markings, 377748 edges, 996 markings/sec, 170 secs
lola: 239810 markings, 387705 edges, 1569 markings/sec, 175 secs
lola: 243371 markings, 401218 edges, 712 markings/sec, 180 secs
lola: 248079 markings, 413812 edges, 942 markings/sec, 185 secs
lola: 251657 markings, 427435 edges, 716 markings/sec, 190 secs
lola: 255235 markings, 441149 edges, 716 markings/sec, 195 secs
lola: 258819 markings, 454802 edges, 717 markings/sec, 200 secs
lola: 262426 markings, 468519 edges, 721 markings/sec, 205 secs
lola: 267904 markings, 482342 edges, 1096 markings/sec, 210 secs
lola: 271874 markings, 496053 edges, 794 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Insert_Source_E_1 + Insert_Source_E_2 + Insert_Source_E_3 + Insert_Source_E_4 + Insert_Source_E_5 + Insert_Source_E_6 + Insert_Source_E_7 + Insert_Source_E_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 3611 markings, 12259 edges, 722 markings/sec, 0 secs
lola: 7084 markings, 24661 edges, 695 markings/sec, 5 secs
lola: 10557 markings, 37127 edges, 695 markings/sec, 10 secs
lola: 14030 markings, 49529 edges, 695 markings/sec, 15 secs
lola: 17502 markings, 61965 edges, 694 markings/sec, 20 secs
lola: 20975 markings, 74449 edges, 695 markings/sec, 25 secs
lola: 24444 markings, 86942 edges, 694 markings/sec, 30 secs
lola: 27915 markings, 99559 edges, 694 markings/sec, 35 secs
lola: 31385 markings, 112213 edges, 694 markings/sec, 40 secs
lola: 34857 markings, 124856 edges, 694 markings/sec, 45 secs
lola: 38329 markings, 137410 edges, 694 markings/sec, 50 secs
lola: 41736 markings, 149902 edges, 681 markings/sec, 55 secs
lola: 45201 markings, 162664 edges, 693 markings/sec, 60 secs
lola: 48659 markings, 175125 edges, 692 markings/sec, 65 secs
lola: 52114 markings, 187487 edges, 691 markings/sec, 70 secs
lola: 55571 markings, 199868 edges, 691 markings/sec, 75 secs
lola: 59027 markings, 212214 edges, 691 markings/sec, 80 secs
lola: 62361 markings, 224176 edges, 667 markings/sec, 85 secs
lola: 65817 markings, 236633 edges, 691 markings/sec, 90 secs
lola: 69261 markings, 249049 edges, 689 markings/sec, 95 secs
lola: 72719 markings, 261641 edges, 692 markings/sec, 100 secs
lola: 76178 markings, 274289 edges, 692 markings/sec, 105 secs
lola: 79635 markings, 286796 edges, 691 markings/sec, 110 secs
lola: 83078 markings, 299275 edges, 689 markings/sec, 115 secs
lola: 86382 markings, 311437 edges, 661 markings/sec, 120 secs
lola: 89733 markings, 323815 edges, 670 markings/sec, 125 secs
lola: 93192 markings, 336144 edges, 692 markings/sec, 130 secs
lola: 96650 markings, 348553 edges, 692 markings/sec, 135 secs
lola: 100111 markings, 360930 edges, 692 markings/sec, 140 secs
lola: 103570 markings, 373283 edges, 692 markings/sec, 145 secs
lola: 107032 markings, 385733 edges, 692 markings/sec, 150 secs
lola: 110510 markings, 398243 edges, 696 markings/sec, 155 secs
lola: 114010 markings, 410908 edges, 700 markings/sec, 160 secs
lola: 117511 markings, 423626 edges, 700 markings/sec, 165 secs
lola: 121011 markings, 436426 edges, 700 markings/sec, 170 secs
lola: 124511 markings, 449073 edges, 700 markings/sec, 175 secs
lola: 128011 markings, 461846 edges, 700 markings/sec, 180 secs
lola: 131510 markings, 474697 edges, 700 markings/sec, 185 secs
lola: 135099 markings, 487426 edges, 718 markings/sec, 190 secs
lola: 138598 markings, 499929 edges, 700 markings/sec, 195 secs
lola: 142097 markings, 512477 edges, 700 markings/sec, 200 secs
lola: 145596 markings, 524979 edges, 700 markings/sec, 205 secs
lola: 149094 markings, 537510 edges, 700 markings/sec, 210 secs
lola: 152577 markings, 550034 edges, 697 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(P_1097)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 13713 markings, 14339 edges, 2743 markings/sec, 0 secs
lola: 27720 markings, 29128 edges, 2801 markings/sec, 5 secs
lola: 41509 markings, 43619 edges, 2758 markings/sec, 10 secs
lola: 55484 markings, 58375 edges, 2795 markings/sec, 15 secs
lola: 69258 markings, 72762 edges, 2755 markings/sec, 20 secs
lola: 83158 markings, 87487 edges, 2780 markings/sec, 25 secs
lola: 97125 markings, 102193 edges, 2793 markings/sec, 30 secs
lola: 111093 markings, 117390 edges, 2794 markings/sec, 35 secs
lola: 125061 markings, 132065 edges, 2794 markings/sec, 40 secs
lola: 139108 markings, 146952 edges, 2809 markings/sec, 45 secs
lola: 153035 markings, 161578 edges, 2785 markings/sec, 50 secs
lola: 167108 markings, 176565 edges, 2815 markings/sec, 55 secs
lola: 181135 markings, 191529 edges, 2805 markings/sec, 60 secs
lola: 195116 markings, 206358 edges, 2796 markings/sec, 65 secs
lola: 209168 markings, 221266 edges, 2810 markings/sec, 70 secs
lola: 223251 markings, 236808 edges, 2817 markings/sec, 75 secs
lola: 237173 markings, 251505 edges, 2784 markings/sec, 80 secs
lola: 251079 markings, 266162 edges, 2781 markings/sec, 85 secs
lola: 265203 markings, 281185 edges, 2825 markings/sec, 90 secs
lola: 279281 markings, 296126 edges, 2816 markings/sec, 95 secs
lola: 293452 markings, 311281 edges, 2834 markings/sec, 100 secs
lola: 307624 markings, 326584 edges, 2834 markings/sec, 105 secs
lola: 321576 markings, 341437 edges, 2790 markings/sec, 110 secs
lola: 335690 markings, 356625 edges, 2823 markings/sec, 115 secs
lola: 349742 markings, 371677 edges, 2810 markings/sec, 120 secs
lola: 363945 markings, 387444 edges, 2841 markings/sec, 125 secs
lola: 377989 markings, 402515 edges, 2809 markings/sec, 130 secs
lola: 392119 markings, 417808 edges, 2826 markings/sec, 135 secs
lola: 406224 markings, 433003 edges, 2821 markings/sec, 140 secs
lola: 420430 markings, 448758 edges, 2841 markings/sec, 145 secs
lola: 434540 markings, 464016 edges, 2822 markings/sec, 150 secs
lola: 448420 markings, 478928 edges, 2776 markings/sec, 155 secs
lola: 462192 markings, 493786 edges, 2754 markings/sec, 160 secs
lola: 476122 markings, 508667 edges, 2786 markings/sec, 165 secs
lola: 490020 markings, 523566 edges, 2780 markings/sec, 170 secs
lola: 503916 markings, 538456 edges, 2779 markings/sec, 175 secs
lola: 517737 markings, 553347 edges, 2764 markings/sec, 180 secs
lola: 531611 markings, 568302 edges, 2775 markings/sec, 185 secs
lola: 545523 markings, 583275 edges, 2782 markings/sec, 190 secs
lola: 559570 markings, 599376 edges, 2809 markings/sec, 195 secs
lola: 573762 markings, 614633 edges, 2838 markings/sec, 200 secs
lola: 587929 markings, 630709 edges, 2833 markings/sec, 205 secs
lola: 601836 markings, 646031 edges, 2781 markings/sec, 210 secs
lola: 615718 markings, 661014 edges, 2776 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(NotifyEventJobCompletedE_1 + NotifyEventJobCompletedE_2 + NotifyEventJobCompletedE_3 + NotifyEventJobCompletedE_4 + NotifyEventJobCompletedE_5 + NotifyEventJobCompletedE_6 + NotifyEventJobCompletedE_7 + NotifyEventJobCompletedE_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 3581 markings, 12189 edges, 716 markings/sec, 0 secs
lola: 7084 markings, 24422 edges, 701 markings/sec, 5 secs
lola: 10584 markings, 36641 edges, 700 markings/sec, 10 secs
lola: 14087 markings, 48868 edges, 701 markings/sec, 15 secs
lola: 17498 markings, 61122 edges, 682 markings/sec, 20 secs
lola: 20992 markings, 73312 edges, 699 markings/sec, 25 secs
lola: 24492 markings, 85539 edges, 700 markings/sec, 30 secs
lola: 30575 markings, 97154 edges, 1217 markings/sec, 35 secs
lola: 34461 markings, 109288 edges, 777 markings/sec, 40 secs
lola: 38456 markings, 121404 edges, 799 markings/sec, 45 secs
lola: 42058 markings, 133632 edges, 720 markings/sec, 50 secs
lola: 46591 markings, 145638 edges, 907 markings/sec, 55 secs
lola: 53475 markings, 157146 edges, 1377 markings/sec, 60 secs
lola: 57520 markings, 169258 edges, 809 markings/sec, 65 secs
lola: 61034 markings, 181436 edges, 703 markings/sec, 70 secs
lola: 66816 markings, 193301 edges, 1156 markings/sec, 75 secs
lola: 72588 markings, 205046 edges, 1154 markings/sec, 80 secs
lola: 76498 markings, 217187 edges, 782 markings/sec, 85 secs
lola: 80744 markings, 229238 edges, 849 markings/sec, 90 secs
lola: 86269 markings, 241084 edges, 1105 markings/sec, 95 secs
lola: 90766 markings, 253070 edges, 899 markings/sec, 100 secs
lola: 97205 markings, 264609 edges, 1288 markings/sec, 105 secs
lola: 104618 markings, 275999 edges, 1483 markings/sec, 110 secs
lola: 112892 markings, 287475 edges, 1655 markings/sec, 115 secs
lola: 120370 markings, 298955 edges, 1496 markings/sec, 120 secs
lola: 126763 markings, 310898 edges, 1279 markings/sec, 125 secs
lola: 130270 markings, 324479 edges, 701 markings/sec, 130 secs
lola: 133783 markings, 337850 edges, 703 markings/sec, 135 secs
lola: 140282 markings, 351133 edges, 1300 markings/sec, 140 secs
lola: 149440 markings, 362412 edges, 1832 markings/sec, 145 secs
lola: 153904 markings, 374428 edges, 893 markings/sec, 150 secs
lola: 157593 markings, 386946 edges, 738 markings/sec, 155 secs
lola: 161070 markings, 400525 edges, 695 markings/sec, 160 secs
lola: 164543 markings, 414321 edges, 695 markings/sec, 165 secs
lola: 168001 markings, 428240 edges, 692 markings/sec, 170 secs
lola: 177449 markings, 440161 edges, 1890 markings/sec, 175 secs
lola: 185065 markings, 451567 edges, 1523 markings/sec, 180 secs
lola: 191302 markings, 463660 edges, 1247 markings/sec, 185 secs
lola: 194783 markings, 477131 edges, 696 markings/sec, 190 secs
lola: 198267 markings, 490447 edges, 697 markings/sec, 195 secs
lola: 203653 markings, 503859 edges, 1077 markings/sec, 200 secs
lola: 210675 markings, 515504 edges, 1404 markings/sec, 205 secs
lola: 215509 markings, 528844 edges, 967 markings/sec, 210 secs
lola: 219076 markings, 543111 edges, 713 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(DataOnSrc_6 + DataOnSrc_5 + 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 3008 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: 3477 markings, 12056 edges, 695 markings/sec, 0 secs
lola: 6970 markings, 24182 edges, 699 markings/sec, 5 secs
lola: 10490 markings, 36253 edges, 704 markings/sec, 10 secs
lola: 13885 markings, 48408 edges, 679 markings/sec, 15 secs
lola: 17283 markings, 60574 edges, 680 markings/sec, 20 secs
lola: 20677 markings, 72699 edges, 679 markings/sec, 25 secs
lola: 24070 markings, 84866 edges, 679 markings/sec, 30 secs
lola: 27464 markings, 97099 edges, 679 markings/sec, 35 secs
lola: 30859 markings, 109336 edges, 679 markings/sec, 40 secs
lola: 34253 markings, 121698 edges, 679 markings/sec, 45 secs
lola: 37647 markings, 134089 edges, 679 markings/sec, 50 secs
lola: 41044 markings, 146400 edges, 679 markings/sec, 55 secs
lola: 44436 markings, 158691 edges, 678 markings/sec, 60 secs
lola: 47830 markings, 171170 edges, 679 markings/sec, 65 secs
lola: 51223 markings, 183691 edges, 679 markings/sec, 70 secs
lola: 54609 markings, 195807 edges, 677 markings/sec, 75 secs
lola: 57826 markings, 207320 edges, 643 markings/sec, 80 secs
lola: 61218 markings, 219468 edges, 678 markings/sec, 85 secs
lola: 64610 markings, 231586 edges, 678 markings/sec, 90 secs
lola: 67998 markings, 243741 edges, 678 markings/sec, 95 secs
lola: 71392 markings, 255972 edges, 679 markings/sec, 100 secs
lola: 74783 markings, 268202 edges, 678 markings/sec, 105 secs
lola: 78174 markings, 280541 edges, 678 markings/sec, 110 secs
lola: 81564 markings, 292953 edges, 678 markings/sec, 115 secs
lola: 84953 markings, 305209 edges, 678 markings/sec, 120 secs
lola: 88344 markings, 317494 edges, 678 markings/sec, 125 secs
lola: 91732 markings, 329954 edges, 678 markings/sec, 130 secs
lola: 95124 markings, 342486 edges, 678 markings/sec, 135 secs
lola: 98526 markings, 354600 edges, 680 markings/sec, 140 secs
lola: 101926 markings, 366791 edges, 680 markings/sec, 145 secs
lola: 105326 markings, 379128 edges, 680 markings/sec, 150 secs
lola: 108721 markings, 391522 edges, 679 markings/sec, 155 secs
lola: 112121 markings, 403702 edges, 680 markings/sec, 160 secs
lola: 115520 markings, 415922 edges, 680 markings/sec, 165 secs
lola: 118918 markings, 428303 edges, 680 markings/sec, 170 secs
lola: 122314 markings, 440682 edges, 679 markings/sec, 175 secs
lola: 125702 markings, 452897 edges, 678 markings/sec, 180 secs
lola: 129085 markings, 464991 edges, 677 markings/sec, 185 secs
lola: 132474 markings, 477279 edges, 678 markings/sec, 190 secs
lola: 135860 markings, 489653 edges, 677 markings/sec, 195 secs
lola: 139253 markings, 501824 edges, 679 markings/sec, 200 secs
lola: 142640 markings, 513976 edges, 677 markings/sec, 205 secs
lola: 146031 markings, 526271 edges, 678 markings/sec, 210 secs
lola: 149420 markings, 538602 edges, 678 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_1119_1_1 + P_1119_1_2 + P_1119_1_3 + P_1119_1_4 + P_1119_1_5 + P_1119_1_6 + P_1119_2_1 + P_1119_2_2 + P_1119_2_3 + P_1119_2_4 + P_1119_2_5 + P_1119_2_6 + P_1119_3_1 + P_1119_3_2 + P_1119_3_3 + P_1119_3_4 + P_1119_3_5 + P_1119_3_6 + P_1119_4_1 + P_1119_4_2 + P_1119_4_3 + P_1119_4_4 + P_1119_4_5 + P_1119_4_6 + P_1119_5_1 + P_1119_5_2 + P_1119_5_3 + P_1119_5_4 + P_1119_5_5 + P_1119_5_6 + P_1119... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 6182 markings, 6983 edges, 1236 markings/sec, 0 secs
lola: 12441 markings, 14052 edges, 1252 markings/sec, 5 secs
lola: 21481 markings, 23886 edges, 1808 markings/sec, 10 secs
lola: 31441 markings, 34750 edges, 1992 markings/sec, 15 secs
lola: 41412 markings, 45841 edges, 1994 markings/sec, 20 secs
lola: 51378 markings, 56722 edges, 1993 markings/sec, 25 secs
lola: 61244 markings, 67407 edges, 1973 markings/sec, 30 secs
lola: 71037 markings, 78421 edges, 1959 markings/sec, 35 secs
lola: 80689 markings, 88769 edges, 1930 markings/sec, 40 secs
lola: 90726 markings, 99745 edges, 2007 markings/sec, 45 secs
lola: 100738 markings, 110620 edges, 2002 markings/sec, 50 secs
lola: 110779 markings, 121972 edges, 2008 markings/sec, 55 secs
lola: 120754 markings, 132848 edges, 1995 markings/sec, 60 secs
lola: 130353 markings, 143548 edges, 1920 markings/sec, 65 secs
lola: 139968 markings, 154039 edges, 1923 markings/sec, 70 secs
lola: 149733 markings, 164552 edges, 1953 markings/sec, 75 secs
lola: 159561 markings, 175497 edges, 1966 markings/sec, 80 secs
lola: 169489 markings, 186342 edges, 1986 markings/sec, 85 secs
lola: 179334 markings, 197087 edges, 1969 markings/sec, 90 secs
lola: 189084 markings, 207913 edges, 1950 markings/sec, 95 secs
lola: 198927 markings, 219057 edges, 1969 markings/sec, 100 secs
lola: 208731 markings, 230440 edges, 1961 markings/sec, 105 secs
lola: 218525 markings, 241819 edges, 1959 markings/sec, 110 secs
lola: 228348 markings, 252503 edges, 1965 markings/sec, 115 secs
lola: 238153 markings, 263148 edges, 1961 markings/sec, 120 secs
lola: 247998 markings, 273899 edges, 1969 markings/sec, 125 secs
lola: 257477 markings, 284171 edges, 1896 markings/sec, 130 secs
lola: 267126 markings, 294820 edges, 1930 markings/sec, 135 secs
lola: 277073 markings, 305578 edges, 1989 markings/sec, 140 secs
lola: 287127 markings, 316597 edges, 2011 markings/sec, 145 secs
lola: 296912 markings, 327380 edges, 1957 markings/sec, 150 secs
lola: 306940 markings, 339404 edges, 2006 markings/sec, 155 secs
lola: 316941 markings, 351105 edges, 2000 markings/sec, 160 secs
lola: 326851 markings, 362191 edges, 1982 markings/sec, 165 secs
lola: 336854 markings, 373433 edges, 2001 markings/sec, 170 secs
lola: 346830 markings, 384661 edges, 1995 markings/sec, 175 secs
lola: 356814 markings, 396235 edges, 1997 markings/sec, 180 secs
lola: 366827 markings, 407279 edges, 2003 markings/sec, 185 secs
lola: 376769 markings, 418430 edges, 1988 markings/sec, 190 secs
lola: 386686 markings, 429506 edges, 1983 markings/sec, 195 secs
lola: 396695 markings, 441433 edges, 2002 markings/sec, 200 secs
lola: 406845 markings, 453817 edges, 2030 markings/sec, 205 secs
lola: 416864 markings, 464756 edges, 2004 markings/sec, 210 secs
lola: 426758 markings, 475793 edges, 1979 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_1155_1 + P_1155_2 + P_1155_3 + P_1155_4 + P_1155_5 + P_1155_6 + P_1155_7 + P_1155_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 10506 markings, 12036 edges, 2101 markings/sec, 0 secs
lola: 20600 markings, 22839 edges, 2019 markings/sec, 5 secs
lola: 30977 markings, 33911 edges, 2075 markings/sec, 10 secs
lola: 41787 markings, 45920 edges, 2162 markings/sec, 15 secs
lola: 52228 markings, 57144 edges, 2088 markings/sec, 20 secs
lola: 62668 markings, 68362 edges, 2088 markings/sec, 25 secs
lola: 73154 markings, 80133 edges, 2097 markings/sec, 30 secs
lola: 83481 markings, 91211 edges, 2065 markings/sec, 35 secs
lola: 94255 markings, 103128 edges, 2155 markings/sec, 40 secs
lola: 104788 markings, 114405 edges, 2107 markings/sec, 45 secs
lola: 115443 markings, 125931 edges, 2131 markings/sec, 50 secs
lola: 126031 markings, 137694 edges, 2118 markings/sec, 55 secs
lola: 136288 markings, 149132 edges, 2051 markings/sec, 60 secs
lola: 146010 markings, 159547 edges, 1944 markings/sec, 65 secs
lola: 155900 markings, 170100 edges, 1978 markings/sec, 70 secs
lola: 166269 markings, 181707 edges, 2074 markings/sec, 75 secs
lola: 176918 markings, 194046 edges, 2130 markings/sec, 80 secs
lola: 187298 markings, 205120 edges, 2076 markings/sec, 85 secs
lola: 197784 markings, 216813 edges, 2097 markings/sec, 90 secs
lola: 208273 markings, 228553 edges, 2098 markings/sec, 95 secs
lola: 218519 markings, 239596 edges, 2049 markings/sec, 100 secs
lola: 227815 markings, 249609 edges, 1859 markings/sec, 105 secs
lola: 238153 markings, 260749 edges, 2068 markings/sec, 110 secs
lola: 248244 markings, 271709 edges, 2018 markings/sec, 115 secs
lola: 259026 markings, 284414 edges, 2156 markings/sec, 120 secs
lola: 269344 markings, 295610 edges, 2064 markings/sec, 125 secs
lola: 279382 markings, 306480 edges, 2008 markings/sec, 130 secs
lola: 289719 markings, 318531 edges, 2067 markings/sec, 135 secs
lola: 299622 markings, 329643 edges, 1981 markings/sec, 140 secs
lola: 310235 markings, 341937 edges, 2123 markings/sec, 145 secs
lola: 320979 markings, 354461 edges, 2149 markings/sec, 150 secs
lola: 331170 markings, 365598 edges, 2038 markings/sec, 155 secs
lola: 341998 markings, 378201 edges, 2166 markings/sec, 160 secs
lola: 352490 markings, 389969 edges, 2098 markings/sec, 165 secs
lola: 363003 markings, 401829 edges, 2103 markings/sec, 170 secs
lola: 374478 markings, 416202 edges, 2295 markings/sec, 175 secs
lola: 385103 markings, 428888 edges, 2125 markings/sec, 180 secs
lola: 395262 markings, 439895 edges, 2032 markings/sec, 185 secs
lola: 405832 markings, 451847 edges, 2114 markings/sec, 190 secs
lola: 416840 markings, 465108 edges, 2202 markings/sec, 195 secs
lola: 427656 markings, 478057 edges, 2163 markings/sec, 200 secs
lola: 438347 markings, 490810 edges, 2138 markings/sec, 205 secs
lola: 449335 markings, 504653 edges, 2198 markings/sec, 210 secs
lola: 459866 markings, 516822 edges, 2106 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(RunB_1 + RunB_2 + RunB_3 + RunB_4 + RunB_5 + RunB_6 + RunB_7 + RunB_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 3622 markings, 12295 edges, 724 markings/sec, 0 secs
lola: 7106 markings, 24738 edges, 697 markings/sec, 5 secs
lola: 10590 markings, 37241 edges, 697 markings/sec, 10 secs
lola: 14072 markings, 49679 edges, 696 markings/sec, 15 secs
lola: 17554 markings, 62150 edges, 696 markings/sec, 20 secs
lola: 21037 markings, 74675 edges, 697 markings/sec, 25 secs
lola: 24521 markings, 87224 edges, 697 markings/sec, 30 secs
lola: 28004 markings, 99884 edges, 697 markings/sec, 35 secs
lola: 31487 markings, 112578 edges, 697 markings/sec, 40 secs
lola: 34969 markings, 125260 edges, 696 markings/sec, 45 secs
lola: 38450 markings, 137847 edges, 696 markings/sec, 50 secs
lola: 41930 markings, 150637 edges, 696 markings/sec, 55 secs
lola: 45412 markings, 163444 edges, 696 markings/sec, 60 secs
lola: 48770 markings, 175519 edges, 672 markings/sec, 65 secs
lola: 52190 markings, 187760 edges, 684 markings/sec, 70 secs
lola: 55633 markings, 200090 edges, 689 markings/sec, 75 secs
lola: 59076 markings, 212390 edges, 689 markings/sec, 80 secs
lola: 62517 markings, 224737 edges, 688 markings/sec, 85 secs
lola: 65958 markings, 237131 edges, 688 markings/sec, 90 secs
lola: 69400 markings, 249549 edges, 688 markings/sec, 95 secs
lola: 72841 markings, 262086 edges, 688 markings/sec, 100 secs
lola: 76283 markings, 274672 edges, 688 markings/sec, 105 secs
lola: 79724 markings, 287112 edges, 688 markings/sec, 110 secs
lola: 83165 markings, 299592 edges, 688 markings/sec, 115 secs
lola: 86605 markings, 312254 edges, 688 markings/sec, 120 secs
lola: 90046 markings, 324925 edges, 688 markings/sec, 125 secs
lola: 93490 markings, 337206 edges, 689 markings/sec, 130 secs
lola: 96933 markings, 349584 edges, 689 markings/sec, 135 secs
lola: 100377 markings, 361874 edges, 689 markings/sec, 140 secs
lola: 103819 markings, 374171 edges, 688 markings/sec, 145 secs
lola: 107262 markings, 386555 edges, 689 markings/sec, 150 secs
lola: 110704 markings, 398938 edges, 688 markings/sec, 155 secs
lola: 114146 markings, 411405 edges, 688 markings/sec, 160 secs
lola: 117588 markings, 423908 edges, 688 markings/sec, 165 secs
lola: 121030 markings, 436497 edges, 688 markings/sec, 170 secs
lola: 124471 markings, 448931 edges, 688 markings/sec, 175 secs
lola: 127912 markings, 461484 edges, 688 markings/sec, 180 secs
lola: 131353 markings, 474113 edges, 688 markings/sec, 185 secs
lola: 134882 markings, 486651 edges, 706 markings/sec, 190 secs
lola: 138322 markings, 498937 edges, 688 markings/sec, 195 secs
lola: 141762 markings, 511286 edges, 688 markings/sec, 200 secs
lola: 145201 markings, 523571 edges, 688 markings/sec, 205 secs
lola: 148640 markings, 535876 edges, 688 markings/sec, 210 secs
lola: 152078 markings, 548242 edges, 688 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(MarkerWrite)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 11057 markings, 12638 edges, 2211 markings/sec, 0 secs
lola: 21734 markings, 23996 edges, 2135 markings/sec, 5 secs
lola: 32916 markings, 36121 edges, 2236 markings/sec, 10 secs
lola: 44204 markings, 48522 edges, 2258 markings/sec, 15 secs
lola: 55294 markings, 60467 edges, 2218 markings/sec, 20 secs
lola: 66314 markings, 72321 edges, 2204 markings/sec, 25 secs
lola: 77339 markings, 84673 edges, 2205 markings/sec, 30 secs
lola: 88540 markings, 97072 edges, 2240 markings/sec, 35 secs
lola: 99843 markings, 109133 edges, 2261 markings/sec, 40 secs
lola: 111074 markings, 121218 edges, 2246 markings/sec, 45 secs
lola: 122235 markings, 133612 edges, 2232 markings/sec, 50 secs
lola: 133293 markings, 146021 edges, 2212 markings/sec, 55 secs
lola: 143554 markings, 156958 edges, 2052 markings/sec, 60 secs
lola: 153909 markings, 168060 edges, 2071 markings/sec, 65 secs
lola: 164900 markings, 180291 edges, 2198 markings/sec, 70 secs
lola: 176175 markings, 193415 edges, 2255 markings/sec, 75 secs
lola: 187195 markings, 205156 edges, 2204 markings/sec, 80 secs
lola: 198391 markings, 217737 edges, 2239 markings/sec, 85 secs
lola: 209641 markings, 230199 edges, 2250 markings/sec, 90 secs
lola: 220371 markings, 241755 edges, 2146 markings/sec, 95 secs
lola: 230352 markings, 252543 edges, 1996 markings/sec, 100 secs
lola: 240997 markings, 264050 edges, 2129 markings/sec, 105 secs
lola: 252205 markings, 276660 edges, 2242 markings/sec, 110 secs
lola: 263022 markings, 288811 edges, 2163 markings/sec, 115 secs
lola: 273819 markings, 300502 edges, 2159 markings/sec, 120 secs
lola: 284419 markings, 312441 edges, 2120 markings/sec, 125 secs
lola: 294948 markings, 324673 edges, 2106 markings/sec, 130 secs
lola: 306325 markings, 337902 edges, 2275 markings/sec, 135 secs
lola: 317025 markings, 349940 edges, 2140 markings/sec, 140 secs
lola: 328073 markings, 362452 edges, 2210 markings/sec, 145 secs
lola: 339115 markings, 374858 edges, 2208 markings/sec, 150 secs
lola: 350467 markings, 388075 edges, 2270 markings/sec, 155 secs
lola: 361433 markings, 400402 edges, 2193 markings/sec, 160 secs
lola: 373517 markings, 415731 edges, 2417 markings/sec, 165 secs
lola: 384473 markings, 428498 edges, 2191 markings/sec, 170 secs
lola: 395122 markings, 440025 edges, 2130 markings/sec, 175 secs
lola: 406243 markings, 452678 edges, 2224 markings/sec, 180 secs
lola: 417758 markings, 466586 edges, 2303 markings/sec, 185 secs
lola: 429080 markings, 480505 edges, 2264 markings/sec, 190 secs
lola: 440589 markings, 494549 edges, 2302 markings/sec, 195 secs
lola: 451812 markings, 508395 edges, 2245 markings/sec, 200 secs
lola: 463033 markings, 521627 edges, 2244 markings/sec, 205 secs
lola: 474382 markings, 534899 edges, 2270 markings/sec, 210 secs
lola: 485758 markings, 548362 edges, 2275 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(cSources)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 10629 markings, 12179 edges, 2126 markings/sec, 0 secs
lola: 20812 markings, 23056 edges, 2037 markings/sec, 5 secs
lola: 31379 markings, 34351 edges, 2113 markings/sec, 10 secs
lola: 42302 markings, 46459 edges, 2185 markings/sec, 15 secs
lola: 52886 markings, 57864 edges, 2117 markings/sec, 20 secs
lola: 63514 markings, 69297 edges, 2126 markings/sec, 25 secs
lola: 74096 markings, 81157 edges, 2116 markings/sec, 30 secs
lola: 84606 markings, 92432 edges, 2102 markings/sec, 35 secs
lola: 95530 markings, 104470 edges, 2185 markings/sec, 40 secs
lola: 106246 markings, 116008 edges, 2143 markings/sec, 45 secs
lola: 116938 markings, 127517 edges, 2138 markings/sec, 50 secs
lola: 127688 markings, 139489 edges, 2150 markings/sec, 55 secs
lola: 138002 markings, 150981 edges, 2063 markings/sec, 60 secs
lola: 147797 markings, 161402 edges, 1959 markings/sec, 65 secs
lola: 158088 markings, 172451 edges, 2058 markings/sec, 70 secs
lola: 168844 markings, 184921 edges, 2151 markings/sec, 75 secs
lola: 179423 markings, 196677 edges, 2116 markings/sec, 80 secs
lola: 190001 markings, 208000 edges, 2116 markings/sec, 85 secs
lola: 200989 markings, 220757 edges, 2198 markings/sec, 90 secs
lola: 211448 markings, 231955 edges, 2092 markings/sec, 95 secs
lola: 221741 markings, 243055 edges, 2059 markings/sec, 100 secs
lola: 231413 markings, 253508 edges, 1934 markings/sec, 105 secs
lola: 241663 markings, 264621 edges, 2050 markings/sec, 110 secs
lola: 252444 markings, 276717 edges, 2156 markings/sec, 115 secs
lola: 263063 markings, 288768 edges, 2124 markings/sec, 120 secs
lola: 273502 markings, 300143 edges, 2088 markings/sec, 125 secs
lola: 283835 markings, 311750 edges, 2067 markings/sec, 130 secs
lola: 293602 markings, 322687 edges, 1953 markings/sec, 135 secs
lola: 304508 markings, 335418 edges, 2181 markings/sec, 140 secs
lola: 314787 markings, 346909 edges, 2056 markings/sec, 145 secs
lola: 325786 markings, 359647 edges, 2200 markings/sec, 150 secs
lola: 336005 markings, 370820 edges, 2044 markings/sec, 155 secs
lola: 347133 markings, 383770 edges, 2226 markings/sec, 160 secs
lola: 357995 markings, 396400 edges, 2172 markings/sec, 165 secs
lola: 369372 markings, 409982 edges, 2275 markings/sec, 170 secs
lola: 380075 markings, 422645 edges, 2141 markings/sec, 175 secs
lola: 389689 markings, 433839 edges, 1923 markings/sec, 180 secs
lola: 399383 markings, 444374 edges, 1939 markings/sec, 185 secs
lola: 408922 markings, 455298 edges, 1908 markings/sec, 190 secs
lola: 419298 markings, 467761 edges, 2075 markings/sec, 195 secs
lola: 428893 markings, 479596 edges, 1919 markings/sec, 200 secs
lola: 439105 markings, 491628 edges, 2042 markings/sec, 205 secs
lola: 449911 markings, 505335 edges, 2161 markings/sec, 210 secs
lola: 460494 markings, 517507 edges, 2117 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(P_2579_4_1 + P_2579_4_2 + P_2579_4_3 + P_2579_4_4 + P_2579_4_5 + P_2579_4_6 + P_2579_5_1 + P_2579_5_2 + P_2579_5_3 + P_2579_5_4 + P_2579_5_5 + P_2579_5_6 + P_2579_6_1 + P_2579_6_2 + P_2579_6_3 + P_2579_6_4 + P_2579_6_5 + P_2579_6_6 + P_2579_7_1 + P_2579_7_2 + P_2579_7_3 + P_2579_7_4 + P_2579_7_5 + P_2579_7_6 + P_2579_8_1 + P_2579_8_2 + P_2579_8_3 + P_2579_8_4 + P_2579_8_5 + P_2579_8_6 + P_2579... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 3917 markings, 10298 edges, 783 markings/sec, 0 secs
lola: 7254 markings, 20569 edges, 667 markings/sec, 5 secs
lola: 10658 markings, 31225 edges, 681 markings/sec, 10 secs
lola: 14068 markings, 41663 edges, 682 markings/sec, 15 secs
lola: 17358 markings, 51750 edges, 658 markings/sec, 20 secs
lola: 20426 markings, 61223 edges, 614 markings/sec, 25 secs
lola: 23676 markings, 71399 edges, 650 markings/sec, 30 secs
lola: 27035 markings, 81672 edges, 672 markings/sec, 35 secs
lola: 30221 markings, 91441 edges, 637 markings/sec, 40 secs
lola: 33206 markings, 100658 edges, 597 markings/sec, 45 secs
lola: 36066 markings, 109626 edges, 572 markings/sec, 50 secs
lola: 39703 markings, 120286 edges, 727 markings/sec, 55 secs
lola: 43132 markings, 132512 edges, 686 markings/sec, 60 secs
lola: 46563 markings, 144822 edges, 686 markings/sec, 65 secs
lola: 49991 markings, 157083 edges, 686 markings/sec, 70 secs
lola: 53420 markings, 169327 edges, 686 markings/sec, 75 secs
lola: 56846 markings, 181646 edges, 685 markings/sec, 80 secs
lola: 60274 markings, 193979 edges, 686 markings/sec, 85 secs
lola: 63701 markings, 206363 edges, 685 markings/sec, 90 secs
lola: 67131 markings, 218837 edges, 686 markings/sec, 95 secs
lola: 70559 markings, 231381 edges, 686 markings/sec, 100 secs
lola: 73990 markings, 243783 edges, 686 markings/sec, 105 secs
lola: 77418 markings, 256256 edges, 686 markings/sec, 110 secs
lola: 80847 markings, 268848 edges, 686 markings/sec, 115 secs
lola: 84272 markings, 281431 edges, 685 markings/sec, 120 secs
lola: 87693 markings, 293639 edges, 684 markings/sec, 125 secs
lola: 91106 markings, 305898 edges, 683 markings/sec, 130 secs
lola: 94525 markings, 318105 edges, 684 markings/sec, 135 secs
lola: 97710 markings, 329503 edges, 637 markings/sec, 140 secs
lola: 101127 markings, 341779 edges, 683 markings/sec, 145 secs
lola: 104544 markings, 354077 edges, 683 markings/sec, 150 secs
lola: 107958 markings, 366464 edges, 683 markings/sec, 155 secs
lola: 111374 markings, 378858 edges, 683 markings/sec, 160 secs
lola: 114790 markings, 391348 edges, 683 markings/sec, 165 secs
lola: 118205 markings, 403694 edges, 683 markings/sec, 170 secs
lola: 121620 markings, 416159 edges, 683 markings/sec, 175 secs
lola: 125035 markings, 428694 edges, 683 markings/sec, 180 secs
lola: 128453 markings, 441193 edges, 684 markings/sec, 185 secs
lola: 131862 markings, 453366 edges, 682 markings/sec, 190 secs
lola: 135164 markings, 465222 edges, 660 markings/sec, 195 secs
lola: 138404 markings, 476793 edges, 648 markings/sec, 200 secs
lola: 141637 markings, 488361 edges, 647 markings/sec, 205 secs
lola: 144875 markings, 500002 edges, 648 markings/sec, 210 secs
lola: 148104 markings, 511620 edges, 646 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(Insert_Source_B_1_1 + Insert_Source_B_1_2 + Insert_Source_B_1_3 + Insert_Source_B_1_4 + Insert_Source_B_1_5 + Insert_Source_B_1_6 + Insert_Source_B_2_1 + Insert_Source_B_2_2 + Insert_Source_B_2_3 + Insert_Source_B_2_4 + Insert_Source_B_2_5 + Insert_Source_B_2_6 + Insert_Source_B_3_1 + Insert_Source_B_3_2 + Insert_Source_B_3_3 + Insert_Source_B_3_4 + Insert_Source_B_3_5 + Insert_Source_B_3_6 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 3008 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: 3383 markings, 11707 edges, 677 markings/sec, 0 secs
lola: 6735 markings, 23783 edges, 670 markings/sec, 5 secs
lola: 10014 markings, 35633 edges, 656 markings/sec, 10 secs
lola: 13276 markings, 47476 edges, 652 markings/sec, 15 secs
lola: 16648 markings, 59655 edges, 674 markings/sec, 20 secs
lola: 20041 markings, 71695 edges, 679 markings/sec, 25 secs
lola: 23457 markings, 82304 edges, 683 markings/sec, 30 secs
lola: 26854 markings, 92914 edges, 679 markings/sec, 35 secs
lola: 30177 markings, 104153 edges, 665 markings/sec, 40 secs
lola: 33511 markings, 114884 edges, 667 markings/sec, 45 secs
lola: 36867 markings, 125566 edges, 671 markings/sec, 50 secs
lola: 40261 markings, 137117 edges, 679 markings/sec, 55 secs
lola: 43668 markings, 148087 edges, 681 markings/sec, 60 secs
lola: 47056 markings, 158870 edges, 678 markings/sec, 65 secs
lola: 50421 markings, 170612 edges, 673 markings/sec, 70 secs
lola: 53799 markings, 181609 edges, 676 markings/sec, 75 secs
lola: 57176 markings, 192718 edges, 675 markings/sec, 80 secs
lola: 60547 markings, 204121 edges, 674 markings/sec, 85 secs
lola: 63911 markings, 216260 edges, 673 markings/sec, 90 secs
lola: 67273 markings, 228459 edges, 672 markings/sec, 95 secs
lola: 70637 markings, 240555 edges, 673 markings/sec, 100 secs
lola: 74001 markings, 252713 edges, 673 markings/sec, 105 secs
lola: 77363 markings, 264903 edges, 672 markings/sec, 110 secs
lola: 80720 markings, 275814 edges, 671 markings/sec, 115 secs
lola: 84238 markings, 286850 edges, 704 markings/sec, 120 secs
lola: 87760 markings, 298683 edges, 704 markings/sec, 125 secs
lola: 91292 markings, 309897 edges, 706 markings/sec, 130 secs
lola: 94820 markings, 321298 edges, 706 markings/sec, 135 secs
lola: 98342 markings, 333217 edges, 704 markings/sec, 140 secs
lola: 101871 markings, 344496 edges, 706 markings/sec, 145 secs
lola: 105399 markings, 355821 edges, 706 markings/sec, 150 secs
lola: 108912 markings, 368018 edges, 703 markings/sec, 155 secs
lola: 112438 markings, 379467 edges, 705 markings/sec, 160 secs
lola: 115959 markings, 391059 edges, 704 markings/sec, 165 secs
lola: 119474 markings, 402903 edges, 703 markings/sec, 170 secs
lola: 122981 markings, 415551 edges, 701 markings/sec, 175 secs
lola: 126469 markings, 428195 edges, 698 markings/sec, 180 secs
lola: 129977 markings, 440826 edges, 702 markings/sec, 185 secs
lola: 133484 markings, 453499 edges, 701 markings/sec, 190 secs
lola: 136992 markings, 466192 edges, 702 markings/sec, 195 secs
lola: 140529 markings, 477361 edges, 707 markings/sec, 200 secs
lola: 144061 markings, 488451 edges, 706 markings/sec, 205 secs
lola: 147580 markings, 500287 edges, 704 markings/sec, 210 secs
lola: 151109 markings, 511653 edges, 706 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-S06J04T08-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S06J04T08-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494732667155

--------------------
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-S06J04T08"
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-S06J04T08.tgz
mv PolyORBLF-PT-S06J04T08 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-S06J04T08, 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-149440870100524"
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 ;