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

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


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ 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: 26914 markings, 37447 edges, 5383 markings/sec, 0 secs
lola: 54399 markings, 77213 edges, 5497 markings/sec, 5 secs
lola: 80897 markings, 115571 edges, 5300 markings/sec, 10 secs
lola: 108041 markings, 155925 edges, 5429 markings/sec, 15 secs
lola: 135110 markings, 196800 edges, 5414 markings/sec, 20 secs
lola: 162507 markings, 238755 edges, 5479 markings/sec, 25 secs
lola: 190330 markings, 278755 edges, 5565 markings/sec, 30 secs
lola: 218036 markings, 319813 edges, 5541 markings/sec, 35 secs
lola: 246173 markings, 361725 edges, 5627 markings/sec, 40 secs
lola: 274392 markings, 404393 edges, 5644 markings/sec, 45 secs
lola: 302257 markings, 445766 edges, 5573 markings/sec, 50 secs
lola: 330413 markings, 487296 edges, 5631 markings/sec, 55 secs
lola: 358588 markings, 528699 edges, 5635 markings/sec, 60 secs
lola: 386900 markings, 571913 edges, 5662 markings/sec, 65 secs
lola: 414484 markings, 614722 edges, 5517 markings/sec, 70 secs
lola: 442511 markings, 657458 edges, 5605 markings/sec, 75 secs
lola: 470647 markings, 699683 edges, 5627 markings/sec, 80 secs
lola: 498609 markings, 742781 edges, 5592 markings/sec, 85 secs
lola: 526955 markings, 786309 edges, 5669 markings/sec, 90 secs
lola: 554441 markings, 827263 edges, 5497 markings/sec, 95 secs
lola: 582100 markings, 869621 edges, 5532 markings/sec, 100 secs
lola: 609913 markings, 913341 edges, 5563 markings/sec, 105 secs
lola: 637517 markings, 956822 edges, 5521 markings/sec, 110 secs
lola: 664644 markings, 998967 edges, 5425 markings/sec, 115 secs
lola: 692074 markings, 1042005 edges, 5486 markings/sec, 120 secs
lola: 719806 markings, 1083715 edges, 5546 markings/sec, 125 secs
lola: 746989 markings, 1126659 edges, 5437 markings/sec, 130 secs
lola: 774320 markings, 1169922 edges, 5466 markings/sec, 135 secs
lola: 802308 markings, 1211282 edges, 5598 markings/sec, 140 secs
lola: 830271 markings, 1253331 edges, 5593 markings/sec, 145 secs
lola: 857608 markings, 1296638 edges, 5467 markings/sec, 150 secs
lola: 884870 markings, 1338168 edges, 5452 markings/sec, 155 secs
lola: 912529 markings, 1377390 edges, 5532 markings/sec, 160 secs
lola: 939720 markings, 1417117 edges, 5438 markings/sec, 165 secs
lola: 966882 markings, 1457469 edges, 5432 markings/sec, 170 secs
lola: 993907 markings, 1497924 edges, 5405 markings/sec, 175 secs
lola: 1020368 markings, 1538081 edges, 5292 markings/sec, 180 secs
lola: 1048337 markings, 1579980 edges, 5594 markings/sec, 185 secs
lola: 1077571 markings, 1624135 edges, 5847 markings/sec, 190 secs
lola: 1107010 markings, 1669224 edges, 5888 markings/sec, 195 secs
lola: 1136508 markings, 1713649 edges, 5900 markings/sec, 200 secs
lola: 1166435 markings, 1758545 edges, 5985 markings/sec, 205 secs
lola: 1195833 markings, 1803233 edges, 5880 markings/sec, 210 secs
lola: 1225194 markings, 1848305 edges, 5872 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: 35916 markings, 46872 edges, 7183 markings/sec, 0 secs
lola: 72862 markings, 95510 edges, 7389 markings/sec, 5 secs
lola: 109017 markings, 142990 edges, 7231 markings/sec, 10 secs
lola: 145235 markings, 190845 edges, 7244 markings/sec, 15 secs
lola: 180988 markings, 238396 edges, 7151 markings/sec, 20 secs
lola: 217247 markings, 286557 edges, 7252 markings/sec, 25 secs
lola: 252726 markings, 333664 edges, 7096 markings/sec, 30 secs
lola: 288549 markings, 381266 edges, 7165 markings/sec, 35 secs
lola: 324409 markings, 429016 edges, 7172 markings/sec, 40 secs
lola: 360215 markings, 477632 edges, 7161 markings/sec, 45 secs
lola: 397198 markings, 528847 edges, 7397 markings/sec, 50 secs
lola: 430342 markings, 574521 edges, 6629 markings/sec, 55 secs
lola: 462131 markings, 616656 edges, 6358 markings/sec, 60 secs
lola: 494357 markings, 659806 edges, 6445 markings/sec, 65 secs
lola: 527745 markings, 703828 edges, 6678 markings/sec, 70 secs
lola: 562148 markings, 749298 edges, 6881 markings/sec, 75 secs
lola: 596242 markings, 794300 edges, 6819 markings/sec, 80 secs
lola: 629510 markings, 838260 edges, 6654 markings/sec, 85 secs
lola: 661307 markings, 880467 edges, 6359 markings/sec, 90 secs
lola: 694159 markings, 923948 edges, 6570 markings/sec, 95 secs
lola: 726724 markings, 967471 edges, 6513 markings/sec, 100 secs
lola: 759451 markings, 1010864 edges, 6545 markings/sec, 105 secs
lola: 791484 markings, 1053654 edges, 6407 markings/sec, 110 secs
lola: 824230 markings, 1097229 edges, 6549 markings/sec, 115 secs
lola: 856531 markings, 1140153 edges, 6460 markings/sec, 120 secs
lola: 889299 markings, 1183657 edges, 6554 markings/sec, 125 secs
lola: 920958 markings, 1225854 edges, 6332 markings/sec, 130 secs
lola: 952886 markings, 1268212 edges, 6386 markings/sec, 135 secs
lola: 984717 markings, 1310650 edges, 6366 markings/sec, 140 secs
lola: 1016497 markings, 1352945 edges, 6356 markings/sec, 145 secs
lola: 1050187 markings, 1397919 edges, 6738 markings/sec, 150 secs
lola: 1084941 markings, 1444763 edges, 6951 markings/sec, 155 secs
lola: 1118922 markings, 1490389 edges, 6796 markings/sec, 160 secs
lola: 1151601 markings, 1533915 edges, 6536 markings/sec, 165 secs
lola: 1182265 markings, 1574818 edges, 6133 markings/sec, 170 secs
lola: 1213465 markings, 1616501 edges, 6240 markings/sec, 175 secs
lola: 1244852 markings, 1658344 edges, 6277 markings/sec, 180 secs
lola: 1275908 markings, 1699795 edges, 6211 markings/sec, 185 secs
lola: 1308414 markings, 1742785 edges, 6501 markings/sec, 190 secs
lola: 1341304 markings, 1786484 edges, 6578 markings/sec, 195 secs
lola: 1375769 markings, 1834337 edges, 6893 markings/sec, 200 secs
lola: 1410027 markings, 1881956 edges, 6852 markings/sec, 205 secs
lola: 1442470 markings, 1926035 edges, 6489 markings/sec, 210 secs
lola: 1474261 markings, 1968520 edges, 6358 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: 34016 markings, 44371 edges, 6803 markings/sec, 0 secs
lola: 68082 markings, 89209 edges, 6813 markings/sec, 5 secs
lola: 102037 markings, 133758 edges, 6791 markings/sec, 10 secs
lola: 135239 markings, 177648 edges, 6640 markings/sec, 15 secs
lola: 168353 markings, 221517 edges, 6623 markings/sec, 20 secs
lola: 202838 markings, 267456 edges, 6897 markings/sec, 25 secs
lola: 236851 markings, 312500 edges, 6803 markings/sec, 30 secs
lola: 270311 markings, 357070 edges, 6692 markings/sec, 35 secs
lola: 304350 markings, 402158 edges, 6808 markings/sec, 40 secs
lola: 338749 markings, 448056 edges, 6880 markings/sec, 45 secs
lola: 375072 markings, 498210 edges, 7265 markings/sec, 50 secs
lola: 410237 markings, 546926 edges, 7033 markings/sec, 55 secs
lola: 444162 markings, 592796 edges, 6785 markings/sec, 60 secs
lola: 477783 markings, 637583 edges, 6724 markings/sec, 65 secs
lola: 510879 markings, 681705 edges, 6619 markings/sec, 70 secs
lola: 546432 markings, 728573 edges, 7111 markings/sec, 75 secs
lola: 581821 markings, 775300 edges, 7078 markings/sec, 80 secs
lola: 616407 markings, 820788 edges, 6917 markings/sec, 85 secs
lola: 649942 markings, 865433 edges, 6707 markings/sec, 90 secs
lola: 683664 markings, 910075 edges, 6744 markings/sec, 95 secs
lola: 717315 markings, 955014 edges, 6730 markings/sec, 100 secs
lola: 751178 markings, 999903 edges, 6773 markings/sec, 105 secs
lola: 784259 markings, 1043998 edges, 6616 markings/sec, 110 secs
lola: 817904 markings, 1088826 edges, 6729 markings/sec, 115 secs
lola: 852377 markings, 1134633 edges, 6895 markings/sec, 120 secs
lola: 887391 markings, 1181110 edges, 7003 markings/sec, 125 secs
lola: 920025 markings, 1224589 edges, 6527 markings/sec, 130 secs
lola: 952970 markings, 1268332 edges, 6589 markings/sec, 135 secs
lola: 986134 markings, 1312512 edges, 6633 markings/sec, 140 secs
lola: 1018880 markings, 1356119 edges, 6549 markings/sec, 145 secs
lola: 1053986 markings, 1403019 edges, 7021 markings/sec, 150 secs
lola: 1089934 markings, 1451441 edges, 7190 markings/sec, 155 secs
lola: 1124963 markings, 1498502 edges, 7006 markings/sec, 160 secs
lola: 1158273 markings, 1542881 edges, 6662 markings/sec, 165 secs
lola: 1190689 markings, 1585946 edges, 6483 markings/sec, 170 secs
lola: 1224007 markings, 1630645 edges, 6664 markings/sec, 175 secs
lola: 1256408 markings, 1673740 edges, 6480 markings/sec, 180 secs
lola: 1288364 markings, 1716339 edges, 6391 markings/sec, 185 secs
lola: 1320870 markings, 1759427 edges, 6501 markings/sec, 190 secs
lola: 1354683 markings, 1805039 edges, 6763 markings/sec, 195 secs
lola: 1389248 markings, 1853071 edges, 6913 markings/sec, 200 secs
lola: 1422954 markings, 1899817 edges, 6741 markings/sec, 205 secs
lola: 1454670 markings, 1942321 edges, 6343 markings/sec, 210 secs
lola: 1486568 markings, 1984921 edges, 6380 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: 37353 markings, 49382 edges, 7471 markings/sec, 0 secs
lola: 76182 markings, 101523 edges, 7766 markings/sec, 5 secs
lola: 115021 markings, 153947 edges, 7768 markings/sec, 10 secs
lola: 152696 markings, 204860 edges, 7535 markings/sec, 15 secs
lola: 191185 markings, 256972 edges, 7698 markings/sec, 20 secs
lola: 229510 markings, 308643 edges, 7665 markings/sec, 25 secs
lola: 268045 markings, 360828 edges, 7707 markings/sec, 30 secs
lola: 306381 markings, 412751 edges, 7667 markings/sec, 35 secs
lola: 344428 markings, 464395 edges, 7609 markings/sec, 40 secs
lola: 382889 markings, 516500 edges, 7692 markings/sec, 45 secs
lola: 421373 markings, 568328 edges, 7697 markings/sec, 50 secs
lola: 459508 markings, 620197 edges, 7627 markings/sec, 55 secs
lola: 496302 markings, 669825 edges, 7359 markings/sec, 60 secs
lola: 532694 markings, 718962 edges, 7278 markings/sec, 65 secs
lola: 568410 markings, 767575 edges, 7143 markings/sec, 70 secs
lola: 605695 markings, 818349 edges, 7457 markings/sec, 75 secs
lola: 643808 markings, 869939 edges, 7623 markings/sec, 80 secs
lola: 681777 markings, 921185 edges, 7594 markings/sec, 85 secs
lola: 719409 markings, 972181 edges, 7526 markings/sec, 90 secs
lola: 756512 markings, 1022357 edges, 7421 markings/sec, 95 secs
lola: 793397 markings, 1072331 edges, 7377 markings/sec, 100 secs
lola: 829745 markings, 1121522 edges, 7270 markings/sec, 105 secs
lola: 867186 markings, 1172151 edges, 7488 markings/sec, 110 secs
lola: 903974 markings, 1221960 edges, 7358 markings/sec, 115 secs
lola: 941773 markings, 1272915 edges, 7560 markings/sec, 120 secs
lola: 978145 markings, 1322139 edges, 7274 markings/sec, 125 secs
lola: 1013619 markings, 1370241 edges, 7095 markings/sec, 130 secs
lola: 1049895 markings, 1419621 edges, 7255 markings/sec, 135 secs
lola: 1086745 markings, 1469673 edges, 7370 markings/sec, 140 secs
lola: 1123467 markings, 1519659 edges, 7344 markings/sec, 145 secs
lola: 1159816 markings, 1568578 edges, 7270 markings/sec, 150 secs
lola: 1198053 markings, 1619982 edges, 7647 markings/sec, 155 secs
lola: 1237036 markings, 1673057 edges, 7797 markings/sec, 160 secs
lola: 1274353 markings, 1723698 edges, 7463 markings/sec, 165 secs
lola: 1309915 markings, 1771830 edges, 7112 markings/sec, 170 secs
lola: 1345941 markings, 1820576 edges, 7205 markings/sec, 175 secs
lola: 1381724 markings, 1869300 edges, 7157 markings/sec, 180 secs
lola: 1420164 markings, 1921633 edges, 7688 markings/sec, 185 secs
lola: 1458538 markings, 1973895 edges, 7675 markings/sec, 190 secs
lola: 1497036 markings, 2025926 edges, 7700 markings/sec, 195 secs
lola: 1534518 markings, 2077072 edges, 7496 markings/sec, 200 secs
lola: 1573179 markings, 2129118 edges, 7732 markings/sec, 205 secs
lola: 1611139 markings, 2180986 edges, 7592 markings/sec, 210 secs
lola: 1649142 markings, 2232884 edges, 7601 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: 34706 markings, 45242 edges, 6941 markings/sec, 0 secs
lola: 70757 markings, 92749 edges, 7210 markings/sec, 5 secs
lola: 107101 markings, 140554 edges, 7269 markings/sec, 10 secs
lola: 142895 markings, 188055 edges, 7159 markings/sec, 15 secs
lola: 179496 markings, 236520 edges, 7320 markings/sec, 20 secs
lola: 215841 markings, 284736 edges, 7269 markings/sec, 25 secs
lola: 253019 markings, 334195 edges, 7436 markings/sec, 30 secs
lola: 290542 markings, 384284 edges, 7505 markings/sec, 35 secs
lola: 326971 markings, 432823 edges, 7286 markings/sec, 40 secs
lola: 363535 markings, 481504 edges, 7313 markings/sec, 45 secs
lola: 399191 markings, 528691 edges, 7131 markings/sec, 50 secs
lola: 435656 markings, 577187 edges, 7293 markings/sec, 55 secs
lola: 470854 markings, 623776 edges, 7040 markings/sec, 60 secs
lola: 506570 markings, 671424 edges, 7143 markings/sec, 65 secs
lola: 542878 markings, 719465 edges, 7262 markings/sec, 70 secs
lola: 577568 markings, 765674 edges, 6938 markings/sec, 75 secs
lola: 613328 markings, 812962 edges, 7152 markings/sec, 80 secs
lola: 649423 markings, 860618 edges, 7219 markings/sec, 85 secs
lola: 684463 markings, 906964 edges, 7008 markings/sec, 90 secs
lola: 720330 markings, 954592 edges, 7173 markings/sec, 95 secs
lola: 757125 markings, 1003773 edges, 7359 markings/sec, 100 secs
lola: 792754 markings, 1051505 edges, 7126 markings/sec, 105 secs
lola: 828676 markings, 1099167 edges, 7184 markings/sec, 110 secs
lola: 865508 markings, 1148806 edges, 7366 markings/sec, 115 secs
lola: 899806 markings, 1194325 edges, 6860 markings/sec, 120 secs
lola: 934690 markings, 1240775 edges, 6977 markings/sec, 125 secs
lola: 969127 markings, 1286459 edges, 6887 markings/sec, 130 secs
lola: 1002478 markings, 1330898 edges, 6670 markings/sec, 135 secs
lola: 1035478 markings, 1375015 edges, 6600 markings/sec, 140 secs
lola: 1067735 markings, 1417899 edges, 6451 markings/sec, 145 secs
lola: 1100389 markings, 1461278 edges, 6531 markings/sec, 150 secs
lola: 1133163 markings, 1504901 edges, 6555 markings/sec, 155 secs
lola: 1166034 markings, 1548909 edges, 6574 markings/sec, 160 secs
lola: 1199410 markings, 1593576 edges, 6675 markings/sec, 165 secs
lola: 1232889 markings, 1638296 edges, 6696 markings/sec, 170 secs
lola: 1265052 markings, 1681192 edges, 6433 markings/sec, 175 secs
lola: 1301960 markings, 1731419 edges, 7382 markings/sec, 180 secs
lola: 1335905 markings, 1777070 edges, 6789 markings/sec, 185 secs
lola: 1368677 markings, 1820666 edges, 6554 markings/sec, 190 secs
lola: 1403500 markings, 1867337 edges, 6965 markings/sec, 195 secs
lola: 1437500 markings, 1913202 edges, 6800 markings/sec, 200 secs
lola: 1468836 markings, 1955125 edges, 6267 markings/sec, 205 secs
lola: 1501156 markings, 1998135 edges, 6464 markings/sec, 210 secs
lola: 1533495 markings, 2041347 edges, 6468 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: 38385 markings, 50520 edges, 7677 markings/sec, 0 secs
lola: 77596 markings, 102784 edges, 7842 markings/sec, 5 secs
lola: 120362 markings, 160011 edges, 8553 markings/sec, 10 secs
lola: 162982 markings, 216927 edges, 8524 markings/sec, 15 secs
lola: 204541 markings, 273287 edges, 8312 markings/sec, 20 secs
lola: 245072 markings, 328590 edges, 8106 markings/sec, 25 secs
lola: 286357 markings, 384798 edges, 8257 markings/sec, 30 secs
lola: 327769 markings, 441053 edges, 8282 markings/sec, 35 secs
lola: 369314 markings, 497552 edges, 8309 markings/sec, 40 secs
lola: 409238 markings, 552665 edges, 7985 markings/sec, 45 secs
lola: 450360 markings, 609195 edges, 8224 markings/sec, 50 secs
lola: 490494 markings, 664774 edges, 8027 markings/sec, 55 secs
lola: 530470 markings, 720063 edges, 7995 markings/sec, 60 secs
lola: 571505 markings, 776828 edges, 8207 markings/sec, 65 secs
lola: 611417 markings, 832641 edges, 7982 markings/sec, 70 secs
lola: 651665 markings, 889451 edges, 8050 markings/sec, 75 secs
lola: 689225 markings, 942944 edges, 7512 markings/sec, 80 secs
lola: 728350 markings, 995313 edges, 7825 markings/sec, 85 secs
lola: 766255 markings, 1047977 edges, 7581 markings/sec, 90 secs
lola: 806049 markings, 1101311 edges, 7959 markings/sec, 95 secs
lola: 843917 markings, 1154272 edges, 7574 markings/sec, 100 secs
lola: 881380 markings, 1207315 edges, 7493 markings/sec, 105 secs
lola: 921209 markings, 1263452 edges, 7966 markings/sec, 110 secs
lola: 962324 markings, 1319828 edges, 8223 markings/sec, 115 secs
lola: 1002661 markings, 1375323 edges, 8067 markings/sec, 120 secs
lola: 1043614 markings, 1433437 edges, 8191 markings/sec, 125 secs
lola: 1082672 markings, 1488928 edges, 7812 markings/sec, 130 secs
lola: 1122259 markings, 1545258 edges, 7917 markings/sec, 135 secs
lola: 1161213 markings, 1600653 edges, 7791 markings/sec, 140 secs
lola: 1200855 markings, 1656085 edges, 7928 markings/sec, 145 secs
lola: 1240604 markings, 1711535 edges, 7950 markings/sec, 150 secs
lola: 1280045 markings, 1767064 edges, 7888 markings/sec, 155 secs
lola: 1320917 markings, 1824333 edges, 8174 markings/sec, 160 secs
lola: 1360814 markings, 1880555 edges, 7979 markings/sec, 165 secs
lola: 1400657 markings, 1937073 edges, 7969 markings/sec, 170 secs
lola: 1439078 markings, 1992244 edges, 7684 markings/sec, 175 secs
lola: 1478782 markings, 2047533 edges, 7941 markings/sec, 180 secs
lola: 1517614 markings, 2101597 edges, 7766 markings/sec, 185 secs
lola: 1556857 markings, 2156692 edges, 7849 markings/sec, 190 secs
lola: 1596566 markings, 2212019 edges, 7942 markings/sec, 195 secs
lola: 1635873 markings, 2267450 edges, 7861 markings/sec, 200 secs
lola: 1675400 markings, 2323375 edges, 7905 markings/sec, 205 secs
lola: 1715210 markings, 2379527 edges, 7962 markings/sec, 210 secs
lola: 1754836 markings, 2437071 edges, 7925 markings/sec, 215 secs
lola: 1795997 markings, 2496274 edges, 8232 markings/sec, 220 secs
lola: 1837721 markings, 2555871 edges, 8345 markings/sec, 225 secs
lola: 1879862 markings, 2615876 edges, 8428 markings/sec, 230 secs
lola: 1923290 markings, 2677065 edges, 8686 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 273 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: 35715 markings, 66471 edges, 7143 markings/sec, 0 secs
lola: 70570 markings, 136214 edges, 6971 markings/sec, 5 secs
lola: 104612 markings, 206706 edges, 6808 markings/sec, 10 secs
lola: 138844 markings, 277743 edges, 6846 markings/sec, 15 secs
lola: 172577 markings, 349971 edges, 6747 markings/sec, 20 secs
lola: 205182 markings, 421866 edges, 6521 markings/sec, 25 secs
lola: 238566 markings, 494038 edges, 6677 markings/sec, 30 secs
lola: 271258 markings, 566712 edges, 6538 markings/sec, 35 secs
lola: 303795 markings, 640533 edges, 6507 markings/sec, 40 secs
lola: 336727 markings, 713536 edges, 6586 markings/sec, 45 secs
lola: 369583 markings, 786311 edges, 6571 markings/sec, 50 secs
lola: 401781 markings, 857419 edges, 6440 markings/sec, 55 secs
lola: 434814 markings, 930670 edges, 6607 markings/sec, 60 secs
lola: 467267 markings, 1004001 edges, 6491 markings/sec, 65 secs
lola: 500121 markings, 1077305 edges, 6571 markings/sec, 70 secs
lola: 532199 markings, 1150011 edges, 6416 markings/sec, 75 secs
lola: 564455 markings, 1222244 edges, 6451 markings/sec, 80 secs
lola: 596366 markings, 1294911 edges, 6382 markings/sec, 85 secs
lola: 628871 markings, 1368003 edges, 6501 markings/sec, 90 secs
lola: 662768 markings, 1440358 edges, 6779 markings/sec, 95 secs
lola: 694982 markings, 1512930 edges, 6443 markings/sec, 100 secs
lola: 726992 markings, 1586507 edges, 6402 markings/sec, 105 secs
lola: 759389 markings, 1658761 edges, 6479 markings/sec, 110 secs
lola: 791297 markings, 1731948 edges, 6382 markings/sec, 115 secs
lola: 823207 markings, 1804776 edges, 6382 markings/sec, 120 secs
lola: 855101 markings, 1879315 edges, 6379 markings/sec, 125 secs
lola: 887032 markings, 1953443 edges, 6386 markings/sec, 130 secs
lola: 919220 markings, 2027081 edges, 6438 markings/sec, 135 secs
lola: 951013 markings, 2100963 edges, 6359 markings/sec, 140 secs
lola: 982869 markings, 2175319 edges, 6371 markings/sec, 145 secs
lola: 1014349 markings, 2250171 edges, 6296 markings/sec, 150 secs
lola: 1047433 markings, 2324867 edges, 6617 markings/sec, 155 secs
lola: 1079236 markings, 2399523 edges, 6361 markings/sec, 160 secs
lola: 1111128 markings, 2473047 edges, 6378 markings/sec, 165 secs
lola: 1143789 markings, 2543430 edges, 6532 markings/sec, 170 secs
lola: 1174257 markings, 2612332 edges, 6094 markings/sec, 175 secs
lola: 1203444 markings, 2684590 edges, 5837 markings/sec, 180 secs
lola: 1235169 markings, 2758380 edges, 6345 markings/sec, 185 secs
lola: 1267088 markings, 2833600 edges, 6384 markings/sec, 190 secs
lola: 1300076 markings, 2910312 edges, 6598 markings/sec, 195 secs
lola: 1333053 markings, 2986523 edges, 6595 markings/sec, 200 secs
lola: 1364809 markings, 3061007 edges, 6351 markings/sec, 205 secs
lola: 1397963 markings, 3138130 edges, 6631 markings/sec, 210 secs
lola: 1428677 markings, 3210854 edges, 6143 markings/sec, 215 secs
lola: 1458438 markings, 3282990 edges, 5952 markings/sec, 220 secs
lola: 1490025 markings, 3357321 edges, 6317 markings/sec, 225 secs
lola: 1519437 markings, 3427312 edges, 5882 markings/sec, 230 secs
lola: 1548352 markings, 3497135 edges, 5783 markings/sec, 235 secs
lola: 1577706 markings, 3567619 edges, 5871 markings/sec, 240 secs
lola: 1608130 markings, 3637415 edges, 6085 markings/sec, 245 secs
lola: 1640321 markings, 3713949 edges, 6438 markings/sec, 250 secs
lola: 1671735 markings, 3791217 edges, 6283 markings/sec, 255 secs
lola: 1702991 markings, 3866012 edges, 6251 markings/sec, 260 secs
lola: 1736482 markings, 3940517 edges, 6698 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: 36619 markings, 47784 edges, 7324 markings/sec, 0 secs
lola: 70337 markings, 92387 edges, 6744 markings/sec, 5 secs
lola: 104069 markings, 136925 edges, 6746 markings/sec, 10 secs
lola: 137706 markings, 181463 edges, 6727 markings/sec, 15 secs
lola: 171202 markings, 225901 edges, 6699 markings/sec, 20 secs
lola: 204579 markings, 270162 edges, 6675 markings/sec, 25 secs
lola: 238940 markings, 316077 edges, 6872 markings/sec, 30 secs
lola: 273648 markings, 364296 edges, 6942 markings/sec, 35 secs
lola: 306268 markings, 408203 edges, 6524 markings/sec, 40 secs
lola: 338375 markings, 450878 edges, 6421 markings/sec, 45 secs
lola: 370297 markings, 493554 edges, 6384 markings/sec, 50 secs
lola: 404967 markings, 539718 edges, 6934 markings/sec, 55 secs
lola: 441031 markings, 587310 edges, 7213 markings/sec, 60 secs
lola: 477050 markings, 635083 edges, 7204 markings/sec, 65 secs
lola: 512628 markings, 682340 edges, 7116 markings/sec, 70 secs
lola: 547309 markings, 728448 edges, 6936 markings/sec, 75 secs
lola: 581693 markings, 774238 edges, 6877 markings/sec, 80 secs
lola: 619354 markings, 824982 edges, 7532 markings/sec, 85 secs
lola: 655339 markings, 873617 edges, 7197 markings/sec, 90 secs
lola: 690698 markings, 921328 edges, 7072 markings/sec, 95 secs
lola: 725540 markings, 968331 edges, 6968 markings/sec, 100 secs
lola: 760795 markings, 1016010 edges, 7051 markings/sec, 105 secs
lola: 795643 markings, 1063282 edges, 6970 markings/sec, 110 secs
lola: 832027 markings, 1113825 edges, 7277 markings/sec, 115 secs
lola: 867746 markings, 1164183 edges, 7144 markings/sec, 120 secs
lola: 902666 markings, 1211501 edges, 6984 markings/sec, 125 secs
lola: 936479 markings, 1257513 edges, 6763 markings/sec, 130 secs
lola: 971231 markings, 1304731 edges, 6950 markings/sec, 135 secs
lola: 1006594 markings, 1352369 edges, 7073 markings/sec, 140 secs
lola: 1040296 markings, 1397268 edges, 6740 markings/sec, 145 secs
lola: 1074374 markings, 1442357 edges, 6816 markings/sec, 150 secs
lola: 1109129 markings, 1488803 edges, 6951 markings/sec, 155 secs
lola: 1142024 markings, 1532682 edges, 6579 markings/sec, 160 secs
lola: 1174921 markings, 1576558 edges, 6579 markings/sec, 165 secs
lola: 1207858 markings, 1620561 edges, 6587 markings/sec, 170 secs
lola: 1240156 markings, 1663740 edges, 6460 markings/sec, 175 secs
lola: 1273815 markings, 1708857 edges, 6732 markings/sec, 180 secs
lola: 1307991 markings, 1755796 edges, 6835 markings/sec, 185 secs
lola: 1341857 markings, 1803215 edges, 6773 markings/sec, 190 secs
lola: 1375578 markings, 1848452 edges, 6744 markings/sec, 195 secs
lola: 1411323 markings, 1896429 edges, 7149 markings/sec, 200 secs
lola: 1445048 markings, 1941721 edges, 6745 markings/sec, 205 secs
lola: 1477552 markings, 1985415 edges, 6501 markings/sec, 210 secs
lola: 1509749 markings, 2028410 edges, 6439 markings/sec, 215 secs
lola: 1544359 markings, 2074744 edges, 6922 markings/sec, 220 secs
lola: 1577245 markings, 2118543 edges, 6577 markings/sec, 225 secs
lola: 1610674 markings, 2163312 edges, 6686 markings/sec, 230 secs
lola: 1643806 markings, 2207628 edges, 6626 markings/sec, 235 secs
lola: 1679280 markings, 2256765 edges, 7095 markings/sec, 240 secs
lola: 1712717 markings, 2302191 edges, 6687 markings/sec, 245 secs
lola: 1744865 markings, 2344982 edges, 6430 markings/sec, 250 secs
lola: 1776857 markings, 2387805 edges, 6398 markings/sec, 255 secs
lola: 1809402 markings, 2431507 edges, 6509 markings/sec, 260 secs
lola: 1841594 markings, 2474146 edges, 6438 markings/sec, 265 secs
lola: 1874040 markings, 2517287 edges, 6489 markings/sec, 270 secs
lola: 1905753 markings, 2559654 edges, 6343 markings/sec, 275 secs
lola: 1938308 markings, 2603277 edges, 6511 markings/sec, 280 secs
lola: 1970766 markings, 2646667 edges, 6492 markings/sec, 285 secs
lola: 2003686 markings, 2690789 edges, 6584 markings/sec, 290 secs
lola: 2036127 markings, 2734032 edges, 6488 markings/sec, 295 secs
lola: 2068421 markings, 2777315 edges, 6459 markings/sec, 300 secs
lola: 2100378 markings, 2819790 edges, 6391 markings/sec, 305 secs
lola: 2132018 markings, 2862127 edges, 6328 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: 37796 markings, 50094 edges, 7559 markings/sec, 0 secs
lola: 74858 markings, 99922 edges, 7412 markings/sec, 5 secs
lola: 115098 markings, 153676 edges, 8048 markings/sec, 10 secs
lola: 155606 markings, 208366 edges, 8102 markings/sec, 15 secs
lola: 194368 markings, 261314 edges, 7752 markings/sec, 20 secs
lola: 234365 markings, 316325 edges, 7999 markings/sec, 25 secs
lola: 274375 markings, 371748 edges, 8002 markings/sec, 30 secs
lola: 314070 markings, 426602 edges, 7939 markings/sec, 35 secs
lola: 353748 markings, 481448 edges, 7936 markings/sec, 40 secs
lola: 393719 markings, 537034 edges, 7994 markings/sec, 45 secs
lola: 432593 markings, 591046 edges, 7775 markings/sec, 50 secs
lola: 472024 markings, 645888 edges, 7886 markings/sec, 55 secs
lola: 511511 markings, 701539 edges, 7897 markings/sec, 60 secs
lola: 552287 markings, 759141 edges, 8155 markings/sec, 65 secs
lola: 593061 markings, 814757 edges, 8155 markings/sec, 70 secs
lola: 631446 markings, 869325 edges, 7677 markings/sec, 75 secs
lola: 669353 markings, 921086 edges, 7581 markings/sec, 80 secs
lola: 706755 markings, 973982 edges, 7480 markings/sec, 85 secs
lola: 743497 markings, 1026297 edges, 7348 markings/sec, 90 secs
lola: 782100 markings, 1081091 edges, 7721 markings/sec, 95 secs
lola: 821284 markings, 1136182 edges, 7837 markings/sec, 100 secs
lola: 861864 markings, 1193368 edges, 8116 markings/sec, 105 secs
lola: 902573 markings, 1249279 edges, 8142 markings/sec, 110 secs
lola: 942623 markings, 1306001 edges, 8010 markings/sec, 115 secs
lola: 983141 markings, 1362568 edges, 8104 markings/sec, 120 secs
lola: 1023012 markings, 1417858 edges, 7974 markings/sec, 125 secs
lola: 1064045 markings, 1474826 edges, 8207 markings/sec, 130 secs
lola: 1104962 markings, 1531317 edges, 8183 markings/sec, 135 secs
lola: 1146254 markings, 1588875 edges, 8258 markings/sec, 140 secs
lola: 1186630 markings, 1645481 edges, 8075 markings/sec, 145 secs
lola: 1226500 markings, 1702427 edges, 7974 markings/sec, 150 secs
lola: 1266152 markings, 1758622 edges, 7930 markings/sec, 155 secs
lola: 1306805 markings, 1813836 edges, 8131 markings/sec, 160 secs
lola: 1347422 markings, 1869149 edges, 8123 markings/sec, 165 secs
lola: 1388871 markings, 1925637 edges, 8290 markings/sec, 170 secs
lola: 1430802 markings, 1983233 edges, 8386 markings/sec, 175 secs
lola: 1470426 markings, 2038887 edges, 7925 markings/sec, 180 secs
lola: 1510579 markings, 2096069 edges, 8031 markings/sec, 185 secs
lola: 1550806 markings, 2153152 edges, 8045 markings/sec, 190 secs
lola: 1590776 markings, 2210615 edges, 7994 markings/sec, 195 secs
lola: 1630536 markings, 2267827 edges, 7952 markings/sec, 200 secs
lola: 1670112 markings, 2323904 edges, 7915 markings/sec, 205 secs
lola: 1710070 markings, 2379843 edges, 7992 markings/sec, 210 secs
lola: 1750451 markings, 2436527 edges, 8076 markings/sec, 215 secs
lola: 1790413 markings, 2493541 edges, 7992 markings/sec, 220 secs
lola: 1830300 markings, 2550317 edges, 7977 markings/sec, 225 secs
lola: 1872519 markings, 2606906 edges, 8444 markings/sec, 230 secs
lola: 1914395 markings, 2663398 edges, 8375 markings/sec, 235 secs
lola: 1955930 markings, 2719798 edges, 8307 markings/sec, 240 secs
lola: 1996975 markings, 2775709 edges, 8209 markings/sec, 245 secs
lola: 2037087 markings, 2832172 edges, 8022 markings/sec, 250 secs
lola: 2075123 markings, 2886562 edges, 7607 markings/sec, 255 secs
lola: 2111944 markings, 2938959 edges, 7364 markings/sec, 260 secs
lola: 2149188 markings, 2991478 edges, 7449 markings/sec, 265 secs
lola: 2188036 markings, 3046932 edges, 7770 markings/sec, 270 secs
lola: 2227416 markings, 3103278 edges, 7876 markings/sec, 275 secs
lola: 2266665 markings, 3160223 edges, 7850 markings/sec, 280 secs
lola: 2304652 markings, 3215136 edges, 7597 markings/sec, 285 secs
lola: 2344110 markings, 3271992 edges, 7892 markings/sec, 290 secs
lola: 2385031 markings, 3328814 edges, 8184 markings/sec, 295 secs
lola: 2424580 markings, 3385169 edges, 7910 markings/sec, 300 secs
lola: 2462708 markings, 3440462 edges, 7626 markings/sec, 305 secs
lola: 2502584 markings, 3497492 edges, 7975 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 320 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: 40061 markings, 52673 edges, 8012 markings/sec, 0 secs
lola: 80317 markings, 106828 edges, 8051 markings/sec, 5 secs
lola: 119554 markings, 159194 edges, 7847 markings/sec, 10 secs
lola: 158427 markings, 211435 edges, 7775 markings/sec, 15 secs
lola: 197323 markings, 263941 edges, 7779 markings/sec, 20 secs
lola: 235883 markings, 316161 edges, 7712 markings/sec, 25 secs
lola: 275310 markings, 369670 edges, 7885 markings/sec, 30 secs
lola: 314970 markings, 423110 edges, 7932 markings/sec, 35 secs
lola: 354547 markings, 476673 edges, 7915 markings/sec, 40 secs
lola: 393814 markings, 529933 edges, 7853 markings/sec, 45 secs
lola: 433340 markings, 583791 edges, 7905 markings/sec, 50 secs
lola: 472787 markings, 636829 edges, 7889 markings/sec, 55 secs
lola: 513799 markings, 694021 edges, 8202 markings/sec, 60 secs
lola: 552214 markings, 749139 edges, 7683 markings/sec, 65 secs
lola: 589285 markings, 801906 edges, 7414 markings/sec, 70 secs
lola: 625599 markings, 851163 edges, 7263 markings/sec, 75 secs
lola: 664810 markings, 904394 edges, 7842 markings/sec, 80 secs
lola: 703100 markings, 956376 edges, 7658 markings/sec, 85 secs
lola: 741356 markings, 1008178 edges, 7651 markings/sec, 90 secs
lola: 780514 markings, 1061334 edges, 7832 markings/sec, 95 secs
lola: 819385 markings, 1114271 edges, 7774 markings/sec, 100 secs
lola: 858272 markings, 1166749 edges, 7777 markings/sec, 105 secs
lola: 898131 markings, 1220656 edges, 7972 markings/sec, 110 secs
lola: 937499 markings, 1274247 edges, 7874 markings/sec, 115 secs
lola: 977314 markings, 1328668 edges, 7963 markings/sec, 120 secs
lola: 1016844 markings, 1382235 edges, 7906 markings/sec, 125 secs
lola: 1053489 markings, 1432132 edges, 7329 markings/sec, 130 secs
lola: 1089480 markings, 1480523 edges, 7198 markings/sec, 135 secs
lola: 1125725 markings, 1530102 edges, 7249 markings/sec, 140 secs
lola: 1162074 markings, 1579905 edges, 7270 markings/sec, 145 secs
lola: 1198264 markings, 1629356 edges, 7238 markings/sec, 150 secs
lola: 1235129 markings, 1679581 edges, 7373 markings/sec, 155 secs
lola: 1271622 markings, 1729687 edges, 7299 markings/sec, 160 secs
lola: 1308272 markings, 1779561 edges, 7330 markings/sec, 165 secs
lola: 1344549 markings, 1828911 edges, 7255 markings/sec, 170 secs
lola: 1380975 markings, 1878479 edges, 7285 markings/sec, 175 secs
lola: 1417163 markings, 1927467 edges, 7238 markings/sec, 180 secs
lola: 1453362 markings, 1976646 edges, 7240 markings/sec, 185 secs
lola: 1490004 markings, 2026252 edges, 7328 markings/sec, 190 secs
lola: 1525958 markings, 2074950 edges, 7191 markings/sec, 195 secs
lola: 1561701 markings, 2123796 edges, 7149 markings/sec, 200 secs
lola: 1599672 markings, 2175372 edges, 7594 markings/sec, 205 secs
lola: 1637374 markings, 2227062 edges, 7540 markings/sec, 210 secs
lola: 1673820 markings, 2276913 edges, 7289 markings/sec, 215 secs
lola: 1713887 markings, 2331236 edges, 8013 markings/sec, 220 secs
lola: 1751803 markings, 2382931 edges, 7583 markings/sec, 225 secs
lola: 1788088 markings, 2432393 edges, 7257 markings/sec, 230 secs
lola: 1824846 markings, 2482410 edges, 7352 markings/sec, 235 secs
lola: 1861850 markings, 2532707 edges, 7401 markings/sec, 240 secs
lola: 1898830 markings, 2582629 edges, 7396 markings/sec, 245 secs
lola: 1935166 markings, 2631615 edges, 7267 markings/sec, 250 secs
lola: 1971414 markings, 2680845 edges, 7250 markings/sec, 255 secs
lola: 2010898 markings, 2734606 edges, 7897 markings/sec, 260 secs
lola: 2051079 markings, 2788684 edges, 8036 markings/sec, 265 secs
lola: 2086386 markings, 2836747 edges, 7061 markings/sec, 270 secs
lola: 2121793 markings, 2885388 edges, 7081 markings/sec, 275 secs
lola: 2158502 markings, 2934915 edges, 7342 markings/sec, 280 secs
lola: 2194487 markings, 2983811 edges, 7197 markings/sec, 285 secs
lola: 2230826 markings, 3032973 edges, 7268 markings/sec, 290 secs
lola: 2267754 markings, 3083016 edges, 7386 markings/sec, 295 secs
lola: 2304877 markings, 3133452 edges, 7425 markings/sec, 300 secs
lola: 2340984 markings, 3182593 edges, 7221 markings/sec, 305 secs
lola: 2377291 markings, 3231870 edges, 7261 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: 27431 markings, 38215 edges, 5486 markings/sec, 0 secs
lola: 54734 markings, 77702 edges, 5461 markings/sec, 5 secs
lola: 81756 markings, 116914 edges, 5404 markings/sec, 10 secs
lola: 108574 markings, 156803 edges, 5364 markings/sec, 15 secs
lola: 135374 markings, 197209 edges, 5360 markings/sec, 20 secs
lola: 162105 markings, 238081 edges, 5346 markings/sec, 25 secs
lola: 189622 markings, 277760 edges, 5503 markings/sec, 30 secs
lola: 217032 markings, 318222 edges, 5482 markings/sec, 35 secs
lola: 244292 markings, 359071 edges, 5452 markings/sec, 40 secs
lola: 271800 markings, 400398 edges, 5502 markings/sec, 45 secs
lola: 298647 markings, 440519 edges, 5369 markings/sec, 50 secs
lola: 325553 markings, 480395 edges, 5381 markings/sec, 55 secs
lola: 352650 markings, 519867 edges, 5419 markings/sec, 60 secs
lola: 379339 markings, 560197 edges, 5338 markings/sec, 65 secs
lola: 405852 markings, 600976 edges, 5303 markings/sec, 70 secs
lola: 432470 markings, 641939 edges, 5324 markings/sec, 75 secs
lola: 459418 markings, 683017 edges, 5390 markings/sec, 80 secs
lola: 486065 markings, 724031 edges, 5329 markings/sec, 85 secs
lola: 512681 markings, 764350 edges, 5323 markings/sec, 90 secs
lola: 540182 markings, 806667 edges, 5500 markings/sec, 95 secs
lola: 569239 markings, 849432 edges, 5811 markings/sec, 100 secs
lola: 597528 markings, 894210 edges, 5658 markings/sec, 105 secs
lola: 626394 markings, 939682 edges, 5773 markings/sec, 110 secs
lola: 654424 markings, 982794 edges, 5606 markings/sec, 115 secs
lola: 682228 markings, 1026544 edges, 5561 markings/sec, 120 secs
lola: 710099 markings, 1069696 edges, 5574 markings/sec, 125 secs
lola: 738259 markings, 1112472 edges, 5632 markings/sec, 130 secs
lola: 766937 markings, 1157830 edges, 5736 markings/sec, 135 secs
lola: 795914 markings, 1201473 edges, 5795 markings/sec, 140 secs
lola: 823943 markings, 1243653 edges, 5606 markings/sec, 145 secs
lola: 852255 markings, 1288109 edges, 5662 markings/sec, 150 secs
lola: 880756 markings, 1331801 edges, 5700 markings/sec, 155 secs
lola: 909983 markings, 1374019 edges, 5845 markings/sec, 160 secs
lola: 939241 markings, 1416489 edges, 5852 markings/sec, 165 secs
lola: 967509 markings, 1458340 edges, 5654 markings/sec, 170 secs
lola: 994232 markings, 1498383 edges, 5345 markings/sec, 175 secs
lola: 1021055 markings, 1539221 edges, 5365 markings/sec, 180 secs
lola: 1048043 markings, 1579515 edges, 5398 markings/sec, 185 secs
lola: 1074814 markings, 1619955 edges, 5354 markings/sec, 190 secs
lola: 1101168 markings, 1660208 edges, 5271 markings/sec, 195 secs
lola: 1127625 markings, 1700113 edges, 5291 markings/sec, 200 secs
lola: 1154205 markings, 1739857 edges, 5316 markings/sec, 205 secs
lola: 1180809 markings, 1780009 edges, 5321 markings/sec, 210 secs
lola: 1207206 markings, 1820766 edges, 5279 markings/sec, 215 secs
lola: 1233459 markings, 1861372 edges, 5251 markings/sec, 220 secs
lola: 1259840 markings, 1902016 edges, 5276 markings/sec, 225 secs
lola: 1286136 markings, 1942656 edges, 5259 markings/sec, 230 secs
lola: 1312448 markings, 1983636 edges, 5262 markings/sec, 235 secs
lola: 1338720 markings, 2025442 edges, 5254 markings/sec, 240 secs
lola: 1365026 markings, 2066925 edges, 5261 markings/sec, 245 secs
lola: 1392184 markings, 2109990 edges, 5432 markings/sec, 250 secs
lola: 1420222 markings, 2154329 edges, 5608 markings/sec, 255 secs
lola: 1448766 markings, 2199352 edges, 5709 markings/sec, 260 secs
lola: 1477061 markings, 2244116 edges, 5659 markings/sec, 265 secs
lola: 1505887 markings, 2288485 edges, 5765 markings/sec, 270 secs
lola: 1534298 markings, 2334729 edges, 5682 markings/sec, 275 secs
lola: 1562690 markings, 2379656 edges, 5678 markings/sec, 280 secs
lola: 1591056 markings, 2422419 edges, 5673 markings/sec, 285 secs
lola: 1618600 markings, 2465144 edges, 5509 markings/sec, 290 secs
lola: 1645225 markings, 2507234 edges, 5325 markings/sec, 295 secs
lola: 1671468 markings, 2547943 edges, 5249 markings/sec, 300 secs
lola: 1697912 markings, 2590357 edges, 5289 markings/sec, 305 secs
lola: 1725593 markings, 2633899 edges, 5536 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: 34963 markings, 64942 edges, 6993 markings/sec, 0 secs
lola: 68250 markings, 131431 edges, 6657 markings/sec, 5 secs
lola: 100503 markings, 197788 edges, 6451 markings/sec, 10 secs
lola: 134676 markings, 268898 edges, 6835 markings/sec, 15 secs
lola: 168277 markings, 340485 edges, 6720 markings/sec, 20 secs
lola: 201107 markings, 412441 edges, 6566 markings/sec, 25 secs
lola: 234794 markings, 485624 edges, 6737 markings/sec, 30 secs
lola: 268397 markings, 560352 edges, 6721 markings/sec, 35 secs
lola: 301424 markings, 634797 edges, 6605 markings/sec, 40 secs
lola: 333069 markings, 705344 edges, 6329 markings/sec, 45 secs
lola: 366782 markings, 779153 edges, 6743 markings/sec, 50 secs
lola: 399588 markings, 852679 edges, 6561 markings/sec, 55 secs
lola: 430430 markings, 921187 edges, 6168 markings/sec, 60 secs
lola: 461803 markings, 991567 edges, 6275 markings/sec, 65 secs
lola: 492431 markings, 1061473 edges, 6126 markings/sec, 70 secs
lola: 522975 markings, 1129003 edges, 6109 markings/sec, 75 secs
lola: 553312 markings, 1198403 edges, 6067 markings/sec, 80 secs
lola: 584388 markings, 1266562 edges, 6215 markings/sec, 85 secs
lola: 615232 markings, 1337437 edges, 6169 markings/sec, 90 secs
lola: 646119 markings, 1407524 edges, 6177 markings/sec, 95 secs
lola: 676315 markings, 1477187 edges, 6039 markings/sec, 100 secs
lola: 706230 markings, 1546428 edges, 5983 markings/sec, 105 secs
lola: 736461 markings, 1616268 edges, 6046 markings/sec, 110 secs
lola: 766545 markings, 1684732 edges, 6017 markings/sec, 115 secs
lola: 797676 markings, 1754066 edges, 6226 markings/sec, 120 secs
lola: 828252 markings, 1824205 edges, 6115 markings/sec, 125 secs
lola: 859113 markings, 1896037 edges, 6172 markings/sec, 130 secs
lola: 890219 markings, 1968983 edges, 6221 markings/sec, 135 secs
lola: 921361 markings, 2040820 edges, 6228 markings/sec, 140 secs
lola: 953047 markings, 2114271 edges, 6337 markings/sec, 145 secs
lola: 983915 markings, 2187640 edges, 6174 markings/sec, 150 secs
lola: 1015415 markings, 2261255 edges, 6300 markings/sec, 155 secs
lola: 1046101 markings, 2333709 edges, 6137 markings/sec, 160 secs
lola: 1076634 markings, 2405204 edges, 6107 markings/sec, 165 secs
lola: 1105692 markings, 2476826 edges, 5812 markings/sec, 170 secs
lola: 1135367 markings, 2546848 edges, 5935 markings/sec, 175 secs
lola: 1165142 markings, 2618793 edges, 5955 markings/sec, 180 secs
lola: 1196081 markings, 2692137 edges, 6188 markings/sec, 185 secs
lola: 1227441 markings, 2767500 edges, 6272 markings/sec, 190 secs
lola: 1258680 markings, 2842041 edges, 6248 markings/sec, 195 secs
lola: 1289723 markings, 2915706 edges, 6209 markings/sec, 200 secs
lola: 1320893 markings, 2991019 edges, 6234 markings/sec, 205 secs
lola: 1352480 markings, 3065435 edges, 6317 markings/sec, 210 secs
lola: 1383251 markings, 3140185 edges, 6154 markings/sec, 215 secs
lola: 1414150 markings, 3214421 edges, 6180 markings/sec, 220 secs
lola: 1444926 markings, 3288301 edges, 6155 markings/sec, 225 secs
lola: 1475123 markings, 3362209 edges, 6039 markings/sec, 230 secs
lola: 1504062 markings, 3431702 edges, 5788 markings/sec, 235 secs
lola: 1533416 markings, 3502132 edges, 5871 markings/sec, 240 secs
lola: 1562517 markings, 3573261 edges, 5820 markings/sec, 245 secs
lola: 1593767 markings, 3647031 edges, 6250 markings/sec, 250 secs
lola: 1625057 markings, 3721837 edges, 6258 markings/sec, 255 secs
lola: 1655217 markings, 3794730 edges, 6032 markings/sec, 260 secs
lola: 1685385 markings, 3869079 edges, 6034 markings/sec, 265 secs
lola: 1715968 markings, 3944062 edges, 6117 markings/sec, 270 secs
lola: 1745963 markings, 4017667 edges, 5999 markings/sec, 275 secs
lola: 1776208 markings, 4092281 edges, 6049 markings/sec, 280 secs
lola: 1806714 markings, 4167138 edges, 6101 markings/sec, 285 secs
lola: 1837169 markings, 4241639 edges, 6091 markings/sec, 290 secs
lola: 1867754 markings, 4316811 edges, 6117 markings/sec, 295 secs
lola: 1898439 markings, 4391305 edges, 6137 markings/sec, 300 secs
lola: 1928777 markings, 4466927 edges, 6068 markings/sec, 305 secs
lola: 1959145 markings, 4541711 edges, 6074 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: 38027 markings, 49927 edges, 7605 markings/sec, 0 secs
lola: 76366 markings, 101499 edges, 7668 markings/sec, 5 secs
lola: 114253 markings, 152174 edges, 7577 markings/sec, 10 secs
lola: 152043 markings, 202752 edges, 7558 markings/sec, 15 secs
lola: 189927 markings, 253990 edges, 7577 markings/sec, 20 secs
lola: 226629 markings, 303575 edges, 7340 markings/sec, 25 secs
lola: 263107 markings, 353113 edges, 7296 markings/sec, 30 secs
lola: 300593 markings, 403541 edges, 7497 markings/sec, 35 secs
lola: 337553 markings, 453587 edges, 7392 markings/sec, 40 secs
lola: 374679 markings, 503890 edges, 7425 markings/sec, 45 secs
lola: 411267 markings, 553764 edges, 7318 markings/sec, 50 secs
lola: 448272 markings, 603832 edges, 7401 markings/sec, 55 secs
lola: 485517 markings, 654123 edges, 7449 markings/sec, 60 secs
lola: 523860 markings, 708333 edges, 7669 markings/sec, 65 secs
lola: 561477 markings, 762472 edges, 7523 markings/sec, 70 secs
lola: 598687 markings, 814654 edges, 7442 markings/sec, 75 secs
lola: 635065 markings, 864047 edges, 7276 markings/sec, 80 secs
lola: 671767 markings, 913898 edges, 7340 markings/sec, 85 secs
lola: 708469 markings, 963708 edges, 7340 markings/sec, 90 secs
lola: 745459 markings, 1013724 edges, 7398 markings/sec, 95 secs
lola: 782201 markings, 1063625 edges, 7348 markings/sec, 100 secs
lola: 819060 markings, 1113822 edges, 7372 markings/sec, 105 secs
lola: 856024 markings, 1163739 edges, 7393 markings/sec, 110 secs
lola: 893283 markings, 1214118 edges, 7452 markings/sec, 115 secs
lola: 929706 markings, 1263637 edges, 7285 markings/sec, 120 secs
lola: 966389 markings, 1313853 edges, 7337 markings/sec, 125 secs
lola: 1003461 markings, 1364320 edges, 7414 markings/sec, 130 secs
lola: 1040059 markings, 1413632 edges, 7320 markings/sec, 135 secs
lola: 1076092 markings, 1462524 edges, 7207 markings/sec, 140 secs
lola: 1112385 markings, 1511907 edges, 7259 markings/sec, 145 secs
lola: 1148954 markings, 1561894 edges, 7314 markings/sec, 150 secs
lola: 1185076 markings, 1611162 edges, 7224 markings/sec, 155 secs
lola: 1221882 markings, 1661426 edges, 7361 markings/sec, 160 secs
lola: 1258518 markings, 1711813 edges, 7327 markings/sec, 165 secs
lola: 1295133 markings, 1761752 edges, 7323 markings/sec, 170 secs
lola: 1331871 markings, 1811627 edges, 7348 markings/sec, 175 secs
lola: 1368665 markings, 1861816 edges, 7359 markings/sec, 180 secs
lola: 1405069 markings, 1910774 edges, 7281 markings/sec, 185 secs
lola: 1441207 markings, 1960161 edges, 7228 markings/sec, 190 secs
lola: 1478098 markings, 2010007 edges, 7378 markings/sec, 195 secs
lola: 1514230 markings, 2058925 edges, 7226 markings/sec, 200 secs
lola: 1550617 markings, 2108875 edges, 7277 markings/sec, 205 secs
lola: 1587440 markings, 2158748 edges, 7365 markings/sec, 210 secs
lola: 1625458 markings, 2210682 edges, 7604 markings/sec, 215 secs
lola: 1662625 markings, 2261686 edges, 7433 markings/sec, 220 secs
lola: 1700448 markings, 2312898 edges, 7565 markings/sec, 225 secs
lola: 1738100 markings, 2364420 edges, 7530 markings/sec, 230 secs
lola: 1775363 markings, 2414984 edges, 7453 markings/sec, 235 secs
lola: 1813045 markings, 2466161 edges, 7536 markings/sec, 240 secs
lola: 1850718 markings, 2517572 edges, 7535 markings/sec, 245 secs
lola: 1888933 markings, 2569276 edges, 7643 markings/sec, 250 secs
lola: 1926627 markings, 2620085 edges, 7539 markings/sec, 255 secs
lola: 1964078 markings, 2670897 edges, 7490 markings/sec, 260 secs
lola: 2001156 markings, 2721444 edges, 7416 markings/sec, 265 secs
lola: 2039149 markings, 2772419 edges, 7599 markings/sec, 270 secs
lola: 2077132 markings, 2824434 edges, 7597 markings/sec, 275 secs
lola: 2115533 markings, 2876859 edges, 7680 markings/sec, 280 secs
lola: 2152089 markings, 2926235 edges, 7311 markings/sec, 285 secs
lola: 2186238 markings, 2972791 edges, 6830 markings/sec, 290 secs
lola: 2220581 markings, 3019148 edges, 6869 markings/sec, 295 secs
lola: 2255488 markings, 3066508 edges, 6981 markings/sec, 300 secs
lola: 2293243 markings, 3117551 edges, 7551 markings/sec, 305 secs
lola: 2330577 markings, 3168422 edges, 7467 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 1494803362452

--------------------
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="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/Railroad-PT-050.tgz
mv 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 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 r068-csrt-149440963100056"
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 ;