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_Railroad-PT-050, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r148-csrt-149443432800056
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496437946487


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


checking for too many tokens
===========================================================================================
S_Railroad-PT-050: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Railroad-PT-050 @ 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: 3274/65536 symbol table entries, 223 collisions
lola: preprocessing...
lola: finding significant places
lola: 518 places, 2756 transitions, 207 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 312 transition conflict sets
lola: TASK
lola: reading formula from Railroad-PT-050-UpperBounds.task
lola: MAX(pl_P255_1) : MAX(pl_P24_1) : MAX(pl_P32_1) : MAX(pl_P120_1) : MAX(pl_P6_1) : MAX(pl_P61_1) : MAX(pl_P194_1) : MAX(pl_P261_44) : MAX(pl_P233_5) : MAX(pl_P112_38) : MAX(pl_P123_1) : MAX(pl_P28_1) : MAX(pl_P16_39) : MAX(pl_P236_1) : MAX(pl_P233_26) : MAX(pl_P40_1)
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(pl_P255_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: 27006 markings, 37583 edges, 5401 markings/sec, 0 secs
lola: 53514 markings, 75803 edges, 5302 markings/sec, 5 secs
lola: 80656 markings, 115200 edges, 5428 markings/sec, 10 secs
lola: 107555 markings, 155201 edges, 5380 markings/sec, 15 secs
lola: 134417 markings, 195763 edges, 5372 markings/sec, 20 secs
lola: 161319 markings, 236838 edges, 5380 markings/sec, 25 secs
lola: 189625 markings, 277766 edges, 5661 markings/sec, 30 secs
lola: 217391 markings, 318785 edges, 5553 markings/sec, 35 secs
lola: 245030 markings, 360107 edges, 5528 markings/sec, 40 secs
lola: 272621 markings, 401694 edges, 5518 markings/sec, 45 secs
lola: 300264 markings, 442899 edges, 5529 markings/sec, 50 secs
lola: 327753 markings, 483490 edges, 5498 markings/sec, 55 secs
lola: 355680 markings, 524457 edges, 5585 markings/sec, 60 secs
lola: 383189 markings, 566176 edges, 5502 markings/sec, 65 secs
lola: 410380 markings, 608196 edges, 5438 markings/sec, 70 secs
lola: 437711 markings, 649948 edges, 5466 markings/sec, 75 secs
lola: 465600 markings, 691908 edges, 5578 markings/sec, 80 secs
lola: 492911 markings, 734471 edges, 5462 markings/sec, 85 secs
lola: 519645 markings, 774814 edges, 5347 markings/sec, 90 secs
lola: 546000 markings, 815471 edges, 5271 markings/sec, 95 secs
lola: 572661 markings, 855101 edges, 5332 markings/sec, 100 secs
lola: 599035 markings, 896656 edges, 5275 markings/sec, 105 secs
lola: 625536 markings, 938385 edges, 5300 markings/sec, 110 secs
lola: 652059 markings, 979140 edges, 5305 markings/sec, 115 secs
lola: 678336 markings, 1020586 edges, 5255 markings/sec, 120 secs
lola: 704740 markings, 1061674 edges, 5281 markings/sec, 125 secs
lola: 731516 markings, 1102078 edges, 5355 markings/sec, 130 secs
lola: 757979 markings, 1143736 edges, 5293 markings/sec, 135 secs
lola: 784492 markings, 1184619 edges, 5303 markings/sec, 140 secs
lola: 811478 markings, 1224928 edges, 5397 markings/sec, 145 secs
lola: 838201 markings, 1265878 edges, 5345 markings/sec, 150 secs
lola: 864512 markings, 1307325 edges, 5262 markings/sec, 155 secs
lola: 891351 markings, 1347047 edges, 5368 markings/sec, 160 secs
lola: 918548 markings, 1386139 edges, 5439 markings/sec, 165 secs
lola: 945540 markings, 1425681 edges, 5398 markings/sec, 170 secs
lola: 972362 markings, 1465771 edges, 5364 markings/sec, 175 secs
lola: 999137 markings, 1505666 edges, 5355 markings/sec, 180 secs
lola: 1025507 markings, 1546084 edges, 5274 markings/sec, 185 secs
lola: 1052428 markings, 1586089 edges, 5384 markings/sec, 190 secs
lola: 1079807 markings, 1627670 edges, 5476 markings/sec, 195 secs
lola: 1107106 markings, 1669342 edges, 5460 markings/sec, 200 secs
lola: 1134323 markings, 1710277 edges, 5443 markings/sec, 205 secs
lola: 1161710 markings, 1751314 edges, 5477 markings/sec, 210 secs
lola: 1188944 markings, 1792662 edges, 5447 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(pl_P24_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: 33252 markings, 43357 edges, 6650 markings/sec, 0 secs
lola: 66568 markings, 87204 edges, 6663 markings/sec, 5 secs
lola: 98048 markings, 128556 edges, 6296 markings/sec, 10 secs
lola: 130582 markings, 171517 edges, 6507 markings/sec, 15 secs
lola: 163518 markings, 215060 edges, 6587 markings/sec, 20 secs
lola: 196934 markings, 259636 edges, 6683 markings/sec, 25 secs
lola: 230644 markings, 304337 edges, 6742 markings/sec, 30 secs
lola: 263206 markings, 347676 edges, 6512 markings/sec, 35 secs
lola: 295952 markings, 391037 edges, 6549 markings/sec, 40 secs
lola: 329707 markings, 436055 edges, 6751 markings/sec, 45 secs
lola: 365082 markings, 484423 edges, 7075 markings/sec, 50 secs
lola: 400521 markings, 533492 edges, 7088 markings/sec, 55 secs
lola: 433712 markings, 578961 edges, 6638 markings/sec, 60 secs
lola: 467031 markings, 623251 edges, 6664 markings/sec, 65 secs
lola: 499788 markings, 666911 edges, 6551 markings/sec, 70 secs
lola: 534328 markings, 712498 edges, 6908 markings/sec, 75 secs
lola: 568658 markings, 757886 edges, 6866 markings/sec, 80 secs
lola: 601890 markings, 801692 edges, 6646 markings/sec, 85 secs
lola: 634737 markings, 845191 edges, 6569 markings/sec, 90 secs
lola: 666639 markings, 887526 edges, 6380 markings/sec, 95 secs
lola: 699707 markings, 931379 edges, 6614 markings/sec, 100 secs
lola: 732780 markings, 975513 edges, 6615 markings/sec, 105 secs
lola: 765241 markings, 1018603 edges, 6492 markings/sec, 110 secs
lola: 797209 markings, 1061336 edges, 6394 markings/sec, 115 secs
lola: 830540 markings, 1105593 edges, 6666 markings/sec, 120 secs
lola: 863255 markings, 1149084 edges, 6543 markings/sec, 125 secs
lola: 895341 markings, 1191703 edges, 6417 markings/sec, 130 secs
lola: 927453 markings, 1234460 edges, 6422 markings/sec, 135 secs
lola: 959996 markings, 1277654 edges, 6509 markings/sec, 140 secs
lola: 991552 markings, 1319741 edges, 6311 markings/sec, 145 secs
lola: 1023063 markings, 1361712 edges, 6302 markings/sec, 150 secs
lola: 1057302 markings, 1407537 edges, 6848 markings/sec, 155 secs
lola: 1092206 markings, 1454521 edges, 6981 markings/sec, 160 secs
lola: 1125927 markings, 1499776 edges, 6744 markings/sec, 165 secs
lola: 1159102 markings, 1543995 edges, 6635 markings/sec, 170 secs
lola: 1189145 markings, 1583917 edges, 6009 markings/sec, 175 secs
lola: 1220033 markings, 1625297 edges, 6178 markings/sec, 180 secs
lola: 1252962 markings, 1669163 edges, 6586 markings/sec, 185 secs
lola: 1285265 markings, 1712229 edges, 6461 markings/sec, 190 secs
lola: 1317691 markings, 1755228 edges, 6485 markings/sec, 195 secs
lola: 1352949 markings, 1802616 edges, 7052 markings/sec, 200 secs
lola: 1389381 markings, 1853268 edges, 7286 markings/sec, 205 secs
lola: 1424330 markings, 1901719 edges, 6990 markings/sec, 210 secs
lola: 1456461 markings, 1944747 edges, 6426 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(pl_P32_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: 35914 markings, 46869 edges, 7183 markings/sec, 0 secs
lola: 72508 markings, 95044 edges, 7319 markings/sec, 5 secs
lola: 107541 markings, 141034 edges, 7007 markings/sec, 10 secs
lola: 142047 markings, 186668 edges, 6901 markings/sec, 15 secs
lola: 176330 markings, 232200 edges, 6857 markings/sec, 20 secs
lola: 210371 markings, 277468 edges, 6808 markings/sec, 25 secs
lola: 244637 markings, 322907 edges, 6853 markings/sec, 30 secs
lola: 279296 markings, 368865 edges, 6932 markings/sec, 35 secs
lola: 314000 markings, 415065 edges, 6941 markings/sec, 40 secs
lola: 349934 markings, 463393 edges, 7187 markings/sec, 45 secs
lola: 385886 markings, 513195 edges, 7190 markings/sec, 50 secs
lola: 421089 markings, 561910 edges, 7041 markings/sec, 55 secs
lola: 455413 markings, 607755 edges, 6865 markings/sec, 60 secs
lola: 489056 markings, 652694 edges, 6729 markings/sec, 65 secs
lola: 521934 markings, 696160 edges, 6576 markings/sec, 70 secs
lola: 557637 markings, 743320 edges, 7141 markings/sec, 75 secs
lola: 593032 markings, 790110 edges, 7079 markings/sec, 80 secs
lola: 627674 markings, 835797 edges, 6928 markings/sec, 85 secs
lola: 659777 markings, 878417 edges, 6421 markings/sec, 90 secs
lola: 693953 markings, 923688 edges, 6835 markings/sec, 95 secs
lola: 728472 markings, 969777 edges, 6904 markings/sec, 100 secs
lola: 763092 markings, 1015709 edges, 6924 markings/sec, 105 secs
lola: 796977 markings, 1061023 edges, 6777 markings/sec, 110 secs
lola: 831687 markings, 1107108 edges, 6942 markings/sec, 115 secs
lola: 866386 markings, 1153205 edges, 6940 markings/sec, 120 secs
lola: 899734 markings, 1197560 edges, 6670 markings/sec, 125 secs
lola: 932611 markings, 1241304 edges, 6575 markings/sec, 130 secs
lola: 964560 markings, 1283748 edges, 6390 markings/sec, 135 secs
lola: 996592 markings, 1326447 edges, 6406 markings/sec, 140 secs
lola: 1028589 markings, 1369108 edges, 6399 markings/sec, 145 secs
lola: 1064514 markings, 1417309 edges, 7185 markings/sec, 150 secs
lola: 1100843 markings, 1466200 edges, 7266 markings/sec, 155 secs
lola: 1136644 markings, 1514092 edges, 7160 markings/sec, 160 secs
lola: 1170621 markings, 1559375 edges, 6795 markings/sec, 165 secs
lola: 1204259 markings, 1604105 edges, 6728 markings/sec, 170 secs
lola: 1237605 markings, 1648664 edges, 6669 markings/sec, 175 secs
lola: 1270058 markings, 1691988 edges, 6491 markings/sec, 180 secs
lola: 1303576 markings, 1736441 edges, 6704 markings/sec, 185 secs
lola: 1337353 markings, 1781137 edges, 6755 markings/sec, 190 secs
lola: 1373377 markings, 1831025 edges, 7205 markings/sec, 195 secs
lola: 1407399 markings, 1878334 edges, 6804 markings/sec, 200 secs
lola: 1440196 markings, 1923013 edges, 6559 markings/sec, 205 secs
lola: 1471771 markings, 1965238 edges, 6315 markings/sec, 210 secs
lola: 1505899 markings, 2010444 edges, 6826 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(pl_P120_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: 40360 markings, 53397 edges, 8072 markings/sec, 0 secs
lola: 79175 markings, 105545 edges, 7763 markings/sec, 5 secs
lola: 119502 markings, 160009 edges, 8065 markings/sec, 10 secs
lola: 157851 markings, 211779 edges, 7670 markings/sec, 15 secs
lola: 196277 markings, 263728 edges, 7685 markings/sec, 20 secs
lola: 233978 markings, 314826 edges, 7540 markings/sec, 25 secs
lola: 271084 markings, 364911 edges, 7421 markings/sec, 30 secs
lola: 309220 markings, 416678 edges, 7627 markings/sec, 35 secs
lola: 347466 markings, 468443 edges, 7649 markings/sec, 40 secs
lola: 385667 markings, 520188 edges, 7640 markings/sec, 45 secs
lola: 423050 markings, 570628 edges, 7477 markings/sec, 50 secs
lola: 461254 markings, 622594 edges, 7641 markings/sec, 55 secs
lola: 497970 markings, 672045 edges, 7343 markings/sec, 60 secs
lola: 534246 markings, 721065 edges, 7255 markings/sec, 65 secs
lola: 569881 markings, 769618 edges, 7127 markings/sec, 70 secs
lola: 607179 markings, 820353 edges, 7460 markings/sec, 75 secs
lola: 645378 markings, 872096 edges, 7640 markings/sec, 80 secs
lola: 683615 markings, 923690 edges, 7647 markings/sec, 85 secs
lola: 721052 markings, 974356 edges, 7487 markings/sec, 90 secs
lola: 757773 markings, 1024106 edges, 7344 markings/sec, 95 secs
lola: 795370 markings, 1075057 edges, 7519 markings/sec, 100 secs
lola: 832973 markings, 1125858 edges, 7521 markings/sec, 105 secs
lola: 871267 markings, 1177713 edges, 7659 markings/sec, 110 secs
lola: 909034 markings, 1228746 edges, 7553 markings/sec, 115 secs
lola: 946737 markings, 1279689 edges, 7541 markings/sec, 120 secs
lola: 984696 markings, 1330953 edges, 7592 markings/sec, 125 secs
lola: 1021544 markings, 1381222 edges, 7370 markings/sec, 130 secs
lola: 1057825 markings, 1430570 edges, 7256 markings/sec, 135 secs
lola: 1094058 markings, 1479735 edges, 7247 markings/sec, 140 secs
lola: 1130834 markings, 1529496 edges, 7355 markings/sec, 145 secs
lola: 1166778 markings, 1577909 edges, 7189 markings/sec, 150 secs
lola: 1202841 markings, 1626446 edges, 7213 markings/sec, 155 secs
lola: 1241138 markings, 1678752 edges, 7659 markings/sec, 160 secs
lola: 1279172 markings, 1730140 edges, 7607 markings/sec, 165 secs
lola: 1314953 markings, 1778673 edges, 7156 markings/sec, 170 secs
lola: 1350987 markings, 1827362 edges, 7207 markings/sec, 175 secs
lola: 1387385 markings, 1877023 edges, 7280 markings/sec, 180 secs
lola: 1423951 markings, 1926726 edges, 7313 markings/sec, 185 secs
lola: 1461613 markings, 1978020 edges, 7532 markings/sec, 190 secs
lola: 1499061 markings, 2028676 edges, 7490 markings/sec, 195 secs
lola: 1536267 markings, 2079472 edges, 7441 markings/sec, 200 secs
lola: 1573716 markings, 2129825 edges, 7490 markings/sec, 205 secs
lola: 1612185 markings, 2182390 edges, 7694 markings/sec, 210 secs
lola: 1650785 markings, 2235154 edges, 7720 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(pl_P6_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: 36278 markings, 47281 edges, 7256 markings/sec, 0 secs
lola: 72124 markings, 94565 edges, 7169 markings/sec, 5 secs
lola: 108071 markings, 141849 edges, 7189 markings/sec, 10 secs
lola: 142404 markings, 187393 edges, 6867 markings/sec, 15 secs
lola: 177809 markings, 234320 edges, 7081 markings/sec, 20 secs
lola: 212537 markings, 280363 edges, 6946 markings/sec, 25 secs
lola: 248532 markings, 328242 edges, 7199 markings/sec, 30 secs
lola: 284474 markings, 376122 edges, 7188 markings/sec, 35 secs
lola: 319451 markings, 422865 edges, 6995 markings/sec, 40 secs
lola: 355050 markings, 470205 edges, 7120 markings/sec, 45 secs
lola: 389431 markings, 515870 edges, 6876 markings/sec, 50 secs
lola: 424525 markings, 562238 edges, 7019 markings/sec, 55 secs
lola: 458893 markings, 607992 edges, 6874 markings/sec, 60 secs
lola: 493093 markings, 653466 edges, 6840 markings/sec, 65 secs
lola: 528301 markings, 700161 edges, 7042 markings/sec, 70 secs
lola: 562299 markings, 745268 edges, 6800 markings/sec, 75 secs
lola: 596933 markings, 791397 edges, 6927 markings/sec, 80 secs
lola: 633292 markings, 839312 edges, 7272 markings/sec, 85 secs
lola: 668530 markings, 885948 edges, 7048 markings/sec, 90 secs
lola: 702675 markings, 931239 edges, 6829 markings/sec, 95 secs
lola: 738361 markings, 978748 edges, 7137 markings/sec, 100 secs
lola: 773995 markings, 1026501 edges, 7127 markings/sec, 105 secs
lola: 807982 markings, 1071812 edges, 6797 markings/sec, 110 secs
lola: 843555 markings, 1119217 edges, 7115 markings/sec, 115 secs
lola: 879231 markings, 1167143 edges, 7135 markings/sec, 120 secs
lola: 914192 markings, 1213384 edges, 6992 markings/sec, 125 secs
lola: 948534 markings, 1259114 edges, 6868 markings/sec, 130 secs
lola: 982528 markings, 1304317 edges, 6799 markings/sec, 135 secs
lola: 1017042 markings, 1350339 edges, 6903 markings/sec, 140 secs
lola: 1051232 markings, 1395941 edges, 6838 markings/sec, 145 secs
lola: 1084617 markings, 1440419 edges, 6677 markings/sec, 150 secs
lola: 1118526 markings, 1485494 edges, 6782 markings/sec, 155 secs
lola: 1153313 markings, 1531947 edges, 6957 markings/sec, 160 secs
lola: 1188003 markings, 1578114 edges, 6938 markings/sec, 165 secs
lola: 1222332 markings, 1624130 edges, 6866 markings/sec, 170 secs
lola: 1256772 markings, 1670043 edges, 6888 markings/sec, 175 secs
lola: 1292518 markings, 1718470 edges, 7149 markings/sec, 180 secs
lola: 1326050 markings, 1763845 edges, 6706 markings/sec, 185 secs
lola: 1357822 markings, 1806189 edges, 6354 markings/sec, 190 secs
lola: 1390694 markings, 1850016 edges, 6574 markings/sec, 195 secs
lola: 1424718 markings, 1896041 edges, 6805 markings/sec, 200 secs
lola: 1456355 markings, 1938565 edges, 6327 markings/sec, 205 secs
lola: 1490025 markings, 1983318 edges, 6734 markings/sec, 210 secs
lola: 1524764 markings, 2029738 edges, 6948 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(pl_P61_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 6 will run for 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P194_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: 40598 markings, 53532 edges, 8120 markings/sec, 0 secs
lola: 80221 markings, 106289 edges, 7925 markings/sec, 5 secs
lola: 120111 markings, 159665 edges, 7978 markings/sec, 10 secs
lola: 158265 markings, 210713 edges, 7631 markings/sec, 15 secs
lola: 199076 markings, 265822 edges, 8162 markings/sec, 20 secs
lola: 241070 markings, 323061 edges, 8399 markings/sec, 25 secs
lola: 283429 markings, 380801 edges, 8472 markings/sec, 30 secs
lola: 326141 markings, 438808 edges, 8542 markings/sec, 35 secs
lola: 368709 markings, 496743 edges, 8514 markings/sec, 40 secs
lola: 410835 markings, 554850 edges, 8425 markings/sec, 45 secs
lola: 452116 markings, 611628 edges, 8256 markings/sec, 50 secs
lola: 493576 markings, 669108 edges, 8292 markings/sec, 55 secs
lola: 534479 markings, 725621 edges, 8181 markings/sec, 60 secs
lola: 576743 markings, 784142 edges, 8453 markings/sec, 65 secs
lola: 618705 markings, 842869 edges, 8392 markings/sec, 70 secs
lola: 659627 markings, 900851 edges, 8184 markings/sec, 75 secs
lola: 697245 markings, 954099 edges, 7524 markings/sec, 80 secs
lola: 736310 markings, 1006652 edges, 7813 markings/sec, 85 secs
lola: 775576 markings, 1060200 edges, 7853 markings/sec, 90 secs
lola: 817775 markings, 1117699 edges, 8440 markings/sec, 95 secs
lola: 858420 markings, 1174798 edges, 8129 markings/sec, 100 secs
lola: 899275 markings, 1232758 edges, 8171 markings/sec, 105 secs
lola: 940833 markings, 1290145 edges, 8312 markings/sec, 110 secs
lola: 982561 markings, 1347399 edges, 8346 markings/sec, 115 secs
lola: 1024119 markings, 1405667 edges, 8312 markings/sec, 120 secs
lola: 1062732 markings, 1460579 edges, 7723 markings/sec, 125 secs
lola: 1100243 markings, 1514061 edges, 7502 markings/sec, 130 secs
lola: 1137804 markings, 1567197 edges, 7512 markings/sec, 135 secs
lola: 1176037 markings, 1622060 edges, 7647 markings/sec, 140 secs
lola: 1217189 markings, 1678344 edges, 8230 markings/sec, 145 secs
lola: 1257544 markings, 1735255 edges, 8071 markings/sec, 150 secs
lola: 1298154 markings, 1792823 edges, 8122 markings/sec, 155 secs
lola: 1339326 markings, 1850454 edges, 8234 markings/sec, 160 secs
lola: 1380056 markings, 1907809 edges, 8146 markings/sec, 165 secs
lola: 1420578 markings, 1965803 edges, 8104 markings/sec, 170 secs
lola: 1460683 markings, 2022399 edges, 8021 markings/sec, 175 secs
lola: 1502701 markings, 2080306 edges, 8404 markings/sec, 180 secs
lola: 1543608 markings, 2138255 edges, 8181 markings/sec, 185 secs
lola: 1584828 markings, 2195339 edges, 8244 markings/sec, 190 secs
lola: 1625560 markings, 2253178 edges, 8146 markings/sec, 195 secs
lola: 1666774 markings, 2311362 edges, 8243 markings/sec, 200 secs
lola: 1707206 markings, 2368542 edges, 8086 markings/sec, 205 secs
lola: 1746271 markings, 2424592 edges, 7813 markings/sec, 210 secs
lola: 1786019 markings, 2481718 edges, 7950 markings/sec, 215 secs
lola: 1826798 markings, 2540010 edges, 8156 markings/sec, 220 secs
lola: 1866983 markings, 2597742 edges, 8037 markings/sec, 225 secs
lola: 1908299 markings, 2656233 edges, 8263 markings/sec, 230 secs
lola: 1949348 markings, 2713617 edges, 8210 markings/sec, 235 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 243 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P261_44)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 8 will run for 274 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P233_5)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: 36650 markings, 68442 edges, 7330 markings/sec, 0 secs
lola: 72680 markings, 140743 edges, 7206 markings/sec, 5 secs
lola: 107812 markings, 213240 edges, 7026 markings/sec, 10 secs
lola: 142799 markings, 286686 edges, 6997 markings/sec, 15 secs
lola: 177828 markings, 360814 edges, 7006 markings/sec, 20 secs
lola: 211343 markings, 435455 edges, 6703 markings/sec, 25 secs
lola: 244420 markings, 506747 edges, 6615 markings/sec, 30 secs
lola: 277211 markings, 579934 edges, 6558 markings/sec, 35 secs
lola: 310039 markings, 654798 edges, 6566 markings/sec, 40 secs
lola: 343314 markings, 727332 edges, 6655 markings/sec, 45 secs
lola: 375768 markings, 800227 edges, 6491 markings/sec, 50 secs
lola: 409041 markings, 873876 edges, 6655 markings/sec, 55 secs
lola: 440301 markings, 943727 edges, 6252 markings/sec, 60 secs
lola: 473169 markings, 1017127 edges, 6574 markings/sec, 65 secs
lola: 506034 markings, 1090566 edges, 6573 markings/sec, 70 secs
lola: 539180 markings, 1165616 edges, 6629 markings/sec, 75 secs
lola: 571898 markings, 1239544 edges, 6544 markings/sec, 80 secs
lola: 605132 markings, 1312644 edges, 6647 markings/sec, 85 secs
lola: 637795 markings, 1387268 edges, 6533 markings/sec, 90 secs
lola: 671879 markings, 1461564 edges, 6817 markings/sec, 95 secs
lola: 704756 markings, 1534840 edges, 6575 markings/sec, 100 secs
lola: 737391 markings, 1609395 edges, 6527 markings/sec, 105 secs
lola: 770112 markings, 1683090 edges, 6544 markings/sec, 110 secs
lola: 802601 markings, 1757323 edges, 6498 markings/sec, 115 secs
lola: 834820 markings, 1832397 edges, 6444 markings/sec, 120 secs
lola: 866947 markings, 1906767 edges, 6425 markings/sec, 125 secs
lola: 899812 markings, 1982145 edges, 6573 markings/sec, 130 secs
lola: 931776 markings, 2057224 edges, 6393 markings/sec, 135 secs
lola: 964746 markings, 2133723 edges, 6594 markings/sec, 140 secs
lola: 997101 markings, 2209214 edges, 6471 markings/sec, 145 secs
lola: 1029466 markings, 2284739 edges, 6473 markings/sec, 150 secs
lola: 1062367 markings, 2359473 edges, 6580 markings/sec, 155 secs
lola: 1094805 markings, 2435276 edges, 6488 markings/sec, 160 secs
lola: 1127244 markings, 2507873 edges, 6488 markings/sec, 165 secs
lola: 1157605 markings, 2575868 edges, 6072 markings/sec, 170 secs
lola: 1187281 markings, 2645120 edges, 5935 markings/sec, 175 secs
lola: 1218249 markings, 2717604 edges, 6194 markings/sec, 180 secs
lola: 1250219 markings, 2794216 edges, 6394 markings/sec, 185 secs
lola: 1282927 markings, 2869546 edges, 6542 markings/sec, 190 secs
lola: 1314860 markings, 2945352 edges, 6387 markings/sec, 195 secs
lola: 1347363 markings, 3019603 edges, 6501 markings/sec, 200 secs
lola: 1377382 markings, 3090671 edges, 6004 markings/sec, 205 secs
lola: 1410194 markings, 3167007 edges, 6562 markings/sec, 210 secs
lola: 1440775 markings, 3240062 edges, 6116 markings/sec, 215 secs
lola: 1472749 markings, 3316410 edges, 6395 markings/sec, 220 secs
lola: 1503467 markings, 3390043 edges, 6144 markings/sec, 225 secs
lola: 1533100 markings, 3460864 edges, 5927 markings/sec, 230 secs
lola: 1562523 markings, 3529334 edges, 5885 markings/sec, 235 secs
lola: 1591565 markings, 3600394 edges, 5808 markings/sec, 240 secs
lola: 1621894 markings, 3670049 edges, 6066 markings/sec, 245 secs
lola: 1651771 markings, 3742036 edges, 5975 markings/sec, 250 secs
lola: 1683257 markings, 3819404 edges, 6297 markings/sec, 255 secs
lola: 1716341 markings, 3894721 edges, 6617 markings/sec, 260 secs
lola: 1749642 markings, 3973450 edges, 6660 markings/sec, 265 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 274 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P112_38)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 10 will run for 319 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P123_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: 36965 markings, 48244 edges, 7393 markings/sec, 0 secs
lola: 71838 markings, 94395 edges, 6975 markings/sec, 5 secs
lola: 105209 markings, 138441 edges, 6674 markings/sec, 10 secs
lola: 141114 markings, 185997 edges, 7181 markings/sec, 15 secs
lola: 173564 markings, 229016 edges, 6490 markings/sec, 20 secs
lola: 206282 markings, 272424 edges, 6544 markings/sec, 25 secs
lola: 241477 markings, 319572 edges, 7039 markings/sec, 30 secs
lola: 277791 markings, 370057 edges, 7263 markings/sec, 35 secs
lola: 314039 markings, 418566 edges, 7250 markings/sec, 40 secs
lola: 348539 markings, 464489 edges, 6900 markings/sec, 45 secs
lola: 383519 markings, 511078 edges, 6996 markings/sec, 50 secs
lola: 417373 markings, 556126 edges, 6771 markings/sec, 55 secs
lola: 452612 markings, 602671 edges, 7048 markings/sec, 60 secs
lola: 487911 markings, 649506 edges, 7060 markings/sec, 65 secs
lola: 522901 markings, 695903 edges, 6998 markings/sec, 70 secs
lola: 557041 markings, 741402 edges, 6828 markings/sec, 75 secs
lola: 592840 markings, 789127 edges, 7160 markings/sec, 80 secs
lola: 628501 markings, 837357 edges, 7132 markings/sec, 85 secs
lola: 663293 markings, 884319 edges, 6958 markings/sec, 90 secs
lola: 697917 markings, 930983 edges, 6925 markings/sec, 95 secs
lola: 731944 markings, 977030 edges, 6805 markings/sec, 100 secs
lola: 765824 markings, 1022758 edges, 6776 markings/sec, 105 secs
lola: 799806 markings, 1068981 edges, 6796 markings/sec, 110 secs
lola: 835256 markings, 1118441 edges, 7090 markings/sec, 115 secs
lola: 870325 markings, 1167674 edges, 7014 markings/sec, 120 secs
lola: 904196 markings, 1213537 edges, 6774 markings/sec, 125 secs
lola: 937659 markings, 1259149 edges, 6693 markings/sec, 130 secs
lola: 971542 markings, 1305170 edges, 6777 markings/sec, 135 secs
lola: 1003581 markings, 1348365 edges, 6408 markings/sec, 140 secs
lola: 1035662 markings, 1391059 edges, 6416 markings/sec, 145 secs
lola: 1068419 markings, 1434433 edges, 6551 markings/sec, 150 secs
lola: 1102232 markings, 1479663 edges, 6763 markings/sec, 155 secs
lola: 1135126 markings, 1523531 edges, 6579 markings/sec, 160 secs
lola: 1167648 markings, 1566885 edges, 6504 markings/sec, 165 secs
lola: 1199950 markings, 1609979 edges, 6460 markings/sec, 170 secs
lola: 1232389 markings, 1653455 edges, 6488 markings/sec, 175 secs
lola: 1264429 markings, 1696219 edges, 6408 markings/sec, 180 secs
lola: 1297471 markings, 1741033 edges, 6608 markings/sec, 185 secs
lola: 1331691 markings, 1789169 edges, 6844 markings/sec, 190 secs
lola: 1365248 markings, 1834614 edges, 6711 markings/sec, 195 secs
lola: 1398662 markings, 1879365 edges, 6683 markings/sec, 200 secs
lola: 1430622 markings, 1922474 edges, 6392 markings/sec, 205 secs
lola: 1462394 markings, 1965099 edges, 6354 markings/sec, 210 secs
lola: 1494684 markings, 2008323 edges, 6458 markings/sec, 215 secs
lola: 1526416 markings, 2050851 edges, 6346 markings/sec, 220 secs
lola: 1557541 markings, 2092209 edges, 6225 markings/sec, 225 secs
lola: 1589376 markings, 2134647 edges, 6367 markings/sec, 230 secs
lola: 1620863 markings, 2176900 edges, 6297 markings/sec, 235 secs
lola: 1653487 markings, 2220889 edges, 6525 markings/sec, 240 secs
lola: 1687121 markings, 2267772 edges, 6727 markings/sec, 245 secs
lola: 1718674 markings, 2310117 edges, 6311 markings/sec, 250 secs
lola: 1750746 markings, 2352793 edges, 6414 markings/sec, 255 secs
lola: 1782011 markings, 2394707 edges, 6253 markings/sec, 260 secs
lola: 1813692 markings, 2437211 edges, 6336 markings/sec, 265 secs
lola: 1846352 markings, 2480396 edges, 6532 markings/sec, 270 secs
lola: 1880840 markings, 2526326 edges, 6898 markings/sec, 275 secs
lola: 1914459 markings, 2571243 edges, 6724 markings/sec, 280 secs
lola: 1949765 markings, 2618659 edges, 7061 markings/sec, 285 secs
lola: 1984521 markings, 2665092 edges, 6951 markings/sec, 290 secs
lola: 2018650 markings, 2710828 edges, 6826 markings/sec, 295 secs
lola: 2053745 markings, 2757755 edges, 7019 markings/sec, 300 secs
lola: 2087295 markings, 2802292 edges, 6710 markings/sec, 305 secs
lola: 2121487 markings, 2848100 edges, 6838 markings/sec, 310 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 319 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P28_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: 39519 markings, 52383 edges, 7904 markings/sec, 0 secs
lola: 81001 markings, 107925 edges, 8296 markings/sec, 5 secs
lola: 121967 markings, 162966 edges, 8193 markings/sec, 10 secs
lola: 162070 markings, 217154 edges, 8021 markings/sec, 15 secs
lola: 203000 markings, 273112 edges, 8186 markings/sec, 20 secs
lola: 244067 markings, 329863 edges, 8213 markings/sec, 25 secs
lola: 284385 markings, 385707 edges, 8064 markings/sec, 30 secs
lola: 325934 markings, 442787 edges, 8310 markings/sec, 35 secs
lola: 366063 markings, 498617 edges, 8026 markings/sec, 40 secs
lola: 407017 markings, 555523 edges, 8191 markings/sec, 45 secs
lola: 447689 markings, 612017 edges, 8134 markings/sec, 50 secs
lola: 487712 markings, 667970 edges, 8005 markings/sec, 55 secs
lola: 526991 markings, 723291 edges, 7856 markings/sec, 60 secs
lola: 566852 markings, 779536 edges, 7972 markings/sec, 65 secs
lola: 607688 markings, 835285 edges, 8167 markings/sec, 70 secs
lola: 647208 markings, 891725 edges, 7904 markings/sec, 75 secs
lola: 688387 markings, 948139 edges, 8236 markings/sec, 80 secs
lola: 729040 markings, 1005604 edges, 8131 markings/sec, 85 secs
lola: 768629 markings, 1062013 edges, 7918 markings/sec, 90 secs
lola: 807531 markings, 1116448 edges, 7780 markings/sec, 95 secs
lola: 846598 markings, 1171705 edges, 7813 markings/sec, 100 secs
lola: 885663 markings, 1226376 edges, 7813 markings/sec, 105 secs
lola: 925225 markings, 1280820 edges, 7912 markings/sec, 110 secs
lola: 964008 markings, 1336422 edges, 7757 markings/sec, 115 secs
lola: 1004176 markings, 1392238 edges, 8034 markings/sec, 120 secs
lola: 1043798 markings, 1446635 edges, 7924 markings/sec, 125 secs
lola: 1081416 markings, 1498547 edges, 7524 markings/sec, 130 secs
lola: 1118612 markings, 1550561 edges, 7439 markings/sec, 135 secs
lola: 1155727 markings, 1602418 edges, 7423 markings/sec, 140 secs
lola: 1192751 markings, 1654373 edges, 7405 markings/sec, 145 secs
lola: 1229427 markings, 1706592 edges, 7335 markings/sec, 150 secs
lola: 1266144 markings, 1758612 edges, 7343 markings/sec, 155 secs
lola: 1304822 markings, 1811215 edges, 7736 markings/sec, 160 secs
lola: 1343352 markings, 1863763 edges, 7706 markings/sec, 165 secs
lola: 1381780 markings, 1915977 edges, 7686 markings/sec, 170 secs
lola: 1420129 markings, 1968571 edges, 7670 markings/sec, 175 secs
lola: 1458785 markings, 2022047 edges, 7731 markings/sec, 180 secs
lola: 1496233 markings, 2075135 edges, 7490 markings/sec, 185 secs
lola: 1532881 markings, 2127856 edges, 7330 markings/sec, 190 secs
lola: 1569772 markings, 2180178 edges, 7378 markings/sec, 195 secs
lola: 1606001 markings, 2232651 edges, 7246 markings/sec, 200 secs
lola: 1642677 markings, 2284952 edges, 7335 markings/sec, 205 secs
lola: 1680765 markings, 2339203 edges, 7618 markings/sec, 210 secs
lola: 1720743 markings, 2395046 edges, 7996 markings/sec, 215 secs
lola: 1760175 markings, 2450498 edges, 7886 markings/sec, 220 secs
lola: 1799808 markings, 2506946 edges, 7927 markings/sec, 225 secs
lola: 1839796 markings, 2562861 edges, 7998 markings/sec, 230 secs
lola: 1880459 markings, 2617667 edges, 8133 markings/sec, 235 secs
lola: 1921214 markings, 2672645 edges, 8151 markings/sec, 240 secs
lola: 1961973 markings, 2727882 edges, 8152 markings/sec, 245 secs
lola: 2002177 markings, 2782957 edges, 8041 markings/sec, 250 secs
lola: 2040876 markings, 2837514 edges, 7740 markings/sec, 255 secs
lola: 2080480 markings, 2894058 edges, 7921 markings/sec, 260 secs
lola: 2117997 markings, 2947271 edges, 7503 markings/sec, 265 secs
lola: 2154997 markings, 2999672 edges, 7400 markings/sec, 270 secs
lola: 2191372 markings, 3051869 edges, 7275 markings/sec, 275 secs
lola: 2229532 markings, 3106305 edges, 7632 markings/sec, 280 secs
lola: 2269119 markings, 3163719 edges, 7917 markings/sec, 285 secs
lola: 2306943 markings, 3218474 edges, 7565 markings/sec, 290 secs
lola: 2343423 markings, 3270976 edges, 7296 markings/sec, 295 secs
lola: 2381070 markings, 3323135 edges, 7529 markings/sec, 300 secs
lola: 2420313 markings, 3379268 edges, 7849 markings/sec, 305 secs
lola: 2459917 markings, 3436361 edges, 7921 markings/sec, 310 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 319 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P16_39)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: 38553 markings, 50634 edges, 7711 markings/sec, 0 secs
lola: 78204 markings, 103975 edges, 7930 markings/sec, 5 secs
lola: 118211 markings, 157434 edges, 8001 markings/sec, 10 secs
lola: 157463 markings, 210101 edges, 7850 markings/sec, 15 secs
lola: 196447 markings, 262742 edges, 7797 markings/sec, 20 secs
lola: 234584 markings, 314416 edges, 7627 markings/sec, 25 secs
lola: 273091 markings, 366640 edges, 7701 markings/sec, 30 secs
lola: 312366 markings, 419574 edges, 7855 markings/sec, 35 secs
lola: 351076 markings, 471970 edges, 7742 markings/sec, 40 secs
lola: 389472 markings, 524035 edges, 7679 markings/sec, 45 secs
lola: 428451 markings, 577192 edges, 7796 markings/sec, 50 secs
lola: 466706 markings, 628829 edges, 7651 markings/sec, 55 secs
lola: 504276 markings, 680446 edges, 7514 markings/sec, 60 secs
lola: 541349 markings, 733399 edges, 7415 markings/sec, 65 secs
lola: 578064 markings, 786468 edges, 7343 markings/sec, 70 secs
lola: 616428 markings, 838609 edges, 7673 markings/sec, 75 secs
lola: 654771 markings, 890619 edges, 7669 markings/sec, 80 secs
lola: 692902 markings, 942630 edges, 7626 markings/sec, 85 secs
lola: 731842 markings, 995399 edges, 7788 markings/sec, 90 secs
lola: 771529 markings, 1049149 edges, 7937 markings/sec, 95 secs
lola: 810445 markings, 1102267 edges, 7783 markings/sec, 100 secs
lola: 849734 markings, 1155434 edges, 7858 markings/sec, 105 secs
lola: 888724 markings, 1207876 edges, 7798 markings/sec, 110 secs
lola: 927122 markings, 1260116 edges, 7680 markings/sec, 115 secs
lola: 965630 markings, 1312795 edges, 7702 markings/sec, 120 secs
lola: 1001893 markings, 1362133 edges, 7253 markings/sec, 125 secs
lola: 1037776 markings, 1410490 edges, 7177 markings/sec, 130 secs
lola: 1073944 markings, 1459683 edges, 7234 markings/sec, 135 secs
lola: 1109529 markings, 1507987 edges, 7117 markings/sec, 140 secs
lola: 1145228 markings, 1556786 edges, 7140 markings/sec, 145 secs
lola: 1180967 markings, 1605738 edges, 7148 markings/sec, 150 secs
lola: 1217032 markings, 1654808 edges, 7213 markings/sec, 155 secs
lola: 1253163 markings, 1704552 edges, 7226 markings/sec, 160 secs
lola: 1289037 markings, 1753522 edges, 7175 markings/sec, 165 secs
lola: 1324920 markings, 1802302 edges, 7177 markings/sec, 170 secs
lola: 1360848 markings, 1851108 edges, 7186 markings/sec, 175 secs
lola: 1396482 markings, 1899117 edges, 7127 markings/sec, 180 secs
lola: 1432216 markings, 1948048 edges, 7147 markings/sec, 185 secs
lola: 1467981 markings, 1996499 edges, 7153 markings/sec, 190 secs
lola: 1505802 markings, 2047652 edges, 7564 markings/sec, 195 secs
lola: 1543217 markings, 2098695 edges, 7483 markings/sec, 200 secs
lola: 1581558 markings, 2150711 edges, 7668 markings/sec, 205 secs
lola: 1620686 markings, 2204241 edges, 7826 markings/sec, 210 secs
lola: 1659846 markings, 2257925 edges, 7832 markings/sec, 215 secs
lola: 1699187 markings, 2311092 edges, 7868 markings/sec, 220 secs
lola: 1736321 markings, 2362000 edges, 7427 markings/sec, 225 secs
lola: 1771939 markings, 2410370 edges, 7124 markings/sec, 230 secs
lola: 1807645 markings, 2458828 edges, 7141 markings/sec, 235 secs
lola: 1844369 markings, 2509131 edges, 7345 markings/sec, 240 secs
lola: 1882467 markings, 2560466 edges, 7620 markings/sec, 245 secs
lola: 1918341 markings, 2609063 edges, 7175 markings/sec, 250 secs
lola: 1954851 markings, 2658371 edges, 7302 markings/sec, 255 secs
lola: 1989856 markings, 2706058 edges, 7001 markings/sec, 260 secs
lola: 2025202 markings, 2753817 edges, 7069 markings/sec, 265 secs
lola: 2061459 markings, 2803008 edges, 7251 markings/sec, 270 secs
lola: 2097072 markings, 2851546 edges, 7123 markings/sec, 275 secs
lola: 2133111 markings, 2900883 edges, 7208 markings/sec, 280 secs
lola: 2170550 markings, 2951258 edges, 7488 markings/sec, 285 secs
lola: 2209356 markings, 3004007 edges, 7761 markings/sec, 290 secs
lola: 2248339 markings, 3056975 edges, 7797 markings/sec, 295 secs
lola: 2286042 markings, 3107867 edges, 7541 markings/sec, 300 secs
lola: 2323215 markings, 3158345 edges, 7435 markings/sec, 305 secs
lola: 2360741 markings, 3209523 edges, 7505 markings/sec, 310 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 320 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P236_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: 28419 markings, 39603 edges, 5684 markings/sec, 0 secs
lola: 57255 markings, 81503 edges, 5767 markings/sec, 5 secs
lola: 85250 markings, 122139 edges, 5599 markings/sec, 10 secs
lola: 112879 markings, 163605 edges, 5526 markings/sec, 15 secs
lola: 139961 markings, 204109 edges, 5416 markings/sec, 20 secs
lola: 168351 markings, 247250 edges, 5678 markings/sec, 25 secs
lola: 196951 markings, 288548 edges, 5720 markings/sec, 30 secs
lola: 224901 markings, 330001 edges, 5590 markings/sec, 35 secs
lola: 252068 markings, 370040 edges, 5433 markings/sec, 40 secs
lola: 280592 markings, 413404 edges, 5705 markings/sec, 45 secs
lola: 309528 markings, 456502 edges, 5787 markings/sec, 50 secs
lola: 338252 markings, 498696 edges, 5745 markings/sec, 55 secs
lola: 366912 markings, 541259 edges, 5732 markings/sec, 60 secs
lola: 395183 markings, 584511 edges, 5654 markings/sec, 65 secs
lola: 423495 markings, 628545 edges, 5662 markings/sec, 70 secs
lola: 452186 markings, 671899 edges, 5738 markings/sec, 75 secs
lola: 480752 markings, 715566 edges, 5713 markings/sec, 80 secs
lola: 509507 markings, 759546 edges, 5751 markings/sec, 85 secs
lola: 538076 markings, 803479 edges, 5714 markings/sec, 90 secs
lola: 565698 markings, 843985 edges, 5524 markings/sec, 95 secs
lola: 592434 markings, 886117 edges, 5347 markings/sec, 100 secs
lola: 619153 markings, 928209 edges, 5344 markings/sec, 105 secs
lola: 645693 markings, 969579 edges, 5308 markings/sec, 110 secs
lola: 672106 markings, 1010737 edges, 5283 markings/sec, 115 secs
lola: 698582 markings, 1052110 edges, 5295 markings/sec, 120 secs
lola: 726131 markings, 1093632 edges, 5510 markings/sec, 125 secs
lola: 752681 markings, 1135631 edges, 5310 markings/sec, 130 secs
lola: 779387 markings, 1177550 edges, 5341 markings/sec, 135 secs
lola: 806577 markings, 1217628 edges, 5438 markings/sec, 140 secs
lola: 833476 markings, 1258540 edges, 5380 markings/sec, 145 secs
lola: 859947 markings, 1300171 edges, 5294 markings/sec, 150 secs
lola: 887526 markings, 1341772 edges, 5516 markings/sec, 155 secs
lola: 915176 markings, 1381226 edges, 5530 markings/sec, 160 secs
lola: 941417 markings, 1419472 edges, 5248 markings/sec, 165 secs
lola: 968690 markings, 1460127 edges, 5455 markings/sec, 170 secs
lola: 995506 markings, 1500346 edges, 5363 markings/sec, 175 secs
lola: 1022825 markings, 1542069 edges, 5464 markings/sec, 180 secs
lola: 1050584 markings, 1583294 edges, 5552 markings/sec, 185 secs
lola: 1077514 markings, 1624050 edges, 5386 markings/sec, 190 secs
lola: 1104072 markings, 1664699 edges, 5312 markings/sec, 195 secs
lola: 1130693 markings, 1704757 edges, 5324 markings/sec, 200 secs
lola: 1157490 markings, 1745142 edges, 5359 markings/sec, 205 secs
lola: 1184231 markings, 1785335 edges, 5348 markings/sec, 210 secs
lola: 1210699 markings, 1826053 edges, 5294 markings/sec, 215 secs
lola: 1237066 markings, 1867005 edges, 5273 markings/sec, 220 secs
lola: 1263561 markings, 1907904 edges, 5299 markings/sec, 225 secs
lola: 1290184 markings, 1949069 edges, 5325 markings/sec, 230 secs
lola: 1316656 markings, 1990237 edges, 5294 markings/sec, 235 secs
lola: 1343139 markings, 2032394 edges, 5297 markings/sec, 240 secs
lola: 1369598 markings, 2074646 edges, 5292 markings/sec, 245 secs
lola: 1396190 markings, 2115998 edges, 5318 markings/sec, 250 secs
lola: 1423661 markings, 2159585 edges, 5494 markings/sec, 255 secs
lola: 1451575 markings, 2203450 edges, 5583 markings/sec, 260 secs
lola: 1479206 markings, 2247547 edges, 5526 markings/sec, 265 secs
lola: 1507470 markings, 2290952 edges, 5653 markings/sec, 270 secs
lola: 1535074 markings, 2335959 edges, 5521 markings/sec, 275 secs
lola: 1562936 markings, 2379993 edges, 5572 markings/sec, 280 secs
lola: 1590974 markings, 2422278 edges, 5608 markings/sec, 285 secs
lola: 1618706 markings, 2465320 edges, 5546 markings/sec, 290 secs
lola: 1646820 markings, 2509649 edges, 5623 markings/sec, 295 secs
lola: 1674958 markings, 2553437 edges, 5628 markings/sec, 300 secs
lola: 1702976 markings, 2598454 edges, 5604 markings/sec, 305 secs
lola: 1730754 markings, 2641989 edges, 5556 markings/sec, 310 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 320 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P233_26)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: 35063 markings, 65157 edges, 7013 markings/sec, 0 secs
lola: 68417 markings, 131777 edges, 6671 markings/sec, 5 secs
lola: 100734 markings, 198308 edges, 6463 markings/sec, 10 secs
lola: 134887 markings, 269294 edges, 6831 markings/sec, 15 secs
lola: 168823 markings, 341616 edges, 6787 markings/sec, 20 secs
lola: 202178 markings, 414691 edges, 6671 markings/sec, 25 secs
lola: 235572 markings, 487221 edges, 6679 markings/sec, 30 secs
lola: 268648 markings, 560922 edges, 6615 markings/sec, 35 secs
lola: 301196 markings, 634240 edges, 6510 markings/sec, 40 secs
lola: 333795 markings, 707003 edges, 6520 markings/sec, 45 secs
lola: 366686 markings, 778927 edges, 6578 markings/sec, 50 secs
lola: 397484 markings, 848084 edges, 6160 markings/sec, 55 secs
lola: 428477 markings, 916681 edges, 6199 markings/sec, 60 secs
lola: 459482 markings, 986366 edges, 6201 markings/sec, 65 secs
lola: 491163 markings, 1058381 edges, 6336 markings/sec, 70 secs
lola: 523858 markings, 1130906 edges, 6539 markings/sec, 75 secs
lola: 554284 markings, 1200558 edges, 6085 markings/sec, 80 secs
lola: 585437 markings, 1269178 edges, 6231 markings/sec, 85 secs
lola: 616282 markings, 1339875 edges, 6169 markings/sec, 90 secs
lola: 648134 markings, 1411912 edges, 6370 markings/sec, 95 secs
lola: 680943 markings, 1487836 edges, 6562 markings/sec, 100 secs
lola: 712615 markings, 1561058 edges, 6334 markings/sec, 105 secs
lola: 744397 markings, 1634070 edges, 6356 markings/sec, 110 secs
lola: 775270 markings, 1704475 edges, 6175 markings/sec, 115 secs
lola: 806916 markings, 1774541 edges, 6329 markings/sec, 120 secs
lola: 837234 markings, 1844477 edges, 6064 markings/sec, 125 secs
lola: 868110 markings, 1916749 edges, 6175 markings/sec, 130 secs
lola: 898001 markings, 1986817 edges, 5978 markings/sec, 135 secs
lola: 927639 markings, 2054814 edges, 5928 markings/sec, 140 secs
lola: 957687 markings, 2125034 edges, 6010 markings/sec, 145 secs
lola: 986870 markings, 2194641 edges, 5837 markings/sec, 150 secs
lola: 1016944 markings, 2264655 edges, 6015 markings/sec, 155 secs
lola: 1048307 markings, 2338768 edges, 6273 markings/sec, 160 secs
lola: 1079665 markings, 2412589 edges, 6272 markings/sec, 165 secs
lola: 1110691 markings, 2488299 edges, 6205 markings/sec, 170 secs
lola: 1142177 markings, 2563419 edges, 6297 markings/sec, 175 secs
lola: 1174127 markings, 2640365 edges, 6390 markings/sec, 180 secs
lola: 1206268 markings, 2716246 edges, 6428 markings/sec, 185 secs
lola: 1237205 markings, 2791275 edges, 6187 markings/sec, 190 secs
lola: 1269038 markings, 2866251 edges, 6367 markings/sec, 195 secs
lola: 1300841 markings, 2942559 edges, 6361 markings/sec, 200 secs
lola: 1332553 markings, 3018964 edges, 6342 markings/sec, 205 secs
lola: 1364892 markings, 3095952 edges, 6468 markings/sec, 210 secs
lola: 1396434 markings, 3171476 edges, 6308 markings/sec, 215 secs
lola: 1427895 markings, 3247406 edges, 6292 markings/sec, 220 secs
lola: 1457028 markings, 3317702 edges, 5827 markings/sec, 225 secs
lola: 1485976 markings, 3388344 edges, 5790 markings/sec, 230 secs
lola: 1515298 markings, 3458379 edges, 5864 markings/sec, 235 secs
lola: 1546181 markings, 3533703 edges, 6177 markings/sec, 240 secs
lola: 1577221 markings, 3607413 edges, 6208 markings/sec, 245 secs
lola: 1606512 markings, 3677923 edges, 5858 markings/sec, 250 secs
lola: 1635938 markings, 3748410 edges, 5885 markings/sec, 255 secs
lola: 1665524 markings, 3819839 edges, 5917 markings/sec, 260 secs
lola: 1696660 markings, 3895989 edges, 6227 markings/sec, 265 secs
lola: 1728193 markings, 3973112 edges, 6307 markings/sec, 270 secs
lola: 1758142 markings, 4048710 edges, 5990 markings/sec, 275 secs
lola: 1788938 markings, 4123149 edges, 6159 markings/sec, 280 secs
lola: 1819560 markings, 4198097 edges, 6124 markings/sec, 285 secs
lola: 1850339 markings, 4274447 edges, 6156 markings/sec, 290 secs
lola: 1882102 markings, 4351515 edges, 6353 markings/sec, 295 secs
lola: 1913397 markings, 4427946 edges, 6259 markings/sec, 300 secs
lola: 1944165 markings, 4504353 edges, 6154 markings/sec, 305 secs
lola: 1974557 markings, 4579754 edges, 6078 markings/sec, 310 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 320 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P40_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 828 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: 38132 markings, 50072 edges, 7626 markings/sec, 0 secs
lola: 76101 markings, 101125 edges, 7594 markings/sec, 5 secs
lola: 114573 markings, 152608 edges, 7694 markings/sec, 10 secs
lola: 152712 markings, 203656 edges, 7628 markings/sec, 15 secs
lola: 190896 markings, 255269 edges, 7637 markings/sec, 20 secs
lola: 228245 markings, 305812 edges, 7470 markings/sec, 25 secs
lola: 265967 markings, 356966 edges, 7544 markings/sec, 30 secs
lola: 304015 markings, 408248 edges, 7610 markings/sec, 35 secs
lola: 341935 markings, 459457 edges, 7584 markings/sec, 40 secs
lola: 379739 markings, 510721 edges, 7561 markings/sec, 45 secs
lola: 416890 markings, 561369 edges, 7430 markings/sec, 50 secs
lola: 454408 markings, 612107 edges, 7504 markings/sec, 55 secs
lola: 492619 markings, 663913 edges, 7642 markings/sec, 60 secs
lola: 531592 markings, 719262 edges, 7795 markings/sec, 65 secs
lola: 569807 markings, 774593 edges, 7643 markings/sec, 70 secs
lola: 607110 markings, 826094 edges, 7461 markings/sec, 75 secs
lola: 644060 markings, 876138 edges, 7390 markings/sec, 80 secs
lola: 681083 markings, 926696 edges, 7405 markings/sec, 85 secs
lola: 718628 markings, 977513 edges, 7509 markings/sec, 90 secs
lola: 756020 markings, 1028158 edges, 7478 markings/sec, 95 secs
lola: 793333 markings, 1078739 edges, 7463 markings/sec, 100 secs
lola: 830483 markings, 1129509 edges, 7430 markings/sec, 105 secs
lola: 868399 markings, 1180280 edges, 7583 markings/sec, 110 secs
lola: 905527 markings, 1230749 edges, 7426 markings/sec, 115 secs
lola: 942512 markings, 1281124 edges, 7397 markings/sec, 120 secs
lola: 979926 markings, 1332179 edges, 7483 markings/sec, 125 secs
lola: 1017531 markings, 1383127 edges, 7521 markings/sec, 130 secs
lola: 1054500 markings, 1433495 edges, 7394 markings/sec, 135 secs
lola: 1091034 markings, 1482669 edges, 7307 markings/sec, 140 secs
lola: 1127992 markings, 1533212 edges, 7392 markings/sec, 145 secs
lola: 1165173 markings, 1584123 edges, 7436 markings/sec, 150 secs
lola: 1202002 markings, 1634406 edges, 7366 markings/sec, 155 secs
lola: 1239344 markings, 1685460 edges, 7468 markings/sec, 160 secs
lola: 1276578 markings, 1736499 edges, 7447 markings/sec, 165 secs
lola: 1313679 markings, 1787097 edges, 7420 markings/sec, 170 secs
lola: 1350701 markings, 1837413 edges, 7404 markings/sec, 175 secs
lola: 1387524 markings, 1887210 edges, 7365 markings/sec, 180 secs
lola: 1424453 markings, 1937429 edges, 7386 markings/sec, 185 secs
lola: 1461012 markings, 1987086 edges, 7312 markings/sec, 190 secs
lola: 1498106 markings, 2037127 edges, 7419 markings/sec, 195 secs
lola: 1534587 markings, 2086816 edges, 7296 markings/sec, 200 secs
lola: 1571776 markings, 2137556 edges, 7438 markings/sec, 205 secs
lola: 1608659 markings, 2187619 edges, 7377 markings/sec, 210 secs
lola: 1645915 markings, 2238884 edges, 7451 markings/sec, 215 secs
lola: 1682709 markings, 2288801 edges, 7359 markings/sec, 220 secs
lola: 1719596 markings, 2339036 edges, 7377 markings/sec, 225 secs
lola: 1756380 markings, 2389205 edges, 7357 markings/sec, 230 secs
lola: 1792449 markings, 2438208 edges, 7214 markings/sec, 235 secs
lola: 1828256 markings, 2486996 edges, 7161 markings/sec, 240 secs
lola: 1864035 markings, 2535583 edges, 7156 markings/sec, 245 secs
lola: 1899991 markings, 2584209 edges, 7191 markings/sec, 250 secs
lola: 1936501 markings, 2633383 edges, 7302 markings/sec, 255 secs
lola: 1972765 markings, 2682689 edges, 7253 markings/sec, 260 secs
lola: 2009646 markings, 2732901 edges, 7376 markings/sec, 265 secs
lola: 2045443 markings, 2780931 edges, 7159 markings/sec, 270 secs
lola: 2082807 markings, 2832128 edges, 7473 markings/sec, 275 secs
lola: 2120320 markings, 2883361 edges, 7503 markings/sec, 280 secs
lola: 2158560 markings, 2934989 edges, 7648 markings/sec, 285 secs
lola: 2196018 markings, 2985959 edges, 7492 markings/sec, 290 secs
lola: 2231598 markings, 3033970 edges, 7116 markings/sec, 295 secs
lola: 2266874 markings, 3081879 edges, 7055 markings/sec, 300 secs
lola: 2302591 markings, 3130354 edges, 7143 markings/sec, 305 secs
lola: 2337872 markings, 3178369 edges, 7056 markings/sec, 310 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 0 unknown 0 unknown 0 unknown unknown unknown unknown unknown unknown
FORMULA Railroad-PT-050-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-050-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-050-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-050-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-050-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-050-UpperBounds-5 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-050-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-050-UpperBounds-7 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-050-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-050-UpperBounds-9 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-050-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-050-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-050-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-050-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-050-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-050-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496441486314

--------------------
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_Railroad-PT-050"
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_Railroad-PT-050.tgz
mv S_Railroad-PT-050 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_Railroad-PT-050, 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 r148-csrt-149443432800056"
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 ;