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

About the Execution of LoLA for ClientsAndServers-PT-N0020P3

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
10732.290 3540387.00 3557179.00 777.80 ? ? ? 160 ? ? ? ? ? ? ? ? ? ? 160 ? 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-N0020P3, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-ebro-149580920100245
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1496603558177


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


checking for too many tokens
===========================================================================================
ClientsAndServers-PT-N0020P3: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ ClientsAndServers-PT-N0020P3 @ 3540 seconds
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 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-N0020P3-UpperBounds.task
lola: MAX(CwA) : MAX(SwG) : MAX(Si) : MAX(MtF) : MAX(Si) : MAX(SR) : MAX(Si) : MAX(SF) : MAX(Ci) : MAX(CwA) : MAX(MtF) : MAX(CwG) : MAX(SG) : MAX(CG) : MAX(Cb) : MAX(Si)
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(CwA)
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: 2775787 markings, 3228251 edges, 555157 markings/sec, 0 secs
lola: 5433865 markings, 6331446 edges, 531616 markings/sec, 5 secs
lola: 8083164 markings, 9428355 edges, 529860 markings/sec, 10 secs
lola: 10692534 markings, 12475892 edges, 521874 markings/sec, 15 secs
lola: 13242710 markings, 15453623 edges, 510035 markings/sec, 20 secs
lola: 15810301 markings, 18459274 edges, 513518 markings/sec, 25 secs
lola: 18353392 markings, 21436756 edges, 508618 markings/sec, 30 secs
lola: 20865833 markings, 24381470 edges, 502488 markings/sec, 35 secs
lola: 23382509 markings, 27329657 edges, 503335 markings/sec, 40 secs
lola: 25909843 markings, 30290236 edges, 505467 markings/sec, 45 secs
lola: 28434298 markings, 33269506 edges, 504891 markings/sec, 50 secs
lola: 31007886 markings, 36290187 edges, 514718 markings/sec, 55 secs
lola: 33505711 markings, 39220186 edges, 499565 markings/sec, 60 secs
lola: 35946661 markings, 42090439 edges, 488190 markings/sec, 65 secs
lola: 38369311 markings, 44936112 edges, 484530 markings/sec, 70 secs
lola: 40790347 markings, 47777691 edges, 484207 markings/sec, 75 secs
lola: 43203116 markings, 50606666 edges, 482554 markings/sec, 80 secs
lola: 45606467 markings, 53422362 edges, 480670 markings/sec, 85 secs
lola: 47982296 markings, 56203657 edges, 475166 markings/sec, 90 secs
lola: 50373201 markings, 59024550 edges, 478181 markings/sec, 95 secs
lola: 52761938 markings, 61818330 edges, 477747 markings/sec, 100 secs
lola: 55119322 markings, 64584510 edges, 471477 markings/sec, 105 secs
lola: 57505798 markings, 67388294 edges, 477295 markings/sec, 110 secs
lola: 59856558 markings, 70140317 edges, 470152 markings/sec, 115 secs
lola: 62231638 markings, 72934475 edges, 475016 markings/sec, 120 secs
lola: 64576669 markings, 75682550 edges, 469006 markings/sec, 125 secs
lola: 66952721 markings, 78472812 edges, 475210 markings/sec, 130 secs
lola: 69284055 markings, 81218613 edges, 466267 markings/sec, 135 secs
lola: 71632606 markings, 83960465 edges, 469710 markings/sec, 140 secs
lola: 73960142 markings, 86704985 edges, 465507 markings/sec, 145 secs
lola: 76271073 markings, 89406043 edges, 462186 markings/sec, 150 secs
lola: 78617683 markings, 92164256 edges, 469322 markings/sec, 155 secs
lola: 80952274 markings, 94916795 edges, 466918 markings/sec, 160 secs
lola: 83283731 markings, 97632340 edges, 466291 markings/sec, 165 secs
lola: 85652031 markings, 100424017 edges, 473660 markings/sec, 170 secs
lola: 87997700 markings, 103189811 edges, 469134 markings/sec, 175 secs
lola: 90319965 markings, 105892831 edges, 464453 markings/sec, 180 secs
lola: 92690590 markings, 108686965 edges, 474125 markings/sec, 185 secs
lola: 95034779 markings, 111450290 edges, 468838 markings/sec, 190 secs
lola: 97368798 markings, 114177762 edges, 466804 markings/sec, 195 secs
lola: 99720067 markings, 116937656 edges, 470254 markings/sec, 200 secs
lola: 102051191 markings, 119685374 edges, 466225 markings/sec, 205 secs
lola: 104377304 markings, 122418693 edges, 465223 markings/sec, 210 secs
lola: 106723517 markings, 125156234 edges, 469243 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(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: 2037008 markings, 3001797 edges, 407402 markings/sec, 0 secs
lola: 3901729 markings, 5771135 edges, 372944 markings/sec, 5 secs
lola: 5859564 markings, 8681528 edges, 391567 markings/sec, 10 secs
lola: 7776358 markings, 11533903 edges, 383359 markings/sec, 15 secs
lola: 9665061 markings, 14345211 edges, 377741 markings/sec, 20 secs
lola: 11527353 markings, 17121531 edges, 372458 markings/sec, 25 secs
lola: 13361050 markings, 19863003 edges, 366739 markings/sec, 30 secs
lola: 15195330 markings, 22611475 edges, 366856 markings/sec, 35 secs
lola: 17058498 markings, 25401581 edges, 372634 markings/sec, 40 secs
lola: 18917608 markings, 28183683 edges, 371822 markings/sec, 45 secs
lola: 20763010 markings, 30947226 edges, 369080 markings/sec, 50 secs
lola: 22650028 markings, 33761687 edges, 377404 markings/sec, 55 secs
lola: 24489987 markings, 36512936 edges, 367992 markings/sec, 60 secs
lola: 26340557 markings, 39278077 edges, 370114 markings/sec, 65 secs
lola: 28229397 markings, 42096343 edges, 377768 markings/sec, 70 secs
lola: 30073428 markings, 44857118 edges, 368806 markings/sec, 75 secs
lola: 31889859 markings, 47580503 edges, 363286 markings/sec, 80 secs
lola: 33679457 markings, 50269894 edges, 357920 markings/sec, 85 secs
lola: 35441522 markings, 52923717 edges, 352413 markings/sec, 90 secs
lola: 37238829 markings, 55634229 edges, 359461 markings/sec, 95 secs
lola: 37776555 markings, 57968389 edges, 107545 markings/sec, 100 secs
lola: 38321854 markings, 60297106 edges, 109060 markings/sec, 105 secs
lola: 38828951 markings, 62589847 edges, 101419 markings/sec, 110 secs
lola: 39355691 markings, 64846078 edges, 105348 markings/sec, 115 secs
lola: 40194854 markings, 67438232 edges, 167833 markings/sec, 120 secs
lola: 41710388 markings, 70360172 edges, 303107 markings/sec, 125 secs
lola: 43225573 markings, 73285379 edges, 303037 markings/sec, 130 secs
lola: 44728579 markings, 76197050 edges, 300601 markings/sec, 135 secs
lola: 46250228 markings, 79130528 edges, 304330 markings/sec, 140 secs
lola: 47778821 markings, 82077742 edges, 305719 markings/sec, 145 secs
lola: 49282286 markings, 84985216 edges, 300693 markings/sec, 150 secs
lola: 50806436 markings, 87928699 edges, 304830 markings/sec, 155 secs
lola: 52397528 markings, 90989831 edges, 318218 markings/sec, 160 secs
lola: 53978012 markings, 94037451 edges, 316097 markings/sec, 165 secs
lola: 55567648 markings, 97099716 edges, 317927 markings/sec, 170 secs
lola: 57161831 markings, 100178907 edges, 318837 markings/sec, 175 secs
lola: 58744386 markings, 103236443 edges, 316511 markings/sec, 180 secs
lola: 60312028 markings, 106268913 edges, 313528 markings/sec, 185 secs
lola: 61895009 markings, 109305367 edges, 316596 markings/sec, 190 secs
lola: 63494201 markings, 112371205 edges, 319838 markings/sec, 195 secs
lola: 65083693 markings, 115412653 edges, 317898 markings/sec, 200 secs
lola: 66706188 markings, 118504233 edges, 324499 markings/sec, 205 secs
lola: 68348872 markings, 121624542 edges, 328537 markings/sec, 210 secs
lola: 70046983 markings, 124668061 edges, 339622 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(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: 1557931 markings, 3012311 edges, 311586 markings/sec, 0 secs
lola: 3041422 markings, 5947587 edges, 296698 markings/sec, 5 secs
lola: 4524499 markings, 8919438 edges, 296615 markings/sec, 10 secs
lola: 6095539 markings, 12095675 edges, 314208 markings/sec, 15 secs
lola: 7646159 markings, 15247343 edges, 310124 markings/sec, 20 secs
lola: 9220870 markings, 18533183 edges, 314942 markings/sec, 25 secs
lola: 10782320 markings, 21809616 edges, 312290 markings/sec, 30 secs
lola: 12334665 markings, 25047943 edges, 310469 markings/sec, 35 secs
lola: 13883858 markings, 28274742 edges, 309839 markings/sec, 40 secs
lola: 15433234 markings, 31503786 edges, 309875 markings/sec, 45 secs
lola: 16975304 markings, 34713053 edges, 308414 markings/sec, 50 secs
lola: 18505376 markings, 37886301 edges, 306014 markings/sec, 55 secs
lola: 20032365 markings, 41065284 edges, 305398 markings/sec, 60 secs
lola: 21564062 markings, 44253685 edges, 306339 markings/sec, 65 secs
lola: 23090598 markings, 47423493 edges, 305307 markings/sec, 70 secs
lola: 24623093 markings, 50622100 edges, 306499 markings/sec, 75 secs
lola: 26145543 markings, 53787824 edges, 304490 markings/sec, 80 secs
lola: 27673591 markings, 56969540 edges, 305610 markings/sec, 85 secs
lola: 29202480 markings, 60160995 edges, 305778 markings/sec, 90 secs
lola: 30720702 markings, 63322822 edges, 303644 markings/sec, 95 secs
lola: 32238413 markings, 66482195 edges, 303542 markings/sec, 100 secs
lola: 33747416 markings, 69620105 edges, 301801 markings/sec, 105 secs
lola: 35253269 markings, 72755612 edges, 301171 markings/sec, 110 secs
lola: 36757076 markings, 75877402 edges, 300761 markings/sec, 115 secs
lola: 38266683 markings, 79027724 edges, 301921 markings/sec, 120 secs
lola: 39700294 markings, 81992576 edges, 286722 markings/sec, 125 secs
lola: 41147305 markings, 84991618 edges, 289402 markings/sec, 130 secs
lola: 42587264 markings, 87968260 edges, 287992 markings/sec, 135 secs
lola: 43958310 markings, 90797656 edges, 274209 markings/sec, 140 secs
lola: 45342628 markings, 93642714 edges, 276864 markings/sec, 145 secs
lola: 46726346 markings, 96480456 edges, 276744 markings/sec, 150 secs
lola: 48081219 markings, 99254037 edges, 270975 markings/sec, 155 secs
lola: 49312336 markings, 101864274 edges, 246223 markings/sec, 160 secs
lola: 50513223 markings, 104410447 edges, 240177 markings/sec, 165 secs
lola: 51679754 markings, 106878842 edges, 233306 markings/sec, 170 secs
lola: 52725218 markings, 109087411 edges, 209093 markings/sec, 175 secs
lola: 53890337 markings, 111545122 edges, 233024 markings/sec, 180 secs
lola: 55106775 markings, 114111455 edges, 243288 markings/sec, 185 secs
lola: 56372029 markings, 116777245 edges, 253051 markings/sec, 190 secs
lola: 57599413 markings, 119357753 edges, 245477 markings/sec, 195 secs
lola: 58875438 markings, 122043881 edges, 255205 markings/sec, 200 secs
lola: 60163613 markings, 124745462 edges, 257635 markings/sec, 205 secs
lola: 61436918 markings, 127419504 edges, 254661 markings/sec, 210 secs
lola: 62608346 markings, 129879251 edges, 234286 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(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: 1773697 markings, 2649435 edges, 354739 markings/sec, 0 secs
lola: 3508506 markings, 5229136 edges, 346962 markings/sec, 5 secs
lola: 5134851 markings, 7647922 edges, 325269 markings/sec, 10 secs
lola: 6741603 markings, 10036386 edges, 321350 markings/sec, 15 secs
lola: 8399318 markings, 12500772 edges, 331543 markings/sec, 20 secs
lola: 10064739 markings, 14975616 edges, 333084 markings/sec, 25 secs
lola: 11736211 markings, 17461189 edges, 334294 markings/sec, 30 secs
lola: 13515033 markings, 20105180 edges, 355764 markings/sec, 35 secs
lola: 15142838 markings, 22526075 edges, 325561 markings/sec, 40 secs
lola: 16758474 markings, 24926593 edges, 323127 markings/sec, 45 secs
lola: 18362376 markings, 27312277 edges, 320780 markings/sec, 50 secs
lola: 20042131 markings, 29812431 edges, 335951 markings/sec, 55 secs
lola: 21801585 markings, 32435317 edges, 351891 markings/sec, 60 secs
lola: 23580113 markings, 35088498 edges, 355706 markings/sec, 65 secs
lola: 25263648 markings, 37744713 edges, 336707 markings/sec, 70 secs
lola: 26718366 markings, 40237406 edges, 290944 markings/sec, 75 secs
lola: 28215422 markings, 42787412 edges, 299411 markings/sec, 80 secs
lola: 29736350 markings, 45377433 edges, 304186 markings/sec, 85 secs
lola: 31282121 markings, 47993786 edges, 309154 markings/sec, 90 secs
lola: 32837214 markings, 50629103 edges, 311019 markings/sec, 95 secs
lola: 34386973 markings, 53251866 edges, 309952 markings/sec, 100 secs
lola: 35932821 markings, 55866949 edges, 309170 markings/sec, 105 secs
lola: 37487972 markings, 58489963 edges, 311030 markings/sec, 110 secs
lola: 39035098 markings, 61101829 edges, 309425 markings/sec, 115 secs
lola: 40560287 markings, 63675988 edges, 305038 markings/sec, 120 secs
lola: 42113418 markings, 66292385 edges, 310626 markings/sec, 125 secs
lola: 43665152 markings, 68903354 edges, 310347 markings/sec, 130 secs
lola: 45233395 markings, 71539717 edges, 313649 markings/sec, 135 secs
lola: 46381625 markings, 73929329 edges, 229646 markings/sec, 140 secs
lola: 46777722 markings, 75730712 edges, 79219 markings/sec, 145 secs
lola: 47348804 markings, 77640994 edges, 114216 markings/sec, 150 secs
lola: 47926890 markings, 79590062 edges, 115617 markings/sec, 155 secs
lola: 48518820 markings, 81570362 edges, 118386 markings/sec, 160 secs
lola: 49451037 markings, 83858856 edges, 186443 markings/sec, 165 secs
lola: 51004516 markings, 86634265 edges, 310696 markings/sec, 170 secs
lola: 52512420 markings, 89301295 edges, 301581 markings/sec, 175 secs
lola: 53961727 markings, 91882813 edges, 289861 markings/sec, 180 secs
lola: 55371314 markings, 94354071 edges, 281917 markings/sec, 185 secs
lola: 56749521 markings, 96790915 edges, 275641 markings/sec, 190 secs
lola: 58127788 markings, 99221422 edges, 275653 markings/sec, 195 secs
lola: 59501849 markings, 101633664 edges, 274812 markings/sec, 200 secs
lola: 60885959 markings, 104056870 edges, 276822 markings/sec, 205 secs
lola: 62246800 markings, 106492999 edges, 272168 markings/sec, 210 secs
lola: 63553566 markings, 108777259 edges, 261353 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(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: 1702498 markings, 3296054 edges, 340500 markings/sec, 0 secs
lola: 3270400 markings, 6403881 edges, 313580 markings/sec, 5 secs
lola: 4813542 markings, 9503834 edges, 308628 markings/sec, 10 secs
lola: 6290517 markings, 12490917 edges, 295395 markings/sec, 15 secs
lola: 7713688 markings, 15384107 edges, 284634 markings/sec, 20 secs
lola: 9172264 markings, 18430750 edges, 291715 markings/sec, 25 secs
lola: 10649890 markings, 21533743 edges, 295525 markings/sec, 30 secs
lola: 12124895 markings, 24611930 edges, 295001 markings/sec, 35 secs
lola: 13598297 markings, 27676772 edges, 294680 markings/sec, 40 secs
lola: 15086444 markings, 30778064 edges, 297629 markings/sec, 45 secs
lola: 16575508 markings, 33877860 edges, 297813 markings/sec, 50 secs
lola: 18061749 markings, 36969556 edges, 297248 markings/sec, 55 secs
lola: 19536977 markings, 40018001 edges, 295046 markings/sec, 60 secs
lola: 20959267 markings, 42996170 edges, 284458 markings/sec, 65 secs
lola: 22333242 markings, 45846927 edges, 274795 markings/sec, 70 secs
lola: 23750909 markings, 48802838 edges, 283533 markings/sec, 75 secs
lola: 25234703 markings, 51888016 edges, 296759 markings/sec, 80 secs
lola: 26717931 markings, 54977941 edges, 296646 markings/sec, 85 secs
lola: 28209715 markings, 58087938 edges, 298357 markings/sec, 90 secs
lola: 29696424 markings, 61184740 edges, 297342 markings/sec, 95 secs
lola: 31173127 markings, 64256725 edges, 295341 markings/sec, 100 secs
lola: 32659699 markings, 67355914 edges, 297314 markings/sec, 105 secs
lola: 34147836 markings, 70451831 edges, 297627 markings/sec, 110 secs
lola: 35628258 markings, 73534419 edges, 296084 markings/sec, 115 secs
lola: 37110273 markings, 76611385 edges, 296403 markings/sec, 120 secs
lola: 38606963 markings, 79724373 edges, 299338 markings/sec, 125 secs
lola: 40063614 markings, 82733668 edges, 291330 markings/sec, 130 secs
lola: 41516987 markings, 85752068 edges, 290675 markings/sec, 135 secs
lola: 42992953 markings, 88800722 edges, 295193 markings/sec, 140 secs
lola: 44344814 markings, 91589857 edges, 270372 markings/sec, 145 secs
lola: 45804127 markings, 94589569 edges, 291863 markings/sec, 150 secs
lola: 47268557 markings, 97589637 edges, 292886 markings/sec, 155 secs
lola: 48706670 markings, 100578888 edges, 287623 markings/sec, 160 secs
lola: 50041453 markings, 103411073 edges, 266957 markings/sec, 165 secs
lola: 51356661 markings, 106196565 edges, 263042 markings/sec, 170 secs
lola: 52673280 markings, 108977350 edges, 263324 markings/sec, 175 secs
lola: 53990376 markings, 111756798 edges, 263419 markings/sec, 180 secs
lola: 55305718 markings, 114530300 edges, 263068 markings/sec, 185 secs
lola: 56582739 markings, 117220535 edges, 255404 markings/sec, 190 secs
lola: 57862693 markings, 119910804 edges, 255991 markings/sec, 195 secs
lola: 59165201 markings, 122653669 edges, 260502 markings/sec, 200 secs
lola: 60477303 markings, 125407952 edges, 262420 markings/sec, 205 secs
lola: 61790656 markings, 128164254 edges, 262671 markings/sec, 210 secs
lola: 63106577 markings, 130927273 edges, 263184 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(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: 1990547 markings, 2932742 edges, 398109 markings/sec, 0 secs
lola: 3748221 markings, 5542513 edges, 351535 markings/sec, 5 secs
lola: 5662850 markings, 8388258 edges, 382926 markings/sec, 10 secs
lola: 7488173 markings, 11105821 edges, 365065 markings/sec, 15 secs
lola: 9327353 markings, 13843723 edges, 367836 markings/sec, 20 secs
lola: 11072523 markings, 16442061 edges, 349034 markings/sec, 25 secs
lola: 12643608 markings, 18792021 edges, 314217 markings/sec, 30 secs
lola: 14296671 markings, 21266426 edges, 330613 markings/sec, 35 secs
lola: 15971247 markings, 23774504 edges, 334915 markings/sec, 40 secs
lola: 17646836 markings, 26280620 edges, 335118 markings/sec, 45 secs
lola: 19456901 markings, 28991359 edges, 362013 markings/sec, 50 secs
lola: 21286739 markings, 31727356 edges, 365968 markings/sec, 55 secs
lola: 23127429 markings, 34474896 edges, 368138 markings/sec, 60 secs
lola: 24941214 markings, 37185315 edges, 362757 markings/sec, 65 secs
lola: 26768973 markings, 39916844 edges, 365552 markings/sec, 70 secs
lola: 28584936 markings, 42626724 edges, 363193 markings/sec, 75 secs
lola: 30363164 markings, 45290017 edges, 355646 markings/sec, 80 secs
lola: 32153549 markings, 47974605 edges, 358077 markings/sec, 85 secs
lola: 33919078 markings, 50630396 edges, 353106 markings/sec, 90 secs
lola: 35618554 markings, 53190493 edges, 339895 markings/sec, 95 secs
lola: 37291573 markings, 55791482 edges, 334604 markings/sec, 100 secs
lola: 37747321 markings, 57825249 edges, 91150 markings/sec, 105 secs
lola: 38210919 markings, 59820419 edges, 92720 markings/sec, 110 secs
lola: 38701710 markings, 61986655 edges, 98158 markings/sec, 115 secs
lola: 39159771 markings, 64010971 edges, 91612 markings/sec, 120 secs
lola: 39658780 markings, 66132244 edges, 99802 markings/sec, 125 secs
lola: 40988309 markings, 68979858 edges, 265906 markings/sec, 130 secs
lola: 42487292 markings, 71879322 edges, 299797 markings/sec, 135 secs
lola: 43983142 markings, 74757739 edges, 299170 markings/sec, 140 secs
lola: 45487282 markings, 77656927 edges, 300828 markings/sec, 145 secs
lola: 46981117 markings, 80533836 edges, 298767 markings/sec, 150 secs
lola: 48474384 markings, 83409504 edges, 298653 markings/sec, 155 secs
lola: 49977646 markings, 86318968 edges, 300652 markings/sec, 160 secs
lola: 51545366 markings, 89334231 edges, 313544 markings/sec, 165 secs
lola: 53118053 markings, 92372994 edges, 314537 markings/sec, 170 secs
lola: 54682100 markings, 95394610 edges, 312809 markings/sec, 175 secs
lola: 56246046 markings, 98412569 edges, 312789 markings/sec, 180 secs
lola: 57798817 markings, 101412203 edges, 310554 markings/sec, 185 secs
lola: 59328537 markings, 104361435 edges, 305944 markings/sec, 190 secs
lola: 60861754 markings, 107317274 edges, 306643 markings/sec, 195 secs
lola: 62405394 markings, 110294945 edges, 308728 markings/sec, 200 secs
lola: 63946003 markings, 113231862 edges, 308122 markings/sec, 205 secs
lola: 65483855 markings, 116176514 edges, 307570 markings/sec, 210 secs
lola: 67053817 markings, 119164272 edges, 313992 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(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: 1683350 markings, 3258570 edges, 336670 markings/sec, 0 secs
lola: 3259509 markings, 6381987 edges, 315232 markings/sec, 5 secs
lola: 4804378 markings, 9485490 edges, 308974 markings/sec, 10 secs
lola: 6315154 markings, 12541191 edges, 302155 markings/sec, 15 secs
lola: 7809570 markings, 15579859 edges, 298883 markings/sec, 20 secs
lola: 9322249 markings, 18749143 edges, 302536 markings/sec, 25 secs
lola: 10812099 markings, 21870844 edges, 297970 markings/sec, 30 secs
lola: 12306688 markings, 24989326 edges, 298918 markings/sec, 35 secs
lola: 13806867 markings, 28114430 edges, 300036 markings/sec, 40 secs
lola: 15303439 markings, 31228095 edges, 299314 markings/sec, 45 secs
lola: 16818283 markings, 34385922 edges, 302969 markings/sec, 50 secs
lola: 18324680 markings, 37514284 edges, 301279 markings/sec, 55 secs
lola: 19825997 markings, 40631191 edges, 300263 markings/sec, 60 secs
lola: 21340133 markings, 43782358 edges, 302827 markings/sec, 65 secs
lola: 22856148 markings, 46935892 edges, 303203 markings/sec, 70 secs
lola: 24390706 markings, 50145855 edges, 306912 markings/sec, 75 secs
lola: 25895976 markings, 53264489 edges, 301054 markings/sec, 80 secs
lola: 27406973 markings, 56403551 edges, 302199 markings/sec, 85 secs
lola: 28931838 markings, 59596805 edges, 304973 markings/sec, 90 secs
lola: 30442224 markings, 62744370 edges, 302077 markings/sec, 95 secs
lola: 31938304 markings, 65848330 edges, 299216 markings/sec, 100 secs
lola: 33439888 markings, 68979133 edges, 300317 markings/sec, 105 secs
lola: 34931365 markings, 72077941 edges, 298295 markings/sec, 110 secs
lola: 36425273 markings, 75194644 edges, 298782 markings/sec, 115 secs
lola: 37899870 markings, 78255593 edges, 294919 markings/sec, 120 secs
lola: 39372354 markings, 81312855 edges, 294497 markings/sec, 125 secs
lola: 40864530 markings, 84404009 edges, 298435 markings/sec, 130 secs
lola: 42360855 markings, 87499057 edges, 299265 markings/sec, 135 secs
lola: 43839944 markings, 90552407 edges, 295818 markings/sec, 140 secs
lola: 45332068 markings, 93621580 edges, 298425 markings/sec, 145 secs
lola: 46826455 markings, 96686004 edges, 298877 markings/sec, 150 secs
lola: 48307048 markings, 99731848 edges, 296119 markings/sec, 155 secs
lola: 49667043 markings, 102616789 edges, 271999 markings/sec, 160 secs
lola: 51003728 markings, 105449264 edges, 267337 markings/sec, 165 secs
lola: 52320147 markings, 108233501 edges, 263284 markings/sec, 170 secs
lola: 53599505 markings, 110932986 edges, 255872 markings/sec, 175 secs
lola: 54897012 markings, 113668206 edges, 259501 markings/sec, 180 secs
lola: 56211819 markings, 116438918 edges, 262961 markings/sec, 185 secs
lola: 57532561 markings, 119216484 edges, 264148 markings/sec, 190 secs
lola: 58855009 markings, 122000809 edges, 264490 markings/sec, 195 secs
lola: 60163045 markings, 124744233 edges, 261607 markings/sec, 200 secs
lola: 61446274 markings, 127439409 edges, 256646 markings/sec, 205 secs
lola: 62731894 markings, 130139397 edges, 257124 markings/sec, 210 secs
lola: 64006889 markings, 132811600 edges, 254999 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(SF)
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: 1981530 markings, 2942426 edges, 396306 markings/sec, 0 secs
lola: 3844239 markings, 5724827 edges, 372542 markings/sec, 5 secs
lola: 5683489 markings, 8472823 edges, 367850 markings/sec, 10 secs
lola: 7479896 markings, 11158274 edges, 359281 markings/sec, 15 secs
lola: 9306127 markings, 13890259 edges, 365246 markings/sec, 20 secs
lola: 11079074 markings, 16541619 edges, 354589 markings/sec, 25 secs
lola: 12824500 markings, 19153008 edges, 349085 markings/sec, 30 secs
lola: 14623835 markings, 21844138 edges, 359867 markings/sec, 35 secs
lola: 16470905 markings, 24606949 edges, 369414 markings/sec, 40 secs
lola: 18337562 markings, 27398045 edges, 373331 markings/sec, 45 secs
lola: 20141361 markings, 30101322 edges, 360760 markings/sec, 50 secs
lola: 21968657 markings, 32835438 edges, 365459 markings/sec, 55 secs
lola: 23824955 markings, 35615230 edges, 371260 markings/sec, 60 secs
lola: 25690372 markings, 38409242 edges, 373083 markings/sec, 65 secs
lola: 27568218 markings, 41222375 edges, 375569 markings/sec, 70 secs
lola: 29440565 markings, 44027981 edges, 374469 markings/sec, 75 secs
lola: 31314142 markings, 46838156 edges, 374715 markings/sec, 80 secs
lola: 33187171 markings, 49650097 edges, 374606 markings/sec, 85 secs
lola: 35046625 markings, 52446539 edges, 371891 markings/sec, 90 secs
lola: 36877286 markings, 55208667 edges, 366132 markings/sec, 95 secs
lola: 38675918 markings, 57931799 edges, 359726 markings/sec, 100 secs
lola: 39374279 markings, 60282164 edges, 139672 markings/sec, 105 secs
lola: 39892098 markings, 62618162 edges, 103564 markings/sec, 110 secs
lola: 40380001 markings, 64840705 edges, 97581 markings/sec, 115 secs
lola: 40852134 markings, 66988326 edges, 94427 markings/sec, 120 secs
lola: 41445849 markings, 69404298 edges, 118743 markings/sec, 125 secs
lola: 43265909 markings, 72526858 edges, 364012 markings/sec, 130 secs
lola: 45015927 markings, 75524397 edges, 350004 markings/sec, 135 secs
lola: 46726797 markings, 78456948 edges, 342174 markings/sec, 140 secs
lola: 48381699 markings, 81285040 edges, 330980 markings/sec, 145 secs
lola: 50049427 markings, 84145691 edges, 333546 markings/sec, 150 secs
lola: 51683052 markings, 86941349 edges, 326725 markings/sec, 155 secs
lola: 53331439 markings, 89765337 edges, 329677 markings/sec, 160 secs
lola: 55041549 markings, 92688130 edges, 342022 markings/sec, 165 secs
lola: 56768310 markings, 95646610 edges, 345352 markings/sec, 170 secs
lola: 58499591 markings, 98608286 edges, 346256 markings/sec, 175 secs
lola: 60204333 markings, 101528874 edges, 340948 markings/sec, 180 secs
lola: 61883477 markings, 104401803 edges, 335829 markings/sec, 185 secs
lola: 63596819 markings, 107332082 edges, 342668 markings/sec, 190 secs
lola: 65287733 markings, 110221032 edges, 338183 markings/sec, 195 secs
lola: 66883722 markings, 112958077 edges, 319198 markings/sec, 200 secs
lola: 68557871 markings, 115822148 edges, 334830 markings/sec, 205 secs
lola: 70167213 markings, 118567950 edges, 321868 markings/sec, 210 secs
lola: 71815809 markings, 121392811 edges, 329719 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(Ci)
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: 2620462 markings, 3100263 edges, 524092 markings/sec, 0 secs
lola: 5195210 markings, 6155390 edges, 514950 markings/sec, 5 secs
lola: 7715494 markings, 9142128 edges, 504057 markings/sec, 10 secs
lola: 10256555 markings, 12155756 edges, 508212 markings/sec, 15 secs
lola: 12727697 markings, 15084659 edges, 494228 markings/sec, 20 secs
lola: 15161029 markings, 17972349 edges, 486666 markings/sec, 25 secs
lola: 17596487 markings, 20857059 edges, 487092 markings/sec, 30 secs
lola: 20066334 markings, 23787155 edges, 493969 markings/sec, 35 secs
lola: 22509099 markings, 26684622 edges, 488553 markings/sec, 40 secs
lola: 24939863 markings, 29567464 edges, 486153 markings/sec, 45 secs
lola: 27382239 markings, 32463869 edges, 488475 markings/sec, 50 secs
lola: SUBRESULT
lola: result: 160
lola: produced by: state space
lola: The maximum value of the given expression is 160
lola: subprocess 9 will run for 244 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CwA)
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: ========================================
lola: 2731065 markings, 3176411 edges, 546213 markings/sec, 0 secs
lola: 5363864 markings, 6250030 edges, 526560 markings/sec, 5 secs
lola: 8023738 markings, 9358888 edges, 531975 markings/sec, 10 secs
lola: 10643294 markings, 12418644 edges, 523911 markings/sec, 15 secs
lola: 13221183 markings, 15428450 edges, 515578 markings/sec, 20 secs
lola: 15811121 markings, 18460207 edges, 517988 markings/sec, 25 secs
lola: 18361990 markings, 21446810 edges, 510174 markings/sec, 30 secs
lola: 20888674 markings, 24408260 edges, 505337 markings/sec, 35 secs
lola: 23416078 markings, 27368859 edges, 505481 markings/sec, 40 secs
lola: 25965164 markings, 30355453 edges, 509817 markings/sec, 45 secs
lola: 28469824 markings, 33311492 edges, 500932 markings/sec, 50 secs
lola: 31028085 markings, 36314072 edges, 511652 markings/sec, 55 secs
lola: 33535804 markings, 39255750 edges, 501544 markings/sec, 60 secs
lola: 35987583 markings, 42138806 edges, 490356 markings/sec, 65 secs
lola: 38425399 markings, 45001445 edges, 487563 markings/sec, 70 secs
lola: 40859426 markings, 47858743 edges, 486805 markings/sec, 75 secs
lola: 43289328 markings, 50708424 edges, 485980 markings/sec, 80 secs
lola: 45704884 markings, 53538536 edges, 483111 markings/sec, 85 secs
lola: 48105395 markings, 56349036 edges, 480102 markings/sec, 90 secs
lola: 50489829 markings, 59160964 edges, 476887 markings/sec, 95 secs
lola: 52889773 markings, 61969179 edges, 479989 markings/sec, 100 secs
lola: 55268356 markings, 64757585 edges, 475717 markings/sec, 105 secs
lola: 57662585 markings, 67573249 edges, 478846 markings/sec, 110 secs
lola: 59999453 markings, 70305462 edges, 467374 markings/sec, 115 secs
lola: 62367498 markings, 73094728 edges, 473609 markings/sec, 120 secs
lola: 64732356 markings, 75864850 edges, 472972 markings/sec, 125 secs
lola: 67091673 markings, 78636674 edges, 471863 markings/sec, 130 secs
lola: 69388366 markings, 81339575 edges, 459339 markings/sec, 135 secs
lola: 71705873 markings, 84046921 edges, 463501 markings/sec, 140 secs
lola: 73994765 markings, 86745776 edges, 457778 markings/sec, 145 secs
lola: 76237586 markings, 89367557 edges, 448564 markings/sec, 150 secs
lola: 78521115 markings, 92050425 edges, 456706 markings/sec, 155 secs
lola: 80773498 markings, 94706003 edges, 450477 markings/sec, 160 secs
lola: 82993792 markings, 97293570 edges, 444059 markings/sec, 165 secs
lola: 85234369 markings, 99931638 edges, 448115 markings/sec, 170 secs
lola: 87465557 markings, 102562007 edges, 446238 markings/sec, 175 secs
lola: 89733871 markings, 105213162 edges, 453663 markings/sec, 180 secs
lola: 92000723 markings, 107873740 edges, 453370 markings/sec, 185 secs
lola: 94210904 markings, 110479089 edges, 442036 markings/sec, 190 secs
lola: 96440236 markings, 113094912 edges, 445866 markings/sec, 195 secs
lola: 98700928 markings, 115736348 edges, 452138 markings/sec, 200 secs
lola: 100902728 markings, 118331676 edges, 440360 markings/sec, 205 secs
lola: 103095741 markings, 120916621 edges, 438603 markings/sec, 210 secs
lola: 105250526 markings, 123431912 edges, 430957 markings/sec, 215 secs
lola: 107386726 markings, 125937947 edges, 427240 markings/sec, 220 secs
lola: 109559287 markings, 128498569 edges, 434512 markings/sec, 225 secs
lola: 111754848 markings, 131086330 edges, 439112 markings/sec, 230 secs
lola: 113958067 markings, 133658223 edges, 440644 markings/sec, 235 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 244 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: 1990868 markings, 2971281 edges, 398174 markings/sec, 0 secs
lola: 3873563 markings, 5772009 edges, 376539 markings/sec, 5 secs
lola: 5735535 markings, 8540530 edges, 372394 markings/sec, 10 secs
lola: 7597705 markings, 11308630 edges, 372434 markings/sec, 15 secs
lola: 9470884 markings, 14092602 edges, 374636 markings/sec, 20 secs
lola: 11347322 markings, 16882634 edges, 375288 markings/sec, 25 secs
lola: 13222561 markings, 19670805 edges, 375048 markings/sec, 30 secs
lola: 15097115 markings, 22458057 edges, 374911 markings/sec, 35 secs
lola: 16966357 markings, 25237384 edges, 373848 markings/sec, 40 secs
lola: 18817500 markings, 27990788 edges, 370229 markings/sec, 45 secs
lola: 20638722 markings, 30702133 edges, 364244 markings/sec, 50 secs
lola: 22454089 markings, 33408378 edges, 363073 markings/sec, 55 secs
lola: 24249836 markings, 36087054 edges, 359149 markings/sec, 60 secs
lola: 25810112 markings, 38684357 edges, 312055 markings/sec, 65 secs
lola: 27280744 markings, 41195616 edges, 294126 markings/sec, 70 secs
lola: 28772620 markings, 43739623 edges, 298375 markings/sec, 75 secs
lola: 30300000 markings, 46332005 edges, 305476 markings/sec, 80 secs
lola: 31820630 markings, 48910040 edges, 304126 markings/sec, 85 secs
lola: 33353629 markings, 51504044 edges, 306600 markings/sec, 90 secs
lola: 34880460 markings, 54088245 edges, 305366 markings/sec, 95 secs
lola: 36405000 markings, 56663375 edges, 304908 markings/sec, 100 secs
lola: 37922905 markings, 59226378 edges, 303581 markings/sec, 105 secs
lola: 39451204 markings, 61804038 edges, 305660 markings/sec, 110 secs
lola: 40976516 markings, 64376773 edges, 305062 markings/sec, 115 secs
lola: 42520145 markings, 66976164 edges, 308726 markings/sec, 120 secs
lola: 44073505 markings, 69591232 edges, 310672 markings/sec, 125 secs
lola: 45665280 markings, 72266358 edges, 318355 markings/sec, 130 secs
lola: 46487355 markings, 74465964 edges, 164415 markings/sec, 135 secs
lola: 46978242 markings, 76370656 edges, 98177 markings/sec, 140 secs
lola: 47552964 markings, 78330737 edges, 114944 markings/sec, 145 secs
lola: 48148554 markings, 80333317 edges, 119118 markings/sec, 150 secs
lola: 48747497 markings, 82330415 edges, 119789 markings/sec, 155 secs
lola: 50111434 markings, 85039422 edges, 272787 markings/sec, 160 secs
lola: 51626883 markings, 87744438 edges, 303090 markings/sec, 165 secs
lola: 53135623 markings, 90415739 edges, 301748 markings/sec, 170 secs
lola: 54597316 markings, 92998153 edges, 292339 markings/sec, 175 secs
lola: 56082224 markings, 95629666 edges, 296982 markings/sec, 180 secs
lola: 57538124 markings, 98178684 edges, 291180 markings/sec, 185 secs
lola: 58982182 markings, 100724130 edges, 288812 markings/sec, 190 secs
lola: 60427359 markings, 103290382 edges, 289035 markings/sec, 195 secs
lola: 61863502 markings, 105814779 edges, 287229 markings/sec, 200 secs
lola: 63356159 markings, 108422997 edges, 298531 markings/sec, 205 secs
lola: 64868704 markings, 111051574 edges, 302509 markings/sec, 210 secs
lola: 66336987 markings, 113702042 edges, 293657 markings/sec, 215 secs
lola: 67793388 markings, 116214554 edges, 291280 markings/sec, 220 secs
lola: 69305754 markings, 118863226 edges, 302473 markings/sec, 225 secs
lola: 70719526 markings, 121362193 edges, 282754 markings/sec, 230 secs
lola: 72247107 markings, 124007688 edges, 305516 markings/sec, 235 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 244 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CwG)
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: 2693539 markings, 3138813 edges, 538708 markings/sec, 0 secs
lola: 5308971 markings, 6198642 edges, 523086 markings/sec, 5 secs
lola: 7928605 markings, 9263588 edges, 523927 markings/sec, 10 secs
lola: 10493944 markings, 12265100 edges, 513068 markings/sec, 15 secs
lola: 13045605 markings, 15250714 edges, 510332 markings/sec, 20 secs
lola: 15577574 markings, 18213759 edges, 506394 markings/sec, 25 secs
lola: 18078373 markings, 21140181 edges, 500160 markings/sec, 30 secs
lola: 20601513 markings, 24092768 edges, 504628 markings/sec, 35 secs
lola: SUBRESULT
lola: result: 160
lola: produced by: state space
lola: The maximum value of the given expression is 160
lola: ========================================
lola: subprocess 12 will run for 294 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: 2303536 markings, 2912581 edges, 460707 markings/sec, 0 secs
lola: 4493615 markings, 5662576 edges, 438016 markings/sec, 5 secs
lola: 6711403 markings, 8488056 edges, 443558 markings/sec, 10 secs
lola: 8870536 markings, 11346640 edges, 431827 markings/sec, 15 secs
lola: 11002441 markings, 14246238 edges, 426381 markings/sec, 20 secs
lola: 13130183 markings, 17148997 edges, 425548 markings/sec, 25 secs
lola: 15231939 markings, 20016580 edges, 420351 markings/sec, 30 secs
lola: 17324344 markings, 22870554 edges, 418481 markings/sec, 35 secs
lola: 19401970 markings, 25705022 edges, 415525 markings/sec, 40 secs
lola: 21450408 markings, 28504730 edges, 409688 markings/sec, 45 secs
lola: 23579416 markings, 31359874 edges, 425802 markings/sec, 50 secs
lola: 25671974 markings, 34156310 edges, 418512 markings/sec, 55 secs
lola: 27776059 markings, 36962885 edges, 420817 markings/sec, 60 secs
lola: 29870579 markings, 39752971 edges, 418904 markings/sec, 65 secs
lola: 31978278 markings, 42550921 edges, 421540 markings/sec, 70 secs
lola: 34059872 markings, 45319643 edges, 416319 markings/sec, 75 secs
lola: 36125901 markings, 48065153 edges, 413206 markings/sec, 80 secs
lola: 38191862 markings, 50812058 edges, 413192 markings/sec, 85 secs
lola: 40255138 markings, 53555057 edges, 412655 markings/sec, 90 secs
lola: 42321466 markings, 56294259 edges, 413266 markings/sec, 95 secs
lola: 44403585 markings, 59052144 edges, 416424 markings/sec, 100 secs
lola: 46595783 markings, 61936541 edges, 438440 markings/sec, 105 secs
lola: 48711822 markings, 64721906 edges, 423208 markings/sec, 110 secs
lola: 49802126 markings, 66916629 edges, 218061 markings/sec, 115 secs
lola: 50373261 markings, 68882800 edges, 114227 markings/sec, 120 secs
lola: 51258434 markings, 71026577 edges, 177035 markings/sec, 125 secs
lola: 53150439 markings, 73884234 edges, 378401 markings/sec, 130 secs
lola: 55058069 markings, 76753638 edges, 381526 markings/sec, 135 secs
lola: 56988915 markings, 79688497 edges, 386169 markings/sec, 140 secs
lola: 58878587 markings, 82451652 edges, 377934 markings/sec, 145 secs
lola: 60781967 markings, 85360222 edges, 380676 markings/sec, 150 secs
lola: 62772303 markings, 88209902 edges, 398067 markings/sec, 155 secs
lola: 64680577 markings, 91189219 edges, 381655 markings/sec, 160 secs
lola: 66602782 markings, 93966883 edges, 384441 markings/sec, 165 secs
lola: 68533222 markings, 96863955 edges, 386088 markings/sec, 170 secs
lola: 70490849 markings, 99803915 edges, 391525 markings/sec, 175 secs
lola: 72429355 markings, 102583012 edges, 387701 markings/sec, 180 secs
lola: 74326799 markings, 105429123 edges, 379489 markings/sec, 185 secs
lola: 76225911 markings, 108319017 edges, 379822 markings/sec, 190 secs
lola: 78147857 markings, 111064859 edges, 384389 markings/sec, 195 secs
lola: 80114349 markings, 113861884 edges, 393298 markings/sec, 200 secs
lola: 81888438 markings, 116659334 edges, 354818 markings/sec, 205 secs
lola: 83834587 markings, 119530839 edges, 389230 markings/sec, 210 secs
lola: 85729180 markings, 122241939 edges, 378919 markings/sec, 215 secs
lola: 87706337 markings, 125035124 edges, 395431 markings/sec, 220 secs
lola: 89472568 markings, 127824164 edges, 353246 markings/sec, 225 secs
lola: 91401152 markings, 130699724 edges, 385717 markings/sec, 230 secs
lola: 93314456 markings, 133428607 edges, 382661 markings/sec, 235 secs
lola: 95244852 markings, 136162996 edges, 386079 markings/sec, 240 secs
lola: 97144848 markings, 139013038 edges, 379999 markings/sec, 245 secs
lola: 98976810 markings, 141828952 edges, 366392 markings/sec, 250 secs
lola: 100931407 markings, 144668101 edges, 390919 markings/sec, 255 secs
lola: 102814404 markings, 147358243 edges, 376599 markings/sec, 260 secs
lola: 104754370 markings, 150093955 edges, 387993 markings/sec, 265 secs
lola: 106625679 markings, 152908771 edges, 374262 markings/sec, 270 secs
lola: 108429923 markings, 155684868 edges, 360849 markings/sec, 275 secs
lola: 110358049 markings, 158509831 edges, 385625 markings/sec, 280 secs
lola: 112268605 markings, 161224494 edges, 382111 markings/sec, 285 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 294 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CG)
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: 2562672 markings, 3036563 edges, 512534 markings/sec, 0 secs
lola: 5199653 markings, 6187632 edges, 527396 markings/sec, 5 secs
lola: 7760666 markings, 9285216 edges, 512203 markings/sec, 10 secs
lola: 10280079 markings, 12326001 edges, 503883 markings/sec, 15 secs
lola: 12804181 markings, 15366112 edges, 504820 markings/sec, 20 secs
lola: 15330162 markings, 18415085 edges, 505196 markings/sec, 25 secs
lola: 17814635 markings, 21406515 edges, 496895 markings/sec, 30 secs
lola: 20289754 markings, 24393914 edges, 495024 markings/sec, 35 secs
lola: 22745316 markings, 27350847 edges, 491112 markings/sec, 40 secs
lola: 25182189 markings, 30282886 edges, 487375 markings/sec, 45 secs
lola: 27609026 markings, 33216959 edges, 485367 markings/sec, 50 secs
lola: 29997825 markings, 36088845 edges, 477760 markings/sec, 55 secs
lola: 32408303 markings, 38998536 edges, 482096 markings/sec, 60 secs
lola: 34803969 markings, 41890887 edges, 479133 markings/sec, 65 secs
lola: 37188211 markings, 44757162 edges, 476848 markings/sec, 70 secs
lola: 39567718 markings, 47621015 edges, 475901 markings/sec, 75 secs
lola: 41954608 markings, 50548236 edges, 477378 markings/sec, 80 secs
lola: 44513731 markings, 53670924 edges, 511825 markings/sec, 85 secs
lola: 46970297 markings, 56675989 edges, 491313 markings/sec, 90 secs
lola: 49364555 markings, 59600660 edges, 478852 markings/sec, 95 secs
lola: 51744110 markings, 62503024 edges, 475911 markings/sec, 100 secs
lola: 54121307 markings, 65396113 edges, 475439 markings/sec, 105 secs
lola: 56494364 markings, 68277874 edges, 474611 markings/sec, 110 secs
lola: 58808423 markings, 71083617 edges, 462812 markings/sec, 115 secs
lola: 61132558 markings, 73937712 edges, 464827 markings/sec, 120 secs
lola: 63487305 markings, 76782216 edges, 470949 markings/sec, 125 secs
lola: 65751149 markings, 79565937 edges, 452769 markings/sec, 130 secs
lola: 68097417 markings, 82395420 edges, 469254 markings/sec, 135 secs
lola: 70331610 markings, 85139146 edges, 446839 markings/sec, 140 secs
lola: 72627883 markings, 87896029 edges, 459255 markings/sec, 145 secs
lola: 74886601 markings, 90674071 edges, 451744 markings/sec, 150 secs
lola: 77140956 markings, 93395315 edges, 450871 markings/sec, 155 secs
lola: 79445809 markings, 96207300 edges, 460971 markings/sec, 160 secs
lola: 81668831 markings, 98935758 edges, 444604 markings/sec, 165 secs
lola: 83928650 markings, 101639676 edges, 451964 markings/sec, 170 secs
lola: 86210689 markings, 104440046 edges, 456408 markings/sec, 175 secs
lola: 88430187 markings, 107163586 edges, 443900 markings/sec, 180 secs
lola: 90681370 markings, 109851809 edges, 450237 markings/sec, 185 secs
lola: 92970475 markings, 112658738 edges, 457821 markings/sec, 190 secs
lola: 95182501 markings, 115372433 edges, 442405 markings/sec, 195 secs
lola: 97420284 markings, 118063296 edges, 447557 markings/sec, 200 secs
lola: 99709311 markings, 120844248 edges, 457805 markings/sec, 205 secs
lola: 101914849 markings, 123549437 edges, 441108 markings/sec, 210 secs
lola: 104127406 markings, 126261544 edges, 442511 markings/sec, 215 secs
lola: 106360984 markings, 128918422 edges, 446716 markings/sec, 220 secs
lola: 108641831 markings, 131712648 edges, 456169 markings/sec, 225 secs
lola: 110843053 markings, 134412037 edges, 440244 markings/sec, 230 secs
lola: 113069573 markings, 137138332 edges, 445304 markings/sec, 235 secs
lola: 115311261 markings, 139802176 edges, 448338 markings/sec, 240 secs
lola: 117600638 markings, 142605567 edges, 457875 markings/sec, 245 secs
lola: 119794669 markings, 145295820 edges, 438806 markings/sec, 250 secs
lola: 121997320 markings, 147996556 edges, 440530 markings/sec, 255 secs
lola: 124216475 markings, 150653977 edges, 443831 markings/sec, 260 secs
lola: 126487463 markings, 153402942 edges, 454198 markings/sec, 265 secs
lola: 128672440 markings, 156081662 edges, 436995 markings/sec, 270 secs
lola: 130844131 markings, 158744055 edges, 434338 markings/sec, 275 secs
lola: 133023500 markings, 161411815 edges, 435874 markings/sec, 280 secs
lola: 135215628 markings, 164016931 edges, 438426 markings/sec, 285 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 294 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: 2638267 markings, 3110952 edges, 527653 markings/sec, 0 secs
lola: 5189064 markings, 6114658 edges, 510159 markings/sec, 5 secs
lola: 7721998 markings, 9107779 edges, 506587 markings/sec, 10 secs
lola: 10207530 markings, 12042602 edges, 497106 markings/sec, 15 secs
lola: 12735696 markings, 15023530 edges, 505633 markings/sec, 20 secs
lola: 15216593 markings, 17962909 edges, 496179 markings/sec, 25 secs
lola: 17656667 markings, 20850311 edges, 488015 markings/sec, 30 secs
lola: 20099704 markings, 23743086 edges, 488607 markings/sec, 35 secs
lola: 22519880 markings, 26610215 edges, 484035 markings/sec, 40 secs
lola: 24921439 markings, 29451393 edges, 480312 markings/sec, 45 secs
lola: 27307148 markings, 32275715 edges, 477142 markings/sec, 50 secs
lola: 29689656 markings, 35098970 edges, 476502 markings/sec, 55 secs
lola: 32079551 markings, 37926769 edges, 477979 markings/sec, 60 secs
lola: 34443889 markings, 40726376 edges, 472868 markings/sec, 65 secs
lola: 36871138 markings, 43640939 edges, 485450 markings/sec, 70 secs
lola: 39418668 markings, 46682920 edges, 509506 markings/sec, 75 secs
lola: 41880400 markings, 49628154 edges, 492346 markings/sec, 80 secs
lola: 44289586 markings, 52503003 edges, 481837 markings/sec, 85 secs
lola: 46670488 markings, 55341965 edges, 476180 markings/sec, 90 secs
lola: 49042787 markings, 58175598 edges, 474460 markings/sec, 95 secs
lola: 51409029 markings, 60991078 edges, 473248 markings/sec, 100 secs
lola: 53759014 markings, 63779920 edges, 469997 markings/sec, 105 secs
lola: 56033963 markings, 66507730 edges, 454990 markings/sec, 110 secs
lola: 58391967 markings, 69310823 edges, 471601 markings/sec, 115 secs
lola: 60676079 markings, 72024057 edges, 456822 markings/sec, 120 secs
lola: 63005201 markings, 74809739 edges, 465824 markings/sec, 125 secs
lola: 65278861 markings, 77507513 edges, 454732 markings/sec, 130 secs
lola: 67622768 markings, 80308910 edges, 468781 markings/sec, 135 secs
lola: 69882986 markings, 83004893 edges, 452044 markings/sec, 140 secs
lola: 72253278 markings, 85818944 edges, 474058 markings/sec, 145 secs
lola: 74519422 markings, 88536720 edges, 453229 markings/sec, 150 secs
lola: 76822793 markings, 91248255 edges, 460674 markings/sec, 155 secs
lola: 79138009 markings, 94027393 edges, 463043 markings/sec, 160 secs
lola: 81397612 markings, 96731921 edges, 451921 markings/sec, 165 secs
lola: 83754410 markings, 99511134 edges, 471360 markings/sec, 170 secs
lola: 86008004 markings, 102213072 edges, 450719 markings/sec, 175 secs
lola: 88259822 markings, 104906297 edges, 450364 markings/sec, 180 secs
lola: 90607078 markings, 107671229 edges, 469451 markings/sec, 185 secs
lola: 92863152 markings, 110376079 edges, 451215 markings/sec, 190 secs
lola: 95115431 markings, 113076456 edges, 450456 markings/sec, 195 secs
lola: 97377578 markings, 115730603 edges, 452429 markings/sec, 200 secs
lola: 99704533 markings, 118518092 edges, 465391 markings/sec, 205 secs
lola: 101945918 markings, 121204633 edges, 448277 markings/sec, 210 secs
lola: 104180980 markings, 123866570 edges, 447012 markings/sec, 215 secs
lola: 106525402 markings, 126630897 edges, 468884 markings/sec, 220 secs
lola: 108772879 markings, 129324804 edges, 449495 markings/sec, 225 secs
lola: 111014461 markings, 132011314 edges, 448316 markings/sec, 230 secs
lola: 113240708 markings, 134654434 edges, 445249 markings/sec, 235 secs
lola: 115589248 markings, 137428405 edges, 469708 markings/sec, 240 secs
lola: 117824302 markings, 140106874 edges, 447011 markings/sec, 245 secs
lola: 120058154 markings, 142783826 edges, 446770 markings/sec, 250 secs
lola: 122289555 markings, 145448466 edges, 446280 markings/sec, 255 secs
lola: 124554192 markings, 148100532 edges, 452927 markings/sec, 260 secs
lola: 126835043 markings, 150835986 edges, 456170 markings/sec, 265 secs
lola: 129039204 markings, 153477106 edges, 440832 markings/sec, 270 secs
lola: 131246128 markings, 156121619 edges, 441385 markings/sec, 275 secs
lola: 133439816 markings, 158714946 edges, 438738 markings/sec, 280 secs
lola: 135757525 markings, 161455498 edges, 463542 markings/sec, 285 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 294 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: 1723120 markings, 3336444 edges, 344624 markings/sec, 0 secs
lola: 3344742 markings, 6551551 edges, 324324 markings/sec, 5 secs
lola: 4940333 markings, 9758961 edges, 319118 markings/sec, 10 secs
lola: 6498323 markings, 12913917 edges, 311598 markings/sec, 15 secs
lola: 8037667 markings, 16046790 edges, 307869 markings/sec, 20 secs
lola: 9610760 markings, 19356083 edges, 314619 markings/sec, 25 secs
lola: 11165406 markings, 22606831 edges, 310929 markings/sec, 30 secs
lola: 12713786 markings, 25840749 edges, 309676 markings/sec, 35 secs
lola: 14255470 markings, 29050899 edges, 308337 markings/sec, 40 secs
lola: 15796246 markings, 32258054 edges, 308155 markings/sec, 45 secs
lola: 17328364 markings, 35444805 edges, 306424 markings/sec, 50 secs
lola: 18847298 markings, 38594499 edges, 303787 markings/sec, 55 secs
lola: 20382086 markings, 41798871 edges, 306958 markings/sec, 60 secs
lola: 21908529 markings, 44963487 edges, 305289 markings/sec, 65 secs
lola: 23446013 markings, 48168501 edges, 307497 markings/sec, 70 secs
lola: 24981556 markings, 51369535 edges, 307109 markings/sec, 75 secs
lola: 26515457 markings, 54561092 edges, 306780 markings/sec, 80 secs
lola: 28054719 markings, 57772236 edges, 307852 markings/sec, 85 secs
lola: 29578670 markings, 60942908 edges, 304790 markings/sec, 90 secs
lola: 31098078 markings, 64105271 edges, 303882 markings/sec, 95 secs
lola: 32617084 markings, 67266168 edges, 303801 markings/sec, 100 secs
lola: 34133747 markings, 70423421 edges, 303333 markings/sec, 105 secs
lola: 35650088 markings, 73580902 edges, 303268 markings/sec, 110 secs
lola: 37166465 markings, 76724934 edges, 303275 markings/sec, 115 secs
lola: 38704580 markings, 79927850 edges, 307623 markings/sec, 120 secs
lola: 40223702 markings, 83069620 edges, 303824 markings/sec, 125 secs
lola: 41747878 markings, 86231474 edges, 304835 markings/sec, 130 secs
lola: 43279372 markings, 89396426 edges, 306299 markings/sec, 135 secs
lola: 44804233 markings, 92535009 edges, 304972 markings/sec, 140 secs
lola: 46334495 markings, 95677309 edges, 306052 markings/sec, 145 secs
lola: 47866695 markings, 98806471 edges, 306440 markings/sec, 150 secs
lola: 49310575 markings, 101860550 edges, 288776 markings/sec, 155 secs
lola: 50692297 markings, 104789144 edges, 276344 markings/sec, 160 secs
lola: 52054875 markings, 107672689 edges, 272516 markings/sec, 165 secs
lola: 53423433 markings, 110561855 edges, 273712 markings/sec, 170 secs
lola: 54788004 markings, 113437669 edges, 272914 markings/sec, 175 secs
lola: 56151604 markings, 116312342 edges, 272720 markings/sec, 180 secs
lola: 57515078 markings, 119180093 edges, 272695 markings/sec, 185 secs
lola: 58878645 markings, 122050697 edges, 272713 markings/sec, 190 secs
lola: 60242577 markings, 124911157 edges, 272786 markings/sec, 195 secs
lola: 61602961 markings, 127769273 edges, 272077 markings/sec, 200 secs
lola: 62966964 markings, 130632635 edges, 272801 markings/sec, 205 secs
lola: 64335730 markings, 133497052 edges, 273753 markings/sec, 210 secs
lola: 65705673 markings, 136378855 edges, 273989 markings/sec, 215 secs
lola: 67076769 markings, 139246246 edges, 274219 markings/sec, 220 secs
lola: 68446233 markings, 142107458 edges, 273893 markings/sec, 225 secs
lola: 69829609 markings, 145012126 edges, 276675 markings/sec, 230 secs
lola: 71199307 markings, 147875227 edges, 273940 markings/sec, 235 secs
lola: 72571508 markings, 150752197 edges, 274440 markings/sec, 240 secs
lola: 73945837 markings, 153629488 edges, 274866 markings/sec, 245 secs
lola: 75323301 markings, 156509862 edges, 275493 markings/sec, 250 secs
lola: 76703946 markings, 159398017 edges, 276129 markings/sec, 255 secs
lola: 78080089 markings, 162275038 edges, 275229 markings/sec, 260 secs
lola: 79463863 markings, 165174454 edges, 276755 markings/sec, 265 secs
lola: 80846744 markings, 168062552 edges, 276576 markings/sec, 270 secs
lola: 82221079 markings, 170928443 edges, 274867 markings/sec, 275 secs
lola: 83591322 markings, 173774692 edges, 274049 markings/sec, 280 secs
lola: 84958545 markings, 176599811 edges, 273445 markings/sec, 285 secs
lola: local time limit reached - aborting
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown 160 unknown unknown 160 unknown unknown unknown
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-8 160 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-11 160 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA ClientsAndServers-PT-N0020P3-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496607098564

--------------------
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-N0020P3"
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-N0020P3.tgz
mv ClientsAndServers-PT-N0020P3 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-N0020P3, 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-149580920100245"
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 ;