Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...........
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_PolyORBLF-COL-S04J04T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681400317
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496385509589


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBLF-COL-S04J04T06: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBLF-COL-S04J04T06: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBLF-COL-S04J04T06 @ 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: 3552/65536 symbol table entries, 457 collisions
lola: preprocessing...
lola: finding significant places
lola: 554 places, 2998 transitions, 504 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 1821 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J04T06-UpperBounds.task
lola: MAX(p490) : MAX(p30 + p31 + p32 + p33 + p34 + p35) : MAX(p471) : MAX(p471) : MAX(p98) : MAX(p453 + p454 + p455 + p456 + p457 + p458) : MAX(p126) : MAX(p280) : MAX(p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p93 + p94 + p95 + p96) : MAX(p170 + p171 + p172 + p173 + p174 + p175) : MAX(p176 + p177 + p178 + p179 + p180 + p181) : MAX(p46) : MAX(p119 + p120 + p121 + p122 + p123 + p124) : MAX(p286 + p285 + p284 + p283 + p282 + p281) : MAX(p40 + p41 + p42 + p43 + p44 + p45) : MAX(p372 + p373 + p374 + p375)
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(p490)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 39532 markings, 42763 edges, 7906 markings/sec, 0 secs
lola: 78846 markings, 87309 edges, 7863 markings/sec, 5 secs
lola: 117877 markings, 132113 edges, 7806 markings/sec, 10 secs
lola: 156786 markings, 180624 edges, 7782 markings/sec, 15 secs
lola: 195664 markings, 226903 edges, 7776 markings/sec, 20 secs
lola: 234390 markings, 273022 edges, 7745 markings/sec, 25 secs
lola: 272996 markings, 319957 edges, 7721 markings/sec, 30 secs
lola: 311420 markings, 368030 edges, 7685 markings/sec, 35 secs
lola: 349896 markings, 415847 edges, 7695 markings/sec, 40 secs
lola: 388331 markings, 465245 edges, 7687 markings/sec, 45 secs
lola: 426669 markings, 514440 edges, 7668 markings/sec, 50 secs
lola: 464954 markings, 563065 edges, 7657 markings/sec, 55 secs
lola: 503394 markings, 611228 edges, 7688 markings/sec, 60 secs
lola: 541748 markings, 659381 edges, 7671 markings/sec, 65 secs
lola: 580149 markings, 708708 edges, 7680 markings/sec, 70 secs
lola: 618543 markings, 757348 edges, 7679 markings/sec, 75 secs
lola: 657093 markings, 805282 edges, 7710 markings/sec, 80 secs
lola: 695368 markings, 854567 edges, 7655 markings/sec, 85 secs
lola: 733745 markings, 903356 edges, 7675 markings/sec, 90 secs
lola: 772064 markings, 952667 edges, 7664 markings/sec, 95 secs
lola: 810354 markings, 1003351 edges, 7658 markings/sec, 100 secs
lola: 848686 markings, 1054030 edges, 7666 markings/sec, 105 secs
lola: 886955 markings, 1102697 edges, 7654 markings/sec, 110 secs
lola: 925250 markings, 1151962 edges, 7659 markings/sec, 115 secs
lola: 963497 markings, 1201302 edges, 7649 markings/sec, 120 secs
lola: 1001694 markings, 1252290 edges, 7639 markings/sec, 125 secs
lola: 1039818 markings, 1301373 edges, 7625 markings/sec, 130 secs
lola: 1078079 markings, 1351847 edges, 7652 markings/sec, 135 secs
lola: 1116245 markings, 1401422 edges, 7633 markings/sec, 140 secs
lola: 1154585 markings, 1451270 edges, 7668 markings/sec, 145 secs
lola: 1192778 markings, 1502065 edges, 7639 markings/sec, 150 secs
lola: 1231046 markings, 1551570 edges, 7654 markings/sec, 155 secs
lola: 1269320 markings, 1600762 edges, 7655 markings/sec, 160 secs
lola: 1307601 markings, 1649900 edges, 7656 markings/sec, 165 secs
lola: 1345769 markings, 1700694 edges, 7634 markings/sec, 170 secs
lola: 1384011 markings, 1749811 edges, 7648 markings/sec, 175 secs
lola: 1421755 markings, 1797928 edges, 7549 markings/sec, 180 secs
lola: 1458159 markings, 1844629 edges, 7281 markings/sec, 185 secs
lola: 1494528 markings, 1892213 edges, 7274 markings/sec, 190 secs
lola: 1531099 markings, 1940405 edges, 7314 markings/sec, 195 secs
lola: 1567917 markings, 1986847 edges, 7364 markings/sec, 200 secs
lola: 1606400 markings, 2036460 edges, 7697 markings/sec, 205 secs
lola: 1644866 markings, 2085608 edges, 7693 markings/sec, 210 secs
lola: 1683236 markings, 2135212 edges, 7674 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(p30 + p31 + p32 + p33 + p34 + p35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 38644 markings, 40551 edges, 7729 markings/sec, 0 secs
lola: 76385 markings, 80389 edges, 7548 markings/sec, 5 secs
lola: 114331 markings, 120384 edges, 7589 markings/sec, 10 secs
lola: 151848 markings, 160766 edges, 7503 markings/sec, 15 secs
lola: 189253 markings, 200529 edges, 7481 markings/sec, 20 secs
lola: 227005 markings, 240710 edges, 7550 markings/sec, 25 secs
lola: 264841 markings, 281320 edges, 7567 markings/sec, 30 secs
lola: 302481 markings, 321486 edges, 7528 markings/sec, 35 secs
lola: 340061 markings, 361797 edges, 7516 markings/sec, 40 secs
lola: 377543 markings, 402212 edges, 7496 markings/sec, 45 secs
lola: 414763 markings, 443827 edges, 7444 markings/sec, 50 secs
lola: 452435 markings, 485132 edges, 7534 markings/sec, 55 secs
lola: 489650 markings, 524914 edges, 7443 markings/sec, 60 secs
lola: 527002 markings, 567294 edges, 7470 markings/sec, 65 secs
lola: 564146 markings, 608105 edges, 7429 markings/sec, 70 secs
lola: 601439 markings, 648549 edges, 7459 markings/sec, 75 secs
lola: 638585 markings, 688992 edges, 7429 markings/sec, 80 secs
lola: 675717 markings, 729095 edges, 7426 markings/sec, 85 secs
lola: 713024 markings, 770532 edges, 7461 markings/sec, 90 secs
lola: 750238 markings, 810742 edges, 7443 markings/sec, 95 secs
lola: 787558 markings, 853156 edges, 7464 markings/sec, 100 secs
lola: 824765 markings, 896364 edges, 7441 markings/sec, 105 secs
lola: 861849 markings, 937924 edges, 7417 markings/sec, 110 secs
lola: 898963 markings, 978610 edges, 7423 markings/sec, 115 secs
lola: 936213 markings, 1020775 edges, 7450 markings/sec, 120 secs
lola: 973308 markings, 1061882 edges, 7419 markings/sec, 125 secs
lola: 1010538 markings, 1102509 edges, 7446 markings/sec, 130 secs
lola: 1047546 markings, 1146823 edges, 7402 markings/sec, 135 secs
lola: 1084581 markings, 1187450 edges, 7407 markings/sec, 140 secs
lola: 1121838 markings, 1229071 edges, 7451 markings/sec, 145 secs
lola: 1158766 markings, 1270653 edges, 7386 markings/sec, 150 secs
lola: 1195858 markings, 1311659 edges, 7418 markings/sec, 155 secs
lola: 1232869 markings, 1352980 edges, 7402 markings/sec, 160 secs
lola: 1269613 markings, 1393984 edges, 7349 markings/sec, 165 secs
lola: 1306449 markings, 1434307 edges, 7367 markings/sec, 170 secs
lola: 1343291 markings, 1476287 edges, 7368 markings/sec, 175 secs
lola: 1380383 markings, 1517794 edges, 7418 markings/sec, 180 secs
lola: 1417362 markings, 1559680 edges, 7396 markings/sec, 185 secs
lola: 1454330 markings, 1602336 edges, 7394 markings/sec, 190 secs
lola: 1491209 markings, 1644378 edges, 7376 markings/sec, 195 secs
lola: 1528105 markings, 1685811 edges, 7379 markings/sec, 200 secs
lola: 1564911 markings, 1727430 edges, 7361 markings/sec, 205 secs
lola: 1601811 markings, 1771176 edges, 7380 markings/sec, 210 secs
lola: 1638876 markings, 1814050 edges, 7413 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(p471)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 37818 markings, 39702 edges, 7564 markings/sec, 0 secs
lola: 74834 markings, 78727 edges, 7403 markings/sec, 5 secs
lola: 112120 markings, 117845 edges, 7457 markings/sec, 10 secs
lola: 149048 markings, 157475 edges, 7386 markings/sec, 15 secs
lola: 185780 markings, 196779 edges, 7346 markings/sec, 20 secs
lola: 222846 markings, 236272 edges, 7413 markings/sec, 25 secs
lola: 259976 markings, 276119 edges, 7426 markings/sec, 30 secs
lola: 297258 markings, 315993 edges, 7456 markings/sec, 35 secs
lola: 334239 markings, 355526 edges, 7396 markings/sec, 40 secs
lola: 370607 markings, 394745 edges, 7274 markings/sec, 45 secs
lola: 407168 markings, 434229 edges, 7312 markings/sec, 50 secs
lola: 444471 markings, 476526 edges, 7461 markings/sec, 55 secs
lola: 481730 markings, 516482 edges, 7452 markings/sec, 60 secs
lola: 518861 markings, 558480 edges, 7426 markings/sec, 65 secs
lola: 555828 markings, 599315 edges, 7393 markings/sec, 70 secs
lola: 592876 markings, 639222 edges, 7410 markings/sec, 75 secs
lola: 629829 markings, 679379 edges, 7391 markings/sec, 80 secs
lola: 666798 markings, 719436 edges, 7394 markings/sec, 85 secs
lola: 703907 markings, 760250 edges, 7422 markings/sec, 90 secs
lola: 740863 markings, 800394 edges, 7391 markings/sec, 95 secs
lola: 777966 markings, 842377 edges, 7421 markings/sec, 100 secs
lola: 815116 markings, 885379 edges, 7430 markings/sec, 105 secs
lola: 852058 markings, 927211 edges, 7388 markings/sec, 110 secs
lola: 888981 markings, 967810 edges, 7385 markings/sec, 115 secs
lola: 925928 markings, 1008855 edges, 7389 markings/sec, 120 secs
lola: 962918 markings, 1050692 edges, 7398 markings/sec, 125 secs
lola: 999864 markings, 1090806 edges, 7389 markings/sec, 130 secs
lola: 1036761 markings, 1132752 edges, 7379 markings/sec, 135 secs
lola: 1073621 markings, 1175226 edges, 7372 markings/sec, 140 secs
lola: 1110592 markings, 1216080 edges, 7394 markings/sec, 145 secs
lola: 1147435 markings, 1258471 edges, 7369 markings/sec, 150 secs
lola: 1184328 markings, 1298739 edges, 7379 markings/sec, 155 secs
lola: 1221130 markings, 1339716 edges, 7360 markings/sec, 160 secs
lola: 1258051 markings, 1381005 edges, 7384 markings/sec, 165 secs
lola: 1294609 markings, 1421442 edges, 7312 markings/sec, 170 secs
lola: 1331280 markings, 1462366 edges, 7334 markings/sec, 175 secs
lola: 1368030 markings, 1503818 edges, 7350 markings/sec, 180 secs
lola: 1404847 markings, 1545130 edges, 7363 markings/sec, 185 secs
lola: 1441760 markings, 1588032 edges, 7383 markings/sec, 190 secs
lola: 1478516 markings, 1630824 edges, 7351 markings/sec, 195 secs
lola: 1515239 markings, 1671440 edges, 7345 markings/sec, 200 secs
lola: 1551920 markings, 1712683 edges, 7336 markings/sec, 205 secs
lola: 1588664 markings, 1755690 edges, 7349 markings/sec, 210 secs
lola: 1625442 markings, 1798436 edges, 7356 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(p471)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 38110 markings, 39998 edges, 7622 markings/sec, 0 secs
lola: 75432 markings, 79343 edges, 7464 markings/sec, 5 secs
lola: 113019 markings, 118801 edges, 7517 markings/sec, 10 secs
lola: 150203 markings, 158756 edges, 7437 markings/sec, 15 secs
lola: 187176 markings, 198264 edges, 7395 markings/sec, 20 secs
lola: 224552 markings, 238082 edges, 7475 markings/sec, 25 secs
lola: 262038 markings, 278359 edges, 7497 markings/sec, 30 secs
lola: 299364 markings, 318219 edges, 7465 markings/sec, 35 secs
lola: 336499 markings, 358018 edges, 7427 markings/sec, 40 secs
lola: 373710 markings, 398046 edges, 7442 markings/sec, 45 secs
lola: 410567 markings, 439262 edges, 7371 markings/sec, 50 secs
lola: 447771 markings, 480136 edges, 7441 markings/sec, 55 secs
lola: 484801 markings, 519732 edges, 7406 markings/sec, 60 secs
lola: 521795 markings, 561598 edges, 7399 markings/sec, 65 secs
lola: 558561 markings, 602190 edges, 7353 markings/sec, 70 secs
lola: 595498 markings, 642044 edges, 7387 markings/sec, 75 secs
lola: 632253 markings, 681960 edges, 7351 markings/sec, 80 secs
lola: 669025 markings, 721787 edges, 7354 markings/sec, 85 secs
lola: 705950 markings, 762555 edges, 7385 markings/sec, 90 secs
lola: 742731 markings, 802409 edges, 7356 markings/sec, 95 secs
lola: 779577 markings, 844414 edges, 7369 markings/sec, 100 secs
lola: 816469 markings, 887156 edges, 7378 markings/sec, 105 secs
lola: 853201 markings, 928454 edges, 7346 markings/sec, 110 secs
lola: 889911 markings, 968781 edges, 7342 markings/sec, 115 secs
lola: 926655 markings, 1009616 edges, 7349 markings/sec, 120 secs
lola: 963417 markings, 1051222 edges, 7352 markings/sec, 125 secs
lola: 1000140 markings, 1091090 edges, 7345 markings/sec, 130 secs
lola: 1036854 markings, 1132846 edges, 7343 markings/sec, 135 secs
lola: 1073490 markings, 1175093 edges, 7327 markings/sec, 140 secs
lola: 1110230 markings, 1215697 edges, 7348 markings/sec, 145 secs
lola: 1146838 markings, 1257847 edges, 7322 markings/sec, 150 secs
lola: 1183501 markings, 1297872 edges, 7333 markings/sec, 155 secs
lola: 1220073 markings, 1338581 edges, 7314 markings/sec, 160 secs
lola: 1256721 markings, 1379476 edges, 7330 markings/sec, 165 secs
lola: 1293114 markings, 1419855 edges, 7279 markings/sec, 170 secs
lola: 1329547 markings, 1460462 edges, 7287 markings/sec, 175 secs
lola: 1366088 markings, 1501716 edges, 7308 markings/sec, 180 secs
lola: 1402850 markings, 1542952 edges, 7352 markings/sec, 185 secs
lola: 1439830 markings, 1585801 edges, 7396 markings/sec, 190 secs
lola: 1476684 markings, 1628861 edges, 7371 markings/sec, 195 secs
lola: 1513485 markings, 1669515 edges, 7360 markings/sec, 200 secs
lola: 1550259 markings, 1710884 edges, 7355 markings/sec, 205 secs
lola: 1587045 markings, 1753748 edges, 7357 markings/sec, 210 secs
lola: 1623903 markings, 1796786 edges, 7372 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(p98)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 35447 markings, 37281 edges, 7089 markings/sec, 0 secs
lola: 70606 markings, 74495 edges, 7032 markings/sec, 5 secs
lola: 105725 markings, 111509 edges, 7024 markings/sec, 10 secs
lola: 140474 markings, 148004 edges, 6950 markings/sec, 15 secs
lola: 175365 markings, 184891 edges, 6978 markings/sec, 20 secs
lola: 210534 markings, 222216 edges, 7034 markings/sec, 25 secs
lola: 245512 markings, 260962 edges, 6996 markings/sec, 30 secs
lola: 280202 markings, 297612 edges, 6938 markings/sec, 35 secs
lola: 314800 markings, 334725 edges, 6920 markings/sec, 40 secs
lola: 349497 markings, 371765 edges, 6939 markings/sec, 45 secs
lola: 384428 markings, 409798 edges, 6986 markings/sec, 50 secs
lola: 419277 markings, 447089 edges, 6970 markings/sec, 55 secs
lola: 453978 markings, 485473 edges, 6940 markings/sec, 60 secs
lola: 488655 markings, 522926 edges, 6935 markings/sec, 65 secs
lola: 523162 markings, 560966 edges, 6901 markings/sec, 70 secs
lola: 557841 markings, 598548 edges, 6936 markings/sec, 75 secs
lola: 592358 markings, 635597 edges, 6903 markings/sec, 80 secs
lola: 627139 markings, 673483 edges, 6956 markings/sec, 85 secs
lola: 661628 markings, 710920 edges, 6898 markings/sec, 90 secs
lola: 696061 markings, 748419 edges, 6887 markings/sec, 95 secs
lola: 731550 markings, 787123 edges, 7098 markings/sec, 100 secs
lola: 768226 markings, 826998 edges, 7335 markings/sec, 105 secs
lola: 804865 markings, 868148 edges, 7328 markings/sec, 110 secs
lola: 841510 markings, 908164 edges, 7329 markings/sec, 115 secs
lola: 877967 markings, 949065 edges, 7291 markings/sec, 120 secs
lola: 914545 markings, 989903 edges, 7316 markings/sec, 125 secs
lola: 951168 markings, 1030087 edges, 7325 markings/sec, 130 secs
lola: 987727 markings, 1070324 edges, 7312 markings/sec, 135 secs
lola: 1024271 markings, 1110584 edges, 7309 markings/sec, 140 secs
lola: 1060758 markings, 1151905 edges, 7297 markings/sec, 145 secs
lola: 1097248 markings, 1192344 edges, 7298 markings/sec, 150 secs
lola: 1133629 markings, 1233774 edges, 7276 markings/sec, 155 secs
lola: 1170011 markings, 1273749 edges, 7276 markings/sec, 160 secs
lola: 1206352 markings, 1314653 edges, 7268 markings/sec, 165 secs
lola: 1242875 markings, 1354826 edges, 7305 markings/sec, 170 secs
lola: 1279201 markings, 1395146 edges, 7265 markings/sec, 175 secs
lola: 1315605 markings, 1436051 edges, 7281 markings/sec, 180 secs
lola: 1351955 markings, 1477532 edges, 7270 markings/sec, 185 secs
lola: 1388347 markings, 1517700 edges, 7278 markings/sec, 190 secs
lola: 1424794 markings, 1558313 edges, 7289 markings/sec, 195 secs
lola: 1461144 markings, 1599553 edges, 7270 markings/sec, 200 secs
lola: 1497519 markings, 1640609 edges, 7275 markings/sec, 205 secs
lola: 1533874 markings, 1681481 edges, 7271 markings/sec, 210 secs
lola: 1570179 markings, 1722221 edges, 7261 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(p453 + p454 + p455 + p456 + p457 + p458)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 36518 markings, 38465 edges, 7304 markings/sec, 0 secs
lola: 72752 markings, 77547 edges, 7247 markings/sec, 5 secs
lola: 108893 markings, 117304 edges, 7228 markings/sec, 10 secs
lola: 144886 markings, 157459 edges, 7199 markings/sec, 15 secs
lola: 180898 markings, 197174 edges, 7202 markings/sec, 20 secs
lola: 216768 markings, 237815 edges, 7174 markings/sec, 25 secs
lola: 252583 markings, 279038 edges, 7163 markings/sec, 30 secs
lola: 288348 markings, 319673 edges, 7153 markings/sec, 35 secs
lola: 324099 markings, 360902 edges, 7150 markings/sec, 40 secs
lola: 359854 markings, 402780 edges, 7151 markings/sec, 45 secs
lola: 395404 markings, 444661 edges, 7110 markings/sec, 50 secs
lola: 430973 markings, 485301 edges, 7114 markings/sec, 55 secs
lola: 466188 markings, 524656 edges, 7043 markings/sec, 60 secs
lola: 501656 markings, 566801 edges, 7094 markings/sec, 65 secs
lola: 537243 markings, 610019 edges, 7117 markings/sec, 70 secs
lola: 572764 markings, 654007 edges, 7104 markings/sec, 75 secs
lola: 608192 markings, 696445 edges, 7086 markings/sec, 80 secs
lola: 643528 markings, 740421 edges, 7067 markings/sec, 85 secs
lola: 678546 markings, 779847 edges, 7004 markings/sec, 90 secs
lola: 714006 markings, 819938 edges, 7092 markings/sec, 95 secs
lola: 749459 markings, 861750 edges, 7091 markings/sec, 100 secs
lola: 784764 markings, 904996 edges, 7061 markings/sec, 105 secs
lola: 820153 markings, 947696 edges, 7078 markings/sec, 110 secs
lola: 855177 markings, 988246 edges, 7005 markings/sec, 115 secs
lola: 890485 markings, 1030258 edges, 7062 markings/sec, 120 secs
lola: 925855 markings, 1074563 edges, 7074 markings/sec, 125 secs
lola: 961258 markings, 1116157 edges, 7081 markings/sec, 130 secs
lola: 996561 markings, 1158750 edges, 7061 markings/sec, 135 secs
lola: 1031831 markings, 1203261 edges, 7054 markings/sec, 140 secs
lola: 1067044 markings, 1248213 edges, 7043 markings/sec, 145 secs
lola: 1102378 markings, 1288916 edges, 7067 markings/sec, 150 secs
lola: 1138172 markings, 1332649 edges, 7159 markings/sec, 155 secs
lola: 1174685 markings, 1376070 edges, 7303 markings/sec, 160 secs
lola: 1211187 markings, 1420406 edges, 7300 markings/sec, 165 secs
lola: 1247047 markings, 1461289 edges, 7172 markings/sec, 170 secs
lola: 1283337 markings, 1504672 edges, 7258 markings/sec, 175 secs
lola: 1319849 markings, 1548155 edges, 7302 markings/sec, 180 secs
lola: 1356156 markings, 1593131 edges, 7261 markings/sec, 185 secs
lola: 1392618 markings, 1636828 edges, 7292 markings/sec, 190 secs
lola: 1428913 markings, 1682343 edges, 7259 markings/sec, 195 secs
lola: 1465309 markings, 1724578 edges, 7279 markings/sec, 200 secs
lola: 1501617 markings, 1768750 edges, 7262 markings/sec, 205 secs
lola: 1537951 markings, 1815536 edges, 7267 markings/sec, 210 secs
lola: 1574280 markings, 1860850 edges, 7266 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(p126)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 38376 markings, 41740 edges, 7675 markings/sec, 0 secs
lola: 76378 markings, 85882 edges, 7600 markings/sec, 5 secs
lola: 114286 markings, 129992 edges, 7582 markings/sec, 10 secs
lola: 152133 markings, 173750 edges, 7569 markings/sec, 15 secs
lola: 189765 markings, 219324 edges, 7526 markings/sec, 20 secs
lola: 227368 markings, 264208 edges, 7521 markings/sec, 25 secs
lola: 264879 markings, 310142 edges, 7502 markings/sec, 30 secs
lola: 302277 markings, 355995 edges, 7480 markings/sec, 35 secs
lola: 339768 markings, 402553 edges, 7498 markings/sec, 40 secs
lola: 377195 markings, 449172 edges, 7485 markings/sec, 45 secs
lola: 414588 markings, 496981 edges, 7479 markings/sec, 50 secs
lola: 451780 markings, 543562 edges, 7438 markings/sec, 55 secs
lola: 488914 markings, 591629 edges, 7427 markings/sec, 60 secs
lola: 526073 markings, 639964 edges, 7432 markings/sec, 65 secs
lola: 563201 markings, 687579 edges, 7426 markings/sec, 70 secs
lola: 600312 markings, 735176 edges, 7422 markings/sec, 75 secs
lola: 637481 markings, 783513 edges, 7434 markings/sec, 80 secs
lola: 674671 markings, 830672 edges, 7438 markings/sec, 85 secs
lola: 711933 markings, 878503 edges, 7452 markings/sec, 90 secs
lola: 748972 markings, 925431 edges, 7408 markings/sec, 95 secs
lola: 786059 markings, 972811 edges, 7417 markings/sec, 100 secs
lola: 823099 markings, 1020666 edges, 7408 markings/sec, 105 secs
lola: 860004 markings, 1069170 edges, 7381 markings/sec, 110 secs
lola: 896842 markings, 1116883 edges, 7368 markings/sec, 115 secs
lola: 933570 markings, 1164273 edges, 7346 markings/sec, 120 secs
lola: 970483 markings, 1212144 edges, 7383 markings/sec, 125 secs
lola: 1007328 markings, 1259251 edges, 7369 markings/sec, 130 secs
lola: 1044355 markings, 1306556 edges, 7405 markings/sec, 135 secs
lola: 1081117 markings, 1354779 edges, 7352 markings/sec, 140 secs
lola: 1118042 markings, 1403868 edges, 7385 markings/sec, 145 secs
lola: 1154660 markings, 1451575 edges, 7324 markings/sec, 150 secs
lola: 1191510 markings, 1499079 edges, 7370 markings/sec, 155 secs
lola: 1228167 markings, 1546689 edges, 7331 markings/sec, 160 secs
lola: 1264948 markings, 1595348 edges, 7356 markings/sec, 165 secs
lola: 1301678 markings, 1642763 edges, 7346 markings/sec, 170 secs
lola: 1337376 markings, 1689121 edges, 7140 markings/sec, 175 secs
lola: 1371877 markings, 1733937 edges, 6900 markings/sec, 180 secs
lola: 1408397 markings, 1781400 edges, 7304 markings/sec, 185 secs
lola: 1444736 markings, 1828914 edges, 7268 markings/sec, 190 secs
lola: 1481400 markings, 1875683 edges, 7333 markings/sec, 195 secs
lola: 1517582 markings, 1922969 edges, 7236 markings/sec, 200 secs
lola: 1553735 markings, 1970459 edges, 7231 markings/sec, 205 secs
lola: 1590288 markings, 2017253 edges, 7311 markings/sec, 210 secs
lola: 1626743 markings, 2065201 edges, 7291 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(p280)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 39205 markings, 42324 edges, 7841 markings/sec, 0 secs
lola: 77207 markings, 86085 edges, 7600 markings/sec, 5 secs
lola: 115046 markings, 130799 edges, 7568 markings/sec, 10 secs
lola: 152994 markings, 174458 edges, 7590 markings/sec, 15 secs
lola: 190692 markings, 218250 edges, 7540 markings/sec, 20 secs
lola: 228152 markings, 262693 edges, 7492 markings/sec, 25 secs
lola: 265874 markings, 307943 edges, 7544 markings/sec, 30 secs
lola: 303322 markings, 355287 edges, 7490 markings/sec, 35 secs
lola: 340835 markings, 402062 edges, 7503 markings/sec, 40 secs
lola: 378140 markings, 446898 edges, 7461 markings/sec, 45 secs
lola: 415576 markings, 493409 edges, 7487 markings/sec, 50 secs
lola: 453165 markings, 540637 edges, 7518 markings/sec, 55 secs
lola: 490759 markings, 587221 edges, 7519 markings/sec, 60 secs
lola: 528189 markings, 633797 edges, 7486 markings/sec, 65 secs
lola: 565635 markings, 679866 edges, 7489 markings/sec, 70 secs
lola: 603084 markings, 727032 edges, 7490 markings/sec, 75 secs
lola: 640364 markings, 772443 edges, 7456 markings/sec, 80 secs
lola: 677733 markings, 818690 edges, 7474 markings/sec, 85 secs
lola: 715097 markings, 865869 edges, 7473 markings/sec, 90 secs
lola: 752420 markings, 913440 edges, 7465 markings/sec, 95 secs
lola: 789714 markings, 960404 edges, 7459 markings/sec, 100 secs
lola: 827052 markings, 1008529 edges, 7468 markings/sec, 105 secs
lola: 864521 markings, 1055917 edges, 7494 markings/sec, 110 secs
lola: 901910 markings, 1102802 edges, 7478 markings/sec, 115 secs
lola: 939057 markings, 1150518 edges, 7429 markings/sec, 120 secs
lola: 976265 markings, 1200475 edges, 7442 markings/sec, 125 secs
lola: 1013727 markings, 1248906 edges, 7492 markings/sec, 130 secs
lola: 1051274 markings, 1296307 edges, 7509 markings/sec, 135 secs
lola: 1088623 markings, 1343991 edges, 7470 markings/sec, 140 secs
lola: 1126038 markings, 1392076 edges, 7483 markings/sec, 145 secs
lola: 1163655 markings, 1440408 edges, 7523 markings/sec, 150 secs
lola: 1201007 markings, 1487811 edges, 7470 markings/sec, 155 secs
lola: 1238454 markings, 1535300 edges, 7489 markings/sec, 160 secs
lola: 1275623 markings, 1582916 edges, 7434 markings/sec, 165 secs
lola: 1313105 markings, 1632424 edges, 7496 markings/sec, 170 secs
lola: 1350338 markings, 1680122 edges, 7447 markings/sec, 175 secs
lola: 1387586 markings, 1727944 edges, 7450 markings/sec, 180 secs
lola: 1424972 markings, 1775798 edges, 7477 markings/sec, 185 secs
lola: 1462365 markings, 1823816 edges, 7479 markings/sec, 190 secs
lola: 1499449 markings, 1871585 edges, 7417 markings/sec, 195 secs
lola: 1536815 markings, 1919560 edges, 7473 markings/sec, 200 secs
lola: 1574194 markings, 1967295 edges, 7476 markings/sec, 205 secs
lola: 1611514 markings, 2014518 edges, 7464 markings/sec, 210 secs
lola: 1647485 markings, 2060485 edges, 7194 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(p92 + p91 + p90 + p89 + p88 + p87 + p86 + p85 + p84 + p83 + p82 + p81 + p80 + p79 + p78 + p77 + p76 + p75 + p74 + p73 + p93 + p94 + p95 + p96)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 36011 markings, 37596 edges, 7202 markings/sec, 0 secs
lola: 72916 markings, 76560 edges, 7381 markings/sec, 5 secs
lola: 109650 markings, 115717 edges, 7347 markings/sec, 10 secs
lola: 145916 markings, 153867 edges, 7253 markings/sec, 15 secs
lola: 182431 markings, 192679 edges, 7303 markings/sec, 20 secs
lola: 218644 markings, 230931 edges, 7243 markings/sec, 25 secs
lola: 254979 markings, 269584 edges, 7267 markings/sec, 30 secs
lola: 291192 markings, 308342 edges, 7243 markings/sec, 35 secs
lola: 327371 markings, 346818 edges, 7236 markings/sec, 40 secs
lola: 363576 markings, 385495 edges, 7241 markings/sec, 45 secs
lola: 399558 markings, 423994 edges, 7196 markings/sec, 50 secs
lola: 435632 markings, 462582 edges, 7215 markings/sec, 55 secs
lola: 471504 markings, 502169 edges, 7174 markings/sec, 60 secs
lola: 507500 markings, 541254 edges, 7199 markings/sec, 65 secs
lola: 543536 markings, 580451 edges, 7207 markings/sec, 70 secs
lola: 579560 markings, 619935 edges, 7205 markings/sec, 75 secs
lola: 615493 markings, 658946 edges, 7187 markings/sec, 80 secs
lola: 651453 markings, 697968 edges, 7192 markings/sec, 85 secs
lola: 687266 markings, 737483 edges, 7163 markings/sec, 90 secs
lola: 721279 markings, 774858 edges, 6803 markings/sec, 95 secs
lola: 756979 markings, 813910 edges, 7140 markings/sec, 100 secs
lola: 792598 markings, 852579 edges, 7124 markings/sec, 105 secs
lola: 828463 markings, 892355 edges, 7173 markings/sec, 110 secs
lola: 863597 markings, 931319 edges, 7027 markings/sec, 115 secs
lola: 899799 markings, 970797 edges, 7240 markings/sec, 120 secs
lola: 935953 markings, 1010106 edges, 7231 markings/sec, 125 secs
lola: 970668 markings, 1047920 edges, 6943 markings/sec, 130 secs
lola: 1006714 markings, 1088050 edges, 7209 markings/sec, 135 secs
lola: 1042719 markings, 1127534 edges, 7201 markings/sec, 140 secs
lola: 1078920 markings, 1169993 edges, 7240 markings/sec, 145 secs
lola: 1115150 markings, 1211412 edges, 7246 markings/sec, 150 secs
lola: 1151239 markings, 1250639 edges, 7218 markings/sec, 155 secs
lola: 1187267 markings, 1290920 edges, 7206 markings/sec, 160 secs
lola: 1223374 markings, 1333248 edges, 7221 markings/sec, 165 secs
lola: 1259555 markings, 1374270 edges, 7236 markings/sec, 170 secs
lola: 1295842 markings, 1416137 edges, 7257 markings/sec, 175 secs
lola: 1332044 markings, 1457673 edges, 7240 markings/sec, 180 secs
lola: 1368201 markings, 1497794 edges, 7231 markings/sec, 185 secs
lola: 1404441 markings, 1539204 edges, 7248 markings/sec, 190 secs
lola: 1440519 markings, 1580857 edges, 7216 markings/sec, 195 secs
lola: 1476633 markings, 1622023 edges, 7223 markings/sec, 200 secs
lola: 1512638 markings, 1661845 edges, 7201 markings/sec, 205 secs
lola: 1548759 markings, 1701591 edges, 7224 markings/sec, 210 secs
lola: 1584762 markings, 1743516 edges, 7201 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(p170 + p171 + p172 + p173 + p174 + p175)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 37382 markings, 39302 edges, 7476 markings/sec, 0 secs
lola: 74479 markings, 78589 edges, 7419 markings/sec, 5 secs
lola: 109708 markings, 115709 edges, 7046 markings/sec, 10 secs
lola: 146432 markings, 154254 edges, 7345 markings/sec, 15 secs
lola: 183284 markings, 193183 edges, 7370 markings/sec, 20 secs
lola: 220405 markings, 232729 edges, 7424 markings/sec, 25 secs
lola: 257236 markings, 273315 edges, 7366 markings/sec, 30 secs
lola: 293972 markings, 312445 edges, 7347 markings/sec, 35 secs
lola: 330481 markings, 351236 edges, 7302 markings/sec, 40 secs
lola: 367244 markings, 391176 edges, 7353 markings/sec, 45 secs
lola: 404237 markings, 431141 edges, 7399 markings/sec, 50 secs
lola: 440982 markings, 471285 edges, 7349 markings/sec, 55 secs
lola: 477539 markings, 511156 edges, 7311 markings/sec, 60 secs
lola: 513946 markings, 550806 edges, 7281 markings/sec, 65 secs
lola: 550641 markings, 590845 edges, 7339 markings/sec, 70 secs
lola: 587068 markings, 630065 edges, 7285 markings/sec, 75 secs
lola: 623688 markings, 669762 edges, 7324 markings/sec, 80 secs
lola: 660151 markings, 709321 edges, 7293 markings/sec, 85 secs
lola: 696556 markings, 748946 edges, 7281 markings/sec, 90 secs
lola: 732970 markings, 788678 edges, 7283 markings/sec, 95 secs
lola: 769536 markings, 828388 edges, 7313 markings/sec, 100 secs
lola: 805991 markings, 869363 edges, 7291 markings/sec, 105 secs
lola: 842442 markings, 909180 edges, 7290 markings/sec, 110 secs
lola: 878769 markings, 949949 edges, 7265 markings/sec, 115 secs
lola: 915176 markings, 990573 edges, 7281 markings/sec, 120 secs
lola: 949346 markings, 1028146 edges, 6834 markings/sec, 125 secs
lola: 984355 markings, 1066623 edges, 7002 markings/sec, 130 secs
lola: 1020021 markings, 1105569 edges, 7133 markings/sec, 135 secs
lola: 1056574 markings, 1147193 edges, 7311 markings/sec, 140 secs
lola: 1093073 markings, 1187718 edges, 7300 markings/sec, 145 secs
lola: 1129270 markings, 1229191 edges, 7239 markings/sec, 150 secs
lola: 1165250 markings, 1268653 edges, 7196 markings/sec, 155 secs
lola: 1201264 markings, 1309247 edges, 7203 markings/sec, 160 secs
lola: 1237884 markings, 1349430 edges, 7324 markings/sec, 165 secs
lola: 1274343 markings, 1389904 edges, 7292 markings/sec, 170 secs
lola: 1310902 markings, 1430741 edges, 7312 markings/sec, 175 secs
lola: 1347450 markings, 1472350 edges, 7310 markings/sec, 180 secs
lola: 1383993 markings, 1512775 edges, 7309 markings/sec, 185 secs
lola: 1420583 markings, 1553641 edges, 7318 markings/sec, 190 secs
lola: 1457036 markings, 1595110 edges, 7291 markings/sec, 195 secs
lola: 1493601 markings, 1636128 edges, 7313 markings/sec, 200 secs
lola: 1530124 markings, 1677285 edges, 7305 markings/sec, 205 secs
lola: 1566572 markings, 1718190 edges, 7290 markings/sec, 210 secs
lola: 1603021 markings, 1759643 edges, 7290 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(p176 + p177 + p178 + p179 + p180 + p181)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 37141 markings, 38541 edges, 7428 markings/sec, 0 secs
lola: 73678 markings, 78267 edges, 7307 markings/sec, 5 secs
lola: 110119 markings, 118701 edges, 7288 markings/sec, 10 secs
lola: 146328 markings, 160805 edges, 7242 markings/sec, 15 secs
lola: 182478 markings, 201967 edges, 7230 markings/sec, 20 secs
lola: 218739 markings, 242989 edges, 7252 markings/sec, 25 secs
lola: 254654 markings, 287060 edges, 7183 markings/sec, 30 secs
lola: 290611 markings, 331916 edges, 7191 markings/sec, 35 secs
lola: 326571 markings, 374441 edges, 7192 markings/sec, 40 secs
lola: 362532 markings, 417303 edges, 7192 markings/sec, 45 secs
lola: 398281 markings, 461062 edges, 7150 markings/sec, 50 secs
lola: 433040 markings, 502438 edges, 6952 markings/sec, 55 secs
lola: 468931 markings, 545336 edges, 7178 markings/sec, 60 secs
lola: 504740 markings, 590417 edges, 7162 markings/sec, 65 secs
lola: 540475 markings, 637016 edges, 7147 markings/sec, 70 secs
lola: 576226 markings, 681799 edges, 7150 markings/sec, 75 secs
lola: 611976 markings, 726093 edges, 7150 markings/sec, 80 secs
lola: 647774 markings, 769960 edges, 7160 markings/sec, 85 secs
lola: 683600 markings, 813769 edges, 7165 markings/sec, 90 secs
lola: 719122 markings, 859120 edges, 7104 markings/sec, 95 secs
lola: 754895 markings, 903838 edges, 7155 markings/sec, 100 secs
lola: 790580 markings, 947582 edges, 7137 markings/sec, 105 secs
lola: 826162 markings, 993819 edges, 7116 markings/sec, 110 secs
lola: 861869 markings, 1037448 edges, 7141 markings/sec, 115 secs
lola: 897484 markings, 1083206 edges, 7123 markings/sec, 120 secs
lola: 933032 markings, 1129098 edges, 7110 markings/sec, 125 secs
lola: 968738 markings, 1174815 edges, 7141 markings/sec, 130 secs
lola: 1004843 markings, 1220270 edges, 7221 markings/sec, 135 secs
lola: 1040915 markings, 1265185 edges, 7214 markings/sec, 140 secs
lola: 1077033 markings, 1310349 edges, 7224 markings/sec, 145 secs
lola: 1113175 markings, 1354234 edges, 7228 markings/sec, 150 secs
lola: 1149284 markings, 1398775 edges, 7222 markings/sec, 155 secs
lola: 1185408 markings, 1443817 edges, 7225 markings/sec, 160 secs
lola: 1221616 markings, 1488317 edges, 7242 markings/sec, 165 secs
lola: 1257693 markings, 1532977 edges, 7215 markings/sec, 170 secs
lola: 1293869 markings, 1577260 edges, 7235 markings/sec, 175 secs
lola: 1329935 markings, 1621993 edges, 7213 markings/sec, 180 secs
lola: 1366085 markings, 1666734 edges, 7230 markings/sec, 185 secs
lola: 1402135 markings, 1711330 edges, 7210 markings/sec, 190 secs
lola: 1438106 markings, 1755796 edges, 7194 markings/sec, 195 secs
lola: 1474136 markings, 1799519 edges, 7206 markings/sec, 200 secs
lola: 1510195 markings, 1843638 edges, 7212 markings/sec, 205 secs
lola: 1546243 markings, 1887775 edges, 7210 markings/sec, 210 secs
lola: 1582305 markings, 1931668 edges, 7212 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(p46)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 35368 markings, 45338 edges, 7074 markings/sec, 0 secs
lola: 71623 markings, 94563 edges, 7251 markings/sec, 5 secs
lola: 107843 markings, 144258 edges, 7244 markings/sec, 10 secs
lola: 144115 markings, 193128 edges, 7254 markings/sec, 15 secs
lola: 180171 markings, 243329 edges, 7211 markings/sec, 20 secs
lola: 216220 markings, 293297 edges, 7210 markings/sec, 25 secs
lola: 252221 markings, 343306 edges, 7200 markings/sec, 30 secs
lola: 288244 markings, 393359 edges, 7205 markings/sec, 35 secs
lola: 324060 markings, 444342 edges, 7163 markings/sec, 40 secs
lola: 359764 markings, 494087 edges, 7141 markings/sec, 45 secs
lola: 395618 markings, 544988 edges, 7171 markings/sec, 50 secs
lola: 431598 markings, 595423 edges, 7196 markings/sec, 55 secs
lola: 467406 markings, 646063 edges, 7162 markings/sec, 60 secs
lola: 503035 markings, 696404 edges, 7126 markings/sec, 65 secs
lola: 538740 markings, 745950 edges, 7141 markings/sec, 70 secs
lola: 574364 markings, 797210 edges, 7125 markings/sec, 75 secs
lola: 609896 markings, 847741 edges, 7106 markings/sec, 80 secs
lola: 645662 markings, 899627 edges, 7153 markings/sec, 85 secs
lola: 681162 markings, 951033 edges, 7100 markings/sec, 90 secs
lola: 716767 markings, 1002970 edges, 7121 markings/sec, 95 secs
lola: 752317 markings, 1053950 edges, 7110 markings/sec, 100 secs
lola: 787938 markings, 1104857 edges, 7124 markings/sec, 105 secs
lola: 823562 markings, 1156434 edges, 7125 markings/sec, 110 secs
lola: 859201 markings, 1207349 edges, 7128 markings/sec, 115 secs
lola: 894690 markings, 1258479 edges, 7098 markings/sec, 120 secs
lola: 930081 markings, 1308972 edges, 7078 markings/sec, 125 secs
lola: 965493 markings, 1359316 edges, 7082 markings/sec, 130 secs
lola: 1001059 markings, 1410109 edges, 7113 markings/sec, 135 secs
lola: 1036518 markings, 1462421 edges, 7092 markings/sec, 140 secs
lola: 1071974 markings, 1512176 edges, 7091 markings/sec, 145 secs
lola: 1094791 markings, 1545380 edges, 4563 markings/sec, 150 secs
lola: 1116853 markings, 1577080 edges, 4412 markings/sec, 155 secs
lola: 1138978 markings, 1609522 edges, 4425 markings/sec, 160 secs
lola: 1161212 markings, 1642517 edges, 4447 markings/sec, 165 secs
lola: 1186135 markings, 1678890 edges, 4985 markings/sec, 170 secs
lola: 1222186 markings, 1730469 edges, 7210 markings/sec, 175 secs
lola: 1257992 markings, 1782496 edges, 7161 markings/sec, 180 secs
lola: 1293998 markings, 1834100 edges, 7201 markings/sec, 185 secs
lola: 1329856 markings, 1887487 edges, 7172 markings/sec, 190 secs
lola: 1365901 markings, 1939984 edges, 7209 markings/sec, 195 secs
lola: 1401771 markings, 1991669 edges, 7174 markings/sec, 200 secs
lola: 1437701 markings, 2044374 edges, 7186 markings/sec, 205 secs
lola: 1473855 markings, 2095499 edges, 7231 markings/sec, 210 secs
lola: 1509839 markings, 2147027 edges, 7197 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(p119 + p120 + p121 + p122 + p123 + p124)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 38199 markings, 41521 edges, 7640 markings/sec, 0 secs
lola: 76002 markings, 85434 edges, 7561 markings/sec, 5 secs
lola: 113720 markings, 129316 edges, 7544 markings/sec, 10 secs
lola: 151353 markings, 172804 edges, 7527 markings/sec, 15 secs
lola: 188772 markings, 218119 edges, 7484 markings/sec, 20 secs
lola: 226150 markings, 262830 edges, 7476 markings/sec, 25 secs
lola: 263470 markings, 308488 edges, 7464 markings/sec, 30 secs
lola: 300694 markings, 353931 edges, 7445 markings/sec, 35 secs
lola: 338010 markings, 400371 edges, 7463 markings/sec, 40 secs
lola: 375256 markings, 446483 edges, 7449 markings/sec, 45 secs
lola: 412473 markings, 494375 edges, 7443 markings/sec, 50 secs
lola: 449486 markings, 540848 edges, 7403 markings/sec, 55 secs
lola: 486475 markings, 588286 edges, 7398 markings/sec, 60 secs
lola: 523428 markings, 636181 edges, 7391 markings/sec, 65 secs
lola: 560390 markings, 684095 edges, 7392 markings/sec, 70 secs
lola: 597370 markings, 731401 edges, 7396 markings/sec, 75 secs
lola: 634330 markings, 779403 edges, 7392 markings/sec, 80 secs
lola: 671383 markings, 826399 edges, 7411 markings/sec, 85 secs
lola: 708374 markings, 874155 edges, 7398 markings/sec, 90 secs
lola: 745326 markings, 920994 edges, 7390 markings/sec, 95 secs
lola: 782289 markings, 968041 edges, 7393 markings/sec, 100 secs
lola: 819163 markings, 1015474 edges, 7375 markings/sec, 105 secs
lola: 855914 markings, 1063775 edges, 7350 markings/sec, 110 secs
lola: 892608 markings, 1111578 edges, 7339 markings/sec, 115 secs
lola: 929086 markings, 1158647 edges, 7296 markings/sec, 120 secs
lola: 965838 markings, 1205963 edges, 7350 markings/sec, 125 secs
lola: 1002562 markings, 1253114 edges, 7345 markings/sec, 130 secs
lola: 1039448 markings, 1300464 edges, 7377 markings/sec, 135 secs
lola: 1076145 markings, 1348448 edges, 7339 markings/sec, 140 secs
lola: 1112872 markings, 1397042 edges, 7345 markings/sec, 145 secs
lola: 1149424 markings, 1444721 edges, 7310 markings/sec, 150 secs
lola: 1186217 markings, 1492028 edges, 7359 markings/sec, 155 secs
lola: 1223529 markings, 1540606 edges, 7462 markings/sec, 160 secs
lola: 1260816 markings, 1589641 edges, 7457 markings/sec, 165 secs
lola: 1298064 markings, 1638032 edges, 7450 markings/sec, 170 secs
lola: 1335345 markings, 1686460 edges, 7456 markings/sec, 175 secs
lola: 1372562 markings, 1734862 edges, 7443 markings/sec, 180 secs
lola: 1409676 markings, 1783014 edges, 7423 markings/sec, 185 secs
lola: 1446702 markings, 1831340 edges, 7405 markings/sec, 190 secs
lola: 1483938 markings, 1878815 edges, 7447 markings/sec, 195 secs
lola: 1521137 markings, 1927519 edges, 7440 markings/sec, 200 secs
lola: 1558188 markings, 1976242 edges, 7410 markings/sec, 205 secs
lola: 1595239 markings, 2023706 edges, 7410 markings/sec, 210 secs
lola: 1632401 markings, 2072213 edges, 7432 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p286 + p285 + p284 + p283 + p282 + p281)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 34961 markings, 40161 edges, 6992 markings/sec, 0 secs
lola: 71172 markings, 82850 edges, 7242 markings/sec, 5 secs
lola: 107289 markings, 124196 edges, 7223 markings/sec, 10 secs
lola: 143278 markings, 166532 edges, 7198 markings/sec, 15 secs
lola: 179397 markings, 209545 edges, 7224 markings/sec, 20 secs
lola: 215416 markings, 251077 edges, 7204 markings/sec, 25 secs
lola: 251450 markings, 293804 edges, 7207 markings/sec, 30 secs
lola: 287361 markings, 335366 edges, 7182 markings/sec, 35 secs
lola: 323217 markings, 377304 edges, 7171 markings/sec, 40 secs
lola: 359172 markings, 420434 edges, 7191 markings/sec, 45 secs
lola: 395142 markings, 462420 edges, 7194 markings/sec, 50 secs
lola: 430957 markings, 505614 edges, 7163 markings/sec, 55 secs
lola: 466773 markings, 549056 edges, 7163 markings/sec, 60 secs
lola: 502593 markings, 592334 edges, 7164 markings/sec, 65 secs
lola: 538382 markings, 633649 edges, 7158 markings/sec, 70 secs
lola: 574078 markings, 676010 edges, 7139 markings/sec, 75 secs
lola: 609903 markings, 717414 edges, 7165 markings/sec, 80 secs
lola: 645631 markings, 759570 edges, 7146 markings/sec, 85 secs
lola: 681278 markings, 801265 edges, 7129 markings/sec, 90 secs
lola: 717051 markings, 844780 edges, 7155 markings/sec, 95 secs
lola: 752751 markings, 886133 edges, 7140 markings/sec, 100 secs
lola: 788444 markings, 928828 edges, 7139 markings/sec, 105 secs
lola: 824167 markings, 972309 edges, 7145 markings/sec, 110 secs
lola: 859305 markings, 1013934 edges, 7028 markings/sec, 115 secs
lola: 894353 markings, 1056201 edges, 7010 markings/sec, 120 secs
lola: 929417 markings, 1098024 edges, 7013 markings/sec, 125 secs
lola: 964450 markings, 1140145 edges, 7007 markings/sec, 130 secs
lola: 999522 markings, 1183125 edges, 7014 markings/sec, 135 secs
lola: 1034635 markings, 1226111 edges, 7023 markings/sec, 140 secs
lola: 1069725 markings, 1268416 edges, 7018 markings/sec, 145 secs
lola: 1104827 markings, 1310392 edges, 7020 markings/sec, 150 secs
lola: 1140004 markings, 1352245 edges, 7035 markings/sec, 155 secs
lola: 1173717 markings, 1393619 edges, 6743 markings/sec, 160 secs
lola: 1203836 markings, 1429906 edges, 6024 markings/sec, 165 secs
lola: 1236475 markings, 1469456 edges, 6528 markings/sec, 170 secs
lola: 1271304 markings, 1510595 edges, 6966 markings/sec, 175 secs
lola: 1306200 markings, 1553790 edges, 6979 markings/sec, 180 secs
lola: 1341150 markings, 1596214 edges, 6990 markings/sec, 185 secs
lola: 1375999 markings, 1639408 edges, 6970 markings/sec, 190 secs
lola: 1411020 markings, 1681870 edges, 7004 markings/sec, 195 secs
lola: 1446115 markings, 1725236 edges, 7019 markings/sec, 200 secs
lola: 1480259 markings, 1765774 edges, 6829 markings/sec, 205 secs
lola: 1515979 markings, 1809027 edges, 7144 markings/sec, 210 secs
lola: 1551726 markings, 1852787 edges, 7149 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(p40 + p41 + p42 + p43 + p44 + p45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 36118 markings, 37460 edges, 7224 markings/sec, 0 secs
lola: 73118 markings, 77667 edges, 7400 markings/sec, 5 secs
lola: 110024 markings, 118604 edges, 7381 markings/sec, 10 secs
lola: 146704 markings, 161292 edges, 7336 markings/sec, 15 secs
lola: 183324 markings, 202903 edges, 7324 markings/sec, 20 secs
lola: 220002 markings, 244528 edges, 7336 markings/sec, 25 secs
lola: 256356 markings, 289150 edges, 7271 markings/sec, 30 secs
lola: 292753 markings, 334399 edges, 7279 markings/sec, 35 secs
lola: 329103 markings, 377410 edges, 7270 markings/sec, 40 secs
lola: 365448 markings, 421180 edges, 7269 markings/sec, 45 secs
lola: 401728 markings, 465043 edges, 7256 markings/sec, 50 secs
lola: 438075 markings, 508321 edges, 7269 markings/sec, 55 secs
lola: 474293 markings, 551701 edges, 7244 markings/sec, 60 secs
lola: 510419 markings, 597321 edges, 7225 markings/sec, 65 secs
lola: 546511 markings, 644287 edges, 7218 markings/sec, 70 secs
lola: 582536 markings, 689952 edges, 7205 markings/sec, 75 secs
lola: 618670 markings, 734363 edges, 7227 markings/sec, 80 secs
lola: 654852 markings, 778535 edges, 7236 markings/sec, 85 secs
lola: 691032 markings, 822716 edges, 7236 markings/sec, 90 secs
lola: 726842 markings, 869251 edges, 7162 markings/sec, 95 secs
lola: 762896 markings, 914172 edges, 7211 markings/sec, 100 secs
lola: 798933 markings, 958794 edges, 7207 markings/sec, 105 secs
lola: 834895 markings, 1004074 edges, 7192 markings/sec, 110 secs
lola: 870841 markings, 1049718 edges, 7189 markings/sec, 115 secs
lola: 906764 markings, 1094712 edges, 7185 markings/sec, 120 secs
lola: 942523 markings, 1141258 edges, 7152 markings/sec, 125 secs
lola: 978590 markings, 1187805 edges, 7213 markings/sec, 130 secs
lola: 1014558 markings, 1232332 edges, 7194 markings/sec, 135 secs
lola: 1050501 markings, 1277605 edges, 7189 markings/sec, 140 secs
lola: 1086410 markings, 1321510 edges, 7182 markings/sec, 145 secs
lola: 1122352 markings, 1366040 edges, 7188 markings/sec, 150 secs
lola: 1158322 markings, 1410489 edges, 7194 markings/sec, 155 secs
lola: 1194313 markings, 1454558 edges, 7198 markings/sec, 160 secs
lola: 1230362 markings, 1498729 edges, 7210 markings/sec, 165 secs
lola: 1266239 markings, 1543554 edges, 7175 markings/sec, 170 secs
lola: 1302290 markings, 1587629 edges, 7210 markings/sec, 175 secs
lola: 1338231 markings, 1632439 edges, 7188 markings/sec, 180 secs
lola: 1374251 markings, 1676790 edges, 7204 markings/sec, 185 secs
lola: 1410179 markings, 1721124 edges, 7186 markings/sec, 190 secs
lola: 1446062 markings, 1765329 edges, 7177 markings/sec, 195 secs
lola: 1481967 markings, 1809371 edges, 7181 markings/sec, 200 secs
lola: 1517912 markings, 1852894 edges, 7189 markings/sec, 205 secs
lola: 1553883 markings, 1896841 edges, 7194 markings/sec, 210 secs
lola: 1589805 markings, 1940937 edges, 7184 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(p372 + p373 + p374 + p375)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2016 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: 38075 markings, 41180 edges, 7615 markings/sec, 0 secs
lola: 75909 markings, 84411 edges, 7567 markings/sec, 5 secs
lola: 113300 markings, 127728 edges, 7478 markings/sec, 10 secs
lola: 150497 markings, 172019 edges, 7439 markings/sec, 15 secs
lola: 187845 markings, 216878 edges, 7470 markings/sec, 20 secs
lola: 225083 markings, 262337 edges, 7448 markings/sec, 25 secs
lola: 262216 markings, 307779 edges, 7427 markings/sec, 30 secs
lola: 299387 markings, 354079 edges, 7434 markings/sec, 35 secs
lola: 336453 markings, 399578 edges, 7413 markings/sec, 40 secs
lola: 373472 markings, 445168 edges, 7404 markings/sec, 45 secs
lola: 410656 markings, 490948 edges, 7437 markings/sec, 50 secs
lola: 447558 markings, 538946 edges, 7380 markings/sec, 55 secs
lola: 484573 markings, 584823 edges, 7403 markings/sec, 60 secs
lola: 521568 markings, 630218 edges, 7399 markings/sec, 65 secs
lola: 558565 markings, 679226 edges, 7399 markings/sec, 70 secs
lola: 595518 markings, 725864 edges, 7391 markings/sec, 75 secs
lola: 632294 markings, 775558 edges, 7355 markings/sec, 80 secs
lola: 668983 markings, 822300 edges, 7338 markings/sec, 85 secs
lola: 706207 markings, 869860 edges, 7445 markings/sec, 90 secs
lola: 743195 markings, 917142 edges, 7398 markings/sec, 95 secs
lola: 780180 markings, 965308 edges, 7397 markings/sec, 100 secs
lola: 817025 markings, 1013930 edges, 7369 markings/sec, 105 secs
lola: 854415 markings, 1063801 edges, 7478 markings/sec, 110 secs
lola: 892128 markings, 1112759 edges, 7543 markings/sec, 115 secs
lola: 929499 markings, 1160996 edges, 7474 markings/sec, 120 secs
lola: 966984 markings, 1209427 edges, 7497 markings/sec, 125 secs
lola: 1004373 markings, 1257031 edges, 7478 markings/sec, 130 secs
lola: 1041589 markings, 1305128 edges, 7443 markings/sec, 135 secs
lola: 1079248 markings, 1354363 edges, 7532 markings/sec, 140 secs
lola: 1116531 markings, 1402946 edges, 7457 markings/sec, 145 secs
lola: 1153775 markings, 1450155 edges, 7449 markings/sec, 150 secs
lola: 1191065 markings, 1497922 edges, 7458 markings/sec, 155 secs
lola: 1228484 markings, 1546368 edges, 7484 markings/sec, 160 secs
lola: 1265979 markings, 1594717 edges, 7499 markings/sec, 165 secs
lola: 1303308 markings, 1643932 edges, 7466 markings/sec, 170 secs
lola: 1340666 markings, 1692188 edges, 7472 markings/sec, 175 secs
lola: 1378069 markings, 1740127 edges, 7481 markings/sec, 180 secs
lola: 1415265 markings, 1789274 edges, 7439 markings/sec, 185 secs
lola: 1452537 markings, 1836916 edges, 7454 markings/sec, 190 secs
lola: 1489864 markings, 1885224 edges, 7465 markings/sec, 195 secs
lola: 1527391 markings, 1934876 edges, 7505 markings/sec, 200 secs
lola: 1564882 markings, 1983539 edges, 7498 markings/sec, 205 secs
lola: 1602240 markings, 2032349 edges, 7472 markings/sec, 210 secs
lola: 1639731 markings, 2081201 edges, 7498 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-S04J04T06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J04T06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496389049802

--------------------
content from stderr:

----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_PolyORBLF-COL-S04J04T06"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/S_PolyORBLF-COL-S04J04T06.tgz
mv S_PolyORBLF-COL-S04J04T06 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is S_PolyORBLF-COL-S04J04T06, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r128-smll-149441681400317"
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 ;