About the Execution of LoLA for PolyORBLF-COL-S04J06T06
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1191.890 | 3539809.00 | 3546298.00 | 12331.00 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is PolyORBLF-COL-S04J06T06, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869900344
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-0
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-1
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-10
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-11
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-12
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-13
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-14
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-15
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-2
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-3
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-4
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-5
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-6
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-7
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-8
FORMULA_NAME PolyORBLF-COL-S04J06T06-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494638543644
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PolyORBLF-COL-S04J06T06 @ 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: 3808/65536 symbol table entries, 459 collisions
lola: preprocessing...
lola: finding significant places
lola: 618 places, 3190 transitions, 564 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2157 transition conflict sets
lola: TASK
lola: reading formula from PolyORBLF-COL-S04J06T06-UpperBounds.task
lola: MAX(p151 + p152 + p153 + p154 + p155 + p156) : MAX(p440 + p441 + p442 + p443 + p444 + p445) : MAX(p572 + p573 + p574 + p575 + p578 + p577 + p576) : MAX(p430 + p431 + p432 + p433 + p434 + p435) : MAX(p56 + p57 + p58 + p59 + p60 + p61 + p62) : MAX(p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571) : MAX(p121 + p122 + p123 + p124 + p125 + p126) : MAX(p438) : MAX(p547) : MAX(p170) : MAX(p211 + p212 + p213 + p214) : MAX(p315 + p316 + p317 + p318 + p319 + p320) : MAX(p2 + p3 + p4 + p5 + p6 + p7 + p8) : MAX(p151 + p152 + p153 + p154 + p155 + p156) : MAX(p327) : MAX(p9)
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(p151 + p152 + p153 + p154 + p155 + p156)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 31927 markings, 32378 edges, 6385 markings/sec, 0 secs
lola: 63596 markings, 65475 edges, 6334 markings/sec, 5 secs
lola: 95053 markings, 99039 edges, 6291 markings/sec, 10 secs
lola: 126649 markings, 132892 edges, 6319 markings/sec, 15 secs
lola: 158156 markings, 167191 edges, 6301 markings/sec, 20 secs
lola: 189646 markings, 201449 edges, 6298 markings/sec, 25 secs
lola: 221170 markings, 235667 edges, 6305 markings/sec, 30 secs
lola: 252628 markings, 270160 edges, 6292 markings/sec, 35 secs
lola: 284008 markings, 304710 edges, 6276 markings/sec, 40 secs
lola: 315359 markings, 339496 edges, 6270 markings/sec, 45 secs
lola: 346796 markings, 374400 edges, 6287 markings/sec, 50 secs
lola: 377798 markings, 409021 edges, 6200 markings/sec, 55 secs
lola: 409143 markings, 443684 edges, 6269 markings/sec, 60 secs
lola: 440405 markings, 478538 edges, 6252 markings/sec, 65 secs
lola: 471432 markings, 513422 edges, 6205 markings/sec, 70 secs
lola: 502369 markings, 548622 edges, 6187 markings/sec, 75 secs
lola: 533745 markings, 584058 edges, 6275 markings/sec, 80 secs
lola: 565108 markings, 619260 edges, 6273 markings/sec, 85 secs
lola: 596375 markings, 654127 edges, 6253 markings/sec, 90 secs
lola: 627579 markings, 689226 edges, 6241 markings/sec, 95 secs
lola: 658905 markings, 724110 edges, 6265 markings/sec, 100 secs
lola: 690058 markings, 759517 edges, 6231 markings/sec, 105 secs
lola: 721333 markings, 794547 edges, 6255 markings/sec, 110 secs
lola: 752456 markings, 829340 edges, 6225 markings/sec, 115 secs
lola: 783645 markings, 864365 edges, 6238 markings/sec, 120 secs
lola: 814783 markings, 899586 edges, 6228 markings/sec, 125 secs
lola: 846068 markings, 935172 edges, 6257 markings/sec, 130 secs
lola: 877115 markings, 970328 edges, 6209 markings/sec, 135 secs
lola: 908275 markings, 1005195 edges, 6232 markings/sec, 140 secs
lola: 939363 markings, 1040682 edges, 6218 markings/sec, 145 secs
lola: 970495 markings, 1076237 edges, 6226 markings/sec, 150 secs
lola: 1001456 markings, 1112086 edges, 6192 markings/sec, 155 secs
lola: 1032691 markings, 1147764 edges, 6247 markings/sec, 160 secs
lola: 1063853 markings, 1184085 edges, 6232 markings/sec, 165 secs
lola: 1094841 markings, 1219707 edges, 6198 markings/sec, 170 secs
lola: 1125922 markings, 1255097 edges, 6216 markings/sec, 175 secs
lola: 1156880 markings, 1290267 edges, 6192 markings/sec, 180 secs
lola: 1187778 markings, 1326594 edges, 6180 markings/sec, 185 secs
lola: 1218782 markings, 1362660 edges, 6201 markings/sec, 190 secs
lola: 1249785 markings, 1398657 edges, 6201 markings/sec, 195 secs
lola: 1280922 markings, 1433890 edges, 6227 markings/sec, 200 secs
lola: 1311869 markings, 1469602 edges, 6189 markings/sec, 205 secs
lola: 1342797 markings, 1505709 edges, 6186 markings/sec, 210 secs
lola: 1373795 markings, 1541790 edges, 6200 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(p440 + p441 + p442 + p443 + p444 + p445)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 31281 markings, 33072 edges, 6256 markings/sec, 0 secs
lola: 62070 markings, 67418 edges, 6158 markings/sec, 5 secs
lola: 92135 markings, 102906 edges, 6013 markings/sec, 10 secs
lola: 122325 markings, 139368 edges, 6038 markings/sec, 15 secs
lola: 153012 markings, 175700 edges, 6137 markings/sec, 20 secs
lola: 183374 markings, 212255 edges, 6072 markings/sec, 25 secs
lola: 214028 markings, 248796 edges, 6131 markings/sec, 30 secs
lola: 244210 markings, 285882 edges, 6036 markings/sec, 35 secs
lola: 274873 markings, 321933 edges, 6133 markings/sec, 40 secs
lola: 303862 markings, 361638 edges, 5798 markings/sec, 45 secs
lola: 332801 markings, 399890 edges, 5788 markings/sec, 50 secs
lola: 362752 markings, 436662 edges, 5990 markings/sec, 55 secs
lola: 392888 markings, 474020 edges, 6027 markings/sec, 60 secs
lola: 422536 markings, 511537 edges, 5930 markings/sec, 65 secs
lola: 452087 markings, 548769 edges, 5910 markings/sec, 70 secs
lola: 482048 markings, 585359 edges, 5992 markings/sec, 75 secs
lola: 511363 markings, 621841 edges, 5863 markings/sec, 80 secs
lola: 540775 markings, 658813 edges, 5882 markings/sec, 85 secs
lola: 570044 markings, 695878 edges, 5854 markings/sec, 90 secs
lola: 599900 markings, 732211 edges, 5971 markings/sec, 95 secs
lola: 629120 markings, 769627 edges, 5844 markings/sec, 100 secs
lola: 658896 markings, 806359 edges, 5955 markings/sec, 105 secs
lola: 688802 markings, 842323 edges, 5981 markings/sec, 110 secs
lola: 718107 markings, 879345 edges, 5861 markings/sec, 115 secs
lola: 747060 markings, 917823 edges, 5791 markings/sec, 120 secs
lola: 776741 markings, 954446 edges, 5936 markings/sec, 125 secs
lola: 806287 markings, 991283 edges, 5909 markings/sec, 130 secs
lola: 836101 markings, 1026961 edges, 5963 markings/sec, 135 secs
lola: 865878 markings, 1063277 edges, 5955 markings/sec, 140 secs
lola: 895727 markings, 1099617 edges, 5970 markings/sec, 145 secs
lola: 925162 markings, 1136627 edges, 5887 markings/sec, 150 secs
lola: 954596 markings, 1174054 edges, 5887 markings/sec, 155 secs
lola: 984106 markings, 1210656 edges, 5902 markings/sec, 160 secs
lola: 1013541 markings, 1247691 edges, 5887 markings/sec, 165 secs
lola: 1043243 markings, 1284308 edges, 5940 markings/sec, 170 secs
lola: 1072453 markings, 1321958 edges, 5842 markings/sec, 175 secs
lola: 1101483 markings, 1360448 edges, 5806 markings/sec, 180 secs
lola: 1130808 markings, 1397416 edges, 5865 markings/sec, 185 secs
lola: 1160714 markings, 1433270 edges, 5981 markings/sec, 190 secs
lola: 1190558 markings, 1470563 edges, 5969 markings/sec, 195 secs
lola: 1220097 markings, 1507313 edges, 5908 markings/sec, 200 secs
lola: 1249984 markings, 1544017 edges, 5977 markings/sec, 205 secs
lola: 1278813 markings, 1582924 edges, 5766 markings/sec, 210 secs
lola: 1308617 markings, 1619494 edges, 5961 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(p572 + p573 + p574 + p575 + p578 + p577 + p576)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 33574 markings, 34680 edges, 6715 markings/sec, 0 secs
lola: 66074 markings, 70375 edges, 6500 markings/sec, 5 secs
lola: 98863 markings, 105782 edges, 6558 markings/sec, 10 secs
lola: 130975 markings, 141703 edges, 6422 markings/sec, 15 secs
lola: 162324 markings, 179204 edges, 6270 markings/sec, 20 secs
lola: 194781 markings, 214833 edges, 6491 markings/sec, 25 secs
lola: 227380 markings, 250344 edges, 6520 markings/sec, 30 secs
lola: 259992 markings, 286180 edges, 6522 markings/sec, 35 secs
lola: 292526 markings, 322237 edges, 6507 markings/sec, 40 secs
lola: 325240 markings, 357937 edges, 6543 markings/sec, 45 secs
lola: 357892 markings, 393524 edges, 6530 markings/sec, 50 secs
lola: 390215 markings, 430751 edges, 6465 markings/sec, 55 secs
lola: 422488 markings, 467727 edges, 6455 markings/sec, 60 secs
lola: 455138 markings, 504206 edges, 6530 markings/sec, 65 secs
lola: 487720 markings, 540481 edges, 6516 markings/sec, 70 secs
lola: 519872 markings, 576863 edges, 6430 markings/sec, 75 secs
lola: 552012 markings, 613419 edges, 6428 markings/sec, 80 secs
lola: 584152 markings, 650643 edges, 6428 markings/sec, 85 secs
lola: 616192 markings, 687946 edges, 6408 markings/sec, 90 secs
lola: 648253 markings, 725038 edges, 6412 markings/sec, 95 secs
lola: 680557 markings, 761938 edges, 6461 markings/sec, 100 secs
lola: 712357 markings, 798826 edges, 6360 markings/sec, 105 secs
lola: 744649 markings, 835639 edges, 6458 markings/sec, 110 secs
lola: 776541 markings, 872557 edges, 6378 markings/sec, 115 secs
lola: 807363 markings, 909093 edges, 6164 markings/sec, 120 secs
lola: 839123 markings, 945976 edges, 6352 markings/sec, 125 secs
lola: 870642 markings, 983079 edges, 6304 markings/sec, 130 secs
lola: 902182 markings, 1019942 edges, 6308 markings/sec, 135 secs
lola: 934011 markings, 1057281 edges, 6366 markings/sec, 140 secs
lola: 965957 markings, 1094928 edges, 6389 markings/sec, 145 secs
lola: 996966 markings, 1132056 edges, 6202 markings/sec, 150 secs
lola: 1028540 markings, 1169787 edges, 6315 markings/sec, 155 secs
lola: 1060061 markings, 1207686 edges, 6304 markings/sec, 160 secs
lola: 1091433 markings, 1244541 edges, 6274 markings/sec, 165 secs
lola: 1123509 markings, 1281639 edges, 6415 markings/sec, 170 secs
lola: 1155396 markings, 1319758 edges, 6377 markings/sec, 175 secs
lola: 1186664 markings, 1357313 edges, 6254 markings/sec, 180 secs
lola: 1217939 markings, 1394642 edges, 6255 markings/sec, 185 secs
lola: 1249557 markings, 1432589 edges, 6324 markings/sec, 190 secs
lola: 1281004 markings, 1470045 edges, 6289 markings/sec, 195 secs
lola: 1312598 markings, 1507971 edges, 6319 markings/sec, 200 secs
lola: 1343691 markings, 1546299 edges, 6219 markings/sec, 205 secs
lola: 1375236 markings, 1583797 edges, 6309 markings/sec, 210 secs
lola: 1406565 markings, 1621560 edges, 6266 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(p430 + p431 + p432 + p433 + p434 + p435)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 31586 markings, 32033 edges, 6317 markings/sec, 0 secs
lola: 62847 markings, 64704 edges, 6252 markings/sec, 5 secs
lola: 93913 markings, 97816 edges, 6213 markings/sec, 10 secs
lola: 125174 markings, 131282 edges, 6252 markings/sec, 15 secs
lola: 156343 markings, 165118 edges, 6234 markings/sec, 20 secs
lola: 187409 markings, 199094 edges, 6213 markings/sec, 25 secs
lola: 218496 markings, 232790 edges, 6217 markings/sec, 30 secs
lola: 249591 markings, 266618 edges, 6219 markings/sec, 35 secs
lola: 280497 markings, 300898 edges, 6181 markings/sec, 40 secs
lola: 311504 markings, 335129 edges, 6201 markings/sec, 45 secs
lola: 342499 markings, 369610 edges, 6199 markings/sec, 50 secs
lola: 373153 markings, 403856 edges, 6131 markings/sec, 55 secs
lola: 404062 markings, 438154 edges, 6182 markings/sec, 60 secs
lola: 435279 markings, 472877 edges, 6243 markings/sec, 65 secs
lola: 466185 markings, 507333 edges, 6181 markings/sec, 70 secs
lola: 496984 markings, 542457 edges, 6160 markings/sec, 75 secs
lola: 527969 markings, 577476 edges, 6197 markings/sec, 80 secs
lola: 559150 markings, 612573 edges, 6236 markings/sec, 85 secs
lola: 590031 markings, 646885 edges, 6176 markings/sec, 90 secs
lola: 620704 markings, 681496 edges, 6135 markings/sec, 95 secs
lola: 651303 markings, 715619 edges, 6120 markings/sec, 100 secs
lola: 681927 markings, 750349 edges, 6125 markings/sec, 105 secs
lola: 712667 markings, 784852 edges, 6148 markings/sec, 110 secs
lola: 743228 markings, 819490 edges, 6112 markings/sec, 115 secs
lola: 773961 markings, 853427 edges, 6147 markings/sec, 120 secs
lola: 803739 markings, 887319 edges, 5956 markings/sec, 125 secs
lola: 834578 markings, 922077 edges, 6168 markings/sec, 130 secs
lola: 865415 markings, 956926 edges, 6167 markings/sec, 135 secs
lola: 896152 markings, 991650 edges, 6147 markings/sec, 140 secs
lola: 926907 markings, 1026433 edges, 6151 markings/sec, 145 secs
lola: 957766 markings, 1061625 edges, 6172 markings/sec, 150 secs
lola: 988455 markings, 1097120 edges, 6138 markings/sec, 155 secs
lola: 1019267 markings, 1132513 edges, 6162 markings/sec, 160 secs
lola: 1050086 markings, 1168188 edges, 6164 markings/sec, 165 secs
lola: 1080829 markings, 1203943 edges, 6149 markings/sec, 170 secs
lola: 1111652 markings, 1238942 edges, 6165 markings/sec, 175 secs
lola: 1142247 markings, 1273914 edges, 6119 markings/sec, 180 secs
lola: 1172905 markings, 1309194 edges, 6132 markings/sec, 185 secs
lola: 1203498 markings, 1344758 edges, 6119 markings/sec, 190 secs
lola: 1234319 markings, 1380481 edges, 6164 markings/sec, 195 secs
lola: 1265005 markings, 1415998 edges, 6137 markings/sec, 200 secs
lola: 1295656 markings, 1451037 edges, 6130 markings/sec, 205 secs
lola: 1326352 markings, 1486411 edges, 6139 markings/sec, 210 secs
lola: 1356985 markings, 1522071 edges, 6127 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(p56 + p57 + p58 + p59 + p60 + p61 + p62)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 31534 markings, 33328 edges, 6307 markings/sec, 0 secs
lola: 62495 markings, 67879 edges, 6192 markings/sec, 5 secs
lola: 92724 markings, 103612 edges, 6046 markings/sec, 10 secs
lola: 122956 markings, 140068 edges, 6046 markings/sec, 15 secs
lola: 153473 markings, 176232 edges, 6103 markings/sec, 20 secs
lola: 183721 markings, 212635 edges, 6050 markings/sec, 25 secs
lola: 214156 markings, 248966 edges, 6087 markings/sec, 30 secs
lola: 244142 markings, 285785 edges, 5997 markings/sec, 35 secs
lola: 274539 markings, 321594 edges, 6079 markings/sec, 40 secs
lola: 303468 markings, 360467 edges, 5786 markings/sec, 45 secs
lola: 332646 markings, 399713 edges, 5836 markings/sec, 50 secs
lola: 362663 markings, 436538 edges, 6003 markings/sec, 55 secs
lola: 392767 markings, 473861 edges, 6021 markings/sec, 60 secs
lola: 422375 markings, 511376 edges, 5922 markings/sec, 65 secs
lola: 452104 markings, 548797 edges, 5946 markings/sec, 70 secs
lola: 482196 markings, 585538 edges, 6018 markings/sec, 75 secs
lola: 511662 markings, 622556 edges, 5893 markings/sec, 80 secs
lola: 537872 markings, 655340 edges, 5242 markings/sec, 85 secs
lola: 567360 markings, 692789 edges, 5898 markings/sec, 90 secs
lola: 597359 markings, 729313 edges, 6000 markings/sec, 95 secs
lola: 626337 markings, 766451 edges, 5796 markings/sec, 100 secs
lola: 656699 markings, 803602 edges, 6072 markings/sec, 105 secs
lola: 687163 markings, 840434 edges, 6093 markings/sec, 110 secs
lola: 717007 markings, 877982 edges, 5969 markings/sec, 115 secs
lola: 746586 markings, 916666 edges, 5916 markings/sec, 120 secs
lola: 776658 markings, 954361 edges, 6014 markings/sec, 125 secs
lola: 806764 markings, 991796 edges, 6021 markings/sec, 130 secs
lola: 837133 markings, 1028349 edges, 6074 markings/sec, 135 secs
lola: 867400 markings, 1065137 edges, 6053 markings/sec, 140 secs
lola: 897731 markings, 1102286 edges, 6066 markings/sec, 145 secs
lola: 927532 markings, 1140356 edges, 5960 markings/sec, 150 secs
lola: 957601 markings, 1177916 edges, 6014 markings/sec, 155 secs
lola: 987658 markings, 1215257 edges, 6011 markings/sec, 160 secs
lola: 1017647 markings, 1252712 edges, 5998 markings/sec, 165 secs
lola: 1047736 markings, 1290335 edges, 6018 markings/sec, 170 secs
lola: 1077551 markings, 1328497 edges, 5963 markings/sec, 175 secs
lola: 1107256 markings, 1367280 edges, 5941 markings/sec, 180 secs
lola: 1137034 markings, 1404854 edges, 5956 markings/sec, 185 secs
lola: 1167535 markings, 1441501 edges, 6100 markings/sec, 190 secs
lola: 1197735 markings, 1479671 edges, 6040 markings/sec, 195 secs
lola: 1227961 markings, 1516774 edges, 6045 markings/sec, 200 secs
lola: 1258279 markings, 1554323 edges, 6064 markings/sec, 205 secs
lola: 1287826 markings, 1593499 edges, 5909 markings/sec, 210 secs
lola: 1317801 markings, 1631486 edges, 5995 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(p548 + p549 + p550 + p551 + p552 + p553 + p554 + p555 + p556 + p557 + p558 + p559 + p560 + p561 + p562 + p563 + p564 + p565 + p566 + p567 + p568 + p569 + p570 + p571)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 33616 markings, 34722 edges, 6723 markings/sec, 0 secs
lola: 66150 markings, 70467 edges, 6507 markings/sec, 5 secs
lola: 98805 markings, 105724 edges, 6531 markings/sec, 10 secs
lola: 130636 markings, 141346 edges, 6366 markings/sec, 15 secs
lola: 161435 markings, 177601 edges, 6160 markings/sec, 20 secs
lola: 192071 markings, 212057 edges, 6127 markings/sec, 25 secs
lola: 223910 markings, 246677 edges, 6368 markings/sec, 30 secs
lola: 255375 markings, 280935 edges, 6293 markings/sec, 35 secs
lola: 287638 markings, 316562 edges, 6453 markings/sec, 40 secs
lola: 319450 markings, 351647 edges, 6362 markings/sec, 45 secs
lola: 351991 markings, 386952 edges, 6508 markings/sec, 50 secs
lola: 382593 markings, 422297 edges, 6120 markings/sec, 55 secs
lola: 413846 markings, 457917 edges, 6251 markings/sec, 60 secs
lola: 445365 markings, 493060 edges, 6304 markings/sec, 65 secs
lola: 476620 markings, 527878 edges, 6251 markings/sec, 70 secs
lola: 507955 markings, 563161 edges, 6267 markings/sec, 75 secs
lola: 538462 markings, 598129 edges, 6101 markings/sec, 80 secs
lola: 569488 markings, 633430 edges, 6205 markings/sec, 85 secs
lola: 600619 markings, 669390 edges, 6226 markings/sec, 90 secs
lola: 631444 markings, 705317 edges, 6165 markings/sec, 95 secs
lola: 663510 markings, 742225 edges, 6413 markings/sec, 100 secs
lola: 693082 markings, 776145 edges, 5914 markings/sec, 105 secs
lola: 724767 markings, 812938 edges, 6337 markings/sec, 110 secs
lola: 756559 markings, 849461 edges, 6358 markings/sec, 115 secs
lola: 788372 markings, 886482 edges, 6363 markings/sec, 120 secs
lola: 820097 markings, 923651 edges, 6345 markings/sec, 125 secs
lola: 851016 markings, 960004 edges, 6184 markings/sec, 130 secs
lola: 881606 markings, 996500 edges, 6118 markings/sec, 135 secs
lola: 912371 markings, 1031920 edges, 6153 markings/sec, 140 secs
lola: 943162 markings, 1068154 edges, 6158 markings/sec, 145 secs
lola: 973518 markings, 1104085 edges, 6071 markings/sec, 150 secs
lola: 1003461 markings, 1139881 edges, 5989 markings/sec, 155 secs
lola: 1034310 markings, 1176578 edges, 6170 markings/sec, 160 secs
lola: 1065284 markings, 1213865 edges, 6195 markings/sec, 165 secs
lola: 1096649 markings, 1250508 edges, 6273 markings/sec, 170 secs
lola: 1128712 markings, 1288238 edges, 6413 markings/sec, 175 secs
lola: 1160785 markings, 1326067 edges, 6415 markings/sec, 180 secs
lola: 1190979 markings, 1362633 edges, 6039 markings/sec, 185 secs
lola: 1223050 markings, 1400822 edges, 6414 markings/sec, 190 secs
lola: 1255176 markings, 1438980 edges, 6425 markings/sec, 195 secs
lola: 1287171 markings, 1477269 edges, 6399 markings/sec, 200 secs
lola: 1318896 markings, 1516055 edges, 6345 markings/sec, 205 secs
lola: 1350616 markings, 1554569 edges, 6344 markings/sec, 210 secs
lola: 1382891 markings, 1592848 edges, 6455 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(p121 + p122 + p123 + p124 + p125 + p126)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 32931 markings, 33673 edges, 6586 markings/sec, 0 secs
lola: 65691 markings, 69494 edges, 6552 markings/sec, 5 secs
lola: 98107 markings, 106068 edges, 6483 markings/sec, 10 secs
lola: 130701 markings, 142894 edges, 6519 markings/sec, 15 secs
lola: 163042 markings, 179797 edges, 6468 markings/sec, 20 secs
lola: 195965 markings, 216084 edges, 6585 markings/sec, 25 secs
lola: 228739 markings, 252997 edges, 6555 markings/sec, 30 secs
lola: 261371 markings, 289381 edges, 6526 markings/sec, 35 secs
lola: 294054 markings, 326049 edges, 6537 markings/sec, 40 secs
lola: 326816 markings, 362399 edges, 6552 markings/sec, 45 secs
lola: 359723 markings, 398353 edges, 6581 markings/sec, 50 secs
lola: 392115 markings, 434808 edges, 6478 markings/sec, 55 secs
lola: 424578 markings, 471042 edges, 6493 markings/sec, 60 secs
lola: 457254 markings, 507585 edges, 6535 markings/sec, 65 secs
lola: 490288 markings, 545215 edges, 6607 markings/sec, 70 secs
lola: 522489 markings, 582452 edges, 6440 markings/sec, 75 secs
lola: 554916 markings, 619477 edges, 6485 markings/sec, 80 secs
lola: 587586 markings, 656668 edges, 6534 markings/sec, 85 secs
lola: 620046 markings, 693747 edges, 6492 markings/sec, 90 secs
lola: 652632 markings, 730741 edges, 6517 markings/sec, 95 secs
lola: 685097 markings, 768158 edges, 6493 markings/sec, 100 secs
lola: 717396 markings, 805014 edges, 6460 markings/sec, 105 secs
lola: 750059 markings, 842320 edges, 6533 markings/sec, 110 secs
lola: 781445 markings, 879453 edges, 6277 markings/sec, 115 secs
lola: 813542 markings, 917122 edges, 6419 markings/sec, 120 secs
lola: 846039 markings, 954647 edges, 6499 markings/sec, 125 secs
lola: 878333 markings, 992066 edges, 6459 markings/sec, 130 secs
lola: 910701 markings, 1030055 edges, 6474 markings/sec, 135 secs
lola: 942890 markings, 1067368 edges, 6438 markings/sec, 140 secs
lola: 975297 markings, 1105044 edges, 6481 markings/sec, 145 secs
lola: 1007121 markings, 1142105 edges, 6365 markings/sec, 150 secs
lola: 1039033 markings, 1179894 edges, 6382 markings/sec, 155 secs
lola: 1071417 markings, 1218002 edges, 6477 markings/sec, 160 secs
lola: 1103548 markings, 1256637 edges, 6426 markings/sec, 165 secs
lola: 1135052 markings, 1294704 edges, 6301 markings/sec, 170 secs
lola: 1167132 markings, 1333046 edges, 6416 markings/sec, 175 secs
lola: 1199123 markings, 1370390 edges, 6398 markings/sec, 180 secs
lola: 1231126 markings, 1407953 edges, 6401 markings/sec, 185 secs
lola: 1263212 markings, 1446905 edges, 6417 markings/sec, 190 secs
lola: 1295131 markings, 1484697 edges, 6384 markings/sec, 195 secs
lola: 1327170 markings, 1522642 edges, 6408 markings/sec, 200 secs
lola: 1359099 markings, 1561308 edges, 6386 markings/sec, 205 secs
lola: 1391003 markings, 1600088 edges, 6381 markings/sec, 210 secs
lola: 1422543 markings, 1638656 edges, 6308 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(p438)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 31536 markings, 32658 edges, 6307 markings/sec, 0 secs
lola: 62859 markings, 65760 edges, 6265 markings/sec, 5 secs
lola: 92240 markings, 96810 edges, 5876 markings/sec, 10 secs
lola: 123254 markings, 129065 edges, 6203 markings/sec, 15 secs
lola: 154305 markings, 162060 edges, 6210 markings/sec, 20 secs
lola: 185239 markings, 194560 edges, 6187 markings/sec, 25 secs
lola: 216323 markings, 227290 edges, 6217 markings/sec, 30 secs
lola: 247199 markings, 260080 edges, 6175 markings/sec, 35 secs
lola: 277979 markings, 292785 edges, 6156 markings/sec, 40 secs
lola: 308959 markings, 325052 edges, 6196 markings/sec, 45 secs
lola: 339904 markings, 358716 edges, 6189 markings/sec, 50 secs
lola: 370474 markings, 391607 edges, 6114 markings/sec, 55 secs
lola: 401331 markings, 425266 edges, 6171 markings/sec, 60 secs
lola: 432580 markings, 458805 edges, 6250 markings/sec, 65 secs
lola: 463229 markings, 491242 edges, 6130 markings/sec, 70 secs
lola: 493800 markings, 524059 edges, 6114 markings/sec, 75 secs
lola: 524563 markings, 557214 edges, 6153 markings/sec, 80 secs
lola: 555264 markings, 590421 edges, 6140 markings/sec, 85 secs
lola: 586185 markings, 623850 edges, 6184 markings/sec, 90 secs
lola: 617100 markings, 657554 edges, 6183 markings/sec, 95 secs
lola: 647426 markings, 690443 edges, 6065 markings/sec, 100 secs
lola: 678348 markings, 723519 edges, 6184 markings/sec, 105 secs
lola: 709118 markings, 757087 edges, 6154 markings/sec, 110 secs
lola: 739530 markings, 789261 edges, 6082 markings/sec, 115 secs
lola: 770431 markings, 822685 edges, 6180 markings/sec, 120 secs
lola: 801083 markings, 856085 edges, 6130 markings/sec, 125 secs
lola: 831530 markings, 889114 edges, 6089 markings/sec, 130 secs
lola: 861742 markings, 922058 edges, 6042 markings/sec, 135 secs
lola: 891918 markings, 954692 edges, 6035 markings/sec, 140 secs
lola: 922519 markings, 988551 edges, 6120 markings/sec, 145 secs
lola: 953086 markings, 1021338 edges, 6113 markings/sec, 150 secs
lola: 983806 markings, 1054901 edges, 6144 markings/sec, 155 secs
lola: 1014376 markings, 1088553 edges, 6114 markings/sec, 160 secs
lola: 1044992 markings, 1121839 edges, 6123 markings/sec, 165 secs
lola: 1075913 markings, 1155173 edges, 6184 markings/sec, 170 secs
lola: 1106896 markings, 1188937 edges, 6197 markings/sec, 175 secs
lola: 1138140 markings, 1222396 edges, 6249 markings/sec, 180 secs
lola: 1168607 markings, 1256257 edges, 6093 markings/sec, 185 secs
lola: 1199188 markings, 1289042 edges, 6116 markings/sec, 190 secs
lola: 1230033 markings, 1322475 edges, 6169 markings/sec, 195 secs
lola: 1260767 markings, 1355857 edges, 6147 markings/sec, 200 secs
lola: 1291664 markings, 1390012 edges, 6179 markings/sec, 205 secs
lola: 1322541 markings, 1423375 edges, 6175 markings/sec, 210 secs
lola: 1353271 markings, 1457307 edges, 6146 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(p547)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 30669 markings, 32429 edges, 6134 markings/sec, 0 secs
lola: 61940 markings, 67288 edges, 6254 markings/sec, 5 secs
lola: 92242 markings, 103037 edges, 6060 markings/sec, 10 secs
lola: 122785 markings, 139877 edges, 6109 markings/sec, 15 secs
lola: 153622 markings, 176391 edges, 6167 markings/sec, 20 secs
lola: 184125 markings, 213071 edges, 6101 markings/sec, 25 secs
lola: 214901 markings, 249915 edges, 6155 markings/sec, 30 secs
lola: 245247 markings, 287082 edges, 6069 markings/sec, 35 secs
lola: 276000 markings, 323333 edges, 6151 markings/sec, 40 secs
lola: 304930 markings, 363482 edges, 5786 markings/sec, 45 secs
lola: 334785 markings, 402612 edges, 5971 markings/sec, 50 secs
lola: 365207 markings, 439906 edges, 6084 markings/sec, 55 secs
lola: 395851 markings, 477400 edges, 6129 markings/sec, 60 secs
lola: 425805 markings, 515351 edges, 5991 markings/sec, 65 secs
lola: 455820 markings, 553804 edges, 6003 markings/sec, 70 secs
lola: 486432 markings, 590515 edges, 6122 markings/sec, 75 secs
lola: 516029 markings, 628905 edges, 5919 markings/sec, 80 secs
lola: 546637 markings, 665692 edges, 6122 markings/sec, 85 secs
lola: 576174 markings, 703733 edges, 5907 markings/sec, 90 secs
lola: 606304 markings, 740566 edges, 6026 markings/sec, 95 secs
lola: 636098 markings, 778357 edges, 5959 markings/sec, 100 secs
lola: 666363 markings, 815478 edges, 6053 markings/sec, 105 secs
lola: 696469 markings, 852152 edges, 6021 markings/sec, 110 secs
lola: 726100 markings, 890011 edges, 5926 markings/sec, 115 secs
lola: 755847 markings, 928364 edges, 5949 markings/sec, 120 secs
lola: 785913 markings, 965411 edges, 6013 markings/sec, 125 secs
lola: 815796 markings, 1002817 edges, 5977 markings/sec, 130 secs
lola: 846079 markings, 1039199 edges, 6057 markings/sec, 135 secs
lola: 876250 markings, 1075756 edges, 6034 markings/sec, 140 secs
lola: 906487 markings, 1112757 edges, 6047 markings/sec, 145 secs
lola: 936160 markings, 1151013 edges, 5935 markings/sec, 150 secs
lola: 966062 markings, 1188107 edges, 5980 markings/sec, 155 secs
lola: 995580 markings, 1226282 edges, 5904 markings/sec, 160 secs
lola: 1025905 markings, 1262898 edges, 6065 markings/sec, 165 secs
lola: 1055877 markings, 1300255 edges, 5994 markings/sec, 170 secs
lola: 1085158 markings, 1339335 edges, 5856 markings/sec, 175 secs
lola: 1114957 markings, 1376865 edges, 5960 markings/sec, 180 secs
lola: 1144740 markings, 1414280 edges, 5957 markings/sec, 185 secs
lola: 1175114 markings, 1450932 edges, 6075 markings/sec, 190 secs
lola: 1205164 markings, 1489060 edges, 6010 markings/sec, 195 secs
lola: 1235375 markings, 1526054 edges, 6042 markings/sec, 200 secs
lola: 1265511 markings, 1563337 edges, 6027 markings/sec, 205 secs
lola: 1294962 markings, 1602138 edges, 5890 markings/sec, 210 secs
lola: 1324642 markings, 1640979 edges, 5936 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p170)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 30561 markings, 32321 edges, 6112 markings/sec, 0 secs
lola: 60819 markings, 66019 edges, 6052 markings/sec, 5 secs
lola: 90382 markings, 101003 edges, 5913 markings/sec, 10 secs
lola: 120112 markings, 136849 edges, 5946 markings/sec, 15 secs
lola: 150022 markings, 172239 edges, 5982 markings/sec, 20 secs
lola: 179618 markings, 208057 edges, 5919 markings/sec, 25 secs
lola: 209485 markings, 243752 edges, 5973 markings/sec, 30 secs
lola: 239251 markings, 279264 edges, 5953 markings/sec, 35 secs
lola: 268972 markings, 314732 edges, 5944 markings/sec, 40 secs
lola: 298210 markings, 351599 edges, 5848 markings/sec, 45 secs
lola: 326289 markings, 391308 edges, 5616 markings/sec, 50 secs
lola: 355606 markings, 428362 edges, 5863 markings/sec, 55 secs
lola: 385195 markings, 464889 edges, 5918 markings/sec, 60 secs
lola: 414865 markings, 500774 edges, 5934 markings/sec, 65 secs
lola: 443660 markings, 538104 edges, 5759 markings/sec, 70 secs
lola: 473234 markings, 574725 edges, 5915 markings/sec, 75 secs
lola: 502662 markings, 610760 edges, 5886 markings/sec, 80 secs
lola: 531691 markings, 648167 edges, 5806 markings/sec, 85 secs
lola: 560964 markings, 684782 edges, 5855 markings/sec, 90 secs
lola: 590578 markings, 721096 edges, 5923 markings/sec, 95 secs
lola: 619619 markings, 758356 edges, 5808 markings/sec, 100 secs
lola: 649376 markings, 794563 edges, 5951 markings/sec, 105 secs
lola: 679056 markings, 830851 edges, 5936 markings/sec, 110 secs
lola: 708333 markings, 867632 edges, 5855 markings/sec, 115 secs
lola: 737703 markings, 904272 edges, 5874 markings/sec, 120 secs
lola: 766799 markings, 942116 edges, 5819 markings/sec, 125 secs
lola: 796302 markings, 978511 edges, 5901 markings/sec, 130 secs
lola: 825697 markings, 1014760 edges, 5879 markings/sec, 135 secs
lola: 855490 markings, 1050640 edges, 5959 markings/sec, 140 secs
lola: 885198 markings, 1086564 edges, 5942 markings/sec, 145 secs
lola: 914788 markings, 1123043 edges, 5918 markings/sec, 150 secs
lola: 943939 markings, 1160610 edges, 5830 markings/sec, 155 secs
lola: 973206 markings, 1197066 edges, 5853 markings/sec, 160 secs
lola: 1002470 markings, 1234250 edges, 5853 markings/sec, 165 secs
lola: 1032024 markings, 1270503 edges, 5911 markings/sec, 170 secs
lola: 1061494 markings, 1307196 edges, 5894 markings/sec, 175 secs
lola: 1090138 markings, 1346123 edges, 5729 markings/sec, 180 secs
lola: 1119496 markings, 1382432 edges, 5872 markings/sec, 185 secs
lola: 1148831 markings, 1419279 edges, 5867 markings/sec, 190 secs
lola: 1178582 markings, 1455364 edges, 5950 markings/sec, 195 secs
lola: 1208120 markings, 1492460 edges, 5908 markings/sec, 200 secs
lola: 1237823 markings, 1528978 edges, 5941 markings/sec, 205 secs
lola: 1267385 markings, 1565600 edges, 5912 markings/sec, 210 secs
lola: 1296248 markings, 1603883 edges, 5773 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(p211 + p212 + p213 + p214)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 33717 markings, 35174 edges, 6743 markings/sec, 0 secs
lola: 67250 markings, 70477 edges, 6707 markings/sec, 5 secs
lola: 99282 markings, 106992 edges, 6406 markings/sec, 10 secs
lola: 131818 markings, 143885 edges, 6507 markings/sec, 15 secs
lola: 164242 markings, 180997 edges, 6485 markings/sec, 20 secs
lola: 197587 markings, 217160 edges, 6669 markings/sec, 25 secs
lola: 230277 markings, 254307 edges, 6538 markings/sec, 30 secs
lola: 262962 markings, 290851 edges, 6537 markings/sec, 35 secs
lola: 295765 markings, 328036 edges, 6561 markings/sec, 40 secs
lola: 328689 markings, 364855 edges, 6585 markings/sec, 45 secs
lola: 360913 markings, 402243 edges, 6445 markings/sec, 50 secs
lola: 393657 markings, 438626 edges, 6549 markings/sec, 55 secs
lola: 426319 markings, 474779 edges, 6532 markings/sec, 60 secs
lola: 458935 markings, 511253 edges, 6523 markings/sec, 65 secs
lola: 491702 markings, 547847 edges, 6553 markings/sec, 70 secs
lola: 524423 markings, 585095 edges, 6544 markings/sec, 75 secs
lola: 557243 markings, 622553 edges, 6564 markings/sec, 80 secs
lola: 590071 markings, 659495 edges, 6566 markings/sec, 85 secs
lola: 622143 markings, 696775 edges, 6414 markings/sec, 90 secs
lola: 654516 markings, 734016 edges, 6475 markings/sec, 95 secs
lola: 686779 markings, 772500 edges, 6453 markings/sec, 100 secs
lola: 719326 markings, 810056 edges, 6509 markings/sec, 105 secs
lola: 752162 markings, 847660 edges, 6567 markings/sec, 110 secs
lola: 784549 markings, 885441 edges, 6477 markings/sec, 115 secs
lola: 816686 markings, 923439 edges, 6427 markings/sec, 120 secs
lola: 848954 markings, 962270 edges, 6454 markings/sec, 125 secs
lola: 881055 markings, 1000929 edges, 6420 markings/sec, 130 secs
lola: 913284 markings, 1039054 edges, 6446 markings/sec, 135 secs
lola: 945729 markings, 1077020 edges, 6489 markings/sec, 140 secs
lola: 977559 markings, 1114478 edges, 6366 markings/sec, 145 secs
lola: 1009534 markings, 1152930 edges, 6395 markings/sec, 150 secs
lola: 1041902 markings, 1191202 edges, 6474 markings/sec, 155 secs
lola: 1073754 markings, 1229358 edges, 6370 markings/sec, 160 secs
lola: 1105403 markings, 1267792 edges, 6330 markings/sec, 165 secs
lola: 1137606 markings, 1306106 edges, 6441 markings/sec, 170 secs
lola: 1169898 markings, 1344804 edges, 6458 markings/sec, 175 secs
lola: 1201782 markings, 1382936 edges, 6377 markings/sec, 180 secs
lola: 1234081 markings, 1421245 edges, 6460 markings/sec, 185 secs
lola: 1264583 markings, 1458706 edges, 6100 markings/sec, 190 secs
lola: 1296810 markings, 1498006 edges, 6445 markings/sec, 195 secs
lola: 1328897 markings, 1537016 edges, 6417 markings/sec, 200 secs
lola: 1360595 markings, 1575390 edges, 6340 markings/sec, 205 secs
lola: 1392967 markings, 1614175 edges, 6474 markings/sec, 210 secs
lola: 1425090 markings, 1653082 edges, 6425 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(p315 + p316 + p317 + p318 + p319 + p320)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 33315 markings, 34317 edges, 6663 markings/sec, 0 secs
lola: 65465 markings, 69603 edges, 6430 markings/sec, 5 secs
lola: 97665 markings, 105160 edges, 6440 markings/sec, 10 secs
lola: 129444 markings, 141408 edges, 6356 markings/sec, 15 secs
lola: 162180 markings, 176846 edges, 6547 markings/sec, 20 secs
lola: 194669 markings, 212530 edges, 6498 markings/sec, 25 secs
lola: 227008 markings, 248311 edges, 6468 markings/sec, 30 secs
lola: 259288 markings, 283919 edges, 6456 markings/sec, 35 secs
lola: 291722 markings, 319948 edges, 6487 markings/sec, 40 secs
lola: 324225 markings, 355955 edges, 6501 markings/sec, 45 secs
lola: 356496 markings, 391820 edges, 6454 markings/sec, 50 secs
lola: 388736 markings, 428062 edges, 6448 markings/sec, 55 secs
lola: 420816 markings, 464015 edges, 6416 markings/sec, 60 secs
lola: 452913 markings, 499961 edges, 6419 markings/sec, 65 secs
lola: 485155 markings, 535921 edges, 6448 markings/sec, 70 secs
lola: 516965 markings, 572760 edges, 6362 markings/sec, 75 secs
lola: 548913 markings, 609359 edges, 6390 markings/sec, 80 secs
lola: 580984 markings, 645672 edges, 6414 markings/sec, 85 secs
lola: 613254 markings, 682619 edges, 6454 markings/sec, 90 secs
lola: 645374 markings, 719299 edges, 6424 markings/sec, 95 secs
lola: 677293 markings, 755921 edges, 6384 markings/sec, 100 secs
lola: 709136 markings, 793087 edges, 6369 markings/sec, 105 secs
lola: 740838 markings, 829773 edges, 6340 markings/sec, 110 secs
lola: 772532 markings, 866892 edges, 6339 markings/sec, 115 secs
lola: 804443 markings, 904327 edges, 6382 markings/sec, 120 secs
lola: 836072 markings, 941370 edges, 6326 markings/sec, 125 secs
lola: 867992 markings, 978540 edges, 6384 markings/sec, 130 secs
lola: 899821 markings, 1015534 edges, 6366 markings/sec, 135 secs
lola: 931591 markings, 1052818 edges, 6354 markings/sec, 140 secs
lola: 963045 markings, 1089974 edges, 6291 markings/sec, 145 secs
lola: 994753 markings, 1127546 edges, 6342 markings/sec, 150 secs
lola: 1026253 markings, 1164272 edges, 6300 markings/sec, 155 secs
lola: 1056829 markings, 1200552 edges, 6115 markings/sec, 160 secs
lola: 1089087 markings, 1238728 edges, 6452 markings/sec, 165 secs
lola: 1121089 markings, 1276376 edges, 6400 markings/sec, 170 secs
lola: 1153046 markings, 1314269 edges, 6391 markings/sec, 175 secs
lola: 1185311 markings, 1352956 edges, 6453 markings/sec, 180 secs
lola: 1216741 markings, 1391487 edges, 6286 markings/sec, 185 secs
lola: 1248984 markings, 1429904 edges, 6449 markings/sec, 190 secs
lola: 1281546 markings, 1468784 edges, 6512 markings/sec, 195 secs
lola: 1313853 markings, 1507180 edges, 6461 markings/sec, 200 secs
lola: 1345823 markings, 1545502 edges, 6394 markings/sec, 205 secs
lola: 1378215 markings, 1583937 edges, 6478 markings/sec, 210 secs
lola: 1410092 markings, 1622399 edges, 6375 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(p2 + p3 + p4 + p5 + p6 + p7 + p8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 31496 markings, 33289 edges, 6299 markings/sec, 0 secs
lola: 62457 markings, 67841 edges, 6192 markings/sec, 5 secs
lola: 92668 markings, 103496 edges, 6042 markings/sec, 10 secs
lola: 122918 markings, 140011 edges, 6050 markings/sec, 15 secs
lola: 153463 markings, 176220 edges, 6109 markings/sec, 20 secs
lola: 183696 markings, 212610 edges, 6047 markings/sec, 25 secs
lola: 214198 markings, 249013 edges, 6100 markings/sec, 30 secs
lola: 244249 markings, 285921 edges, 6010 markings/sec, 35 secs
lola: 274747 markings, 321805 edges, 6100 markings/sec, 40 secs
lola: 303706 markings, 361170 edges, 5792 markings/sec, 45 secs
lola: 333096 markings, 400187 edges, 5878 markings/sec, 50 secs
lola: 363154 markings, 437174 edges, 6012 markings/sec, 55 secs
lola: 393436 markings, 474595 edges, 6056 markings/sec, 60 secs
lola: 423166 markings, 512199 edges, 5946 markings/sec, 65 secs
lola: 452776 markings, 550068 edges, 5922 markings/sec, 70 secs
lola: 483147 markings, 586830 edges, 6074 markings/sec, 75 secs
lola: 512604 markings, 624540 edges, 5891 markings/sec, 80 secs
lola: 542884 markings, 661145 edges, 6056 markings/sec, 85 secs
lola: 572553 markings, 698967 edges, 5934 markings/sec, 90 secs
lola: 602447 markings, 735614 edges, 5979 markings/sec, 95 secs
lola: 632231 markings, 773407 edges, 5957 markings/sec, 100 secs
lola: 662475 markings, 810577 edges, 6049 markings/sec, 105 secs
lola: 692784 markings, 847069 edges, 6062 markings/sec, 110 secs
lola: 722206 markings, 884972 edges, 5884 markings/sec, 115 secs
lola: 751866 markings, 923680 edges, 5932 markings/sec, 120 secs
lola: 781919 markings, 960611 edges, 6011 markings/sec, 125 secs
lola: 811809 markings, 998192 edges, 5978 markings/sec, 130 secs
lola: 842185 markings, 1034401 edges, 6075 markings/sec, 135 secs
lola: 872304 markings, 1071088 edges, 6024 markings/sec, 140 secs
lola: 902588 markings, 1108164 edges, 6057 markings/sec, 145 secs
lola: 932230 markings, 1146307 edges, 5928 markings/sec, 150 secs
lola: 962279 markings, 1183485 edges, 6010 markings/sec, 155 secs
lola: 991886 markings, 1221647 edges, 5921 markings/sec, 160 secs
lola: 1022283 markings, 1258328 edges, 6079 markings/sec, 165 secs
lola: 1052155 markings, 1295737 edges, 5974 markings/sec, 170 secs
lola: 1081569 markings, 1334546 edges, 5883 markings/sec, 175 secs
lola: 1111387 markings, 1372431 edges, 5964 markings/sec, 180 secs
lola: 1141136 markings, 1410007 edges, 5950 markings/sec, 185 secs
lola: 1171460 markings, 1446236 edges, 6065 markings/sec, 190 secs
lola: 1201483 markings, 1484511 edges, 6005 markings/sec, 195 secs
lola: 1231680 markings, 1521373 edges, 6039 markings/sec, 200 secs
lola: 1261964 markings, 1558770 edges, 6057 markings/sec, 205 secs
lola: 1291361 markings, 1597855 edges, 5879 markings/sec, 210 secs
lola: 1321148 markings, 1636289 edges, 5957 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p151 + p152 + p153 + p154 + p155 + p156)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 31111 markings, 31544 edges, 6222 markings/sec, 0 secs
lola: 62226 markings, 64079 edges, 6223 markings/sec, 5 secs
lola: 93135 markings, 96990 edges, 6182 markings/sec, 10 secs
lola: 124207 markings, 130290 edges, 6214 markings/sec, 15 secs
lola: 155184 markings, 163852 edges, 6195 markings/sec, 20 secs
lola: 186083 markings, 197639 edges, 6180 markings/sec, 25 secs
lola: 217054 markings, 231245 edges, 6194 markings/sec, 30 secs
lola: 247984 markings, 264874 edges, 6186 markings/sec, 35 secs
lola: 278768 markings, 298901 edges, 6157 markings/sec, 40 secs
lola: 309627 markings, 333130 edges, 6172 markings/sec, 45 secs
lola: 340481 markings, 367229 edges, 6171 markings/sec, 50 secs
lola: 370964 markings, 401449 edges, 6097 markings/sec, 55 secs
lola: 401676 markings, 435449 edges, 6142 markings/sec, 60 secs
lola: 432414 markings, 469772 edges, 6148 markings/sec, 65 secs
lola: 462906 markings, 503705 edges, 6098 markings/sec, 70 secs
lola: 493295 markings, 538309 edges, 6078 markings/sec, 75 secs
lola: 523933 markings, 572948 edges, 6128 markings/sec, 80 secs
lola: 554771 markings, 607664 edges, 6168 markings/sec, 85 secs
lola: 585598 markings, 642057 edges, 6165 markings/sec, 90 secs
lola: 616300 markings, 676375 edges, 6140 markings/sec, 95 secs
lola: 646880 markings, 710585 edges, 6116 markings/sec, 100 secs
lola: 677637 markings, 745290 edges, 6151 markings/sec, 105 secs
lola: 708262 markings, 779945 edges, 6125 markings/sec, 110 secs
lola: 738915 markings, 814690 edges, 6131 markings/sec, 115 secs
lola: 769600 markings, 848569 edges, 6137 markings/sec, 120 secs
lola: 800175 markings, 883250 edges, 6115 markings/sec, 125 secs
lola: 830901 markings, 917872 edges, 6145 markings/sec, 130 secs
lola: 861597 markings, 952539 edges, 6139 markings/sec, 135 secs
lola: 892089 markings, 987134 edges, 6098 markings/sec, 140 secs
lola: 922653 markings, 1021704 edges, 6113 markings/sec, 145 secs
lola: 953313 markings, 1056693 edges, 6132 markings/sec, 150 secs
lola: 983771 markings, 1091624 edges, 6092 markings/sec, 155 secs
lola: 1014356 markings, 1126902 edges, 6117 markings/sec, 160 secs
lola: 1044970 markings, 1162278 edges, 6123 markings/sec, 165 secs
lola: 1075557 markings, 1197886 edges, 6117 markings/sec, 170 secs
lola: 1106094 markings, 1232639 edges, 6107 markings/sec, 175 secs
lola: 1136593 markings, 1267381 edges, 6100 markings/sec, 180 secs
lola: 1167063 markings, 1302157 edges, 6094 markings/sec, 185 secs
lola: 1197407 markings, 1337668 edges, 6069 markings/sec, 190 secs
lola: 1227908 markings, 1373034 edges, 6100 markings/sec, 195 secs
lola: 1258395 markings, 1408466 edges, 6097 markings/sec, 200 secs
lola: 1288925 markings, 1443039 edges, 6106 markings/sec, 205 secs
lola: 1319346 markings, 1478384 edges, 6084 markings/sec, 210 secs
lola: 1349763 markings, 1513806 edges, 6083 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(p327)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 31095 markings, 32496 edges, 6219 markings/sec, 0 secs
lola: 61975 markings, 64884 edges, 6176 markings/sec, 5 secs
lola: 92956 markings, 97598 edges, 6196 markings/sec, 10 secs
lola: 123678 markings, 129654 edges, 6144 markings/sec, 15 secs
lola: 154217 markings, 161859 edges, 6108 markings/sec, 20 secs
lola: 184924 markings, 194239 edges, 6141 markings/sec, 25 secs
lola: 215390 markings, 226181 edges, 6093 markings/sec, 30 secs
lola: 246052 markings, 258300 edges, 6132 markings/sec, 35 secs
lola: 277352 markings, 290770 edges, 6260 markings/sec, 40 secs
lola: 308561 markings, 323274 edges, 6242 markings/sec, 45 secs
lola: 339370 markings, 355751 edges, 6162 markings/sec, 50 secs
lola: 369717 markings, 387650 edges, 6069 markings/sec, 55 secs
lola: 400274 markings, 419929 edges, 6111 markings/sec, 60 secs
lola: 428751 markings, 450003 edges, 5695 markings/sec, 65 secs
lola: 457510 markings, 480152 edges, 5752 markings/sec, 70 secs
lola: 488227 markings, 512703 edges, 6143 markings/sec, 75 secs
lola: 519135 markings, 545110 edges, 6182 markings/sec, 80 secs
lola: 549867 markings, 577778 edges, 6146 markings/sec, 85 secs
lola: 580494 markings, 610716 edges, 6125 markings/sec, 90 secs
lola: 611095 markings, 644472 edges, 6120 markings/sec, 95 secs
lola: 642096 markings, 677960 edges, 6200 markings/sec, 100 secs
lola: 673717 markings, 711422 edges, 6324 markings/sec, 105 secs
lola: 705290 markings, 744432 edges, 6315 markings/sec, 110 secs
lola: 736547 markings, 777711 edges, 6251 markings/sec, 115 secs
lola: 767728 markings, 811508 edges, 6236 markings/sec, 120 secs
lola: 798930 markings, 845523 edges, 6240 markings/sec, 125 secs
lola: 830282 markings, 879341 edges, 6270 markings/sec, 130 secs
lola: 861713 markings, 912602 edges, 6286 markings/sec, 135 secs
lola: 892856 markings, 945530 edges, 6229 markings/sec, 140 secs
lola: 923517 markings, 977639 edges, 6132 markings/sec, 145 secs
lola: 954729 markings, 1011857 edges, 6242 markings/sec, 150 secs
lola: 985643 markings, 1044284 edges, 6183 markings/sec, 155 secs
lola: 1016787 markings, 1077479 edges, 6229 markings/sec, 160 secs
lola: 1048182 markings, 1111431 edges, 6279 markings/sec, 165 secs
lola: 1079207 markings, 1144450 edges, 6205 markings/sec, 170 secs
lola: 1109955 markings, 1177792 edges, 6150 markings/sec, 175 secs
lola: 1141616 markings, 1212136 edges, 6332 markings/sec, 180 secs
lola: 1173195 markings, 1245759 edges, 6316 markings/sec, 185 secs
lola: 1204735 markings, 1279541 edges, 6308 markings/sec, 190 secs
lola: 1235603 markings, 1312317 edges, 6174 markings/sec, 195 secs
lola: 1266882 markings, 1345207 edges, 6256 markings/sec, 200 secs
lola: 1298365 markings, 1379785 edges, 6297 markings/sec, 205 secs
lola: 1329933 markings, 1415346 edges, 6314 markings/sec, 210 secs
lola: 1361487 markings, 1450132 edges, 6311 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(p9)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 2256 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: 30799 markings, 33942 edges, 6160 markings/sec, 0 secs
lola: 62423 markings, 70184 edges, 6325 markings/sec, 5 secs
lola: 94046 markings, 106192 edges, 6325 markings/sec, 10 secs
lola: 125724 markings, 143371 edges, 6336 markings/sec, 15 secs
lola: 157052 markings, 181036 edges, 6266 markings/sec, 20 secs
lola: 188261 markings, 218287 edges, 6242 markings/sec, 25 secs
lola: 219504 markings, 255965 edges, 6249 markings/sec, 30 secs
lola: 250749 markings, 293867 edges, 6249 markings/sec, 35 secs
lola: 281900 markings, 331030 edges, 6230 markings/sec, 40 secs
lola: 313053 markings, 369418 edges, 6231 markings/sec, 45 secs
lola: 342025 markings, 405258 edges, 5794 markings/sec, 50 secs
lola: 371121 markings, 441241 edges, 5819 markings/sec, 55 secs
lola: 402064 markings, 479894 edges, 6189 markings/sec, 60 secs
lola: 433033 markings, 518754 edges, 6194 markings/sec, 65 secs
lola: 464100 markings, 558113 edges, 6213 markings/sec, 70 secs
lola: 495242 markings, 596834 edges, 6228 markings/sec, 75 secs
lola: 526293 markings, 636353 edges, 6210 markings/sec, 80 secs
lola: 557278 markings, 674592 edges, 6197 markings/sec, 85 secs
lola: 588355 markings, 713666 edges, 6215 markings/sec, 90 secs
lola: 619342 markings, 753247 edges, 6197 markings/sec, 95 secs
lola: 650432 markings, 792523 edges, 6218 markings/sec, 100 secs
lola: 681449 markings, 832004 edges, 6203 markings/sec, 105 secs
lola: 712448 markings, 872012 edges, 6200 markings/sec, 110 secs
lola: 742714 markings, 909981 edges, 6053 markings/sec, 115 secs
lola: 773662 markings, 948221 edges, 6190 markings/sec, 120 secs
lola: 804632 markings, 987645 edges, 6194 markings/sec, 125 secs
lola: 835630 markings, 1026562 edges, 6200 markings/sec, 130 secs
lola: 867185 markings, 1066405 edges, 6311 markings/sec, 135 secs
lola: 898382 markings, 1106762 edges, 6239 markings/sec, 140 secs
lola: 929419 markings, 1145632 edges, 6207 markings/sec, 145 secs
lola: 960347 markings, 1184781 edges, 6186 markings/sec, 150 secs
lola: 991385 markings, 1224263 edges, 6208 markings/sec, 155 secs
lola: 1022232 markings, 1263964 edges, 6169 markings/sec, 160 secs
lola: 1053115 markings, 1304722 edges, 6177 markings/sec, 165 secs
lola: 1084048 markings, 1345128 edges, 6187 markings/sec, 170 secs
lola: 1115239 markings, 1385800 edges, 6238 markings/sec, 175 secs
lola: 1146463 markings, 1426021 edges, 6245 markings/sec, 180 secs
lola: 1177761 markings, 1467676 edges, 6260 markings/sec, 185 secs
lola: 1209017 markings, 1507317 edges, 6251 markings/sec, 190 secs
lola: 1240355 markings, 1548567 edges, 6268 markings/sec, 195 secs
lola: 1271625 markings, 1589228 edges, 6254 markings/sec, 200 secs
lola: 1302945 markings, 1630072 edges, 6264 markings/sec, 205 secs
lola: 1334028 markings, 1671122 edges, 6217 markings/sec, 210 secs
lola: 1365031 markings, 1711800 edges, 6201 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PolyORBLF-COL-S04J06T06-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494642083453
--------------------
content from stderr:
----- Start make prepare stderr -----
----- Start make result stderr -----
----- Start make result stderr -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S04J06T06"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S04J06T06.tgz
mv PolyORBLF-COL-S04J06T06 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is PolyORBLF-COL-S04J06T06, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r048-smll-149440869900344"
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 '
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 ;