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 '
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 ;