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-3253
Executing tool lola
Input is ClientsAndServers-PT-N0020P4, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-ebro-149580920100254
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496603784864


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


checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N0020P4: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N0020P4 @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 43/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 25 transition conflict sets
lola: TASK
lola: reading formula from ClientsAndServers-PT-N0020P4-UpperBounds.task
lola: MAX(SG) : MAX(MpG) : MAX(SpG) : MAX(Mi) : MAX(StR) : MAX(SwG) : MAX(SR) : MAX(Cb) : MAX(Si) : MAX(SwG) : MAX(MtF) : MAX(MtF) : MAX(SR) : MAX(Uf) : MAX(CF) : MAX(MtF)
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(SG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2129307 markings, 2693854 edges, 425861 markings/sec, 0 secs
lola: 4222620 markings, 5323167 edges, 418663 markings/sec, 5 secs
lola: 6346953 markings, 8013017 edges, 424867 markings/sec, 10 secs
lola: 8425476 markings, 10750648 edges, 415705 markings/sec, 15 secs
lola: 10460074 markings, 13506155 edges, 406920 markings/sec, 20 secs
lola: 12499441 markings, 16288730 edges, 407873 markings/sec, 25 secs
lola: 14530252 markings, 19059430 edges, 406162 markings/sec, 30 secs
lola: 16553684 markings, 21819437 edges, 404686 markings/sec, 35 secs
lola: 18578562 markings, 24581873 edges, 404976 markings/sec, 40 secs
lola: 20594964 markings, 27332194 edges, 403280 markings/sec, 45 secs
lola: 22585660 markings, 30048635 edges, 398139 markings/sec, 50 secs
lola: 24648276 markings, 32836284 edges, 412523 markings/sec, 55 secs
lola: 26676859 markings, 35546845 edges, 405717 markings/sec, 60 secs
lola: 28692929 markings, 38238127 edges, 403214 markings/sec, 65 secs
lola: 30710855 markings, 40929088 edges, 403585 markings/sec, 70 secs
lola: 32718172 markings, 43604008 edges, 401463 markings/sec, 75 secs
lola: 34714867 markings, 46258449 edges, 399339 markings/sec, 80 secs
lola: 36700345 markings, 48898106 edges, 397096 markings/sec, 85 secs
lola: 38687702 markings, 51540310 edges, 397471 markings/sec, 90 secs
lola: 40674572 markings, 54181620 edges, 397374 markings/sec, 95 secs
lola: 42673797 markings, 56840021 edges, 399845 markings/sec, 100 secs
lola: 44662771 markings, 59481069 edges, 397795 markings/sec, 105 secs
lola: 46642094 markings, 62110012 edges, 395865 markings/sec, 110 secs
lola: 48671898 markings, 64786395 edges, 405961 markings/sec, 115 secs
lola: 50778586 markings, 67563890 edges, 421338 markings/sec, 120 secs
lola: 52801367 markings, 70226650 edges, 404556 markings/sec, 125 secs
lola: 53868282 markings, 72313168 edges, 213383 markings/sec, 130 secs
lola: 54435601 markings, 74183047 edges, 113464 markings/sec, 135 secs
lola: 54937209 markings, 75886590 edges, 100322 markings/sec, 140 secs
lola: 56483554 markings, 78487780 edges, 309269 markings/sec, 145 secs
lola: 58291809 markings, 81225622 edges, 361651 markings/sec, 150 secs
lola: 60179835 markings, 84005302 edges, 377605 markings/sec, 155 secs
lola: 62004720 markings, 86818575 edges, 364977 markings/sec, 160 secs
lola: 63869559 markings, 89538492 edges, 372968 markings/sec, 165 secs
lola: 65700726 markings, 92364074 edges, 366233 markings/sec, 170 secs
lola: 67599122 markings, 95101726 edges, 379679 markings/sec, 175 secs
lola: 69474842 markings, 97989745 edges, 375144 markings/sec, 180 secs
lola: 71401842 markings, 100818445 edges, 385400 markings/sec, 185 secs
lola: 73344691 markings, 103602942 edges, 388570 markings/sec, 190 secs
lola: 75173336 markings, 106475452 edges, 365729 markings/sec, 195 secs
lola: 77097406 markings, 109292474 edges, 384814 markings/sec, 200 secs
lola: 79026052 markings, 112052849 edges, 385729 markings/sec, 205 secs
lola: 80865880 markings, 114860522 edges, 367966 markings/sec, 210 secs
lola: 82735192 markings, 117713993 edges, 373862 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(MpG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1999263 markings, 2674856 edges, 399853 markings/sec, 0 secs
lola: 3869841 markings, 5158301 edges, 374116 markings/sec, 5 secs
lola: 5776065 markings, 7700068 edges, 381245 markings/sec, 10 secs
lola: 7653361 markings, 10275524 edges, 375459 markings/sec, 15 secs
lola: 9546927 markings, 12912802 edges, 378713 markings/sec, 20 secs
lola: 11481353 markings, 15642917 edges, 386885 markings/sec, 25 secs
lola: 13426888 markings, 18396428 edges, 389107 markings/sec, 30 secs
lola: 15369192 markings, 21146083 edges, 388461 markings/sec, 35 secs
lola: 17301264 markings, 23881268 edges, 386414 markings/sec, 40 secs
lola: 19229450 markings, 26610275 edges, 385637 markings/sec, 45 secs
lola: 21156676 markings, 29337718 edges, 385445 markings/sec, 50 secs
lola: 23052547 markings, 32020086 edges, 379174 markings/sec, 55 secs
lola: 24967441 markings, 34777845 edges, 382979 markings/sec, 60 secs
lola: 26893621 markings, 37592947 edges, 385236 markings/sec, 65 secs
lola: 28778986 markings, 40335793 edges, 377073 markings/sec, 70 secs
lola: 30639002 markings, 43040793 edges, 372003 markings/sec, 75 secs
lola: 32496196 markings, 45741974 edges, 371439 markings/sec, 80 secs
lola: 34345125 markings, 48425439 edges, 369786 markings/sec, 85 secs
lola: 36194092 markings, 51105647 edges, 369793 markings/sec, 90 secs
lola: 38040217 markings, 53775449 edges, 369225 markings/sec, 95 secs
lola: 39866446 markings, 56416420 edges, 365246 markings/sec, 100 secs
lola: 41694114 markings, 59060022 edges, 365534 markings/sec, 105 secs
lola: 43502230 markings, 61641448 edges, 361623 markings/sec, 110 secs
lola: 45326356 markings, 64262476 edges, 364825 markings/sec, 115 secs
lola: 47141531 markings, 66857854 edges, 363035 markings/sec, 120 secs
lola: 48962641 markings, 69458587 edges, 364222 markings/sec, 125 secs
lola: 50817478 markings, 72073037 edges, 370967 markings/sec, 130 secs
lola: 52755997 markings, 74778533 edges, 387704 markings/sec, 135 secs
lola: 54733413 markings, 77511137 edges, 395483 markings/sec, 140 secs
lola: 55546333 markings, 79505149 edges, 162584 markings/sec, 145 secs
lola: 56064673 markings, 81387143 edges, 103668 markings/sec, 150 secs
lola: 56622030 markings, 83313639 edges, 111471 markings/sec, 155 secs
lola: 57202583 markings, 85137063 edges, 116111 markings/sec, 160 secs
lola: 58337271 markings, 87498212 edges, 226938 markings/sec, 165 secs
lola: 59719071 markings, 89914529 edges, 276360 markings/sec, 170 secs
lola: 61024081 markings, 92198713 edges, 261002 markings/sec, 175 secs
lola: 62281229 markings, 94403227 edges, 251430 markings/sec, 180 secs
lola: 63520684 markings, 96570718 edges, 247891 markings/sec, 185 secs
lola: 64745963 markings, 98711506 edges, 245056 markings/sec, 190 secs
lola: 66047160 markings, 100917201 edges, 260239 markings/sec, 195 secs
lola: 67454742 markings, 103192792 edges, 281516 markings/sec, 200 secs
lola: 68719338 markings, 105257110 edges, 252919 markings/sec, 205 secs
lola: 69936084 markings, 107251597 edges, 243349 markings/sec, 210 secs
lola: 71139096 markings, 109230508 edges, 240602 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(SpG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2143924 markings, 2623951 edges, 428785 markings/sec, 0 secs
lola: 4271048 markings, 5213803 edges, 425425 markings/sec, 5 secs
lola: 6447752 markings, 7871860 edges, 435341 markings/sec, 10 secs
lola: 8678107 markings, 10647905 edges, 446071 markings/sec, 15 secs
lola: 11020156 markings, 13694235 edges, 468410 markings/sec, 20 secs
lola: 13410872 markings, 16804419 edges, 478143 markings/sec, 25 secs
lola: 15777375 markings, 19883377 edges, 473301 markings/sec, 30 secs
lola: 18134248 markings, 22950768 edges, 471375 markings/sec, 35 secs
lola: 20476441 markings, 25997969 edges, 468439 markings/sec, 40 secs
lola: 22818071 markings, 28967476 edges, 468326 markings/sec, 45 secs
lola: 25075981 markings, 31792811 edges, 451582 markings/sec, 50 secs
lola: 27291606 markings, 34563598 edges, 443125 markings/sec, 55 secs
lola: 29483482 markings, 37302858 edges, 438375 markings/sec, 60 secs
lola: 31676497 markings, 40042779 edges, 438603 markings/sec, 65 secs
lola: 33873920 markings, 42788880 edges, 439485 markings/sec, 70 secs
lola: 36078463 markings, 45543410 edges, 440909 markings/sec, 75 secs
lola: 38246400 markings, 48249430 edges, 433587 markings/sec, 80 secs
lola: 40413832 markings, 50955979 edges, 433486 markings/sec, 85 secs
lola: 42581889 markings, 53667519 edges, 433611 markings/sec, 90 secs
lola: 44734536 markings, 56365406 edges, 430529 markings/sec, 95 secs
lola: 46043150 markings, 58533545 edges, 261723 markings/sec, 100 secs
lola: 46771218 markings, 60520295 edges, 145614 markings/sec, 105 secs
lola: 48431669 markings, 63058663 edges, 332090 markings/sec, 110 secs
lola: 50369213 markings, 65788900 edges, 387509 markings/sec, 115 secs
lola: 52434570 markings, 68653568 edges, 413071 markings/sec, 120 secs
lola: 54280879 markings, 71227427 edges, 369262 markings/sec, 125 secs
lola: 56317668 markings, 74046416 edges, 407358 markings/sec, 130 secs
lola: 58304648 markings, 76803515 edges, 397396 markings/sec, 135 secs
lola: 60303231 markings, 79589234 edges, 399717 markings/sec, 140 secs
lola: 62286799 markings, 82317825 edges, 396714 markings/sec, 145 secs
lola: 64346782 markings, 85179549 edges, 411997 markings/sec, 150 secs
lola: 66257006 markings, 87808314 edges, 382045 markings/sec, 155 secs
lola: 68294514 markings, 90604405 edges, 407502 markings/sec, 160 secs
lola: 70289676 markings, 93368923 edges, 399032 markings/sec, 165 secs
lola: 72202506 markings, 96006323 edges, 382566 markings/sec, 170 secs
lola: 74198936 markings, 98752072 edges, 399286 markings/sec, 175 secs
lola: 76154859 markings, 101431251 edges, 391185 markings/sec, 180 secs
lola: 78009442 markings, 103995905 edges, 370917 markings/sec, 185 secs
lola: 79986710 markings, 106676931 edges, 395454 markings/sec, 190 secs
lola: 82098234 markings, 109571220 edges, 422305 markings/sec, 195 secs
lola: 83910016 markings, 112086278 edges, 362356 markings/sec, 200 secs
lola: 85757583 markings, 114629285 edges, 369513 markings/sec, 205 secs
lola: 87722153 markings, 117288784 edges, 392914 markings/sec, 210 secs
lola: 89600225 markings, 119857166 edges, 375614 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(Mi)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1413953 markings, 2926069 edges, 282791 markings/sec, 0 secs
lola: 2666929 markings, 5599955 edges, 250595 markings/sec, 5 secs
lola: 3867402 markings, 8176454 edges, 240095 markings/sec, 10 secs
lola: 5033340 markings, 10691764 edges, 233188 markings/sec, 15 secs
lola: 6188129 markings, 13182747 edges, 230958 markings/sec, 20 secs
lola: 7340220 markings, 15676364 edges, 230418 markings/sec, 25 secs
lola: 8472186 markings, 18140050 edges, 226393 markings/sec, 30 secs
lola: 9607315 markings, 20601399 edges, 227026 markings/sec, 35 secs
lola: 10707574 markings, 23000832 edges, 220052 markings/sec, 40 secs
lola: 11797931 markings, 25376128 edges, 218071 markings/sec, 45 secs
lola: 12870288 markings, 27714647 edges, 214471 markings/sec, 50 secs
lola: 13922187 markings, 30011384 edges, 210380 markings/sec, 55 secs
lola: 14966832 markings, 32297317 edges, 208929 markings/sec, 60 secs
lola: 15996270 markings, 34555733 edges, 205888 markings/sec, 65 secs
lola: 17055669 markings, 36868133 edges, 211880 markings/sec, 70 secs
lola: 18106758 markings, 39162577 edges, 210218 markings/sec, 75 secs
lola: 19146185 markings, 41435295 edges, 207885 markings/sec, 80 secs
lola: 20179571 markings, 43704253 edges, 206677 markings/sec, 85 secs
lola: 21200020 markings, 45950487 edges, 204090 markings/sec, 90 secs
lola: 22238584 markings, 48226274 edges, 207713 markings/sec, 95 secs
lola: 23269408 markings, 50488678 edges, 206165 markings/sec, 100 secs
lola: 24304290 markings, 52762546 edges, 206976 markings/sec, 105 secs
lola: 25360191 markings, 55072184 edges, 211180 markings/sec, 110 secs
lola: 26387261 markings, 57335840 edges, 205414 markings/sec, 115 secs
lola: 27423917 markings, 59617439 edges, 207331 markings/sec, 120 secs
lola: 28452462 markings, 61878465 edges, 205709 markings/sec, 125 secs
lola: 29483149 markings, 64148709 edges, 206137 markings/sec, 130 secs
lola: 30506261 markings, 66403756 edges, 204622 markings/sec, 135 secs
lola: 31539386 markings, 68677633 edges, 206625 markings/sec, 140 secs
lola: 32579704 markings, 70965870 edges, 208064 markings/sec, 145 secs
lola: 33615328 markings, 73247913 edges, 207125 markings/sec, 150 secs
lola: 34641070 markings, 75508421 edges, 205148 markings/sec, 155 secs
lola: 35670916 markings, 77778341 edges, 205969 markings/sec, 160 secs
lola: 36706391 markings, 80059143 edges, 207095 markings/sec, 165 secs
lola: 37729674 markings, 82319627 edges, 204657 markings/sec, 170 secs
lola: 38757797 markings, 84592332 edges, 205625 markings/sec, 175 secs
lola: 39788311 markings, 86861119 edges, 206103 markings/sec, 180 secs
lola: 40810793 markings, 89117035 edges, 204496 markings/sec, 185 secs
lola: 41833643 markings, 91376656 edges, 204570 markings/sec, 190 secs
lola: 42854048 markings, 93635874 edges, 204081 markings/sec, 195 secs
lola: 43877719 markings, 95899374 edges, 204734 markings/sec, 200 secs
lola: 44892819 markings, 98144863 edges, 203020 markings/sec, 205 secs
lola: 45912856 markings, 100396577 edges, 204007 markings/sec, 210 secs
lola: 46929385 markings, 102649554 edges, 203306 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(StR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1844932 markings, 2921945 edges, 368986 markings/sec, 0 secs
lola: 3557203 markings, 5647166 edges, 342454 markings/sec, 5 secs
lola: 5256556 markings, 8358919 edges, 339871 markings/sec, 10 secs
lola: 6932501 markings, 11034969 edges, 335189 markings/sec, 15 secs
lola: 8649000 markings, 13773060 edges, 343300 markings/sec, 20 secs
lola: 10339784 markings, 16470341 edges, 338157 markings/sec, 25 secs
lola: 12071599 markings, 19236060 edges, 346363 markings/sec, 30 secs
lola: 13767711 markings, 21945454 edges, 339222 markings/sec, 35 secs
lola: 15486320 markings, 24688592 edges, 343722 markings/sec, 40 secs
lola: 17183675 markings, 27402343 edges, 339471 markings/sec, 45 secs
lola: 18894866 markings, 30137662 edges, 342238 markings/sec, 50 secs
lola: 20563534 markings, 32824076 edges, 333734 markings/sec, 55 secs
lola: 22197080 markings, 35452075 edges, 326709 markings/sec, 60 secs
lola: 23857466 markings, 38119493 edges, 332077 markings/sec, 65 secs
lola: 25544929 markings, 40823551 edges, 337493 markings/sec, 70 secs
lola: 27216261 markings, 43502517 edges, 334266 markings/sec, 75 secs
lola: 28880947 markings, 46169738 edges, 332937 markings/sec, 80 secs
lola: 30560135 markings, 48857910 edges, 335838 markings/sec, 85 secs
lola: 32257971 markings, 51575478 edges, 339567 markings/sec, 90 secs
lola: 33950361 markings, 54289331 edges, 338478 markings/sec, 95 secs
lola: 35602562 markings, 56938652 edges, 330440 markings/sec, 100 secs
lola: 37189853 markings, 59486180 edges, 317458 markings/sec, 105 secs
lola: 38812242 markings, 62087485 edges, 324478 markings/sec, 110 secs
lola: 40406008 markings, 64646535 edges, 318753 markings/sec, 115 secs
lola: 41981092 markings, 67174707 edges, 315017 markings/sec, 120 secs
lola: 43622339 markings, 69806938 edges, 328249 markings/sec, 125 secs
lola: 45213501 markings, 72361402 edges, 318232 markings/sec, 130 secs
lola: 46809010 markings, 74927905 edges, 319102 markings/sec, 135 secs
lola: 48404166 markings, 77521911 edges, 319031 markings/sec, 140 secs
lola: 50041906 markings, 80157307 edges, 327548 markings/sec, 145 secs
lola: 51758503 markings, 82919588 edges, 343319 markings/sec, 150 secs
lola: 52528729 markings, 85285264 edges, 154045 markings/sec, 155 secs
lola: 53071291 markings, 87313345 edges, 108512 markings/sec, 160 secs
lola: 53539426 markings, 89265941 edges, 93627 markings/sec, 165 secs
lola: 54011878 markings, 91188319 edges, 94490 markings/sec, 170 secs
lola: 54340541 markings, 92988148 edges, 65733 markings/sec, 175 secs
lola: 54718218 markings, 94734129 edges, 75535 markings/sec, 180 secs
lola: 55016259 markings, 96416230 edges, 59608 markings/sec, 185 secs
lola: 55316792 markings, 98123963 edges, 60107 markings/sec, 190 secs
lola: 56451796 markings, 100785967 edges, 227001 markings/sec, 195 secs
lola: 57725520 markings, 103485250 edges, 254745 markings/sec, 200 secs
lola: 59007575 markings, 106214728 edges, 256411 markings/sec, 205 secs
lola: 60242714 markings, 108834086 edges, 247028 markings/sec, 210 secs
lola: 61497427 markings, 111499408 edges, 250943 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(SwG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2083807 markings, 3070523 edges, 416761 markings/sec, 0 secs
lola: 4040853 markings, 5976979 edges, 391409 markings/sec, 5 secs
lola: 5965355 markings, 8838204 edges, 384900 markings/sec, 10 secs
lola: 7820705 markings, 11599253 edges, 371070 markings/sec, 15 secs
lola: 9598011 markings, 14244667 edges, 355461 markings/sec, 20 secs
lola: 11339765 markings, 16839899 edges, 348351 markings/sec, 25 secs
lola: 13024253 markings, 19359960 edges, 336898 markings/sec, 30 secs
lola: 14698639 markings, 21868326 edges, 334877 markings/sec, 35 secs
lola: 16432663 markings, 24463824 edges, 346805 markings/sec, 40 secs
lola: 18221351 markings, 27138787 edges, 357738 markings/sec, 45 secs
lola: 19992072 markings, 29793450 edges, 354144 markings/sec, 50 secs
lola: 21789766 markings, 32479474 edges, 359539 markings/sec, 55 secs
lola: 23551276 markings, 35104782 edges, 352302 markings/sec, 60 secs
lola: 25311813 markings, 37737331 edges, 352107 markings/sec, 65 secs
lola: 27103257 markings, 40414281 edges, 358289 markings/sec, 70 secs
lola: 28949563 markings, 43168268 edges, 369261 markings/sec, 75 secs
lola: 30747151 markings, 45861057 edges, 359518 markings/sec, 80 secs
lola: 32566049 markings, 48581905 edges, 363780 markings/sec, 85 secs
lola: 34379377 markings, 51297622 edges, 362666 markings/sec, 90 secs
lola: 36151164 markings, 53957817 edges, 354357 markings/sec, 95 secs
lola: 37914173 markings, 56610004 edges, 352602 markings/sec, 100 secs
lola: 39673902 markings, 59262177 edges, 351946 markings/sec, 105 secs
lola: 40695717 markings, 61680781 edges, 204363 markings/sec, 110 secs
lola: 41223514 markings, 63937190 edges, 105559 markings/sec, 115 secs
lola: 41742047 markings, 66190006 edges, 103707 markings/sec, 120 secs
lola: 42225454 markings, 68380559 edges, 96681 markings/sec, 125 secs
lola: 42752804 markings, 70619596 edges, 105470 markings/sec, 130 secs
lola: 43617452 markings, 73207158 edges, 172930 markings/sec, 135 secs
lola: 45133788 markings, 76131585 edges, 303267 markings/sec, 140 secs
lola: 46634109 markings, 79022178 edges, 300064 markings/sec, 145 secs
lola: 48113188 markings, 81880733 edges, 295816 markings/sec, 150 secs
lola: 49604336 markings, 84759587 edges, 298230 markings/sec, 155 secs
lola: 51125226 markings, 87697644 edges, 304178 markings/sec, 160 secs
lola: 52640437 markings, 90625472 edges, 303042 markings/sec, 165 secs
lola: 54153947 markings, 93550113 edges, 302702 markings/sec, 170 secs
lola: 55723950 markings, 96573740 edges, 314001 markings/sec, 175 secs
lola: 57281116 markings, 99574765 edges, 311433 markings/sec, 180 secs
lola: 58858555 markings, 102619519 edges, 315488 markings/sec, 185 secs
lola: 60457623 markings, 105690069 edges, 319814 markings/sec, 190 secs
lola: 62045245 markings, 108759797 edges, 317524 markings/sec, 195 secs
lola: 63617624 markings, 111796180 edges, 314476 markings/sec, 200 secs
lola: 65171841 markings, 114798391 edges, 310843 markings/sec, 205 secs
lola: 66734691 markings, 117814968 edges, 312570 markings/sec, 210 secs
lola: 68293348 markings, 120805695 edges, 311731 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(SR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1999806 markings, 2945952 edges, 399961 markings/sec, 0 secs
lola: 3825645 markings, 5656736 edges, 365168 markings/sec, 5 secs
lola: 5611508 markings, 8311183 edges, 357173 markings/sec, 10 secs
lola: 7345404 markings, 10892698 edges, 346779 markings/sec, 15 secs
lola: 9080329 markings, 13474933 edges, 346985 markings/sec, 20 secs
lola: 10809169 markings, 16048056 edges, 345768 markings/sec, 25 secs
lola: 12463659 markings, 18521775 edges, 330898 markings/sec, 30 secs
lola: 14121654 markings, 21003353 edges, 331599 markings/sec, 35 secs
lola: 15806640 markings, 23526816 edges, 336997 markings/sec, 40 secs
lola: 17470024 markings, 26016639 edges, 332677 markings/sec, 45 secs
lola: 19145229 markings, 28524539 edges, 335041 markings/sec, 50 secs
lola: 20810943 markings, 31018012 edges, 333143 markings/sec, 55 secs
lola: 22517363 markings, 33564116 edges, 341284 markings/sec, 60 secs
lola: 24194721 markings, 36070640 edges, 335472 markings/sec, 65 secs
lola: 25891699 markings, 38603210 edges, 339396 markings/sec, 70 secs
lola: 27560451 markings, 41096265 edges, 333750 markings/sec, 75 secs
lola: 29238668 markings, 43601712 edges, 335643 markings/sec, 80 secs
lola: 30877131 markings, 46055053 edges, 327693 markings/sec, 85 secs
lola: 32530149 markings, 48527813 edges, 330604 markings/sec, 90 secs
lola: 34164565 markings, 50975975 edges, 326883 markings/sec, 95 secs
lola: 35771531 markings, 53388202 edges, 321393 markings/sec, 100 secs
lola: 37359320 markings, 55774869 edges, 317558 markings/sec, 105 secs
lola: 38939934 markings, 58155337 edges, 316123 markings/sec, 110 secs
lola: 40462198 markings, 60598558 edges, 304453 markings/sec, 115 secs
lola: 40896686 markings, 62539195 edges, 86898 markings/sec, 120 secs
lola: 41348111 markings, 64476383 edges, 90285 markings/sec, 125 secs
lola: 41794599 markings, 66426499 edges, 89298 markings/sec, 130 secs
lola: 42211046 markings, 68312076 edges, 83289 markings/sec, 135 secs
lola: 42644207 markings, 70173326 edges, 86632 markings/sec, 140 secs
lola: 43101649 markings, 72136940 edges, 91488 markings/sec, 145 secs
lola: 44498114 markings, 74901551 edges, 279293 markings/sec, 150 secs
lola: 45902134 markings, 77618423 edges, 280804 markings/sec, 155 secs
lola: 47308406 markings, 80328252 edges, 281254 markings/sec, 160 secs
lola: 48704176 markings, 83027177 edges, 279154 markings/sec, 165 secs
lola: 50126325 markings, 85771934 edges, 284430 markings/sec, 170 secs
lola: 51546717 markings, 88500232 edges, 284078 markings/sec, 175 secs
lola: 52958437 markings, 91237077 edges, 282344 markings/sec, 180 secs
lola: 54379540 markings, 93970082 edges, 284221 markings/sec, 185 secs
lola: 55867430 markings, 96837206 edges, 297578 markings/sec, 190 secs
lola: 57351874 markings, 99703930 edges, 296889 markings/sec, 195 secs
lola: 58837420 markings, 102574016 edges, 297109 markings/sec, 200 secs
lola: 60336514 markings, 105474011 edges, 299819 markings/sec, 205 secs
lola: 61844406 markings, 108387890 edges, 301578 markings/sec, 210 secs
lola: 63346659 markings, 111276911 edges, 300451 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(Cb)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2614093 markings, 3082908 edges, 522819 markings/sec, 0 secs
lola: 5111159 markings, 6022026 edges, 499413 markings/sec, 5 secs
lola: 7565575 markings, 8923168 edges, 490883 markings/sec, 10 secs
lola: 10021457 markings, 11828377 edges, 491176 markings/sec, 15 secs
lola: 12453449 markings, 14690957 edges, 486398 markings/sec, 20 secs
lola: 14905086 markings, 17593484 edges, 490327 markings/sec, 25 secs
lola: 17352910 markings, 20492222 edges, 489565 markings/sec, 30 secs
lola: 19750521 markings, 23330262 edges, 479522 markings/sec, 35 secs
lola: 22112549 markings, 26125335 edges, 472406 markings/sec, 40 secs
lola: 24504921 markings, 28963019 edges, 478474 markings/sec, 45 secs
lola: 26844120 markings, 31729756 edges, 467840 markings/sec, 50 secs
lola: 29205740 markings, 34531221 edges, 472324 markings/sec, 55 secs
lola: 31495995 markings, 37238264 edges, 458051 markings/sec, 60 secs
lola: 33815556 markings, 39986967 edges, 463912 markings/sec, 65 secs
lola: 36122197 markings, 42721502 edges, 461328 markings/sec, 70 secs
lola: 38415898 markings, 45433156 edges, 458740 markings/sec, 75 secs
lola: 40834548 markings, 48350753 edges, 483730 markings/sec, 80 secs
lola: 43321297 markings, 51325008 edges, 497350 markings/sec, 85 secs
lola: 45689284 markings, 54154266 edges, 473597 markings/sec, 90 secs
lola: 48050052 markings, 56963762 edges, 472154 markings/sec, 95 secs
lola: 50361390 markings, 59728275 edges, 462268 markings/sec, 100 secs
lola: 52665164 markings, 62481067 edges, 460755 markings/sec, 105 secs
lola: 54957531 markings, 65207594 edges, 458473 markings/sec, 110 secs
lola: 57215231 markings, 67889186 edges, 451540 markings/sec, 115 secs
lola: 59585122 markings, 70733365 edges, 473978 markings/sec, 120 secs
lola: 61963610 markings, 73554758 edges, 475698 markings/sec, 125 secs
lola: 64270764 markings, 76323517 edges, 461431 markings/sec, 130 secs
lola: 66665018 markings, 79159421 edges, 478851 markings/sec, 135 secs
lola: 68928559 markings, 81875117 edges, 452708 markings/sec, 140 secs
lola: 71273339 markings, 84647299 edges, 468956 markings/sec, 145 secs
lola: 73520680 markings, 87343130 edges, 449468 markings/sec, 150 secs
lola: 75774458 markings, 90009521 edges, 450756 markings/sec, 155 secs
lola: 78092723 markings, 92782538 edges, 463653 markings/sec, 160 secs
lola: 80327834 markings, 95463130 edges, 447022 markings/sec, 165 secs
lola: 82609914 markings, 98147874 edges, 456416 markings/sec, 170 secs
lola: 84876517 markings, 100869767 edges, 453321 markings/sec, 175 secs
lola: 87101173 markings, 103537606 edges, 444931 markings/sec, 180 secs
lola: 89382058 markings, 106216532 edges, 456177 markings/sec, 185 secs
lola: 91643481 markings, 108931821 edges, 452285 markings/sec, 190 secs
lola: 93874060 markings, 111606176 edges, 446116 markings/sec, 195 secs
lola: 96116451 markings, 114245106 edges, 448478 markings/sec, 200 secs
lola: 98436146 markings, 117020307 edges, 463939 markings/sec, 205 secs
lola: 100662433 markings, 119689125 edges, 445257 markings/sec, 210 secs
lola: 102884647 markings, 122342745 edges, 444443 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(Si)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1758886 markings, 3396219 edges, 351777 markings/sec, 0 secs
lola: 3423648 markings, 6688615 edges, 332952 markings/sec, 5 secs
lola: 5046551 markings, 9928897 edges, 324581 markings/sec, 10 secs
lola: 6631865 markings, 13125392 edges, 317063 markings/sec, 15 secs
lola: 8195935 markings, 16300423 edges, 312814 markings/sec, 20 secs
lola: 9792019 markings, 19640240 edges, 319217 markings/sec, 25 secs
lola: 11364006 markings, 22937665 edges, 314397 markings/sec, 30 secs
lola: 12936347 markings, 26231438 edges, 314468 markings/sec, 35 secs
lola: 14486586 markings, 29449439 edges, 310048 markings/sec, 40 secs
lola: 16046696 markings, 32697078 edges, 312022 markings/sec, 45 secs
lola: 17599726 markings, 35930296 edges, 310606 markings/sec, 50 secs
lola: 19154277 markings, 39164561 edges, 310910 markings/sec, 55 secs
lola: 20712356 markings, 42419184 edges, 311616 markings/sec, 60 secs
lola: 22251700 markings, 45606741 edges, 307869 markings/sec, 65 secs
lola: 23802623 markings, 48839200 edges, 310185 markings/sec, 70 secs
lola: 25347058 markings, 52050507 edges, 308887 markings/sec, 75 secs
lola: 26896038 markings, 55276361 edges, 309796 markings/sec, 80 secs
lola: 28444126 markings, 58499027 edges, 309618 markings/sec, 85 secs
lola: 29981049 markings, 61700056 edges, 307385 markings/sec, 90 secs
lola: 31453208 markings, 64773591 edges, 294432 markings/sec, 95 secs
lola: 32903192 markings, 67785088 edges, 289997 markings/sec, 100 secs
lola: 34349432 markings, 70785169 edges, 289248 markings/sec, 105 secs
lola: 35803107 markings, 73809666 edges, 290735 markings/sec, 110 secs
lola: 37268621 markings, 76863210 edges, 293103 markings/sec, 115 secs
lola: 38722515 markings, 79887840 edges, 290779 markings/sec, 120 secs
lola: 40194425 markings, 82955382 edges, 294382 markings/sec, 125 secs
lola: 41712116 markings, 86105314 edges, 303538 markings/sec, 130 secs
lola: 43226768 markings, 89246140 edges, 302930 markings/sec, 135 secs
lola: 44738114 markings, 92382361 edges, 302269 markings/sec, 140 secs
lola: 46238777 markings, 95480050 edges, 300133 markings/sec, 145 secs
lola: 47739591 markings, 98578583 edges, 300163 markings/sec, 150 secs
lola: 49241367 markings, 101665205 edges, 300355 markings/sec, 155 secs
lola: 50739443 markings, 104729349 edges, 299615 markings/sec, 160 secs
lola: 52182387 markings, 107740863 edges, 288589 markings/sec, 165 secs
lola: 53539905 markings, 110621883 edges, 271504 markings/sec, 170 secs
lola: 54877282 markings, 113455128 edges, 267475 markings/sec, 175 secs
lola: 56218685 markings, 116288893 edges, 268281 markings/sec, 180 secs
lola: 57555516 markings, 119109650 edges, 267366 markings/sec, 185 secs
lola: 58891863 markings, 121924878 edges, 267269 markings/sec, 190 secs
lola: 60234367 markings, 124754822 edges, 268501 markings/sec, 195 secs
lola: 61577705 markings, 127578761 edges, 268668 markings/sec, 200 secs
lola: 62922863 markings, 130405722 edges, 269032 markings/sec, 205 secs
lola: 64261051 markings, 133213088 edges, 267638 markings/sec, 210 secs
lola: 65596090 markings, 136014870 edges, 267008 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(SwG)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2045409 markings, 3013801 edges, 409082 markings/sec, 0 secs
lola: 3863220 markings, 5713055 edges, 363562 markings/sec, 5 secs
lola: 5597862 markings, 8290528 edges, 346928 markings/sec, 10 secs
lola: 7377768 markings, 10940827 edges, 355981 markings/sec, 15 secs
lola: 9258012 markings, 13740328 edges, 376049 markings/sec, 20 secs
lola: 11141256 markings, 16544105 edges, 376649 markings/sec, 25 secs
lola: 12967824 markings, 19276296 edges, 365314 markings/sec, 30 secs
lola: 14768258 markings, 21972165 edges, 360087 markings/sec, 35 secs
lola: 16606485 markings, 24722620 edges, 367645 markings/sec, 40 secs
lola: 18437763 markings, 27463813 edges, 366256 markings/sec, 45 secs
lola: 20100002 markings, 29954904 edges, 332448 markings/sec, 50 secs
lola: 21659061 markings, 32284138 edges, 311812 markings/sec, 55 secs
lola: 23454414 markings, 34960581 edges, 359071 markings/sec, 60 secs
lola: 25314774 markings, 37741816 edges, 372072 markings/sec, 65 secs
lola: 27167793 markings, 40509774 edges, 370604 markings/sec, 70 secs
lola: 29039989 markings, 43303691 edges, 374439 markings/sec, 75 secs
lola: 30847733 markings, 46011177 edges, 361549 markings/sec, 80 secs
lola: 32667205 markings, 48733360 edges, 363894 markings/sec, 85 secs
lola: 34478861 markings, 51447067 edges, 362331 markings/sec, 90 secs
lola: 36257748 markings, 54118208 edges, 355777 markings/sec, 95 secs
lola: 38024688 markings, 56776386 edges, 353388 markings/sec, 100 secs
lola: 39788661 markings, 59434997 edges, 352795 markings/sec, 105 secs
lola: 40750136 markings, 61921588 edges, 192295 markings/sec, 110 secs
lola: 41290975 markings, 64233123 edges, 108168 markings/sec, 115 secs
lola: 41819761 markings, 66536310 edges, 105757 markings/sec, 120 secs
lola: 42310651 markings, 68750406 edges, 98178 markings/sec, 125 secs
lola: 42842198 markings, 70999951 edges, 106309 markings/sec, 130 secs
lola: 43863177 markings, 73675964 edges, 204196 markings/sec, 135 secs
lola: 45358654 markings, 76561096 edges, 299095 markings/sec, 140 secs
lola: 46844905 markings, 79436663 edges, 297250 markings/sec, 145 secs
lola: 48336986 markings, 82321355 edges, 298416 markings/sec, 150 secs
lola: 49831136 markings, 85205670 edges, 298830 markings/sec, 155 secs
lola: 51333170 markings, 88096453 edges, 300407 markings/sec, 160 secs
lola: 52837113 markings, 90993648 edges, 300789 markings/sec, 165 secs
lola: 54340015 markings, 93889775 edges, 300580 markings/sec, 170 secs
lola: 55902292 markings, 96909040 edges, 312455 markings/sec, 175 secs
lola: 57462868 markings, 99920761 edges, 312115 markings/sec, 180 secs
lola: 59022678 markings, 102933334 edges, 311962 markings/sec, 185 secs
lola: 60593578 markings, 105969293 edges, 314180 markings/sec, 190 secs
lola: 62151757 markings, 108980819 edges, 311636 markings/sec, 195 secs
lola: 63708376 markings, 111982258 edges, 311324 markings/sec, 200 secs
lola: 65274221 markings, 114998526 edges, 313169 markings/sec, 205 secs
lola: 66843120 markings, 118021373 edges, 313780 markings/sec, 210 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(MtF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1992257 markings, 2973351 edges, 398451 markings/sec, 0 secs
lola: 3870974 markings, 5768256 edges, 375743 markings/sec, 5 secs
lola: 5739880 markings, 8546963 edges, 373781 markings/sec, 10 secs
lola: 7599256 markings, 11310842 edges, 371875 markings/sec, 15 secs
lola: 9467963 markings, 14088339 edges, 373741 markings/sec, 20 secs
lola: 11354441 markings, 16893301 edges, 377296 markings/sec, 25 secs
lola: 13252205 markings, 19714668 edges, 379553 markings/sec, 30 secs
lola: 15145745 markings, 22530397 edges, 378708 markings/sec, 35 secs
lola: 17038179 markings, 25342401 edges, 378487 markings/sec, 40 secs
lola: 18920382 markings, 28140872 edges, 376441 markings/sec, 45 secs
lola: 20782977 markings, 30910873 edges, 372519 markings/sec, 50 secs
lola: 22617019 markings, 33642889 edges, 366808 markings/sec, 55 secs
lola: 24447243 markings, 36370044 edges, 366045 markings/sec, 60 secs
lola: 26274752 markings, 39097712 edges, 365502 markings/sec, 65 secs
lola: 27839552 markings, 41733139 edges, 312960 markings/sec, 70 secs
lola: 29353894 markings, 44318491 edges, 302868 markings/sec, 75 secs
lola: 30892947 markings, 46938659 edges, 307811 markings/sec, 80 secs
lola: 32452600 markings, 49587014 edges, 311931 markings/sec, 85 secs
lola: 34027068 markings, 52254120 edges, 314894 markings/sec, 90 secs
lola: 35529524 markings, 54796914 edges, 300491 markings/sec, 95 secs
lola: 36942959 markings, 57185618 edges, 282687 markings/sec, 100 secs
lola: 38504178 markings, 59830114 edges, 312244 markings/sec, 105 secs
lola: 40076094 markings, 62481056 edges, 314383 markings/sec, 110 secs
lola: 41644823 markings, 65132389 edges, 313746 markings/sec, 115 secs
lola: 43203359 markings, 67762596 edges, 311707 markings/sec, 120 secs
lola: 44765482 markings, 70396370 edges, 312425 markings/sec, 125 secs
lola: 46339412 markings, 73046740 edges, 314786 markings/sec, 130 secs
lola: 47920812 markings, 75709101 edges, 316280 markings/sec, 135 secs
lola: 49535093 markings, 78421963 edges, 322856 markings/sec, 140 secs
lola: 50319195 markings, 80618144 edges, 156820 markings/sec, 145 secs
lola: 50816923 markings, 82550803 edges, 99546 markings/sec, 150 secs
lola: 51407398 markings, 84564180 edges, 118095 markings/sec, 155 secs
lola: 52014865 markings, 86595690 edges, 121493 markings/sec, 160 secs
lola: 52619276 markings, 88616897 edges, 120882 markings/sec, 165 secs
lola: 53716728 markings, 91129508 edges, 219490 markings/sec, 170 secs
lola: 55328678 markings, 93997808 edges, 322390 markings/sec, 175 secs
lola: 56848734 markings, 96698452 edges, 304011 markings/sec, 180 secs
lola: 58380017 markings, 99398394 edges, 306257 markings/sec, 185 secs
lola: 59863116 markings, 102033349 edges, 296620 markings/sec, 190 secs
lola: 61370580 markings, 104704220 edges, 301493 markings/sec, 195 secs
lola: 62850101 markings, 107307426 edges, 295904 markings/sec, 200 secs
lola: 64296211 markings, 109860154 edges, 289222 markings/sec, 205 secs
lola: 65765366 markings, 112431583 edges, 293831 markings/sec, 210 secs
lola: 67267924 markings, 115056785 edges, 300512 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MtF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1978613 markings, 2953516 edges, 395723 markings/sec, 0 secs
lola: 3868988 markings, 5765327 edges, 378075 markings/sec, 5 secs
lola: 5744862 markings, 8554242 edges, 375175 markings/sec, 10 secs
lola: 7617458 markings, 11337795 edges, 374519 markings/sec, 15 secs
lola: 9500562 markings, 14136630 edges, 376621 markings/sec, 20 secs
lola: 11397051 markings, 16956551 edges, 379298 markings/sec, 25 secs
lola: 13300485 markings, 19786184 edges, 380687 markings/sec, 30 secs
lola: 15194017 markings, 22601587 edges, 378706 markings/sec, 35 secs
lola: 17075873 markings, 25397902 edges, 376371 markings/sec, 40 secs
lola: 18935723 markings, 28163725 edges, 371970 markings/sec, 45 secs
lola: 20790391 markings, 30922020 edges, 370934 markings/sec, 50 secs
lola: 22618272 markings, 33644815 edges, 365576 markings/sec, 55 secs
lola: 24451589 markings, 36376392 edges, 366663 markings/sec, 60 secs
lola: 26283959 markings, 39111479 edges, 366474 markings/sec, 65 secs
lola: 27843959 markings, 41740486 edges, 312000 markings/sec, 70 secs
lola: 29353373 markings, 44317620 edges, 301883 markings/sec, 75 secs
lola: 30885230 markings, 46925574 edges, 306371 markings/sec, 80 secs
lola: 32442620 markings, 49570330 edges, 311478 markings/sec, 85 secs
lola: 34016324 markings, 52235572 edges, 314741 markings/sec, 90 secs
lola: 35581403 markings, 54885172 edges, 313016 markings/sec, 95 secs
lola: 37151004 markings, 57536849 edges, 313920 markings/sec, 100 secs
lola: 38721178 markings, 60195427 edges, 314035 markings/sec, 105 secs
lola: 40297014 markings, 62854151 edges, 315167 markings/sec, 110 secs
lola: 41871144 markings, 65514605 edges, 314826 markings/sec, 115 secs
lola: 43446646 markings, 68171946 edges, 315100 markings/sec, 120 secs
lola: 45016454 markings, 70819135 edges, 313962 markings/sec, 125 secs
lola: 46597468 markings, 73481792 edges, 316203 markings/sec, 130 secs
lola: 48192033 markings, 76166042 edges, 318913 markings/sec, 135 secs
lola: 49821204 markings, 78902866 edges, 325834 markings/sec, 140 secs
lola: 50384153 markings, 80943369 edges, 112590 markings/sec, 145 secs
lola: 50916183 markings, 82889053 edges, 106406 markings/sec, 150 secs
lola: 51488642 markings, 84835601 edges, 114492 markings/sec, 155 secs
lola: 52088717 markings, 86841752 edges, 120015 markings/sec, 160 secs
lola: 52689121 markings, 88847470 edges, 120081 markings/sec, 165 secs
lola: 53894117 markings, 91445529 edges, 240999 markings/sec, 170 secs
lola: 55419906 markings, 94160929 edges, 305158 markings/sec, 175 secs
lola: 56746184 markings, 96512958 edges, 265256 markings/sec, 180 secs
lola: 58109883 markings, 98927511 edges, 272740 markings/sec, 185 secs
lola: 59392422 markings, 101184563 edges, 256508 markings/sec, 190 secs
lola: 60717925 markings, 103527226 edges, 265101 markings/sec, 195 secs
lola: 62190512 markings, 106126396 edges, 294517 markings/sec, 200 secs
lola: 63666631 markings, 108723234 edges, 295224 markings/sec, 205 secs
lola: 65164336 markings, 111349923 edges, 299541 markings/sec, 210 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(SR)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2140427 markings, 3154346 edges, 428085 markings/sec, 0 secs
lola: 4158914 markings, 6151696 edges, 403697 markings/sec, 5 secs
lola: 6138023 markings, 9095846 edges, 395822 markings/sec, 10 secs
lola: 8088544 markings, 11998792 edges, 390104 markings/sec, 15 secs
lola: 10015891 markings, 14867121 edges, 385469 markings/sec, 20 secs
lola: 11915582 markings, 17701208 edges, 379938 markings/sec, 25 secs
lola: 13784669 markings, 20496608 edges, 373817 markings/sec, 30 secs
lola: 15655165 markings, 23300871 edges, 374099 markings/sec, 35 secs
lola: 17536675 markings, 26115541 edges, 376302 markings/sec, 40 secs
lola: 19398414 markings, 28903924 edges, 372348 markings/sec, 45 secs
lola: 21268232 markings, 31698907 edges, 373964 markings/sec, 50 secs
lola: 23155405 markings, 34515471 edges, 377435 markings/sec, 55 secs
lola: 25032424 markings, 37319809 edges, 375404 markings/sec, 60 secs
lola: 26913147 markings, 40129586 edges, 376145 markings/sec, 65 secs
lola: 28824500 markings, 42979855 edges, 382271 markings/sec, 70 secs
lola: 30663411 markings, 45735389 edges, 367782 markings/sec, 75 secs
lola: 32538200 markings, 48539991 edges, 374958 markings/sec, 80 secs
lola: 34392811 markings, 51317942 edges, 370922 markings/sec, 85 secs
lola: 36201758 markings, 54034072 edges, 361789 markings/sec, 90 secs
lola: 38000857 markings, 56740508 edges, 359820 markings/sec, 95 secs
lola: 39792278 markings, 59440478 edges, 358284 markings/sec, 100 secs
lola: 40754432 markings, 61939193 edges, 192431 markings/sec, 105 secs
lola: 41298138 markings, 64262814 edges, 108741 markings/sec, 110 secs
lola: 41827949 markings, 66578667 edges, 105962 markings/sec, 115 secs
lola: 42330044 markings, 68835108 edges, 100419 markings/sec, 120 secs
lola: 42865237 markings, 71106932 edges, 107039 markings/sec, 125 secs
lola: 43937795 markings, 73828514 edges, 214512 markings/sec, 130 secs
lola: 45442680 markings, 76727452 edges, 300977 markings/sec, 135 secs
lola: 46925869 markings, 79583193 edges, 296638 markings/sec, 140 secs
lola: 48415542 markings, 82465872 edges, 297935 markings/sec, 145 secs
lola: 49909849 markings, 85349813 edges, 298861 markings/sec, 150 secs
lola: 51413798 markings, 88257936 edges, 300790 markings/sec, 155 secs
lola: 52907866 markings, 91141964 edges, 298814 markings/sec, 160 secs
lola: 54405917 markings, 94025635 edges, 299610 markings/sec, 165 secs
lola: 55959100 markings, 97022339 edges, 310637 markings/sec, 170 secs
lola: 57509877 markings, 100017722 edges, 310155 markings/sec, 175 secs
lola: 59056157 markings, 103003216 edges, 309256 markings/sec, 180 secs
lola: 60614928 markings, 106016018 edges, 311754 markings/sec, 185 secs
lola: 62169703 markings, 109013474 edges, 310955 markings/sec, 190 secs
lola: 63719783 markings, 112002156 edges, 310016 markings/sec, 195 secs
lola: 65285314 markings, 115017872 edges, 313106 markings/sec, 200 secs
lola: 66871603 markings, 118069421 edges, 317258 markings/sec, 205 secs
lola: 68448039 markings, 121099662 edges, 315287 markings/sec, 210 secs
lola: 70042297 markings, 124150164 edges, 318852 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(Uf)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2075919 markings, 2949475 edges, 415184 markings/sec, 0 secs
lola: 4072315 markings, 5783567 edges, 399279 markings/sec, 5 secs
lola: 6067659 markings, 8616441 edges, 399069 markings/sec, 10 secs
lola: 8065553 markings, 11452218 edges, 399579 markings/sec, 15 secs
lola: 10081038 markings, 14313483 edges, 403097 markings/sec, 20 secs
lola: 12110852 markings, 17195783 edges, 405963 markings/sec, 25 secs
lola: 14138948 markings, 20074411 edges, 405619 markings/sec, 30 secs
lola: 16167800 markings, 22955130 edges, 405770 markings/sec, 35 secs
lola: 18176534 markings, 25806028 edges, 401747 markings/sec, 40 secs
lola: 20188388 markings, 28662958 edges, 402371 markings/sec, 45 secs
lola: 22200788 markings, 31518993 edges, 402480 markings/sec, 50 secs
lola: 24203649 markings, 34362403 edges, 400572 markings/sec, 55 secs
lola: 26160269 markings, 37172394 edges, 391324 markings/sec, 60 secs
lola: 27978545 markings, 39846197 edges, 363655 markings/sec, 65 secs
lola: 29765888 markings, 42459262 edges, 357469 markings/sec, 70 secs
lola: 31547834 markings, 45059633 edges, 356389 markings/sec, 75 secs
lola: 33321416 markings, 47640832 edges, 354716 markings/sec, 80 secs
lola: 35101146 markings, 50234382 edges, 355946 markings/sec, 85 secs
lola: 36874194 markings, 52809975 edges, 354610 markings/sec, 90 secs
lola: 38651261 markings, 55394553 edges, 355413 markings/sec, 95 secs
lola: 40432647 markings, 57983378 edges, 356277 markings/sec, 100 secs
lola: 42211410 markings, 60567170 edges, 355753 markings/sec, 105 secs
lola: 43975877 markings, 63129126 edges, 352893 markings/sec, 110 secs
lola: 45745546 markings, 65698643 edges, 353934 markings/sec, 115 secs
lola: 47505557 markings, 68252575 edges, 352002 markings/sec, 120 secs
lola: 49254997 markings, 70791358 edges, 349888 markings/sec, 125 secs
lola: 51010544 markings, 73338312 edges, 351109 markings/sec, 130 secs
lola: 52771384 markings, 75890560 edges, 352168 markings/sec, 135 secs
lola: 54539757 markings, 78451327 edges, 353675 markings/sec, 140 secs
lola: 55376817 markings, 80472038 edges, 167412 markings/sec, 145 secs
lola: 55856284 markings, 82345307 edges, 95893 markings/sec, 150 secs
lola: 56272108 markings, 84274011 edges, 83165 markings/sec, 155 secs
lola: 56683799 markings, 86195566 edges, 82338 markings/sec, 160 secs
lola: 58451031 markings, 89020599 edges, 353446 markings/sec, 165 secs
lola: 60148139 markings, 91671955 edges, 339422 markings/sec, 170 secs
lola: 61845848 markings, 94317779 edges, 339542 markings/sec, 175 secs
lola: 63533837 markings, 96944171 edges, 337598 markings/sec, 180 secs
lola: 65183434 markings, 99513272 edges, 329919 markings/sec, 185 secs
lola: 66823545 markings, 102060740 edges, 328022 markings/sec, 190 secs
lola: 68459872 markings, 104602284 edges, 327265 markings/sec, 195 secs
lola: 70132020 markings, 107200351 edges, 334430 markings/sec, 200 secs
lola: 71824989 markings, 109834185 edges, 338594 markings/sec, 205 secs
lola: 73592694 markings, 112566770 edges, 353541 markings/sec, 210 secs
lola: 75291582 markings, 115201896 edges, 339778 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 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 2782692 markings, 3237165 edges, 556538 markings/sec, 0 secs
lola: 5492890 markings, 6401299 edges, 542040 markings/sec, 5 secs
lola: 8158016 markings, 9514612 edges, 533025 markings/sec, 10 secs
lola: 10818515 markings, 12623715 edges, 532100 markings/sec, 15 secs
lola: 13468956 markings, 15722311 edges, 530088 markings/sec, 20 secs
lola: 16102599 markings, 18799925 edges, 526729 markings/sec, 25 secs
lola: 18722254 markings, 21866768 edges, 523931 markings/sec, 30 secs
lola: 21313655 markings, 24903328 edges, 518280 markings/sec, 35 secs
lola: 23882036 markings, 27911478 edges, 513676 markings/sec, 40 secs
lola: 26421988 markings, 30884325 edges, 507990 markings/sec, 45 secs
lola: 28923123 markings, 33814873 edges, 500227 markings/sec, 50 secs
lola: 31518416 markings, 36882528 edges, 519059 markings/sec, 55 secs
lola: 34099439 markings, 39914742 edges, 516205 markings/sec, 60 secs
lola: 36628321 markings, 42883350 edges, 505776 markings/sec, 65 secs
lola: 39106191 markings, 45796125 edges, 495574 markings/sec, 70 secs
lola: 41563144 markings, 48677936 edges, 491391 markings/sec, 75 secs
lola: 44013223 markings, 51557610 edges, 490016 markings/sec, 80 secs
lola: 46449741 markings, 54414320 edges, 487304 markings/sec, 85 secs
lola: 48881274 markings, 57262818 edges, 486307 markings/sec, 90 secs
lola: 51275527 markings, 60069598 edges, 478851 markings/sec, 95 secs
lola: 53689742 markings, 62913838 edges, 482843 markings/sec, 100 secs
lola: 56106842 markings, 65740633 edges, 483420 markings/sec, 105 secs
lola: 58488447 markings, 68550470 edges, 476321 markings/sec, 110 secs
lola: 60898058 markings, 71366059 edges, 481922 markings/sec, 115 secs
lola: 63271129 markings, 74165098 edges, 474614 markings/sec, 120 secs
lola: 65670788 markings, 76967135 edges, 479932 markings/sec, 125 secs
lola: 68039617 markings, 79760993 edges, 473766 markings/sec, 130 secs
lola: 70435983 markings, 82557220 edges, 479273 markings/sec, 135 secs
lola: 72791693 markings, 85335205 edges, 471142 markings/sec, 140 secs
lola: 75157970 markings, 88106981 edges, 473255 markings/sec, 145 secs
lola: 77541960 markings, 90905361 edges, 476798 markings/sec, 150 secs
lola: 79905366 markings, 93692148 edges, 472681 markings/sec, 155 secs
lola: 82263087 markings, 96440048 edges, 471544 markings/sec, 160 secs
lola: 84638792 markings, 99240562 edges, 475141 markings/sec, 165 secs
lola: 87000912 markings, 102025556 edges, 472424 markings/sec, 170 secs
lola: 89368597 markings, 104783753 edges, 473537 markings/sec, 175 secs
lola: 91732807 markings, 107570514 edges, 472842 markings/sec, 180 secs
lola: 94094983 markings, 110355283 edges, 472435 markings/sec, 185 secs
lola: 96440377 markings, 113090377 edges, 469079 markings/sec, 190 secs
lola: 98823980 markings, 115895434 edges, 476721 markings/sec, 195 secs
lola: 101178549 markings, 118671025 edges, 470914 markings/sec, 200 secs
lola: 103527457 markings, 121426261 edges, 469782 markings/sec, 205 secs
lola: 105870028 markings, 124165814 edges, 468514 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(MtF)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 68 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: 1968661 markings, 2939034 edges, 393732 markings/sec, 0 secs
lola: 3860196 markings, 5752474 edges, 378307 markings/sec, 5 secs
lola: 5750537 markings, 8562542 edges, 378068 markings/sec, 10 secs
lola: 7633803 markings, 11361978 edges, 376653 markings/sec, 15 secs
lola: 9523105 markings, 14169674 edges, 377860 markings/sec, 20 secs
lola: 11421306 markings, 16992778 edges, 379640 markings/sec, 25 secs
lola: 13327350 markings, 19826155 edges, 381209 markings/sec, 30 secs
lola: 15224907 markings, 22647033 edges, 379511 markings/sec, 35 secs
lola: 17111794 markings, 25450851 edges, 377377 markings/sec, 40 secs
lola: 18993829 markings, 28250032 edges, 376407 markings/sec, 45 secs
lola: 20858323 markings, 31023499 edges, 372899 markings/sec, 50 secs
lola: 22701643 markings, 33769168 edges, 368664 markings/sec, 55 secs
lola: 24530815 markings, 36494518 edges, 365834 markings/sec, 60 secs
lola: 26365535 markings, 39233543 edges, 366944 markings/sec, 65 secs
lola: 27915042 markings, 41862455 edges, 309901 markings/sec, 70 secs
lola: 29434834 markings, 44457415 edges, 303958 markings/sec, 75 secs
lola: 30982150 markings, 47089291 edges, 309463 markings/sec, 80 secs
lola: 32551624 markings, 49754830 edges, 313895 markings/sec, 85 secs
lola: 34128500 markings, 52424609 edges, 315375 markings/sec, 90 secs
lola: 35704169 markings, 55093222 edges, 315134 markings/sec, 95 secs
lola: 37288676 markings, 57768968 edges, 316901 markings/sec, 100 secs
lola: 38873865 markings, 60451646 edges, 317038 markings/sec, 105 secs
lola: 40472213 markings, 63148094 edges, 319670 markings/sec, 110 secs
lola: 42054862 markings, 65824066 edges, 316530 markings/sec, 115 secs
lola: 43649045 markings, 68513258 edges, 318837 markings/sec, 120 secs
lola: 45236057 markings, 71187674 edges, 317402 markings/sec, 125 secs
lola: 46841838 markings, 73892684 edges, 321156 markings/sec, 130 secs
lola: 48470547 markings, 76633909 edges, 325742 markings/sec, 135 secs
lola: 50082788 markings, 79406497 edges, 322448 markings/sec, 140 secs
lola: 50462971 markings, 81318878 edges, 76037 markings/sec, 145 secs
lola: 51044140 markings, 83329368 edges, 116234 markings/sec, 150 secs
lola: 51637714 markings, 85335041 edges, 118715 markings/sec, 155 secs
lola: 52244624 markings, 87365716 edges, 121382 markings/sec, 160 secs
lola: 52849394 markings, 89383018 edges, 120954 markings/sec, 165 secs
lola: 54322685 markings, 92216597 edges, 294658 markings/sec, 170 secs
lola: 55892263 markings, 94997789 edges, 313916 markings/sec, 175 secs
lola: 57417618 markings, 97695955 edges, 305071 markings/sec, 180 secs
lola: 58928385 markings, 100393589 edges, 302153 markings/sec, 185 secs
lola: 60439723 markings, 103027892 edges, 302268 markings/sec, 190 secs
lola: 61917545 markings, 105634164 edges, 295564 markings/sec, 195 secs
lola: 63397652 markings, 108239083 edges, 296021 markings/sec, 200 secs
lola: 64892790 markings, 110866866 edges, 299028 markings/sec, 205 secs
lola: 66395844 markings, 113538073 edges, 300611 markings/sec, 210 secs
lola: 67884807 markings, 116166282 edges, 297793 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknownlola:
caught signal User defined signal 1 - aborting LoLA
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P4-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496607324256

--------------------
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="ClientsAndServers-PT-N0020P4"
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/ClientsAndServers-PT-N0020P4.tgz
mv ClientsAndServers-PT-N0020P4 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is ClientsAndServers-PT-N0020P4, 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 r168-ebro-149580920100254"
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 ;