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_PolyORBNT-COL-S05J80, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r138-smll-149479231500038
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496284590791


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PolyORBNT-COL-S05J80: translating COL Petri net model.pnml into LoLA format
===========================================================================================
translating COL Petri net complete
checking for too many tokens
===========================================================================================
S_PolyORBNT-COL-S05J80: translating COL formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
----- Start make result stdout -----
UpperBounds @ S_PolyORBNT-COL-S05J80 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3699/65536 symbol table entries, 69 collisions
lola: preprocessing...
lola: finding significant places
lola: 1269 places, 2430 transitions, 1087 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2248 transition conflict sets
lola: TASK
lola: reading formula from PolyORBNT-COL-S05J80-UpperBounds.task
lola: MAX(p847 + p846 + p845 + p844 + p843) : MAX(p832) : MAX(p1094) : MAX(p248) : MAX(p738) : MAX(p831) : MAX(p832) : MAX(p835) : MAX(p1097) : MAX(p848) : MAX(p1098) : MAX(p831) : MAX(p331) : MAX(p746) : MAX(p847 + p846 + p845 + p844 + p843) : MAX(p848)
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(p847 + p846 + p845 + p844 + p843)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 52071 markings, 59661 edges, 10414 markings/sec, 0 secs
lola: 100371 markings, 125040 edges, 9660 markings/sec, 5 secs
lola: 164101 markings, 202869 edges, 12746 markings/sec, 10 secs
lola: 225867 markings, 278885 edges, 12353 markings/sec, 15 secs
lola: 284577 markings, 352665 edges, 11742 markings/sec, 20 secs
lola: 340824 markings, 426835 edges, 11249 markings/sec, 25 secs
lola: 385032 markings, 498787 edges, 8842 markings/sec, 30 secs
lola: 423690 markings, 561375 edges, 7732 markings/sec, 35 secs
lola: 460512 markings, 622950 edges, 7364 markings/sec, 40 secs
lola: 495138 markings, 688747 edges, 6925 markings/sec, 45 secs
lola: 545872 markings, 750967 edges, 10147 markings/sec, 50 secs
lola: 594433 markings, 814082 edges, 9712 markings/sec, 55 secs
lola: 657571 markings, 893625 edges, 12628 markings/sec, 60 secs
lola: 719556 markings, 969892 edges, 12397 markings/sec, 65 secs
lola: 778665 markings, 1044064 edges, 11822 markings/sec, 70 secs
lola: 834029 markings, 1116709 edges, 11073 markings/sec, 75 secs
lola: 879005 markings, 1189119 edges, 8995 markings/sec, 80 secs
lola: 917481 markings, 1251468 edges, 7695 markings/sec, 85 secs
lola: 954146 markings, 1312575 edges, 7333 markings/sec, 90 secs
lola: 988582 markings, 1375882 edges, 6887 markings/sec, 95 secs
lola: 1037735 markings, 1440021 edges, 9831 markings/sec, 100 secs
lola: 1086487 markings, 1501057 edges, 9750 markings/sec, 105 secs
lola: 1147791 markings, 1580353 edges, 12261 markings/sec, 110 secs
lola: 1209867 markings, 1656748 edges, 12415 markings/sec, 115 secs
lola: 1268848 markings, 1730620 edges, 11796 markings/sec, 120 secs
lola: 1324510 markings, 1802961 edges, 11132 markings/sec, 125 secs
lola: 1370921 markings, 1876235 edges, 9282 markings/sec, 130 secs
lola: 1409487 markings, 1938671 edges, 7713 markings/sec, 135 secs
lola: 1446323 markings, 1999832 edges, 7367 markings/sec, 140 secs
lola: 1480842 markings, 2061567 edges, 6904 markings/sec, 145 secs
lola: 1527579 markings, 2126824 edges, 9347 markings/sec, 150 secs
lola: 1576455 markings, 2186968 edges, 9775 markings/sec, 155 secs
lola: 1636051 markings, 2265156 edges, 11919 markings/sec, 160 secs
lola: 1698113 markings, 2341452 edges, 12412 markings/sec, 165 secs
lola: 1757315 markings, 2415529 edges, 11840 markings/sec, 170 secs
lola: 1812924 markings, 2488019 edges, 11122 markings/sec, 175 secs
lola: 1858991 markings, 2561150 edges, 9213 markings/sec, 180 secs
lola: 1897530 markings, 2623570 edges, 7708 markings/sec, 185 secs
lola: 1934182 markings, 2684644 edges, 7330 markings/sec, 190 secs
lola: 1968808 markings, 2748189 edges, 6925 markings/sec, 195 secs
lola: 2017426 markings, 2811909 edges, 9724 markings/sec, 200 secs
lola: 2065713 markings, 2872956 edges, 9657 markings/sec, 205 secs
lola: 2127209 markings, 2952042 edges, 12299 markings/sec, 210 secs
lola: 2188523 markings, 3027678 edges, 12263 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(p832)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 19865 markings, 47801 edges, 3973 markings/sec, 0 secs
lola: 41977 markings, 96400 edges, 4422 markings/sec, 5 secs
lola: 64462 markings, 143195 edges, 4497 markings/sec, 10 secs
lola: 86940 markings, 189682 edges, 4496 markings/sec, 15 secs
lola: 109062 markings, 235326 edges, 4424 markings/sec, 20 secs
lola: 131361 markings, 281339 edges, 4460 markings/sec, 25 secs
lola: 153740 markings, 327637 edges, 4476 markings/sec, 30 secs
lola: 175737 markings, 373115 edges, 4399 markings/sec, 35 secs
lola: 197801 markings, 418632 edges, 4413 markings/sec, 40 secs
lola: 219945 markings, 464392 edges, 4429 markings/sec, 45 secs
lola: 242070 markings, 510172 edges, 4425 markings/sec, 50 secs
lola: 263999 markings, 555570 edges, 4386 markings/sec, 55 secs
lola: 285378 markings, 599728 edges, 4276 markings/sec, 60 secs
lola: 307172 markings, 644774 edges, 4359 markings/sec, 65 secs
lola: 328973 markings, 689854 edges, 4360 markings/sec, 70 secs
lola: 350835 markings, 735120 edges, 4372 markings/sec, 75 secs
lola: 372571 markings, 780133 edges, 4347 markings/sec, 80 secs
lola: 394228 markings, 824987 edges, 4331 markings/sec, 85 secs
lola: 415818 markings, 869714 edges, 4318 markings/sec, 90 secs
lola: 437335 markings, 914293 edges, 4303 markings/sec, 95 secs
lola: 458785 markings, 958739 edges, 4290 markings/sec, 100 secs
lola: 480169 markings, 1003052 edges, 4277 markings/sec, 105 secs
lola: 501502 markings, 1047254 edges, 4267 markings/sec, 110 secs
lola: 522762 markings, 1091324 edges, 4252 markings/sec, 115 secs
lola: 543931 markings, 1135222 edges, 4234 markings/sec, 120 secs
lola: 564935 markings, 1178808 edges, 4201 markings/sec, 125 secs
lola: 586067 markings, 1222699 edges, 4226 markings/sec, 130 secs
lola: 607106 markings, 1266417 edges, 4208 markings/sec, 135 secs
lola: 628139 markings, 1310137 edges, 4207 markings/sec, 140 secs
lola: 649184 markings, 1353821 edges, 4209 markings/sec, 145 secs
lola: 670357 markings, 1397879 edges, 4235 markings/sec, 150 secs
lola: 691892 markings, 1442664 edges, 4307 markings/sec, 155 secs
lola: 713208 markings, 1487049 edges, 4263 markings/sec, 160 secs
lola: 734577 markings, 1531525 edges, 4274 markings/sec, 165 secs
lola: 755846 markings, 1575964 edges, 4254 markings/sec, 170 secs
lola: 776917 markings, 1619832 edges, 4214 markings/sec, 175 secs
lola: 797928 markings, 1663684 edges, 4202 markings/sec, 180 secs
lola: 819001 markings, 1707681 edges, 4215 markings/sec, 185 secs
lola: 839903 markings, 1751412 edges, 4180 markings/sec, 190 secs
lola: 860721 markings, 1794963 edges, 4164 markings/sec, 195 secs
lola: 881418 markings, 1838279 edges, 4139 markings/sec, 200 secs
lola: 902040 markings, 1881587 edges, 4124 markings/sec, 205 secs
lola: 922628 markings, 1924890 edges, 4118 markings/sec, 210 secs
lola: 943025 markings, 1967746 edges, 4079 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(p1094)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 17657 markings, 46561 edges, 3531 markings/sec, 0 secs
lola: 35352 markings, 91752 edges, 3539 markings/sec, 5 secs
lola: 53719 markings, 135442 edges, 3673 markings/sec, 10 secs
lola: 72318 markings, 178393 edges, 3720 markings/sec, 15 secs
lola: 91236 markings, 222798 edges, 3784 markings/sec, 20 secs
lola: 110512 markings, 267516 edges, 3855 markings/sec, 25 secs
lola: 129595 markings, 312049 edges, 3817 markings/sec, 30 secs
lola: 148814 markings, 356668 edges, 3844 markings/sec, 35 secs
lola: 167848 markings, 401105 edges, 3807 markings/sec, 40 secs
lola: 187158 markings, 445676 edges, 3862 markings/sec, 45 secs
lola: 206087 markings, 490115 edges, 3786 markings/sec, 50 secs
lola: 225506 markings, 535057 edges, 3884 markings/sec, 55 secs
lola: 244698 markings, 579980 edges, 3838 markings/sec, 60 secs
lola: 263937 markings, 624721 edges, 3848 markings/sec, 65 secs
lola: 283140 markings, 669445 edges, 3841 markings/sec, 70 secs
lola: 302017 markings, 713522 edges, 3775 markings/sec, 75 secs
lola: 321300 markings, 758254 edges, 3857 markings/sec, 80 secs
lola: 340455 markings, 802976 edges, 3831 markings/sec, 85 secs
lola: 359570 markings, 847591 edges, 3823 markings/sec, 90 secs
lola: 378702 markings, 892074 edges, 3826 markings/sec, 95 secs
lola: 397862 markings, 936551 edges, 3832 markings/sec, 100 secs
lola: 416827 markings, 980981 edges, 3793 markings/sec, 105 secs
lola: 435772 markings, 1025218 edges, 3789 markings/sec, 110 secs
lola: 454747 markings, 1069380 edges, 3795 markings/sec, 115 secs
lola: 473733 markings, 1113550 edges, 3797 markings/sec, 120 secs
lola: 492669 markings, 1157601 edges, 3787 markings/sec, 125 secs
lola: 511443 markings, 1201572 edges, 3755 markings/sec, 130 secs
lola: 530259 markings, 1245495 edges, 3763 markings/sec, 135 secs
lola: 549024 markings, 1289320 edges, 3753 markings/sec, 140 secs
lola: 567758 markings, 1333039 edges, 3747 markings/sec, 145 secs
lola: 586461 markings, 1376681 edges, 3741 markings/sec, 150 secs
lola: 605134 markings, 1420269 edges, 3735 markings/sec, 155 secs
lola: 623763 markings, 1463784 edges, 3726 markings/sec, 160 secs
lola: 642372 markings, 1507200 edges, 3722 markings/sec, 165 secs
lola: 660928 markings, 1550517 edges, 3711 markings/sec, 170 secs
lola: 679511 markings, 1593816 edges, 3717 markings/sec, 175 secs
lola: 697921 markings, 1636939 edges, 3682 markings/sec, 180 secs
lola: 716290 markings, 1679997 edges, 3674 markings/sec, 185 secs
lola: 734742 markings, 1723074 edges, 3690 markings/sec, 190 secs
lola: 753129 markings, 1765996 edges, 3677 markings/sec, 195 secs
lola: 771349 markings, 1808773 edges, 3644 markings/sec, 200 secs
lola: 789727 markings, 1851614 edges, 3676 markings/sec, 205 secs
lola: 807832 markings, 1894186 edges, 3621 markings/sec, 210 secs
lola: 826062 markings, 1936770 edges, 3646 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(p248)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 27037 markings, 30635 edges, 5407 markings/sec, 0 secs
lola: 53854 markings, 61781 edges, 5363 markings/sec, 5 secs
lola: 79817 markings, 92817 edges, 5193 markings/sec, 10 secs
lola: 102918 markings, 132016 edges, 4620 markings/sec, 15 secs
lola: 118970 markings, 169214 edges, 3210 markings/sec, 20 secs
lola: 135448 markings, 212265 edges, 3296 markings/sec, 25 secs
lola: 151430 markings, 249697 edges, 3196 markings/sec, 30 secs
lola: 171841 markings, 291954 edges, 4082 markings/sec, 35 secs
lola: 194047 markings, 327198 edges, 4441 markings/sec, 40 secs
lola: 216199 markings, 362723 edges, 4430 markings/sec, 45 secs
lola: 238268 markings, 398076 edges, 4414 markings/sec, 50 secs
lola: 260239 markings, 433200 edges, 4394 markings/sec, 55 secs
lola: 281857 markings, 468412 edges, 4324 markings/sec, 60 secs
lola: 303216 markings, 503225 edges, 4272 markings/sec, 65 secs
lola: 324689 markings, 538279 edges, 4295 markings/sec, 70 secs
lola: 345693 markings, 572841 edges, 4201 markings/sec, 75 secs
lola: 366540 markings, 607501 edges, 4169 markings/sec, 80 secs
lola: 387174 markings, 642411 edges, 4127 markings/sec, 85 secs
lola: 407483 markings, 677466 edges, 4062 markings/sec, 90 secs
lola: 431601 markings, 721284 edges, 4824 markings/sec, 95 secs
lola: 463747 markings, 795801 edges, 6429 markings/sec, 100 secs
lola: 489266 markings, 852374 edges, 5104 markings/sec, 105 secs
lola: 514274 markings, 908415 edges, 5002 markings/sec, 110 secs
lola: 538532 markings, 963759 edges, 4852 markings/sec, 115 secs
lola: 561285 markings, 1017164 edges, 4551 markings/sec, 120 secs
lola: 582752 markings, 1070276 edges, 4293 markings/sec, 125 secs
lola: 603275 markings, 1131776 edges, 4105 markings/sec, 130 secs
lola: 649442 markings, 1188816 edges, 9233 markings/sec, 135 secs
lola: 693999 markings, 1241959 edges, 8911 markings/sec, 140 secs
lola: 725454 markings, 1312353 edges, 6291 markings/sec, 145 secs
lola: 753898 markings, 1383232 edges, 5689 markings/sec, 150 secs
lola: 790055 markings, 1451728 edges, 7231 markings/sec, 155 secs
lola: 828723 markings, 1513392 edges, 7734 markings/sec, 160 secs
lola: 867395 markings, 1575492 edges, 7734 markings/sec, 165 secs
lola: 905797 markings, 1637876 edges, 7680 markings/sec, 170 secs
lola: 942170 markings, 1697570 edges, 7275 markings/sec, 175 secs
lola: 977630 markings, 1756444 edges, 7092 markings/sec, 180 secs
lola: 1012236 markings, 1815967 edges, 6921 markings/sec, 185 secs
lola: 1045711 markings, 1877937 edges, 6695 markings/sec, 190 secs
lola: 1074081 markings, 1947063 edges, 5674 markings/sec, 195 secs
lola: 1098374 markings, 2001145 edges, 4859 markings/sec, 200 secs
lola: 1122220 markings, 2054712 edges, 4769 markings/sec, 205 secs
lola: 1145394 markings, 2107470 edges, 4635 markings/sec, 210 secs
lola: 1166868 markings, 2158285 edges, 4295 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(p738)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 18185 markings, 47025 edges, 3637 markings/sec, 0 secs
lola: 36077 markings, 93020 edges, 3578 markings/sec, 5 secs
lola: 55606 markings, 136877 edges, 3906 markings/sec, 10 secs
lola: 75178 markings, 180707 edges, 3914 markings/sec, 15 secs
lola: 94543 markings, 224456 edges, 3873 markings/sec, 20 secs
lola: 113931 markings, 268152 edges, 3878 markings/sec, 25 secs
lola: 133281 markings, 311717 edges, 3870 markings/sec, 30 secs
lola: 152683 markings, 355350 edges, 3880 markings/sec, 35 secs
lola: 172128 markings, 399025 edges, 3889 markings/sec, 40 secs
lola: 191514 markings, 442612 edges, 3877 markings/sec, 45 secs
lola: 210864 markings, 486106 edges, 3870 markings/sec, 50 secs
lola: 230175 markings, 529557 edges, 3862 markings/sec, 55 secs
lola: 249360 markings, 572859 edges, 3837 markings/sec, 60 secs
lola: 268519 markings, 616130 edges, 3832 markings/sec, 65 secs
lola: 287759 markings, 659356 edges, 3848 markings/sec, 70 secs
lola: 306946 markings, 702511 edges, 3837 markings/sec, 75 secs
lola: 326006 markings, 745518 edges, 3812 markings/sec, 80 secs
lola: 345017 markings, 788432 edges, 3802 markings/sec, 85 secs
lola: 363969 markings, 831237 edges, 3790 markings/sec, 90 secs
lola: 382855 markings, 873938 edges, 3777 markings/sec, 95 secs
lola: 401838 markings, 916703 edges, 3797 markings/sec, 100 secs
lola: 420760 markings, 959325 edges, 3784 markings/sec, 105 secs
lola: 439634 markings, 1001835 edges, 3775 markings/sec, 110 secs
lola: 458314 markings, 1044147 edges, 3736 markings/sec, 115 secs
lola: 477096 markings, 1086505 edges, 3756 markings/sec, 120 secs
lola: 495801 markings, 1128638 edges, 3741 markings/sec, 125 secs
lola: 514292 markings, 1170564 edges, 3698 markings/sec, 130 secs
lola: 532974 markings, 1212563 edges, 3736 markings/sec, 135 secs
lola: 551372 markings, 1254378 edges, 3680 markings/sec, 140 secs
lola: 570543 markings, 1297590 edges, 3834 markings/sec, 145 secs
lola: 589680 markings, 1340840 edges, 3827 markings/sec, 150 secs
lola: 608686 markings, 1383929 edges, 3801 markings/sec, 155 secs
lola: 627679 markings, 1426957 edges, 3799 markings/sec, 160 secs
lola: 646591 markings, 1469797 edges, 3782 markings/sec, 165 secs
lola: 665719 markings, 1513120 edges, 3826 markings/sec, 170 secs
lola: 684850 markings, 1556419 edges, 3826 markings/sec, 175 secs
lola: 703723 markings, 1599321 edges, 3775 markings/sec, 180 secs
lola: 722516 markings, 1642013 edges, 3759 markings/sec, 185 secs
lola: 741208 markings, 1684495 edges, 3738 markings/sec, 190 secs
lola: 759906 markings, 1726987 edges, 3740 markings/sec, 195 secs
lola: 778249 markings, 1768749 edges, 3669 markings/sec, 200 secs
lola: 796023 markings, 1809316 edges, 3555 markings/sec, 205 secs
lola: 813679 markings, 1849714 edges, 3531 markings/sec, 210 secs
lola: 831342 markings, 1890095 edges, 3533 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(p831)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 20390 markings, 32988 edges, 4078 markings/sec, 0 secs
lola: 39705 markings, 75647 edges, 3863 markings/sec, 5 secs
lola: 59078 markings, 118434 edges, 3875 markings/sec, 10 secs
lola: 78544 markings, 157495 edges, 3893 markings/sec, 15 secs
lola: 98036 markings, 192844 edges, 3898 markings/sec, 20 secs
lola: 117094 markings, 235001 edges, 3812 markings/sec, 25 secs
lola: 136209 markings, 277218 edges, 3823 markings/sec, 30 secs
lola: 156012 markings, 312738 edges, 3961 markings/sec, 35 secs
lola: 174964 markings, 351253 edges, 3790 markings/sec, 40 secs
lola: 194077 markings, 393387 edges, 3823 markings/sec, 45 secs
lola: 213261 markings, 433259 edges, 3837 markings/sec, 50 secs
lola: 232918 markings, 467526 edges, 3931 markings/sec, 55 secs
lola: 251768 markings, 509141 edges, 3770 markings/sec, 60 secs
lola: 270848 markings, 551188 edges, 3816 markings/sec, 65 secs
lola: 290071 markings, 590318 edges, 3845 markings/sec, 70 secs
lola: 309595 markings, 624985 edges, 3905 markings/sec, 75 secs
lola: 328390 markings, 666497 edges, 3759 markings/sec, 80 secs
lola: 347441 markings, 708349 edges, 3810 markings/sec, 85 secs
lola: 366601 markings, 747597 edges, 3832 markings/sec, 90 secs
lola: 386137 markings, 782051 edges, 3907 markings/sec, 95 secs
lola: 404898 markings, 823350 edges, 3752 markings/sec, 100 secs
lola: 423917 markings, 865072 edges, 3804 markings/sec, 105 secs
lola: 442906 markings, 905437 edges, 3798 markings/sec, 110 secs
lola: 462428 markings, 943741 edges, 3904 markings/sec, 115 secs
lola: 481393 markings, 979906 edges, 3793 markings/sec, 120 secs
lola: 500218 markings, 1021166 edges, 3765 markings/sec, 125 secs
lola: 519168 markings, 1062638 edges, 3790 markings/sec, 130 secs
lola: 538249 markings, 1101742 edges, 3816 markings/sec, 135 secs
lola: 557705 markings, 1135795 edges, 3891 markings/sec, 140 secs
lola: 576461 markings, 1176897 edges, 3751 markings/sec, 145 secs
lola: 595241 markings, 1218022 edges, 3756 markings/sec, 150 secs
lola: 614149 markings, 1259277 edges, 3782 markings/sec, 155 secs
lola: 633126 markings, 1298696 edges, 3795 markings/sec, 160 secs
lola: 652433 markings, 1337375 edges, 3861 markings/sec, 165 secs
lola: 671360 markings, 1373164 edges, 3785 markings/sec, 170 secs
lola: 690029 markings, 1413911 edges, 3734 markings/sec, 175 secs
lola: 708872 markings, 1454985 edges, 3769 markings/sec, 180 secs
lola: 727720 markings, 1495969 edges, 3770 markings/sec, 185 secs
lola: 746652 markings, 1534965 edges, 3786 markings/sec, 190 secs
lola: 765819 markings, 1573964 edges, 3833 markings/sec, 195 secs
lola: 784676 markings, 1609112 edges, 3771 markings/sec, 200 secs
lola: 803198 markings, 1649517 edges, 3704 markings/sec, 205 secs
lola: 821721 markings, 1689843 edges, 3705 markings/sec, 210 secs
lola: 840346 markings, 1730394 edges, 3725 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p832)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 12313 markings, 30632 edges, 2463 markings/sec, 0 secs
lola: 24746 markings, 58953 edges, 2487 markings/sec, 5 secs
lola: 37230 markings, 85542 edges, 2497 markings/sec, 10 secs
lola: 49718 markings, 112831 edges, 2498 markings/sec, 15 secs
lola: 62333 markings, 138836 edges, 2523 markings/sec, 20 secs
lola: 74849 markings, 164703 edges, 2503 markings/sec, 25 secs
lola: 87383 markings, 190585 edges, 2507 markings/sec, 30 secs
lola: 99883 markings, 216412 edges, 2500 markings/sec, 35 secs
lola: 115156 markings, 247925 edges, 3055 markings/sec, 40 secs
lola: 137035 markings, 293153 edges, 4376 markings/sec, 45 secs
lola: 158957 markings, 338349 edges, 4384 markings/sec, 50 secs
lola: 181850 markings, 385660 edges, 4579 markings/sec, 55 secs
lola: 204821 markings, 433169 edges, 4594 markings/sec, 60 secs
lola: 227614 markings, 480327 edges, 4559 markings/sec, 65 secs
lola: 250265 markings, 527144 edges, 4530 markings/sec, 70 secs
lola: 272954 markings, 574029 edges, 4538 markings/sec, 75 secs
lola: 295606 markings, 620849 edges, 4530 markings/sec, 80 secs
lola: 318162 markings, 667495 edges, 4511 markings/sec, 85 secs
lola: 340685 markings, 714083 edges, 4505 markings/sec, 90 secs
lola: 363258 markings, 760812 edges, 4515 markings/sec, 95 secs
lola: 385739 markings, 807338 edges, 4496 markings/sec, 100 secs
lola: 408381 markings, 854238 edges, 4528 markings/sec, 105 secs
lola: 430948 markings, 900981 edges, 4513 markings/sec, 110 secs
lola: 453515 markings, 947751 edges, 4513 markings/sec, 115 secs
lola: 475994 markings, 994366 edges, 4496 markings/sec, 120 secs
lola: 498415 markings, 1040868 edges, 4484 markings/sec, 125 secs
lola: 520826 markings, 1087369 edges, 4482 markings/sec, 130 secs
lola: 543070 markings, 1133462 edges, 4449 markings/sec, 135 secs
lola: 565080 markings, 1179107 edges, 4402 markings/sec, 140 secs
lola: 587246 markings, 1225164 edges, 4433 markings/sec, 145 secs
lola: 609371 markings, 1271138 edges, 4425 markings/sec, 150 secs
lola: 631178 markings, 1316375 edges, 4361 markings/sec, 155 secs
lola: 653122 markings, 1362044 edges, 4389 markings/sec, 160 secs
lola: 674967 markings, 1407436 edges, 4369 markings/sec, 165 secs
lola: 696657 markings, 1452599 edges, 4338 markings/sec, 170 secs
lola: 718314 markings, 1497642 edges, 4331 markings/sec, 175 secs
lola: 739926 markings, 1542781 edges, 4322 markings/sec, 180 secs
lola: 761350 markings, 1587365 edges, 4285 markings/sec, 185 secs
lola: 782716 markings, 1631908 edges, 4273 markings/sec, 190 secs
lola: 804098 markings, 1676551 edges, 4276 markings/sec, 195 secs
lola: 825306 markings, 1720900 edges, 4242 markings/sec, 200 secs
lola: 846426 markings, 1765072 edges, 4224 markings/sec, 205 secs
lola: 867452 markings, 1809056 edges, 4205 markings/sec, 210 secs
lola: 888326 markings, 1852824 edges, 4175 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p835)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 39935 markings, 61904 edges, 7987 markings/sec, 0 secs
lola: 79670 markings, 124147 edges, 7947 markings/sec, 5 secs
lola: 118671 markings, 186242 edges, 7800 markings/sec, 10 secs
lola: 157530 markings, 249452 edges, 7772 markings/sec, 15 secs
lola: 196094 markings, 314203 edges, 7713 markings/sec, 20 secs
lola: 233019 markings, 381333 edges, 7385 markings/sec, 25 secs
lola: 275340 markings, 462553 edges, 8464 markings/sec, 30 secs
lola: 324528 markings, 537953 edges, 9838 markings/sec, 35 secs
lola: 373319 markings, 612803 edges, 9758 markings/sec, 40 secs
lola: 421313 markings, 686861 edges, 9599 markings/sec, 45 secs
lola: 467638 markings, 758989 edges, 9265 markings/sec, 50 secs
lola: 514231 markings, 831469 edges, 9319 markings/sec, 55 secs
lola: 559411 markings, 902599 edges, 9036 markings/sec, 60 secs
lola: 603696 markings, 973335 edges, 8857 markings/sec, 65 secs
lola: 647038 markings, 1043958 edges, 8668 markings/sec, 70 secs
lola: 690045 markings, 1116383 edges, 8601 markings/sec, 75 secs
lola: 731286 markings, 1197046 edges, 8248 markings/sec, 80 secs
lola: 764305 markings, 1269227 edges, 6604 markings/sec, 85 secs
lola: 796983 markings, 1337402 edges, 6536 markings/sec, 90 secs
lola: 829219 markings, 1404956 edges, 6447 markings/sec, 95 secs
lola: 860471 markings, 1471611 edges, 6250 markings/sec, 100 secs
lola: 891228 markings, 1537893 edges, 6151 markings/sec, 105 secs
lola: 921215 markings, 1603690 edges, 5997 markings/sec, 110 secs
lola: 950388 markings, 1669780 edges, 5835 markings/sec, 115 secs
lola: 978231 markings, 1737218 edges, 5569 markings/sec, 120 secs
lola: 1011601 markings, 1814643 edges, 6674 markings/sec, 125 secs
lola: 1051617 markings, 1877082 edges, 8003 markings/sec, 130 secs
lola: 1091333 markings, 1939801 edges, 7943 markings/sec, 135 secs
lola: 1131204 markings, 2003777 edges, 7974 markings/sec, 140 secs
lola: 1170818 markings, 2069059 edges, 7923 markings/sec, 145 secs
lola: 1209016 markings, 2135261 edges, 7640 markings/sec, 150 secs
lola: 1245623 markings, 2213651 edges, 7321 markings/sec, 155 secs
lola: 1294340 markings, 2288385 edges, 9743 markings/sec, 160 secs
lola: 1343771 markings, 2363890 edges, 9886 markings/sec, 165 secs
lola: 1392409 markings, 2439063 edges, 9728 markings/sec, 170 secs
lola: 1439065 markings, 2511117 edges, 9331 markings/sec, 175 secs
lola: 1485725 markings, 2583744 edges, 9332 markings/sec, 180 secs
lola: 1531958 markings, 2656534 edges, 9247 markings/sec, 185 secs
lola: 1577579 markings, 2728652 edges, 9124 markings/sec, 190 secs
lola: 1622024 markings, 2800388 edges, 8889 markings/sec, 195 secs
lola: 1664760 markings, 2871107 edges, 8547 markings/sec, 200 secs
lola: 1706327 markings, 2944214 edges, 8313 markings/sec, 205 secs
lola: 1741351 markings, 3022298 edges, 7005 markings/sec, 210 secs
lola: 1774309 markings, 3090419 edges, 6592 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1097)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 17922 markings, 47177 edges, 3584 markings/sec, 0 secs
lola: 36251 markings, 94168 edges, 3666 markings/sec, 5 secs
lola: 55408 markings, 139334 edges, 3831 markings/sec, 10 secs
lola: 73919 markings, 182211 edges, 3702 markings/sec, 15 secs
lola: 92745 markings, 226296 edges, 3765 markings/sec, 20 secs
lola: 111960 markings, 270683 edges, 3843 markings/sec, 25 secs
lola: 130608 markings, 314410 edges, 3730 markings/sec, 30 secs
lola: 149015 markings, 357144 edges, 3681 markings/sec, 35 secs
lola: 167278 markings, 399734 edges, 3653 markings/sec, 40 secs
lola: 186307 markings, 443954 edges, 3806 markings/sec, 45 secs
lola: 205196 markings, 488070 edges, 3778 markings/sec, 50 secs
lola: 223593 markings, 530779 edges, 3679 markings/sec, 55 secs
lola: 242225 markings, 574276 edges, 3726 markings/sec, 60 secs
lola: 260888 markings, 617421 edges, 3733 markings/sec, 65 secs
lola: 277245 markings, 655812 edges, 3271 markings/sec, 70 secs
lola: 294846 markings, 696724 edges, 3520 markings/sec, 75 secs
lola: 310591 markings, 733388 edges, 3149 markings/sec, 80 secs
lola: 327945 markings, 773863 edges, 3471 markings/sec, 85 secs
lola: 345732 markings, 815289 edges, 3557 markings/sec, 90 secs
lola: 364461 markings, 858685 edges, 3746 markings/sec, 95 secs
lola: 383226 markings, 902686 edges, 3753 markings/sec, 100 secs
lola: 401938 markings, 946327 edges, 3742 markings/sec, 105 secs
lola: 420484 markings, 989352 edges, 3709 markings/sec, 110 secs
lola: 439008 markings, 1032691 edges, 3705 markings/sec, 115 secs
lola: 457515 markings, 1075872 edges, 3701 markings/sec, 120 secs
lola: 475990 markings, 1118957 edges, 3695 markings/sec, 125 secs
lola: 494549 markings, 1162117 edges, 3712 markings/sec, 130 secs
lola: 513042 markings, 1205129 edges, 3699 markings/sec, 135 secs
lola: 531383 markings, 1248097 edges, 3668 markings/sec, 140 secs
lola: 549759 markings, 1290996 edges, 3675 markings/sec, 145 secs
lola: 568081 markings, 1333773 edges, 3664 markings/sec, 150 secs
lola: 586372 markings, 1376479 edges, 3658 markings/sec, 155 secs
lola: 604628 markings, 1419103 edges, 3651 markings/sec, 160 secs
lola: 622856 markings, 1461665 edges, 3646 markings/sec, 165 secs
lola: 641057 markings, 1504167 edges, 3640 markings/sec, 170 secs
lola: 659235 markings, 1546618 edges, 3636 markings/sec, 175 secs
lola: 677376 markings, 1588960 edges, 3628 markings/sec, 180 secs
lola: 695458 markings, 1631176 edges, 3616 markings/sec, 185 secs
lola: 713528 markings, 1673376 edges, 3614 markings/sec, 190 secs
lola: 731462 markings, 1715420 edges, 3587 markings/sec, 195 secs
lola: 749449 markings, 1757507 edges, 3597 markings/sec, 200 secs
lola: 767454 markings, 1799468 edges, 3601 markings/sec, 205 secs
lola: 785219 markings, 1841218 edges, 3553 markings/sec, 210 secs
lola: 803106 markings, 1883043 edges, 3577 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p848)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 12418 markings, 28453 edges, 2484 markings/sec, 0 secs
lola: 24901 markings, 55041 edges, 2497 markings/sec, 5 secs
lola: 37406 markings, 82353 edges, 2501 markings/sec, 10 secs
lola: 50042 markings, 108404 edges, 2527 markings/sec, 15 secs
lola: 62610 markings, 134371 edges, 2514 markings/sec, 20 secs
lola: 75128 markings, 160228 edges, 2504 markings/sec, 25 secs
lola: 87636 markings, 186077 edges, 2502 markings/sec, 30 secs
lola: 100101 markings, 211839 edges, 2493 markings/sec, 35 secs
lola: 112448 markings, 237353 edges, 2469 markings/sec, 40 secs
lola: 124916 markings, 263088 edges, 2494 markings/sec, 45 secs
lola: 137374 markings, 288814 edges, 2492 markings/sec, 50 secs
lola: 149802 markings, 314483 edges, 2486 markings/sec, 55 secs
lola: 164601 markings, 345079 edges, 2960 markings/sec, 60 secs
lola: 187746 markings, 392888 edges, 4629 markings/sec, 65 secs
lola: 211009 markings, 440920 edges, 4653 markings/sec, 70 secs
lola: 234204 markings, 488851 edges, 4639 markings/sec, 75 secs
lola: 257379 markings, 536751 edges, 4635 markings/sec, 80 secs
lola: 280594 markings, 584774 edges, 4643 markings/sec, 85 secs
lola: 303667 markings, 632517 edges, 4615 markings/sec, 90 secs
lola: 326670 markings, 680119 edges, 4601 markings/sec, 95 secs
lola: 349594 markings, 727561 edges, 4585 markings/sec, 100 secs
lola: 372429 markings, 774831 edges, 4567 markings/sec, 105 secs
lola: 394943 markings, 821451 edges, 4503 markings/sec, 110 secs
lola: 417360 markings, 867868 edges, 4483 markings/sec, 115 secs
lola: 439653 markings, 914051 edges, 4459 markings/sec, 120 secs
lola: 461932 markings, 960231 edges, 4456 markings/sec, 125 secs
lola: 484186 markings, 1006393 edges, 4451 markings/sec, 130 secs
lola: 506353 markings, 1052383 edges, 4433 markings/sec, 135 secs
lola: 528517 markings, 1098399 edges, 4433 markings/sec, 140 secs
lola: 550506 markings, 1143965 edges, 4398 markings/sec, 145 secs
lola: 572272 markings, 1189119 edges, 4353 markings/sec, 150 secs
lola: 594174 markings, 1234649 edges, 4380 markings/sec, 155 secs
lola: 616026 markings, 1280078 edges, 4370 markings/sec, 160 secs
lola: 637593 markings, 1324856 edges, 4313 markings/sec, 165 secs
lola: 659354 markings, 1370211 edges, 4352 markings/sec, 170 secs
lola: 680855 markings, 1414808 edges, 4300 markings/sec, 175 secs
lola: 702373 markings, 1459743 edges, 4304 markings/sec, 180 secs
lola: 723653 markings, 1503977 edges, 4256 markings/sec, 185 secs
lola: 745056 markings, 1548599 edges, 4281 markings/sec, 190 secs
lola: 766249 markings, 1592792 edges, 4239 markings/sec, 195 secs
lola: 787355 markings, 1636849 edges, 4221 markings/sec, 200 secs
lola: 808357 markings, 1680717 edges, 4200 markings/sec, 205 secs
lola: 829271 markings, 1724449 edges, 4183 markings/sec, 210 secs
lola: 850112 markings, 1768060 edges, 4168 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1098)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 51411 markings, 58922 edges, 10282 markings/sec, 0 secs
lola: 99167 markings, 122563 edges, 9551 markings/sec, 5 secs
lola: 164798 markings, 203641 edges, 13126 markings/sec, 10 secs
lola: 228545 markings, 282200 edges, 12749 markings/sec, 15 secs
lola: 288704 markings, 357976 edges, 12032 markings/sec, 20 secs
lola: 345368 markings, 433317 edges, 11333 markings/sec, 25 secs
lola: 388834 markings, 504767 edges, 8693 markings/sec, 30 secs
lola: 427203 markings, 567201 edges, 7674 markings/sec, 35 secs
lola: 463760 markings, 628628 edges, 7311 markings/sec, 40 secs
lola: 496365 markings, 693274 edges, 6521 markings/sec, 45 secs
lola: 549928 markings, 755726 edges, 10713 markings/sec, 50 secs
lola: 602123 markings, 826027 edges, 10439 markings/sec, 55 secs
lola: 671615 markings, 910812 edges, 13898 markings/sec, 60 secs
lola: 738443 markings, 993390 edges, 13366 markings/sec, 65 secs
lola: 801925 markings, 1073948 edges, 12696 markings/sec, 70 secs
lola: 859983 markings, 1158888 edges, 11612 markings/sec, 75 secs
lola: 901676 markings, 1225630 edges, 8339 markings/sec, 80 secs
lola: 941614 markings, 1291397 edges, 7988 markings/sec, 85 secs
lola: 979551 markings, 1357742 edges, 7587 markings/sec, 90 secs
lola: 1027047 markings, 1427639 edges, 9499 markings/sec, 95 secs
lola: 1079102 markings, 1490699 edges, 10411 markings/sec, 100 secs
lola: 1142791 markings, 1574324 edges, 12738 markings/sec, 105 secs
lola: 1210778 markings, 1657859 edges, 13597 markings/sec, 110 secs
lola: 1275685 markings, 1739233 edges, 12981 markings/sec, 115 secs
lola: 1336544 markings, 1819678 edges, 12172 markings/sec, 120 secs
lola: 1382672 markings, 1895238 edges, 9226 markings/sec, 125 secs
lola: 1423378 markings, 1961441 edges, 8141 markings/sec, 130 secs
lola: 1462061 markings, 2026957 edges, 7737 markings/sec, 135 secs
lola: 1503046 markings, 2098691 edges, 8197 markings/sec, 140 secs
lola: 1555988 markings, 2160572 edges, 10588 markings/sec, 145 secs
lola: 1613305 markings, 2237260 edges, 11463 markings/sec, 150 secs
lola: 1681953 markings, 2321447 edges, 13730 markings/sec, 155 secs
lola: 1747647 markings, 2403296 edges, 13139 markings/sec, 160 secs
lola: 1809884 markings, 2483856 edges, 12447 markings/sec, 165 secs
lola: 1860270 markings, 2563254 edges, 10077 markings/sec, 170 secs
lola: 1901237 markings, 2629673 edges, 8193 markings/sec, 175 secs
lola: 1940376 markings, 2695302 edges, 7828 markings/sec, 180 secs
lola: 1979504 markings, 2768436 edges, 7826 markings/sec, 185 secs
lola: 2033064 markings, 2830447 edges, 10712 markings/sec, 190 secs
lola: 2088241 markings, 2904456 edges, 11035 markings/sec, 195 secs
lola: 2157208 markings, 2988891 edges, 13793 markings/sec, 200 secs
lola: 2223405 markings, 3071166 edges, 13239 markings/sec, 205 secs
lola: 2286112 markings, 3151761 edges, 12541 markings/sec, 210 secs
lola: 2339147 markings, 3233321 edges, 10607 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p831)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 21305 markings, 39759 edges, 4261 markings/sec, 0 secs
lola: 41608 markings, 78738 edges, 4061 markings/sec, 5 secs
lola: 61730 markings, 122706 edges, 4024 markings/sec, 10 secs
lola: 81678 markings, 165154 edges, 3990 markings/sec, 15 secs
lola: 102393 markings, 199896 edges, 4143 markings/sec, 20 secs
lola: 122121 markings, 243163 edges, 3946 markings/sec, 25 secs
lola: 141988 markings, 286619 edges, 3973 markings/sec, 30 secs
lola: 161878 markings, 328721 edges, 3978 markings/sec, 35 secs
lola: 182433 markings, 367435 edges, 4111 markings/sec, 40 secs
lola: 202178 markings, 406511 edges, 3949 markings/sec, 45 secs
lola: 222022 markings, 449839 edges, 3969 markings/sec, 50 secs
lola: 241845 markings, 493054 edges, 3965 markings/sec, 55 secs
lola: 262168 markings, 532195 edges, 4065 markings/sec, 60 secs
lola: 282136 markings, 569480 edges, 3994 markings/sec, 65 secs
lola: 301799 markings, 612351 edges, 3933 markings/sec, 70 secs
lola: 321603 markings, 655519 edges, 3961 markings/sec, 75 secs
lola: 341550 markings, 696214 edges, 3989 markings/sec, 80 secs
lola: 361919 markings, 731820 edges, 4074 markings/sec, 85 secs
lola: 381690 markings, 774798 edges, 3954 markings/sec, 90 secs
lola: 401636 markings, 818053 edges, 3989 markings/sec, 95 secs
lola: 421668 markings, 861391 edges, 4006 markings/sec, 100 secs
lola: 441785 markings, 902706 edges, 4023 markings/sec, 105 secs
lola: 462252 markings, 943317 edges, 4093 markings/sec, 110 secs
lola: 482267 markings, 981293 edges, 4003 markings/sec, 115 secs
lola: 502061 markings, 1024132 edges, 3959 markings/sec, 120 secs
lola: 522047 markings, 1067330 edges, 3997 markings/sec, 125 secs
lola: 542005 markings, 1110359 edges, 3992 markings/sec, 130 secs
lola: 562092 markings, 1151063 edges, 4017 markings/sec, 135 secs
lola: 582433 markings, 1192042 edges, 4068 markings/sec, 140 secs
lola: 602423 markings, 1229619 edges, 3998 markings/sec, 145 secs
lola: 622200 markings, 1272319 edges, 3955 markings/sec, 150 secs
lola: 642037 markings, 1315055 edges, 3967 markings/sec, 155 secs
lola: 661944 markings, 1357903 edges, 3981 markings/sec, 160 secs
lola: 681821 markings, 1400627 edges, 3975 markings/sec, 165 secs
lola: 701797 markings, 1441457 edges, 3995 markings/sec, 170 secs
lola: 721919 markings, 1482570 edges, 4024 markings/sec, 175 secs
lola: 742074 markings, 1519225 edges, 4031 markings/sec, 180 secs
lola: 761840 markings, 1561707 edges, 3953 markings/sec, 185 secs
lola: 781566 markings, 1604059 edges, 3945 markings/sec, 190 secs
lola: 801283 markings, 1646401 edges, 3943 markings/sec, 195 secs
lola: 821070 markings, 1688805 edges, 3957 markings/sec, 200 secs
lola: 839806 markings, 1729516 edges, 3747 markings/sec, 205 secs
lola: 859216 markings, 1771191 edges, 3882 markings/sec, 210 secs
lola: 877888 markings, 1810026 edges, 3734 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p331)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 58717 markings, 67535 edges, 11743 markings/sec, 0 secs
lola: 119260 markings, 148100 edges, 12109 markings/sec, 5 secs
lola: 197801 markings, 244162 edges, 15708 markings/sec, 10 secs
lola: 271705 markings, 336332 edges, 14781 markings/sec, 15 secs
lola: 339491 markings, 424935 edges, 13557 markings/sec, 20 secs
lola: 389894 markings, 506564 edges, 10081 markings/sec, 25 secs
lola: 432971 markings, 576759 edges, 8615 markings/sec, 30 secs
lola: 473371 markings, 645429 edges, 8080 markings/sec, 35 secs
lola: 519564 markings, 720510 edges, 9239 markings/sec, 40 secs
lola: 576943 markings, 788775 edges, 11476 markings/sec, 45 secs
lola: 647018 markings, 880613 edges, 14015 markings/sec, 50 secs
lola: 724297 markings, 975780 edges, 15456 markings/sec, 55 secs
lola: 796226 markings, 1066587 edges, 14386 markings/sec, 60 secs
lola: 860085 markings, 1159040 edges, 12772 markings/sec, 65 secs
lola: 904713 markings, 1230589 edges, 8926 markings/sec, 70 secs
lola: 946727 markings, 1299962 edges, 8403 markings/sec, 75 secs
lola: 985700 markings, 1369806 edges, 7795 markings/sec, 80 secs
lola: 1040475 markings, 1443217 edges, 10955 markings/sec, 85 secs
lola: 1096534 markings, 1517855 edges, 11212 markings/sec, 90 secs
lola: 1176156 markings, 1615141 edges, 15924 markings/sec, 95 secs
lola: 1251205 markings, 1708321 edges, 15010 markings/sec, 100 secs
lola: 1320452 markings, 1797508 edges, 13849 markings/sec, 105 secs
lola: 1374344 markings, 1881793 edges, 10778 markings/sec, 110 secs
lola: 1418019 markings, 1952537 edges, 8735 markings/sec, 115 secs
lola: 1458913 markings, 2021435 edges, 8179 markings/sec, 120 secs
lola: 1501283 markings, 2096722 edges, 8474 markings/sec, 125 secs
lola: 1559119 markings, 2164467 edges, 11567 markings/sec, 130 secs
lola: 1625605 markings, 2252267 edges, 13297 markings/sec, 135 secs
lola: 1703137 markings, 2347639 edges, 15506 markings/sec, 140 secs
lola: 1775661 markings, 2439045 edges, 14505 markings/sec, 145 secs
lola: 1841450 markings, 2533022 edges, 13158 markings/sec, 150 secs
lola: 1885745 markings, 2604310 edges, 8859 markings/sec, 155 secs
lola: 1927839 markings, 2673788 edges, 8419 markings/sec, 160 secs
lola: 1966842 markings, 2743975 edges, 7801 markings/sec, 165 secs
lola: 2021795 markings, 2817010 edges, 10991 markings/sec, 170 secs
lola: 2079116 markings, 2893391 edges, 11464 markings/sec, 175 secs
lola: 2158036 markings, 2989926 edges, 15784 markings/sec, 180 secs
lola: 2232323 markings, 3082503 edges, 14857 markings/sec, 185 secs
lola: 2301116 markings, 3172002 edges, 13759 markings/sec, 190 secs
lola: 2352572 markings, 3254753 edges, 10291 markings/sec, 195 secs
lola: 2395565 markings, 3324836 edges, 8599 markings/sec, 200 secs
lola: 2435650 markings, 3393400 edges, 8017 markings/sec, 205 secs
lola: 2482320 markings, 3468001 edges, 9334 markings/sec, 210 secs
lola: 2538616 markings, 3535547 edges, 11259 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p746)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 19736 markings, 47041 edges, 3947 markings/sec, 0 secs
lola: 39237 markings, 93383 edges, 3900 markings/sec, 5 secs
lola: 60189 markings, 139675 edges, 4190 markings/sec, 10 secs
lola: 81134 markings, 185691 edges, 4189 markings/sec, 15 secs
lola: 102227 markings, 232373 edges, 4219 markings/sec, 20 secs
lola: 122943 markings, 278000 edges, 4143 markings/sec, 25 secs
lola: 143937 markings, 324368 edges, 4199 markings/sec, 30 secs
lola: 164607 markings, 370060 edges, 4134 markings/sec, 35 secs
lola: 185281 markings, 415540 edges, 4135 markings/sec, 40 secs
lola: 206178 markings, 461786 edges, 4179 markings/sec, 45 secs
lola: 226690 markings, 507122 edges, 4102 markings/sec, 50 secs
lola: 246422 markings, 550562 edges, 3946 markings/sec, 55 secs
lola: 267202 markings, 596560 edges, 4156 markings/sec, 60 secs
lola: 287614 markings, 641715 edges, 4082 markings/sec, 65 secs
lola: 308116 markings, 686908 edges, 4100 markings/sec, 70 secs
lola: 328631 markings, 732264 edges, 4103 markings/sec, 75 secs
lola: 349156 markings, 777695 edges, 4105 markings/sec, 80 secs
lola: 369490 markings, 822712 edges, 4067 markings/sec, 85 secs
lola: 389720 markings, 867388 edges, 4046 markings/sec, 90 secs
lola: 409960 markings, 912104 edges, 4048 markings/sec, 95 secs
lola: 430143 markings, 956723 edges, 4037 markings/sec, 100 secs
lola: 450377 markings, 1001566 edges, 4047 markings/sec, 105 secs
lola: 470498 markings, 1046126 edges, 4024 markings/sec, 110 secs
lola: 490552 markings, 1090540 edges, 4011 markings/sec, 115 secs
lola: 510540 markings, 1134825 edges, 3998 markings/sec, 120 secs
lola: 530466 markings, 1178991 edges, 3985 markings/sec, 125 secs
lola: 550341 markings, 1223034 edges, 3975 markings/sec, 130 secs
lola: 570156 markings, 1266958 edges, 3963 markings/sec, 135 secs
lola: 589909 markings, 1310727 edges, 3951 markings/sec, 140 secs
lola: 609587 markings, 1354368 edges, 3936 markings/sec, 145 secs
lola: 629164 markings, 1397765 edges, 3915 markings/sec, 150 secs
lola: 648770 markings, 1441342 edges, 3921 markings/sec, 155 secs
lola: 668311 markings, 1484777 edges, 3908 markings/sec, 160 secs
lola: 687844 markings, 1528204 edges, 3907 markings/sec, 165 secs
lola: 707196 markings, 1571148 edges, 3870 markings/sec, 170 secs
lola: 726529 markings, 1614188 edges, 3867 markings/sec, 175 secs
lola: 745872 markings, 1657263 edges, 3869 markings/sec, 180 secs
lola: 765015 markings, 1699840 edges, 3829 markings/sec, 185 secs
lola: 784212 markings, 1742670 edges, 3839 markings/sec, 190 secs
lola: 803235 markings, 1785040 edges, 3805 markings/sec, 195 secs
lola: 822262 markings, 1827465 edges, 3805 markings/sec, 200 secs
lola: 841192 markings, 1869833 edges, 3786 markings/sec, 205 secs
lola: 860009 markings, 1911824 edges, 3763 markings/sec, 210 secs
lola: 878787 markings, 1953822 edges, 3756 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p847 + p846 + p845 + p844 + p843)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 54416 markings, 62396 edges, 10883 markings/sec, 0 secs
lola: 105814 markings, 131799 edges, 10280 markings/sec, 5 secs
lola: 168491 markings, 208122 edges, 12535 markings/sec, 10 secs
lola: 233469 markings, 288357 edges, 12996 markings/sec, 15 secs
lola: 290908 markings, 360747 edges, 11488 markings/sec, 20 secs
lola: 347872 markings, 436937 edges, 11393 markings/sec, 25 secs
lola: 391930 markings, 509741 edges, 8812 markings/sec, 30 secs
lola: 431833 markings, 574865 edges, 7981 markings/sec, 35 secs
lola: 469300 markings, 638297 edges, 7493 markings/sec, 40 secs
lola: 510084 markings, 709778 edges, 8157 markings/sec, 45 secs
lola: 564019 markings, 772634 edges, 10787 markings/sec, 50 secs
lola: 620974 markings, 848873 edges, 11391 markings/sec, 55 secs
lola: 688052 markings, 931034 edges, 13416 markings/sec, 60 secs
lola: 752366 markings, 1010914 edges, 12863 markings/sec, 65 secs
lola: 813503 markings, 1089074 edges, 12227 markings/sec, 70 secs
lola: 867018 markings, 1170056 edges, 10703 markings/sec, 75 secs
lola: 908607 markings, 1236891 edges, 8318 markings/sec, 80 secs
lola: 948238 markings, 1302574 edges, 7926 markings/sec, 85 secs
lola: 985978 markings, 1370317 edges, 7548 markings/sec, 90 secs
lola: 1037111 markings, 1439318 edges, 10227 markings/sec, 95 secs
lola: 1088884 markings, 1504864 edges, 10355 markings/sec, 100 secs
lola: 1155104 markings, 1589277 edges, 13244 markings/sec, 105 secs
lola: 1220966 markings, 1670471 edges, 13172 markings/sec, 110 secs
lola: 1283685 markings, 1749450 edges, 12544 markings/sec, 115 secs
lola: 1342839 markings, 1828860 edges, 11831 markings/sec, 120 secs
lola: 1387064 markings, 1902340 edges, 8845 markings/sec, 125 secs
lola: 1427594 markings, 1968357 edges, 8106 markings/sec, 130 secs
lola: 1466140 markings, 2034100 edges, 7709 markings/sec, 135 secs
lola: 1509268 markings, 2105810 edges, 8626 markings/sec, 140 secs
lola: 1562644 markings, 2168855 edges, 10675 markings/sec, 145 secs
lola: 1621810 markings, 2247641 edges, 11833 markings/sec, 150 secs
lola: 1688293 markings, 2329270 edges, 13297 markings/sec, 155 secs
lola: 1752008 markings, 2408868 edges, 12743 markings/sec, 160 secs
lola: 1812342 markings, 2487250 edges, 12067 markings/sec, 165 secs
lola: 1861583 markings, 2565359 edges, 9848 markings/sec, 170 secs
lola: 1902469 markings, 2631679 edges, 8177 markings/sec, 175 secs
lola: 1941570 markings, 2697300 edges, 7820 markings/sec, 180 secs
lola: 1981044 markings, 2770133 edges, 7895 markings/sec, 185 secs
lola: 2034913 markings, 2832668 edges, 10774 markings/sec, 190 secs
lola: 2090297 markings, 2906970 edges, 11077 markings/sec, 195 secs
lola: 2157261 markings, 2988954 edges, 13393 markings/sec, 200 secs
lola: 2221515 markings, 3068784 edges, 12851 markings/sec, 205 secs
lola: 2282572 markings, 3147033 edges, 12211 markings/sec, 210 secs
lola: 2335808 markings, 3227929 edges, 10647 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p848)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 4348 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: 23558 markings, 51965 edges, 4712 markings/sec, 0 secs
lola: 47158 markings, 102505 edges, 4720 markings/sec, 5 secs
lola: 70581 markings, 150824 edges, 4685 markings/sec, 10 secs
lola: 94047 markings, 199216 edges, 4693 markings/sec, 15 secs
lola: 117702 markings, 248110 edges, 4731 markings/sec, 20 secs
lola: 141129 markings, 296543 edges, 4685 markings/sec, 25 secs
lola: 164387 markings, 344645 edges, 4652 markings/sec, 30 secs
lola: 187558 markings, 392480 edges, 4634 markings/sec, 35 secs
lola: 210764 markings, 440404 edges, 4641 markings/sec, 40 secs
lola: 233893 markings, 488203 edges, 4626 markings/sec, 45 secs
lola: 257104 markings, 536189 edges, 4642 markings/sec, 50 secs
lola: 280261 markings, 584085 edges, 4631 markings/sec, 55 secs
lola: 303316 markings, 631789 edges, 4611 markings/sec, 60 secs
lola: 326285 markings, 679327 edges, 4594 markings/sec, 65 secs
lola: 349186 markings, 726739 edges, 4580 markings/sec, 70 secs
lola: 372009 markings, 773976 edges, 4565 markings/sec, 75 secs
lola: 394596 markings, 820736 edges, 4517 markings/sec, 80 secs
lola: 417179 markings, 867502 edges, 4517 markings/sec, 85 secs
lola: 439617 markings, 913977 edges, 4488 markings/sec, 90 secs
lola: 462066 markings, 960517 edges, 4490 markings/sec, 95 secs
lola: 484502 markings, 1007056 edges, 4487 markings/sec, 100 secs
lola: 506867 markings, 1053459 edges, 4473 markings/sec, 105 secs
lola: 529230 markings, 1099848 edges, 4473 markings/sec, 110 secs
lola: 551357 markings, 1145709 edges, 4425 markings/sec, 115 secs
lola: 573375 markings, 1191431 edges, 4404 markings/sec, 120 secs
lola: 595490 markings, 1237458 edges, 4423 markings/sec, 125 secs
lola: 617461 markings, 1283009 edges, 4394 markings/sec, 130 secs
lola: 639267 markings, 1328353 edges, 4361 markings/sec, 135 secs
lola: 661167 markings, 1373910 edges, 4380 markings/sec, 140 secs
lola: 682793 markings, 1418880 edges, 4325 markings/sec, 145 secs
lola: 704529 markings, 1464155 edges, 4347 markings/sec, 150 secs
lola: 726021 markings, 1508919 edges, 4298 markings/sec, 155 secs
lola: 747446 markings, 1553565 edges, 4285 markings/sec, 160 secs
lola: 768924 markings, 1598372 edges, 4296 markings/sec, 165 secs
lola: 790229 markings, 1642896 edges, 4261 markings/sec, 170 secs
lola: 811412 markings, 1687192 edges, 4237 markings/sec, 175 secs
lola: 832513 markings, 1731321 edges, 4220 markings/sec, 180 secs
lola: 853532 markings, 1775293 edges, 4204 markings/sec, 185 secs
lola: 874431 markings, 1819027 edges, 4180 markings/sec, 190 secs
lola: 895193 markings, 1862592 edges, 4152 markings/sec, 195 secs
lola: 915935 markings, 1906243 edges, 4148 markings/sec, 200 secs
lola: 936493 markings, 1949441 edges, 4112 markings/sec, 205 secs
lola: 956974 markings, 1992664 edges, 4096 markings/sec, 210 secs
lola: 977372 markings, 2035779 edges, 4080 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA PolyORBNT-COL-S05J80-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBNT-COL-S05J80-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496288130163

--------------------
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_PolyORBNT-COL-S05J80"
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_PolyORBNT-COL-S05J80.tgz
mv S_PolyORBNT-COL-S05J80 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_PolyORBNT-COL-S05J80, 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 r138-smll-149479231500038"
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 ;