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

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

=== Now, execution of the tool begins

BK_START 1496440999660


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


checking for too many tokens
===========================================================================================
S_Ring-PT-none: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_Ring-PT-none @ 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: 226/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 139 places, 87 transitions, 75 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 147 transition conflict sets
lola: TASK
lola: reading formula from Ring-PT-none-UpperBounds.task
lola: MAX(P94) : MAX(P105) : MAX(P18) : MAX(P99) : MAX(P12) : MAX(P113) : MAX(P50) : MAX(P45) : MAX(P69) : MAX(P63) : MAX(P86) : MAX(P14) : MAX(P51) : MAX(P103) : MAX(P122) : MAX(P10)
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(P94)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 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: 2328289 markings, 3178753 edges, 465658 markings/sec, 0 secs
lola: 4364312 markings, 6044891 edges, 407205 markings/sec, 5 secs
lola: 6223561 markings, 8749342 edges, 371850 markings/sec, 10 secs
lola: 7908067 markings, 11252046 edges, 336901 markings/sec, 15 secs
lola: 9571285 markings, 13802061 edges, 332644 markings/sec, 20 secs
lola: 11148189 markings, 16246453 edges, 315381 markings/sec, 25 secs
lola: 12680492 markings, 18649332 edges, 306461 markings/sec, 30 secs
lola: 14188470 markings, 21022197 edges, 301596 markings/sec, 35 secs
lola: 15658631 markings, 23381082 edges, 294032 markings/sec, 40 secs
lola: 17100278 markings, 25734281 edges, 288329 markings/sec, 45 secs
lola: 18532208 markings, 28081015 edges, 286386 markings/sec, 50 secs
lola: 19937676 markings, 30403938 edges, 281094 markings/sec, 55 secs
lola: 21282264 markings, 32683503 edges, 268918 markings/sec, 60 secs
lola: 22597416 markings, 34929600 edges, 263030 markings/sec, 65 secs
lola: 23922228 markings, 37210227 edges, 264962 markings/sec, 70 secs
lola: 25204252 markings, 39423677 edges, 256405 markings/sec, 75 secs
lola: 26470002 markings, 41609914 edges, 253150 markings/sec, 80 secs
lola: 27673311 markings, 43711666 edges, 240662 markings/sec, 85 secs
lola: 28872753 markings, 45815713 edges, 239888 markings/sec, 90 secs
lola: 30127092 markings, 48015241 edges, 250868 markings/sec, 95 secs
lola: 31334474 markings, 50172053 edges, 241476 markings/sec, 100 secs
lola: 32534801 markings, 52335279 edges, 240065 markings/sec, 105 secs
lola: 33764307 markings, 54545046 edges, 245901 markings/sec, 110 secs
lola: 34985668 markings, 56718705 edges, 244272 markings/sec, 115 secs
lola: 36213866 markings, 58946631 edges, 245640 markings/sec, 120 secs
lola: 37439905 markings, 61196655 edges, 245208 markings/sec, 125 secs
lola: 38650443 markings, 63416040 edges, 242108 markings/sec, 130 secs
lola: 39842393 markings, 65598977 edges, 238390 markings/sec, 135 secs
lola: 41007838 markings, 67773838 edges, 233089 markings/sec, 140 secs
lola: 42180127 markings, 69942867 edges, 234458 markings/sec, 145 secs
lola: 43333167 markings, 72104626 edges, 230608 markings/sec, 150 secs
lola: 44479552 markings, 74267397 edges, 229277 markings/sec, 155 secs
lola: 45617491 markings, 76410248 edges, 227588 markings/sec, 160 secs
lola: 46764002 markings, 78575269 edges, 229302 markings/sec, 165 secs
lola: 47906288 markings, 80727540 edges, 228457 markings/sec, 170 secs
lola: 49020686 markings, 82846995 edges, 222880 markings/sec, 175 secs
lola: 50155139 markings, 84993715 edges, 226891 markings/sec, 180 secs
lola: 51270307 markings, 87124813 edges, 223034 markings/sec, 185 secs
lola: 52370004 markings, 89251652 edges, 219939 markings/sec, 190 secs
lola: 53466072 markings, 91383316 edges, 219214 markings/sec, 195 secs
lola: 54547813 markings, 93488829 edges, 216348 markings/sec, 200 secs
lola: 55631510 markings, 95586767 edges, 216739 markings/sec, 205 secs
lola: 56700196 markings, 97686132 edges, 213737 markings/sec, 210 secs
lola: 57770897 markings, 99785241 edges, 214140 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(P105)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 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: 2135693 markings, 2987654 edges, 427139 markings/sec, 0 secs
lola: 3874364 markings, 5657296 edges, 347734 markings/sec, 5 secs
lola: 5446406 markings, 8209353 edges, 314408 markings/sec, 10 secs
lola: 6946325 markings, 10695931 edges, 299984 markings/sec, 15 secs
lola: 8364402 markings, 13128956 edges, 283615 markings/sec, 20 secs
lola: 9739696 markings, 15517712 edges, 275059 markings/sec, 25 secs
lola: 11094539 markings, 17846291 edges, 270969 markings/sec, 30 secs
lola: 12404933 markings, 20139356 edges, 262079 markings/sec, 35 secs
lola: 13711854 markings, 22412775 edges, 261384 markings/sec, 40 secs
lola: 14993566 markings, 24671902 edges, 256342 markings/sec, 45 secs
lola: 16256172 markings, 26908202 edges, 252521 markings/sec, 50 secs
lola: 17506475 markings, 29136631 edges, 250061 markings/sec, 55 secs
lola: 18730594 markings, 31351284 edges, 244824 markings/sec, 60 secs
lola: 19947625 markings, 33570468 edges, 243406 markings/sec, 65 secs
lola: 21121317 markings, 35720978 edges, 234738 markings/sec, 70 secs
lola: 22297001 markings, 37877617 edges, 235137 markings/sec, 75 secs
lola: 23479435 markings, 40024471 edges, 236487 markings/sec, 80 secs
lola: 24650904 markings, 42209878 edges, 234294 markings/sec, 85 secs
lola: 25811946 markings, 44366346 edges, 232208 markings/sec, 90 secs
lola: 26965709 markings, 46524057 edges, 230753 markings/sec, 95 secs
lola: 28107967 markings, 48683912 edges, 228452 markings/sec, 100 secs
lola: 29237377 markings, 50800181 edges, 225882 markings/sec, 105 secs
lola: 30355733 markings, 52902160 edges, 223671 markings/sec, 110 secs
lola: 31482701 markings, 55032603 edges, 225394 markings/sec, 115 secs
lola: 32607746 markings, 57153943 edges, 225009 markings/sec, 120 secs
lola: 33722690 markings, 59267558 edges, 222989 markings/sec, 125 secs
lola: 34824218 markings, 61380398 edges, 220306 markings/sec, 130 secs
lola: 35926885 markings, 63482884 edges, 220533 markings/sec, 135 secs
lola: 37014625 markings, 65538605 edges, 217548 markings/sec, 140 secs
lola: 38081969 markings, 67581242 edges, 213469 markings/sec, 145 secs
lola: 39147572 markings, 69638375 edges, 213121 markings/sec, 150 secs
lola: 40196028 markings, 71664245 edges, 209691 markings/sec, 155 secs
lola: 41251314 markings, 73681944 edges, 211057 markings/sec, 160 secs
lola: 42297978 markings, 75690806 edges, 209333 markings/sec, 165 secs
lola: 43344898 markings, 77708637 edges, 209384 markings/sec, 170 secs
lola: 44389394 markings, 79718329 edges, 208899 markings/sec, 175 secs
lola: 45445600 markings, 81757834 edges, 211241 markings/sec, 180 secs
lola: 46506397 markings, 83802358 edges, 212159 markings/sec, 185 secs
lola: 47567169 markings, 85867949 edges, 212154 markings/sec, 190 secs
lola: 48621097 markings, 87895661 edges, 210786 markings/sec, 195 secs
lola: 49665281 markings, 89921748 edges, 208837 markings/sec, 200 secs
lola: 50712953 markings, 91953646 edges, 209534 markings/sec, 205 secs
lola: 51737475 markings, 93943742 edges, 204904 markings/sec, 210 secs
lola: 52765882 markings, 95963197 edges, 205681 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(P18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 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: 2127296 markings, 3372931 edges, 425459 markings/sec, 0 secs
lola: 4048198 markings, 6495514 edges, 384180 markings/sec, 5 secs
lola: 5855059 markings, 9469770 edges, 361372 markings/sec, 10 secs
lola: 7625687 markings, 12397323 edges, 354126 markings/sec, 15 secs
lola: 9269608 markings, 15099411 edges, 328784 markings/sec, 20 secs
lola: 10869659 markings, 17738670 edges, 320010 markings/sec, 25 secs
lola: 12492637 markings, 20391089 edges, 324596 markings/sec, 30 secs
lola: 14061781 markings, 22964293 edges, 313829 markings/sec, 35 secs
lola: 15616565 markings, 25515885 edges, 310957 markings/sec, 40 secs
lola: 17180613 markings, 28108159 edges, 312810 markings/sec, 45 secs
lola: 18689528 markings, 30628632 edges, 301783 markings/sec, 50 secs
lola: 20186394 markings, 33117063 edges, 299373 markings/sec, 55 secs
lola: 21741507 markings, 35704588 edges, 311023 markings/sec, 60 secs
lola: 23225971 markings, 38186665 edges, 296893 markings/sec, 65 secs
lola: 24652409 markings, 40582072 edges, 285288 markings/sec, 70 secs
lola: 26151493 markings, 43080923 edges, 299817 markings/sec, 75 secs
lola: 27638070 markings, 45557887 edges, 297315 markings/sec, 80 secs
lola: 29042755 markings, 47900107 edges, 280937 markings/sec, 85 secs
lola: 30454571 markings, 50244332 edges, 282363 markings/sec, 90 secs
lola: 31855315 markings, 52558494 edges, 280149 markings/sec, 95 secs
lola: 33258232 markings, 54903786 edges, 280583 markings/sec, 100 secs
lola: 34641804 markings, 57202389 edges, 276714 markings/sec, 105 secs
lola: 36002750 markings, 59478388 edges, 272189 markings/sec, 110 secs
lola: 37368686 markings, 61757823 edges, 273187 markings/sec, 115 secs
lola: 38734377 markings, 64025692 edges, 273138 markings/sec, 120 secs
lola: 40134632 markings, 66355459 edges, 280051 markings/sec, 125 secs
lola: 41527081 markings, 68684754 edges, 278490 markings/sec, 130 secs
lola: 42884185 markings, 70972848 edges, 271421 markings/sec, 135 secs
lola: 44255967 markings, 73259003 edges, 274356 markings/sec, 140 secs
lola: 45620419 markings, 75552067 edges, 272890 markings/sec, 145 secs
lola: 46975527 markings, 77836690 edges, 271022 markings/sec, 150 secs
lola: 48325871 markings, 80104199 edges, 270069 markings/sec, 155 secs
lola: 49660371 markings, 82358499 edges, 266900 markings/sec, 160 secs
lola: 50996829 markings, 84599253 edges, 267292 markings/sec, 165 secs
lola: 52329131 markings, 86846959 edges, 266460 markings/sec, 170 secs
lola: 53647576 markings, 89078984 edges, 263689 markings/sec, 175 secs
lola: 54956331 markings, 91295112 edges, 261751 markings/sec, 180 secs
lola: 56289146 markings, 93530895 edges, 266563 markings/sec, 185 secs
lola: 57607614 markings, 95752981 edges, 263694 markings/sec, 190 secs
lola: 58930839 markings, 97985124 edges, 264645 markings/sec, 195 secs
lola: 60242750 markings, 100195480 edges, 262382 markings/sec, 200 secs
lola: 61555271 markings, 102399196 edges, 262504 markings/sec, 205 secs
lola: 62837919 markings, 104552221 edges, 256530 markings/sec, 210 secs
lola: 64112025 markings, 106688196 edges, 254821 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(P99)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 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: 2302006 markings, 2917568 edges, 460401 markings/sec, 0 secs
lola: 4308985 markings, 5629737 edges, 401396 markings/sec, 5 secs
lola: 6194319 markings, 8257914 edges, 377067 markings/sec, 10 secs
lola: 7967655 markings, 10786878 edges, 354667 markings/sec, 15 secs
lola: 9712512 markings, 13335354 edges, 348971 markings/sec, 20 secs
lola: 11413733 markings, 15858851 edges, 340244 markings/sec, 25 secs
lola: 13068760 markings, 18356190 edges, 331005 markings/sec, 30 secs
lola: 14690930 markings, 20820054 edges, 324434 markings/sec, 35 secs
lola: 16251585 markings, 23249776 edges, 312131 markings/sec, 40 secs
lola: 17763345 markings, 25642472 edges, 302352 markings/sec, 45 secs
lola: 19275663 markings, 28032389 edges, 302464 markings/sec, 50 secs
lola: 20773567 markings, 30413072 edges, 299581 markings/sec, 55 secs
lola: 22241487 markings, 32771909 edges, 293584 markings/sec, 60 secs
lola: 23658535 markings, 35073287 edges, 283410 markings/sec, 65 secs
lola: 25071581 markings, 37375314 edges, 282609 markings/sec, 70 secs
lola: 26429066 markings, 39610335 edges, 271497 markings/sec, 75 secs
lola: 27785327 markings, 41828546 edges, 271252 markings/sec, 80 secs
lola: 29116905 markings, 44045386 edges, 266316 markings/sec, 85 secs
lola: 30449350 markings, 46262136 edges, 266489 markings/sec, 90 secs
lola: 31770442 markings, 48469694 edges, 264218 markings/sec, 95 secs
lola: 33069721 markings, 50661264 edges, 259856 markings/sec, 100 secs
lola: 34367890 markings, 52838468 edges, 259634 markings/sec, 105 secs
lola: 35653539 markings, 55023804 edges, 257130 markings/sec, 110 secs
lola: 36938807 markings, 57211134 edges, 257054 markings/sec, 115 secs
lola: 38158964 markings, 59310601 edges, 244031 markings/sec, 120 secs
lola: 39367906 markings, 61396084 edges, 241788 markings/sec, 125 secs
lola: 40594342 markings, 63523747 edges, 245287 markings/sec, 130 secs
lola: 41779176 markings, 65593936 edges, 236967 markings/sec, 135 secs
lola: 42971205 markings, 67645151 edges, 238406 markings/sec, 140 secs
lola: 44157219 markings, 69709965 edges, 237203 markings/sec, 145 secs
lola: 45323818 markings, 71750615 edges, 233320 markings/sec, 150 secs
lola: 46509372 markings, 73819623 edges, 237111 markings/sec, 155 secs
lola: 47699000 markings, 75896832 edges, 237926 markings/sec, 160 secs
lola: 48862281 markings, 77950573 edges, 232656 markings/sec, 165 secs
lola: 50016157 markings, 79989066 edges, 230775 markings/sec, 170 secs
lola: 51168015 markings, 82031606 edges, 230372 markings/sec, 175 secs
lola: 52320879 markings, 84074901 edges, 230573 markings/sec, 180 secs
lola: 53477345 markings, 86110108 edges, 231293 markings/sec, 185 secs
lola: 54613208 markings, 88137487 edges, 227173 markings/sec, 190 secs
lola: 55746811 markings, 90161384 edges, 226721 markings/sec, 195 secs
lola: 56872868 markings, 92175682 edges, 225211 markings/sec, 200 secs
lola: 57991294 markings, 94198122 edges, 223685 markings/sec, 205 secs
lola: 59103754 markings, 96211285 edges, 222492 markings/sec, 210 secs
lola: 60217120 markings, 98214023 edges, 222673 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(P12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 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: 2037046 markings, 3003550 edges, 407409 markings/sec, 0 secs
lola: 3695393 markings, 5621198 edges, 331669 markings/sec, 5 secs
lola: 5253183 markings, 8154962 edges, 311558 markings/sec, 10 secs
lola: 6710716 markings, 10597584 edges, 291507 markings/sec, 15 secs
lola: 8157685 markings, 13042841 edges, 289394 markings/sec, 20 secs
lola: 9555938 markings, 15456275 edges, 279651 markings/sec, 25 secs
lola: 10914182 markings, 17829609 edges, 271649 markings/sec, 30 secs
lola: 12247711 markings, 20171622 edges, 266706 markings/sec, 35 secs
lola: 13550720 markings, 22459194 edges, 260602 markings/sec, 40 secs
lola: 14818346 markings, 24691925 edges, 253525 markings/sec, 45 secs
lola: 16051712 markings, 26880546 edges, 246673 markings/sec, 50 secs
lola: 17276044 markings, 29064718 edges, 244866 markings/sec, 55 secs
lola: 18496186 markings, 31243283 edges, 244028 markings/sec, 60 secs
lola: 19715339 markings, 33426942 edges, 243831 markings/sec, 65 secs
lola: 20908808 markings, 35574807 edges, 238694 markings/sec, 70 secs
lola: 22101834 markings, 37732022 edges, 238605 markings/sec, 75 secs
lola: 23279407 markings, 39862602 edges, 235515 markings/sec, 80 secs
lola: 24451063 markings, 41994618 edges, 234331 markings/sec, 85 secs
lola: 25601891 markings, 44090580 edges, 230166 markings/sec, 90 secs
lola: 26712324 markings, 46108768 edges, 222087 markings/sec, 95 secs
lola: 27821644 markings, 48124147 edges, 221864 markings/sec, 100 secs
lola: 28928119 markings, 50162868 edges, 221295 markings/sec, 105 secs
lola: 30029099 markings, 52178558 edges, 220196 markings/sec, 110 secs
lola: 31118189 markings, 54173894 edges, 217818 markings/sec, 115 secs
lola: 32217662 markings, 56181101 edges, 219895 markings/sec, 120 secs
lola: 33295798 markings, 58154194 edges, 215627 markings/sec, 125 secs
lola: 34377429 markings, 60129901 edges, 216326 markings/sec, 130 secs
lola: 35471940 markings, 62111338 edges, 218902 markings/sec, 135 secs
lola: 36591367 markings, 64165613 edges, 223885 markings/sec, 140 secs
lola: 37686048 markings, 66191108 edges, 218936 markings/sec, 145 secs
lola: 38792374 markings, 68197575 edges, 221265 markings/sec, 150 secs
lola: 39868106 markings, 70173168 edges, 215146 markings/sec, 155 secs
lola: 40961091 markings, 72182402 edges, 218597 markings/sec, 160 secs
lola: 42030287 markings, 74140273 edges, 213839 markings/sec, 165 secs
lola: 43085081 markings, 76078434 edges, 210959 markings/sec, 170 secs
lola: 44137619 markings, 78008216 edges, 210508 markings/sec, 175 secs
lola: 45174970 markings, 79927382 edges, 207470 markings/sec, 180 secs
lola: 46214795 markings, 81848264 edges, 207965 markings/sec, 185 secs
lola: 47272526 markings, 83778733 edges, 211546 markings/sec, 190 secs
lola: 48309447 markings, 85692740 edges, 207384 markings/sec, 195 secs
lola: 49348256 markings, 87593941 edges, 207762 markings/sec, 200 secs
lola: 50426258 markings, 89569955 edges, 215600 markings/sec, 205 secs
lola: 51516134 markings, 91566589 edges, 217975 markings/sec, 210 secs
lola: 52588927 markings, 93541785 edges, 214559 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(P113)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 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: 1802338 markings, 2736382 edges, 360468 markings/sec, 0 secs
lola: 3310041 markings, 5215879 edges, 301541 markings/sec, 5 secs
lola: 4747463 markings, 7665153 edges, 287484 markings/sec, 10 secs
lola: 6109777 markings, 10005829 edges, 272463 markings/sec, 15 secs
lola: 7388221 markings, 12218853 edges, 255689 markings/sec, 20 secs
lola: 8623456 markings, 14385754 edges, 247047 markings/sec, 25 secs
lola: 9817253 markings, 16503171 edges, 238759 markings/sec, 30 secs
lola: 10995351 markings, 18604683 edges, 235620 markings/sec, 35 secs
lola: 12165314 markings, 20703498 edges, 233993 markings/sec, 40 secs
lola: 13306450 markings, 22782282 edges, 228227 markings/sec, 45 secs
lola: 14432529 markings, 24854668 edges, 225216 markings/sec, 50 secs
lola: 15544584 markings, 26901585 edges, 222411 markings/sec, 55 secs
lola: 16644889 markings, 28934884 edges, 220061 markings/sec, 60 secs
lola: 17739531 markings, 30977290 edges, 218928 markings/sec, 65 secs
lola: 18826197 markings, 33010955 edges, 217333 markings/sec, 70 secs
lola: 19887151 markings, 34997065 edges, 212191 markings/sec, 75 secs
lola: 20964066 markings, 37012995 edges, 215383 markings/sec, 80 secs
lola: 22018014 markings, 39016206 edges, 210790 markings/sec, 85 secs
lola: 23077906 markings, 41010538 edges, 211978 markings/sec, 90 secs
lola: 24105179 markings, 42968042 edges, 205455 markings/sec, 95 secs
lola: 25128719 markings, 44914223 edges, 204708 markings/sec, 100 secs
lola: 26143280 markings, 46849647 edges, 202912 markings/sec, 105 secs
lola: 27158823 markings, 48794393 edges, 203109 markings/sec, 110 secs
lola: 28156546 markings, 50709756 edges, 199545 markings/sec, 115 secs
lola: 29154275 markings, 52628573 edges, 199546 markings/sec, 120 secs
lola: 30194342 markings, 54643846 edges, 208013 markings/sec, 125 secs
lola: 31206979 markings, 56608971 edges, 202527 markings/sec, 130 secs
lola: 32210063 markings, 58555046 edges, 200617 markings/sec, 135 secs
lola: 33205061 markings, 60479705 edges, 199000 markings/sec, 140 secs
lola: 34194002 markings, 62397784 edges, 197788 markings/sec, 145 secs
lola: 35172819 markings, 64304715 edges, 195763 markings/sec, 150 secs
lola: 36153205 markings, 66212950 edges, 196077 markings/sec, 155 secs
lola: 37138945 markings, 68147657 edges, 197148 markings/sec, 160 secs
lola: 38121293 markings, 70080650 edges, 196470 markings/sec, 165 secs
lola: 39101322 markings, 72011776 edges, 196006 markings/sec, 170 secs
lola: 40041899 markings, 73863635 edges, 188115 markings/sec, 175 secs
lola: 40971637 markings, 75699620 edges, 185948 markings/sec, 180 secs
lola: 41911375 markings, 77558779 edges, 187948 markings/sec, 185 secs
lola: 42868392 markings, 79470618 edges, 191403 markings/sec, 190 secs
lola: 43815360 markings, 81361960 edges, 189394 markings/sec, 195 secs
lola: 44754298 markings, 83245160 edges, 187788 markings/sec, 200 secs
lola: 45693796 markings, 85122142 edges, 187900 markings/sec, 205 secs
lola: 46640009 markings, 87014142 edges, 189243 markings/sec, 210 secs
lola: 47570451 markings, 88864952 edges, 186088 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(P50)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 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: 2065659 markings, 3046560 edges, 413132 markings/sec, 0 secs
lola: 3728130 markings, 5762729 edges, 332494 markings/sec, 5 secs
lola: 5287738 markings, 8427631 edges, 311922 markings/sec, 10 secs
lola: 6714925 markings, 10923787 edges, 285437 markings/sec, 15 secs
lola: 8101411 markings, 13359117 edges, 277297 markings/sec, 20 secs
lola: 9434532 markings, 15764261 edges, 266624 markings/sec, 25 secs
lola: 10728106 markings, 18135750 edges, 258715 markings/sec, 30 secs
lola: 12002718 markings, 20477627 edges, 254922 markings/sec, 35 secs
lola: 13238135 markings, 22790399 edges, 247083 markings/sec, 40 secs
lola: 14463696 markings, 25078960 edges, 245112 markings/sec, 45 secs
lola: 15677707 markings, 27348051 edges, 242802 markings/sec, 50 secs
lola: 16875983 markings, 29608212 edges, 239655 markings/sec, 55 secs
lola: 18107638 markings, 31959492 edges, 246331 markings/sec, 60 secs
lola: 19279924 markings, 34202307 edges, 234457 markings/sec, 65 secs
lola: 20430143 markings, 36424129 edges, 230044 markings/sec, 70 secs
lola: 21594463 markings, 38639428 edges, 232864 markings/sec, 75 secs
lola: 22766594 markings, 40886761 edges, 234426 markings/sec, 80 secs
lola: 23942876 markings, 43168297 edges, 235256 markings/sec, 85 secs
lola: 25118424 markings, 45456820 edges, 235110 markings/sec, 90 secs
lola: 26278816 markings, 47727250 edges, 232078 markings/sec, 95 secs
lola: 27449820 markings, 50011850 edges, 234201 markings/sec, 100 secs
lola: 28619406 markings, 52308070 edges, 233917 markings/sec, 105 secs
lola: 29752574 markings, 54545570 edges, 226634 markings/sec, 110 secs
lola: 30903876 markings, 56771582 edges, 230260 markings/sec, 115 secs
lola: 32036020 markings, 58993983 edges, 226429 markings/sec, 120 secs
lola: 33171248 markings, 61213723 edges, 227046 markings/sec, 125 secs
lola: 34307002 markings, 63450291 edges, 227151 markings/sec, 130 secs
lola: 35411834 markings, 65668275 edges, 220966 markings/sec, 135 secs
lola: 36519038 markings, 67906660 edges, 221441 markings/sec, 140 secs
lola: 37647273 markings, 70160965 edges, 225647 markings/sec, 145 secs
lola: 38738621 markings, 72367665 edges, 218270 markings/sec, 150 secs
lola: 39811034 markings, 74532467 edges, 214483 markings/sec, 155 secs
lola: 40859855 markings, 76656336 edges, 209764 markings/sec, 160 secs
lola: 41916540 markings, 78806908 edges, 211337 markings/sec, 165 secs
lola: 42966264 markings, 80917102 edges, 209945 markings/sec, 170 secs
lola: 43965013 markings, 82947261 edges, 199750 markings/sec, 175 secs
lola: 44970201 markings, 84978420 edges, 201038 markings/sec, 180 secs
lola: 45977565 markings, 87004211 edges, 201473 markings/sec, 185 secs
lola: 47019346 markings, 89099015 edges, 208356 markings/sec, 190 secs
lola: 48067742 markings, 91234795 edges, 209679 markings/sec, 195 secs
lola: 49109296 markings, 93370245 edges, 208311 markings/sec, 200 secs
lola: 50148564 markings, 95505992 edges, 207854 markings/sec, 205 secs
lola: 51200827 markings, 97641076 edges, 210453 markings/sec, 210 secs
lola: 52234642 markings, 99764182 edges, 206763 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(P45)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 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: 1824604 markings, 3353565 edges, 364921 markings/sec, 0 secs
lola: 3341039 markings, 6337985 edges, 303287 markings/sec, 5 secs
lola: 4726505 markings, 9230499 edges, 277093 markings/sec, 10 secs
lola: 6054943 markings, 12048398 edges, 265688 markings/sec, 15 secs
lola: 7331990 markings, 14798675 edges, 255409 markings/sec, 20 secs
lola: 8510080 markings, 17358127 edges, 235618 markings/sec, 25 secs
lola: 9640200 markings, 19861040 edges, 226024 markings/sec, 30 secs
lola: 10785331 markings, 22454771 edges, 229026 markings/sec, 35 secs
lola: 11930540 markings, 25009216 edges, 229042 markings/sec, 40 secs
lola: 13052830 markings, 27552008 edges, 224458 markings/sec, 45 secs
lola: 14153706 markings, 30066662 edges, 220175 markings/sec, 50 secs
lola: 15242064 markings, 32610724 edges, 217672 markings/sec, 55 secs
lola: 16255189 markings, 34986127 edges, 202625 markings/sec, 60 secs
lola: 17268588 markings, 37405608 edges, 202680 markings/sec, 65 secs
lola: 18261328 markings, 39745351 edges, 198548 markings/sec, 70 secs
lola: 19251536 markings, 42066664 edges, 198042 markings/sec, 75 secs
lola: 20247335 markings, 44432849 edges, 199160 markings/sec, 80 secs
lola: 21205459 markings, 46715145 edges, 191625 markings/sec, 85 secs
lola: 22163105 markings, 48984944 edges, 191529 markings/sec, 90 secs
lola: 23144812 markings, 51299947 edges, 196341 markings/sec, 95 secs
lola: 24143638 markings, 53692317 edges, 199765 markings/sec, 100 secs
lola: 25136688 markings, 56058821 edges, 198610 markings/sec, 105 secs
lola: 26125736 markings, 58463767 edges, 197810 markings/sec, 110 secs
lola: 27113608 markings, 60830148 edges, 197574 markings/sec, 115 secs
lola: 28073891 markings, 63106256 edges, 192057 markings/sec, 120 secs
lola: 29034911 markings, 65394046 edges, 192204 markings/sec, 125 secs
lola: 29986199 markings, 67663527 edges, 190258 markings/sec, 130 secs
lola: 30936828 markings, 69949448 edges, 190126 markings/sec, 135 secs
lola: 31869776 markings, 72225738 edges, 186590 markings/sec, 140 secs
lola: 32780856 markings, 74458936 edges, 182216 markings/sec, 145 secs
lola: 33720913 markings, 76754820 edges, 188011 markings/sec, 150 secs
lola: 34643930 markings, 78999788 edges, 184603 markings/sec, 155 secs
lola: 35578997 markings, 81342146 edges, 187013 markings/sec, 160 secs
lola: 36530680 markings, 83658832 edges, 190337 markings/sec, 165 secs
lola: 37477575 markings, 85954748 edges, 189379 markings/sec, 170 secs
lola: 38406355 markings, 88231965 edges, 185756 markings/sec, 175 secs
lola: 39318236 markings, 90435810 edges, 182376 markings/sec, 180 secs
lola: 40244929 markings, 92685287 edges, 185339 markings/sec, 185 secs
lola: 41112914 markings, 94790607 edges, 173597 markings/sec, 190 secs
lola: 41974777 markings, 96909958 edges, 172373 markings/sec, 195 secs
lola: 42837191 markings, 99026476 edges, 172483 markings/sec, 200 secs
lola: 43691599 markings, 101150187 edges, 170882 markings/sec, 205 secs
lola: 44540678 markings, 103290364 edges, 169816 markings/sec, 210 secs
lola: 45411831 markings, 105478088 edges, 174231 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(P69)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 9 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P63)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 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: 1734585 markings, 2940439 edges, 346917 markings/sec, 0 secs
lola: 3208687 markings, 5728261 edges, 294820 markings/sec, 5 secs
lola: 4589352 markings, 8438974 edges, 276133 markings/sec, 10 secs
lola: 5922783 markings, 11091878 edges, 266686 markings/sec, 15 secs
lola: 7221172 markings, 13678104 edges, 259678 markings/sec, 20 secs
lola: 8486794 markings, 16229332 edges, 253124 markings/sec, 25 secs
lola: 9741303 markings, 18770732 edges, 250902 markings/sec, 30 secs
lola: 10962417 markings, 21266338 edges, 244223 markings/sec, 35 secs
lola: 12167052 markings, 23731387 edges, 240927 markings/sec, 40 secs
lola: 13362640 markings, 26179893 edges, 239118 markings/sec, 45 secs
lola: 14538780 markings, 28594981 edges, 235228 markings/sec, 50 secs
lola: 15713957 markings, 30981976 edges, 235035 markings/sec, 55 secs
lola: 16867689 markings, 33346156 edges, 230746 markings/sec, 60 secs
lola: 17989891 markings, 35652471 edges, 224440 markings/sec, 65 secs
lola: 19108336 markings, 37945493 edges, 223689 markings/sec, 70 secs
lola: 20220454 markings, 40262713 edges, 222424 markings/sec, 75 secs
lola: 21326370 markings, 42533791 edges, 221183 markings/sec, 80 secs
lola: 22433705 markings, 44849466 edges, 221467 markings/sec, 85 secs
lola: 23544866 markings, 47147401 edges, 222232 markings/sec, 90 secs
lola: 24610746 markings, 49329341 edges, 213176 markings/sec, 95 secs
lola: 25663635 markings, 51470301 edges, 210578 markings/sec, 100 secs
lola: 26746832 markings, 53745119 edges, 216639 markings/sec, 105 secs
lola: 27838467 markings, 55999490 edges, 218327 markings/sec, 110 secs
lola: 28926599 markings, 58230818 edges, 217626 markings/sec, 115 secs
lola: 29939037 markings, 60308618 edges, 202488 markings/sec, 120 secs
lola: 30998876 markings, 62481750 edges, 211968 markings/sec, 125 secs
lola: 32036164 markings, 64617792 edges, 207458 markings/sec, 130 secs
lola: 33065927 markings, 66782505 edges, 205953 markings/sec, 135 secs
lola: 34126026 markings, 68952191 edges, 212020 markings/sec, 140 secs
lola: 35173745 markings, 71126206 edges, 209544 markings/sec, 145 secs
lola: 36239897 markings, 73310189 edges, 213230 markings/sec, 150 secs
lola: 37295807 markings, 75471985 edges, 211182 markings/sec, 155 secs
lola: 38327657 markings, 77630149 edges, 206370 markings/sec, 160 secs
lola: 39367042 markings, 79825053 edges, 207877 markings/sec, 165 secs
lola: 40382462 markings, 81902735 edges, 203084 markings/sec, 170 secs
lola: 41394782 markings, 83950268 edges, 202464 markings/sec, 175 secs
lola: 42462684 markings, 86091156 edges, 213580 markings/sec, 180 secs
lola: 43527950 markings, 88242869 edges, 213053 markings/sec, 185 secs
lola: 44591812 markings, 90383970 edges, 212772 markings/sec, 190 secs
lola: 45612644 markings, 92448835 edges, 204166 markings/sec, 195 secs
lola: 46640311 markings, 94489413 edges, 205533 markings/sec, 200 secs
lola: 47667834 markings, 96616912 edges, 205505 markings/sec, 205 secs
lola: 48711538 markings, 98683004 edges, 208741 markings/sec, 210 secs
lola: 49728487 markings, 100708804 edges, 203390 markings/sec, 215 secs
lola: 50738332 markings, 102750283 edges, 201969 markings/sec, 220 secs
lola: 51765885 markings, 104810514 edges, 205511 markings/sec, 225 secs
lola: 52816360 markings, 106871980 edges, 210095 markings/sec, 230 secs
lola: 53883545 markings, 109008006 edges, 213437 markings/sec, 235 secs
lola: 54949431 markings, 111142241 edges, 213177 markings/sec, 240 secs
lola: 56011371 markings, 113290040 edges, 212388 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P86)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 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: 2112969 markings, 3016203 edges, 422594 markings/sec, 0 secs
lola: 3869838 markings, 5722338 edges, 351374 markings/sec, 5 secs
lola: 5414378 markings, 8178175 edges, 308908 markings/sec, 10 secs
lola: 6891761 markings, 10575134 edges, 295477 markings/sec, 15 secs
lola: 8326494 markings, 12951956 edges, 286947 markings/sec, 20 secs
lola: 9759410 markings, 15353513 edges, 286583 markings/sec, 25 secs
lola: 11144330 markings, 17693489 edges, 276984 markings/sec, 30 secs
lola: 12558518 markings, 20091727 edges, 282838 markings/sec, 35 secs
lola: 13942390 markings, 22452742 edges, 276774 markings/sec, 40 secs
lola: 15318232 markings, 24806913 edges, 275168 markings/sec, 45 secs
lola: 16665747 markings, 27131499 edges, 269503 markings/sec, 50 secs
lola: 18013658 markings, 29451929 edges, 269582 markings/sec, 55 secs
lola: 19341655 markings, 31759654 edges, 265599 markings/sec, 60 secs
lola: 20620129 markings, 33998353 edges, 255695 markings/sec, 65 secs
lola: 21882852 markings, 36226541 edges, 252545 markings/sec, 70 secs
lola: 23131395 markings, 38437129 edges, 249709 markings/sec, 75 secs
lola: 24331706 markings, 40570838 edges, 240062 markings/sec, 80 secs
lola: 25517410 markings, 42676615 edges, 237141 markings/sec, 85 secs
lola: 26698275 markings, 44768717 edges, 236173 markings/sec, 90 secs
lola: 27901119 markings, 46922740 edges, 240569 markings/sec, 95 secs
lola: 29126172 markings, 49093132 edges, 245011 markings/sec, 100 secs
lola: 30330469 markings, 51245594 edges, 240859 markings/sec, 105 secs
lola: 31529497 markings, 53390562 edges, 239806 markings/sec, 110 secs
lola: 32719158 markings, 55519368 edges, 237932 markings/sec, 115 secs
lola: 33906733 markings, 57654147 edges, 237515 markings/sec, 120 secs
lola: 35072118 markings, 59761584 edges, 233077 markings/sec, 125 secs
lola: 36240319 markings, 61859639 edges, 233640 markings/sec, 130 secs
lola: 37405693 markings, 63964105 edges, 233075 markings/sec, 135 secs
lola: 38577762 markings, 66071786 edges, 234414 markings/sec, 140 secs
lola: 39753426 markings, 68201500 edges, 235133 markings/sec, 145 secs
lola: 40930787 markings, 70349663 edges, 235472 markings/sec, 150 secs
lola: 42074179 markings, 72412601 edges, 228678 markings/sec, 155 secs
lola: 43181060 markings, 74419603 edges, 221376 markings/sec, 160 secs
lola: 44240136 markings, 76350397 edges, 211815 markings/sec, 165 secs
lola: 45313629 markings, 78287598 edges, 214699 markings/sec, 170 secs
lola: 46456768 markings, 80377575 edges, 228628 markings/sec, 175 secs
lola: 47612099 markings, 82465691 edges, 231066 markings/sec, 180 secs
lola: 48724760 markings, 84497660 edges, 222532 markings/sec, 185 secs
lola: 49832900 markings, 86496202 edges, 221628 markings/sec, 190 secs
lola: 50928220 markings, 88481716 edges, 219064 markings/sec, 195 secs
lola: 52028227 markings, 90486355 edges, 220001 markings/sec, 200 secs
lola: 53136844 markings, 92508497 edges, 221723 markings/sec, 205 secs
lola: 54224659 markings, 94490498 edges, 217563 markings/sec, 210 secs
lola: 55300467 markings, 96466468 edges, 215162 markings/sec, 215 secs
lola: 56379005 markings, 98444433 edges, 215708 markings/sec, 220 secs
lola: 57461189 markings, 100420563 edges, 216437 markings/sec, 225 secs
lola: 58534313 markings, 102391012 edges, 214625 markings/sec, 230 secs
lola: 59633678 markings, 104410205 edges, 219873 markings/sec, 235 secs
lola: 60724610 markings, 106414836 edges, 218186 markings/sec, 240 secs
lola: 61836069 markings, 108441716 edges, 222292 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 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: 2245206 markings, 3382177 edges, 449041 markings/sec, 0 secs
lola: 4255141 markings, 6569135 edges, 401987 markings/sec, 5 secs
lola: 6180810 markings, 9685503 edges, 385134 markings/sec, 10 secs
lola: 7959064 markings, 12620805 edges, 355651 markings/sec, 15 secs
lola: 9670360 markings, 15469863 edges, 342259 markings/sec, 20 secs
lola: 11357419 markings, 18314909 edges, 337412 markings/sec, 25 secs
lola: 13050197 markings, 21184671 edges, 338556 markings/sec, 30 secs
lola: 14732730 markings, 24045649 edges, 336507 markings/sec, 35 secs
lola: 16376850 markings, 26866888 edges, 328824 markings/sec, 40 secs
lola: 18069492 markings, 29754846 edges, 338528 markings/sec, 45 secs
lola: 19715883 markings, 32609288 edges, 329278 markings/sec, 50 secs
lola: 21353987 markings, 35463981 edges, 327621 markings/sec, 55 secs
lola: 23000699 markings, 38311267 edges, 329342 markings/sec, 60 secs
lola: 24605652 markings, 41095500 edges, 320991 markings/sec, 65 secs
lola: 26193765 markings, 43848444 edges, 317623 markings/sec, 70 secs
lola: 27760509 markings, 46611755 edges, 313349 markings/sec, 75 secs
lola: 29293097 markings, 49317170 edges, 306518 markings/sec, 80 secs
lola: 30848351 markings, 52053847 edges, 311051 markings/sec, 85 secs
lola: 32394248 markings, 54782430 edges, 309179 markings/sec, 90 secs
lola: 33920242 markings, 57456539 edges, 305199 markings/sec, 95 secs
lola: 35440246 markings, 60152858 edges, 304001 markings/sec, 100 secs
lola: 36969335 markings, 62862518 edges, 305818 markings/sec, 105 secs
lola: 38479439 markings, 65558743 edges, 302021 markings/sec, 110 secs
lola: 39975761 markings, 68218767 edges, 299264 markings/sec, 115 secs
lola: 41474869 markings, 70879593 edges, 299822 markings/sec, 120 secs
lola: 42957969 markings, 73528779 edges, 296620 markings/sec, 125 secs
lola: 44435812 markings, 76191581 edges, 295569 markings/sec, 130 secs
lola: 45902346 markings, 78821703 edges, 293307 markings/sec, 135 secs
lola: 47399696 markings, 81508302 edges, 299470 markings/sec, 140 secs
lola: 48883899 markings, 84175654 edges, 296841 markings/sec, 145 secs
lola: 50349938 markings, 86801788 edges, 293208 markings/sec, 150 secs
lola: 51818692 markings, 89445159 edges, 293751 markings/sec, 155 secs
lola: 53272398 markings, 92074417 edges, 290741 markings/sec, 160 secs
lola: 54718016 markings, 94686352 edges, 289124 markings/sec, 165 secs
lola: 56134601 markings, 97257933 edges, 283317 markings/sec, 170 secs
lola: 57567388 markings, 99850432 edges, 286557 markings/sec, 175 secs
lola: 58986819 markings, 102443177 edges, 283886 markings/sec, 180 secs
lola: 60411283 markings, 105065120 edges, 284893 markings/sec, 185 secs
lola: 61842419 markings, 107687110 edges, 286227 markings/sec, 190 secs
lola: 63263270 markings, 110274947 edges, 284170 markings/sec, 195 secs
lola: 64687094 markings, 112858776 edges, 284765 markings/sec, 200 secs
lola: 66098853 markings, 115451919 edges, 282352 markings/sec, 205 secs
lola: 67521082 markings, 118065793 edges, 284446 markings/sec, 210 secs
lola: 68973932 markings, 120710372 edges, 290570 markings/sec, 215 secs
lola: 70410836 markings, 123331791 edges, 287381 markings/sec, 220 secs
lola: 71849512 markings, 125960298 edges, 287735 markings/sec, 225 secs
lola: 73289273 markings, 128608957 edges, 287952 markings/sec, 230 secs
lola: 74690208 markings, 131202832 edges, 280187 markings/sec, 235 secs
lola: 76087371 markings, 133786433 edges, 279433 markings/sec, 240 secs
lola: 77408495 markings, 136227570 edges, 264225 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P51)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 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: 1792737 markings, 2966160 edges, 358547 markings/sec, 0 secs
lola: 3301698 markings, 5649460 edges, 301792 markings/sec, 5 secs
lola: 4797203 markings, 8343766 edges, 299101 markings/sec, 10 secs
lola: 6187761 markings, 10903122 edges, 278112 markings/sec, 15 secs
lola: 7541484 markings, 13396203 edges, 270745 markings/sec, 20 secs
lola: 8896152 markings, 15923305 edges, 270934 markings/sec, 25 secs
lola: 10159037 markings, 18283987 edges, 252577 markings/sec, 30 secs
lola: 11359362 markings, 20549577 edges, 240065 markings/sec, 35 secs
lola: 12535234 markings, 22783913 edges, 235174 markings/sec, 40 secs
lola: 13674627 markings, 24945528 edges, 227879 markings/sec, 45 secs
lola: 14817656 markings, 27123037 edges, 228606 markings/sec, 50 secs
lola: 16045649 markings, 29493354 edges, 245599 markings/sec, 55 secs
lola: 17299062 markings, 31911508 edges, 250683 markings/sec, 60 secs
lola: 18535148 markings, 34312810 edges, 247217 markings/sec, 65 secs
lola: 19672952 markings, 36532738 edges, 227561 markings/sec, 70 secs
lola: 20874321 markings, 38885141 edges, 240274 markings/sec, 75 secs
lola: 21992350 markings, 41069367 edges, 223606 markings/sec, 80 secs
lola: 23075073 markings, 43168231 edges, 216545 markings/sec, 85 secs
lola: 24147997 markings, 45254884 edges, 214585 markings/sec, 90 secs
lola: 25206100 markings, 47315203 edges, 211621 markings/sec, 95 secs
lola: 26306444 markings, 49484758 edges, 220069 markings/sec, 100 secs
lola: 27446556 markings, 51703424 edges, 228022 markings/sec, 105 secs
lola: 28598483 markings, 53988433 edges, 230385 markings/sec, 110 secs
lola: 29777778 markings, 56319902 edges, 235859 markings/sec, 115 secs
lola: 30848709 markings, 58440349 edges, 214186 markings/sec, 120 secs
lola: 31849454 markings, 60419426 edges, 200149 markings/sec, 125 secs
lola: 32876762 markings, 62454559 edges, 205462 markings/sec, 130 secs
lola: 33863410 markings, 64433283 edges, 197330 markings/sec, 135 secs
lola: 34873991 markings, 66456814 edges, 202116 markings/sec, 140 secs
lola: 35861373 markings, 68433480 edges, 197476 markings/sec, 145 secs
lola: 36865013 markings, 70433215 edges, 200728 markings/sec, 150 secs
lola: 37866613 markings, 72440787 edges, 200320 markings/sec, 155 secs
lola: 38942951 markings, 74619374 edges, 215268 markings/sec, 160 secs
lola: 39936917 markings, 76607018 edges, 198793 markings/sec, 165 secs
lola: 40928492 markings, 78609875 edges, 198315 markings/sec, 170 secs
lola: 41952575 markings, 80648572 edges, 204817 markings/sec, 175 secs
lola: 42924713 markings, 82604324 edges, 194428 markings/sec, 180 secs
lola: 43940943 markings, 84647549 edges, 203246 markings/sec, 185 secs
lola: 44932503 markings, 86662294 edges, 198312 markings/sec, 190 secs
lola: 45907189 markings, 88649632 edges, 194937 markings/sec, 195 secs
lola: 46907173 markings, 90685155 edges, 199997 markings/sec, 200 secs
lola: 47924467 markings, 92741259 edges, 203459 markings/sec, 205 secs
lola: 48987690 markings, 94907699 edges, 212645 markings/sec, 210 secs
lola: 49996622 markings, 96978607 edges, 201786 markings/sec, 215 secs
lola: 51010501 markings, 99030791 edges, 202776 markings/sec, 220 secs
lola: 52023797 markings, 101099569 edges, 202659 markings/sec, 225 secs
lola: 53043915 markings, 103164533 edges, 204024 markings/sec, 230 secs
lola: 54069533 markings, 105234426 edges, 205124 markings/sec, 235 secs
lola: 55156345 markings, 107425348 edges, 217362 markings/sec, 240 secs
lola: 56198110 markings, 109551115 edges, 208353 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P103)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 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: 2806537 markings, 3660598 edges, 561307 markings/sec, 0 secs
lola: 5374497 markings, 7014130 edges, 513592 markings/sec, 5 secs
lola: 7637370 markings, 10048237 edges, 452575 markings/sec, 10 secs
lola: 9706283 markings, 12843602 edges, 413783 markings/sec, 15 secs
lola: 11684945 markings, 15575605 edges, 395732 markings/sec, 20 secs
lola: 13588965 markings, 18250309 edges, 380804 markings/sec, 25 secs
lola: 15480021 markings, 20938042 edges, 378211 markings/sec, 30 secs
lola: 17347300 markings, 23602999 edges, 373456 markings/sec, 35 secs
lola: 19169601 markings, 26238230 edges, 364460 markings/sec, 40 secs
lola: 20924650 markings, 28815859 edges, 351010 markings/sec, 45 secs
lola: 22598253 markings, 31279322 edges, 334721 markings/sec, 50 secs
lola: 24256516 markings, 33726903 edges, 331653 markings/sec, 55 secs
lola: 25891532 markings, 36169024 edges, 327003 markings/sec, 60 secs
lola: 27544399 markings, 38684658 edges, 330573 markings/sec, 65 secs
lola: 29162502 markings, 41114199 edges, 323621 markings/sec, 70 secs
lola: 30773271 markings, 43539709 edges, 322154 markings/sec, 75 secs
lola: 32282393 markings, 45855873 edges, 301824 markings/sec, 80 secs
lola: 33778262 markings, 48163172 edges, 299174 markings/sec, 85 secs
lola: 35273236 markings, 50477366 edges, 298995 markings/sec, 90 secs
lola: 36865930 markings, 52929391 edges, 318539 markings/sec, 95 secs
lola: 38401604 markings, 55326827 edges, 307135 markings/sec, 100 secs
lola: 39933348 markings, 57730678 edges, 306349 markings/sec, 105 secs
lola: 41375418 markings, 60006565 edges, 288414 markings/sec, 110 secs
lola: 42779385 markings, 62254056 edges, 280793 markings/sec, 115 secs
lola: 44200577 markings, 64498675 edges, 284238 markings/sec, 120 secs
lola: 45613814 markings, 66769640 edges, 282647 markings/sec, 125 secs
lola: 46996648 markings, 68999777 edges, 276567 markings/sec, 130 secs
lola: 48405571 markings, 71281079 edges, 281785 markings/sec, 135 secs
lola: 49805256 markings, 73556846 edges, 279937 markings/sec, 140 secs
lola: 51234253 markings, 75881887 edges, 285799 markings/sec, 145 secs
lola: 52636029 markings, 78172965 edges, 280355 markings/sec, 150 secs
lola: 53989343 markings, 80405224 edges, 270663 markings/sec, 155 secs
lola: 55356346 markings, 82631855 edges, 273401 markings/sec, 160 secs
lola: 56769210 markings, 84952513 edges, 282573 markings/sec, 165 secs
lola: 58095568 markings, 87146083 edges, 265272 markings/sec, 170 secs
lola: 59417825 markings, 89333538 edges, 264451 markings/sec, 175 secs
lola: 60768075 markings, 91586624 edges, 270050 markings/sec, 180 secs
lola: 62103168 markings, 93781838 edges, 267019 markings/sec, 185 secs
lola: 63366109 markings, 95901795 edges, 252588 markings/sec, 190 secs
lola: 64717404 markings, 98160381 edges, 270259 markings/sec, 195 secs
lola: 66026756 markings, 100332833 edges, 261870 markings/sec, 200 secs
lola: 67283634 markings, 102457482 edges, 251376 markings/sec, 205 secs
lola: 68578510 markings, 104637697 edges, 258975 markings/sec, 210 secs
lola: 69838778 markings, 106783980 edges, 252054 markings/sec, 215 secs
lola: 71111396 markings, 108932819 edges, 254524 markings/sec, 220 secs
lola: 72372914 markings, 111071971 edges, 252304 markings/sec, 225 secs
lola: 73612683 markings, 113180881 edges, 247954 markings/sec, 230 secs
lola: 74893015 markings, 115371967 edges, 256066 markings/sec, 235 secs
lola: 76154340 markings, 117532115 edges, 252265 markings/sec, 240 secs
lola: 77417951 markings, 119688443 edges, 252722 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 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: 2242497 markings, 2846586 edges, 448499 markings/sec, 0 secs
lola: 4007615 markings, 5316129 edges, 353024 markings/sec, 5 secs
lola: 5625841 markings, 7678003 edges, 323645 markings/sec, 10 secs
lola: 7053124 markings, 9824765 edges, 285457 markings/sec, 15 secs
lola: 8378198 markings, 11862047 edges, 265015 markings/sec, 20 secs
lola: 9617388 markings, 13801864 edges, 247838 markings/sec, 25 secs
lola: 10857397 markings, 15759267 edges, 248002 markings/sec, 30 secs
lola: 12071055 markings, 17701378 edges, 242732 markings/sec, 35 secs
lola: 13350349 markings, 19778905 edges, 255859 markings/sec, 40 secs
lola: 14551985 markings, 21731706 edges, 240327 markings/sec, 45 secs
lola: 15788603 markings, 23759214 edges, 247324 markings/sec, 50 secs
lola: 16937938 markings, 25658807 edges, 229867 markings/sec, 55 secs
lola: 18042367 markings, 27501068 edges, 220886 markings/sec, 60 secs
lola: 19105256 markings, 29275744 edges, 212578 markings/sec, 65 secs
lola: 20156102 markings, 31059948 edges, 210169 markings/sec, 70 secs
lola: 21252318 markings, 32916738 edges, 219243 markings/sec, 75 secs
lola: 22348424 markings, 34785508 edges, 219221 markings/sec, 80 secs
lola: 23413656 markings, 36613327 edges, 213046 markings/sec, 85 secs
lola: 24450098 markings, 38401472 edges, 207288 markings/sec, 90 secs
lola: 25499391 markings, 40206690 edges, 209859 markings/sec, 95 secs
lola: 26510008 markings, 41960302 edges, 202123 markings/sec, 100 secs
lola: 27591688 markings, 43838835 edges, 216336 markings/sec, 105 secs
lola: 28632100 markings, 45659864 edges, 208082 markings/sec, 110 secs
lola: 29670265 markings, 47469584 edges, 207633 markings/sec, 115 secs
lola: 30659246 markings, 49202094 edges, 197796 markings/sec, 120 secs
lola: 31690445 markings, 51025781 edges, 206240 markings/sec, 125 secs
lola: 32643474 markings, 52708946 edges, 190606 markings/sec, 130 secs
lola: 33608440 markings, 54418764 edges, 192993 markings/sec, 135 secs
lola: 34641822 markings, 56249401 edges, 206676 markings/sec, 140 secs
lola: 35704109 markings, 58150978 edges, 212457 markings/sec, 145 secs
lola: 36743580 markings, 60011638 edges, 207894 markings/sec, 150 secs
lola: 37727250 markings, 61768635 edges, 196734 markings/sec, 155 secs
lola: 38700496 markings, 63516715 edges, 194649 markings/sec, 160 secs
lola: 39692845 markings, 65300717 edges, 198470 markings/sec, 165 secs
lola: 40747013 markings, 67199141 edges, 210834 markings/sec, 170 secs
lola: 41719337 markings, 68962343 edges, 194465 markings/sec, 175 secs
lola: 42730821 markings, 70792895 edges, 202297 markings/sec, 180 secs
lola: 43750896 markings, 72651973 edges, 204015 markings/sec, 185 secs
lola: 44780515 markings, 74523419 edges, 205924 markings/sec, 190 secs
lola: 45800487 markings, 76375366 edges, 203994 markings/sec, 195 secs
lola: 46785988 markings, 78183062 edges, 197100 markings/sec, 200 secs
lola: 47748737 markings, 79938796 edges, 192550 markings/sec, 205 secs
lola: 48731321 markings, 81747349 edges, 196517 markings/sec, 210 secs
lola: 49759623 markings, 83636687 edges, 205660 markings/sec, 215 secs
lola: 50741476 markings, 85440002 edges, 196371 markings/sec, 220 secs
lola: 51680675 markings, 87181193 edges, 187840 markings/sec, 225 secs
lola: 52632797 markings, 88938388 edges, 190424 markings/sec, 230 secs
lola: 53584079 markings, 90700635 edges, 190256 markings/sec, 235 secs
lola: 54532872 markings, 92454562 edges, 189759 markings/sec, 240 secs
lola: 55491128 markings, 94223950 edges, 191651 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(P10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 300 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: 2131982 markings, 2756009 edges, 426396 markings/sec, 0 secs
lola: 4019310 markings, 5370702 edges, 377466 markings/sec, 5 secs
lola: 5550384 markings, 7544801 edges, 306215 markings/sec, 10 secs
lola: 7014591 markings, 9666456 edges, 292841 markings/sec, 15 secs
lola: 8610920 markings, 12014760 edges, 319266 markings/sec, 20 secs
lola: 10073799 markings, 14195830 edges, 292576 markings/sec, 25 secs
lola: 11548714 markings, 16424926 edges, 294983 markings/sec, 30 secs
lola: 12974786 markings, 18604705 edges, 285214 markings/sec, 35 secs
lola: 14362095 markings, 20737831 edges, 277462 markings/sec, 40 secs
lola: 15722708 markings, 22846648 edges, 272123 markings/sec, 45 secs
lola: 17061796 markings, 24934303 edges, 267818 markings/sec, 50 secs
lola: 18414608 markings, 27051777 edges, 270562 markings/sec, 55 secs
lola: 19752580 markings, 29155125 edges, 267594 markings/sec, 60 secs
lola: 21049107 markings, 31204811 edges, 259305 markings/sec, 65 secs
lola: 22375935 markings, 33311841 edges, 265366 markings/sec, 70 secs
lola: 23717880 markings, 35446001 edges, 268389 markings/sec, 75 secs
lola: 24975760 markings, 37461633 edges, 251576 markings/sec, 80 secs
lola: 26195529 markings, 39417739 edges, 243954 markings/sec, 85 secs
lola: 27392374 markings, 41350473 edges, 239369 markings/sec, 90 secs
lola: 28679240 markings, 43428004 edges, 257373 markings/sec, 95 secs
lola: 29939250 markings, 45488721 edges, 252002 markings/sec, 100 secs
lola: 31089203 markings, 47359641 edges, 229991 markings/sec, 105 secs
lola: 32248962 markings, 49251332 edges, 231952 markings/sec, 110 secs
lola: 33463861 markings, 51240311 edges, 242980 markings/sec, 115 secs
lola: 34730217 markings, 53333182 edges, 253271 markings/sec, 120 secs
lola: 35879042 markings, 55238299 edges, 229765 markings/sec, 125 secs
lola: 37056012 markings, 57180590 edges, 235394 markings/sec, 130 secs
lola: 38144409 markings, 58989561 edges, 217679 markings/sec, 135 secs
lola: 39237823 markings, 60813385 edges, 218683 markings/sec, 140 secs
lola: 40409308 markings, 62765051 edges, 234297 markings/sec, 145 secs
lola: 41464951 markings, 64541497 edges, 211129 markings/sec, 150 secs
lola: 42582414 markings, 66418921 edges, 223493 markings/sec, 155 secs
lola: 43686881 markings, 68280974 edges, 220893 markings/sec, 160 secs
lola: 44807269 markings, 70175868 edges, 224078 markings/sec, 165 secs
lola: 45915306 markings, 72044625 edges, 221607 markings/sec, 170 secs
lola: 47067024 markings, 74004488 edges, 230344 markings/sec, 175 secs
lola: 48232902 markings, 75987199 edges, 233176 markings/sec, 180 secs
lola: 49318635 markings, 77837916 edges, 217147 markings/sec, 185 secs
lola: 50377939 markings, 79656204 edges, 211861 markings/sec, 190 secs
lola: 51468650 markings, 81526061 edges, 218142 markings/sec, 195 secs
lola: 52550786 markings, 83380633 edges, 216427 markings/sec, 200 secs
lola: 53612303 markings, 85206489 edges, 212303 markings/sec, 205 secs
lola: 54688156 markings, 87056553 edges, 215171 markings/sec, 210 secs
lola: 55772000 markings, 88929292 edges, 216769 markings/sec, 215 secs
lola: 56817008 markings, 90735308 edges, 209002 markings/sec, 220 secs
lola: 57837227 markings, 92509670 edges, 204044 markings/sec, 225 secs
lola: 58880644 markings, 94319187 edges, 208683 markings/sec, 230 secs
lola: 59945473 markings, 96182153 edges, 212966 markings/sec, 235 secs
lola: 60987428 markings, 97993433 edges, 208391 markings/sec, 240 secs
lola: 61998061 markings, 99754806 edges, 202127 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown unknown unknown unknown
FORMULA Ring-PT-none-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Ring-PT-none-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496444539908

--------------------
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_Ring-PT-none"
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_Ring-PT-none.tgz
mv S_Ring-PT-none 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_Ring-PT-none, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r148-csrt-149443432900128"
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 ;