fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r168-ebro-149580920100254
Last Updated
June 27, 2017

About the Execution of LoLA for ClientsAndServers-PT-N0020P4

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
8523.800 3539392.00 3556388.00 487.80 ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-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 ;