About the Execution of LoLA for SmallOperatingSystem-PT-MT4096DC2048
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8936.910 | 3540220.00 | 3556430.00 | 655.00 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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 SmallOperatingSystem-PT-MT4096DC2048, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r078-ebro-149441008200038
=====================================================================
--------------------
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 SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-0
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-1
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-10
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-11
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-12
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-13
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-14
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-15
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-2
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-3
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-4
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-5
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-6
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-7
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-8
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494927954230
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ SmallOperatingSystem-PT-MT4096DC2048 @ 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: 17/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 9 places, 8 transitions, 5 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 10 transition conflict sets
lola: TASK
lola: reading formula from SmallOperatingSystem-PT-MT4096DC2048-UpperBounds.task
lola: MAX(DiskControllerUnit) : MAX(DiskControllerUnit) : MAX(TaskOnDisk) : MAX(DiskControllerUnit) : MAX(TaskReady) : MAX(TaskReady) : MAX(TransferToDisk) : MAX(TaskOnDisk) : MAX(TransferToDisk) : MAX(TaskReady) : MAX(CPUUnit) : MAX(CPUUnit) : MAX(TaskOnDisk) : MAX(CPUUnit) : MAX(TaskOnDisk) : MAX(TaskOnDisk)
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(DiskControllerUnit)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 1661102 markings, 3938261 edges, 332220 markings/sec, 0 secs
lola: 3176265 markings, 7638930 edges, 303033 markings/sec, 5 secs
lola: 4657070 markings, 11272302 edges, 296161 markings/sec, 10 secs
lola: 6133309 markings, 14897244 edges, 295248 markings/sec, 15 secs
lola: 7592957 markings, 18494766 edges, 291930 markings/sec, 20 secs
lola: 9075229 markings, 22140907 edges, 296454 markings/sec, 25 secs
lola: 10536872 markings, 25727116 edges, 292329 markings/sec, 30 secs
lola: 11964562 markings, 29254898 edges, 285538 markings/sec, 35 secs
lola: 13391950 markings, 32780416 edges, 285478 markings/sec, 40 secs
lola: 14834054 markings, 36322387 edges, 288421 markings/sec, 45 secs
lola: 16260280 markings, 39857296 edges, 285245 markings/sec, 50 secs
lola: 17662407 markings, 43333384 edges, 280425 markings/sec, 55 secs
lola: 19083127 markings, 46843200 edges, 284144 markings/sec, 60 secs
lola: 20490774 markings, 50321011 edges, 281529 markings/sec, 65 secs
lola: 21891915 markings, 53780624 edges, 280228 markings/sec, 70 secs
lola: 23308222 markings, 57274967 edges, 283261 markings/sec, 75 secs
lola: 24717702 markings, 60757121 edges, 281896 markings/sec, 80 secs
lola: 26155580 markings, 64286464 edges, 287576 markings/sec, 85 secs
lola: 27557724 markings, 67748391 edges, 280429 markings/sec, 90 secs
lola: 28991154 markings, 71270063 edges, 286686 markings/sec, 95 secs
lola: 30382207 markings, 74704037 edges, 278211 markings/sec, 100 secs
lola: 31768746 markings, 78136674 edges, 277308 markings/sec, 105 secs
lola: 33160065 markings, 81571383 edges, 278264 markings/sec, 110 secs
lola: 34531252 markings, 84959122 edges, 274237 markings/sec, 115 secs
lola: 35911705 markings, 88378366 edges, 276091 markings/sec, 120 secs
lola: 37297804 markings, 91813512 edges, 277220 markings/sec, 125 secs
lola: 38679944 markings, 95234287 edges, 276428 markings/sec, 130 secs
lola: 40029012 markings, 98572282 edges, 269814 markings/sec, 135 secs
lola: 41383110 markings, 101936437 edges, 270820 markings/sec, 140 secs
lola: 42761842 markings, 105342558 edges, 275746 markings/sec, 145 secs
lola: 44130794 markings, 108745689 edges, 273790 markings/sec, 150 secs
lola: 45464250 markings, 112067833 edges, 266691 markings/sec, 155 secs
lola: 46822595 markings, 115450652 edges, 271669 markings/sec, 160 secs
lola: 48210726 markings, 118893082 edges, 277626 markings/sec, 165 secs
lola: 49562522 markings, 122260566 edges, 270359 markings/sec, 170 secs
lola: 50919958 markings, 125640940 edges, 271487 markings/sec, 175 secs
lola: 52282697 markings, 129019396 edges, 272548 markings/sec, 180 secs
lola: 53646674 markings, 132413284 edges, 272795 markings/sec, 185 secs
lola: 55011133 markings, 135803321 edges, 272892 markings/sec, 190 secs
lola: 56370027 markings, 139185331 edges, 271779 markings/sec, 195 secs
lola: 57728093 markings, 142544909 edges, 271613 markings/sec, 200 secs
lola: 59097134 markings, 145937818 edges, 273808 markings/sec, 205 secs
lola: 60465028 markings, 149342338 edges, 273579 markings/sec, 210 secs
lola: 61818400 markings, 152679940 edges, 270674 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(DiskControllerUnit)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 1604152 markings, 3798720 edges, 320830 markings/sec, 0 secs
lola: 3003695 markings, 7214121 edges, 279909 markings/sec, 5 secs
lola: 4338272 markings, 10491579 edges, 266915 markings/sec, 10 secs
lola: 5644216 markings, 13701920 edges, 261189 markings/sec, 15 secs
lola: 6939126 markings, 16883585 edges, 258982 markings/sec, 20 secs
lola: 8229951 markings, 20049788 edges, 258165 markings/sec, 25 secs
lola: 9590685 markings, 23392926 edges, 272147 markings/sec, 30 secs
lola: 10907731 markings, 26643772 edges, 263409 markings/sec, 35 secs
lola: 12224097 markings, 29887367 edges, 263273 markings/sec, 40 secs
lola: 13540666 markings, 33145996 edges, 263314 markings/sec, 45 secs
lola: 14852106 markings, 36367078 edges, 262288 markings/sec, 50 secs
lola: 16165648 markings, 39628731 edges, 262708 markings/sec, 55 secs
lola: 17575930 markings, 43118890 edges, 282056 markings/sec, 60 secs
lola: 18994195 markings, 46624211 edges, 283653 markings/sec, 65 secs
lola: 20410615 markings, 50123457 edges, 283284 markings/sec, 70 secs
lola: 21824109 markings, 53612249 edges, 282699 markings/sec, 75 secs
lola: 23252835 markings, 57139174 edges, 285745 markings/sec, 80 secs
lola: 24675567 markings, 60653268 edges, 284546 markings/sec, 85 secs
lola: 26127202 markings, 64217300 edges, 290327 markings/sec, 90 secs
lola: 27545277 markings, 67718898 edges, 283615 markings/sec, 95 secs
lola: 28996301 markings, 71281616 edges, 290205 markings/sec, 100 secs
lola: 30402707 markings, 74754565 edges, 281281 markings/sec, 105 secs
lola: 31804205 markings, 78223980 edges, 280300 markings/sec, 110 secs
lola: 33209223 markings, 81689461 edges, 281004 markings/sec, 115 secs
lola: 34577232 markings, 85073518 edges, 273602 markings/sec, 120 secs
lola: 35958254 markings, 88494770 edges, 276204 markings/sec, 125 secs
lola: 37217112 markings, 91612031 edges, 251772 markings/sec, 130 secs
lola: 38416605 markings, 94578687 edges, 239899 markings/sec, 135 secs
lola: 39553904 markings, 97403635 edges, 227460 markings/sec, 140 secs
lola: 40705049 markings, 100249913 edges, 230229 markings/sec, 145 secs
lola: 41879806 markings, 103159710 edges, 234951 markings/sec, 150 secs
lola: 43030029 markings, 106006002 edges, 230045 markings/sec, 155 secs
lola: 44210795 markings, 108944445 edges, 236153 markings/sec, 160 secs
lola: 45470718 markings, 112083605 edges, 251985 markings/sec, 165 secs
lola: 46742180 markings, 115251735 edges, 254292 markings/sec, 170 secs
lola: 48081640 markings, 118579603 edges, 267892 markings/sec, 175 secs
lola: 49350274 markings, 121729212 edges, 253727 markings/sec, 180 secs
lola: 50710329 markings, 125118624 edges, 272011 markings/sec, 185 secs
lola: 52082820 markings, 128522939 edges, 274498 markings/sec, 190 secs
lola: 53462040 markings, 131956000 edges, 275844 markings/sec, 195 secs
lola: 54824835 markings, 135341324 edges, 272559 markings/sec, 200 secs
lola: 56195001 markings, 138750202 edges, 274033 markings/sec, 205 secs
lola: 57559530 markings, 142127709 edges, 272906 markings/sec, 210 secs
lola: 58943556 markings, 145554164 edges, 276805 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(TaskOnDisk)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 1784886 markings, 4243699 edges, 356977 markings/sec, 0 secs
lola: 3352287 markings, 8071718 edges, 313480 markings/sec, 5 secs
lola: 4889949 markings, 11847707 edges, 307532 markings/sec, 10 secs
lola: 6396852 markings, 15547501 edges, 301381 markings/sec, 15 secs
lola: 7889706 markings, 19224761 edges, 298571 markings/sec, 20 secs
lola: 9397033 markings, 22912428 edges, 301465 markings/sec, 25 secs
lola: 10856018 markings, 26514668 edges, 291797 markings/sec, 30 secs
lola: 12316790 markings, 30115277 edges, 292154 markings/sec, 35 secs
lola: 13771971 markings, 33718170 edges, 291036 markings/sec, 40 secs
lola: 15230897 markings, 37306041 edges, 291785 markings/sec, 45 secs
lola: 16685712 markings, 40911471 edges, 290963 markings/sec, 50 secs
lola: 18115919 markings, 44454992 edges, 286041 markings/sec, 55 secs
lola: 19557570 markings, 48017272 edges, 288330 markings/sec, 60 secs
lola: 20996982 markings, 51575282 edges, 287882 markings/sec, 65 secs
lola: 22445397 markings, 55149959 edges, 289683 markings/sec, 70 secs
lola: 23895664 markings, 58720483 edges, 290053 markings/sec, 75 secs
lola: 25329889 markings, 62266080 edges, 286845 markings/sec, 80 secs
lola: 26786099 markings, 65846223 edges, 291242 markings/sec, 85 secs
lola: 28244881 markings, 69431829 edges, 291756 markings/sec, 90 secs
lola: 29680422 markings, 72968338 edges, 287108 markings/sec, 95 secs
lola: 31077665 markings, 76425173 edges, 279449 markings/sec, 100 secs
lola: 32501778 markings, 79947251 edges, 284823 markings/sec, 105 secs
lola: 33895791 markings, 83394969 edges, 278803 markings/sec, 110 secs
lola: 35291265 markings, 86843385 edges, 279095 markings/sec, 115 secs
lola: 36684074 markings, 90293544 edges, 278562 markings/sec, 120 secs
lola: 38089740 markings, 93772067 edges, 281133 markings/sec, 125 secs
lola: 39468217 markings, 97191685 edges, 275695 markings/sec, 130 secs
lola: 40846695 markings, 100603170 edges, 275696 markings/sec, 135 secs
lola: 42237145 markings, 104047983 edges, 278090 markings/sec, 140 secs
lola: 43627368 markings, 107489134 edges, 278045 markings/sec, 145 secs
lola: 44996973 markings, 110906987 edges, 273921 markings/sec, 150 secs
lola: 46358665 markings, 114293573 edges, 272338 markings/sec, 155 secs
lola: 47733006 markings, 117712668 edges, 274868 markings/sec, 160 secs
lola: 49101687 markings, 121108254 edges, 273736 markings/sec, 165 secs
lola: 50473169 markings, 124529930 edges, 274296 markings/sec, 170 secs
lola: 51838862 markings, 127915346 edges, 273139 markings/sec, 175 secs
lola: 53227644 markings, 131371397 edges, 277756 markings/sec, 180 secs
lola: 54589936 markings, 134756161 edges, 272458 markings/sec, 185 secs
lola: 55965959 markings, 138180031 edges, 275205 markings/sec, 190 secs
lola: 57341927 markings, 141587198 edges, 275194 markings/sec, 195 secs
lola: 58712814 markings, 144980695 edges, 274177 markings/sec, 200 secs
lola: 60066773 markings, 148348576 edges, 270792 markings/sec, 205 secs
lola: 61440791 markings, 151742613 edges, 274804 markings/sec, 210 secs
lola: 62796987 markings, 155106039 edges, 271239 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(DiskControllerUnit)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 1744294 markings, 4144788 edges, 348859 markings/sec, 0 secs
lola: 3320378 markings, 7994040 edges, 315217 markings/sec, 5 secs
lola: 4850101 markings, 11748293 edges, 305945 markings/sec, 10 secs
lola: 6356192 markings, 15447436 edges, 301218 markings/sec, 15 secs
lola: 7847145 markings, 19120722 edges, 298191 markings/sec, 20 secs
lola: 9348228 markings, 22800092 edges, 300217 markings/sec, 25 secs
lola: 10814372 markings, 26411546 edges, 293229 markings/sec, 30 secs
lola: 12264317 markings, 29985694 edges, 289989 markings/sec, 35 secs
lola: 13700813 markings, 33541406 edges, 287299 markings/sec, 40 secs
lola: 15155896 markings, 37119888 edges, 291017 markings/sec, 45 secs
lola: 16592073 markings, 40679775 edges, 287235 markings/sec, 50 secs
lola: 18009295 markings, 44191093 edges, 283444 markings/sec, 55 secs
lola: 19432993 markings, 47706866 edges, 284740 markings/sec, 60 secs
lola: 20851780 markings, 51215777 edges, 283757 markings/sec, 65 secs
lola: 22247014 markings, 54661098 edges, 279047 markings/sec, 70 secs
lola: 23670437 markings, 58161170 edges, 284685 markings/sec, 75 secs
lola: 25078502 markings, 61649603 edges, 281613 markings/sec, 80 secs
lola: 26520960 markings, 65192183 edges, 288492 markings/sec, 85 secs
lola: 27947435 markings, 68704895 edges, 285295 markings/sec, 90 secs
lola: 29378297 markings, 72224746 edges, 286172 markings/sec, 95 secs
lola: 30745968 markings, 75601412 edges, 273534 markings/sec, 100 secs
lola: 32025567 markings, 78774862 edges, 255920 markings/sec, 105 secs
lola: 33305221 markings, 81930620 edges, 255931 markings/sec, 110 secs
lola: 34565125 markings, 85043661 edges, 251981 markings/sec, 115 secs
lola: 35917328 markings, 88392363 edges, 270441 markings/sec, 120 secs
lola: 37320599 markings, 91871017 edges, 280654 markings/sec, 125 secs
lola: 38718267 markings, 95328431 edges, 279534 markings/sec, 130 secs
lola: 40068840 markings, 98671872 edges, 270115 markings/sec, 135 secs
lola: 41421729 markings, 102032247 edges, 270578 markings/sec, 140 secs
lola: 42792510 markings, 105419695 edges, 274156 markings/sec, 145 secs
lola: 44155146 markings, 108806322 edges, 272527 markings/sec, 150 secs
lola: 45490283 markings, 112132803 edges, 267027 markings/sec, 155 secs
lola: 46859230 markings, 115542049 edges, 273789 markings/sec, 160 secs
lola: 48259437 markings, 119016468 edges, 280041 markings/sec, 165 secs
lola: 49625367 markings, 122414375 edges, 273186 markings/sec, 170 secs
lola: 50991085 markings, 125814643 edges, 273144 markings/sec, 175 secs
lola: 52366501 markings, 129228892 edges, 275083 markings/sec, 180 secs
lola: 53738839 markings, 132645154 edges, 274468 markings/sec, 185 secs
lola: 55110228 markings, 136049290 edges, 274278 markings/sec, 190 secs
lola: 56431486 markings, 139339099 edges, 264252 markings/sec, 195 secs
lola: 57677176 markings, 142419160 edges, 249138 markings/sec, 200 secs
lola: 59046006 markings, 145808845 edges, 273766 markings/sec, 205 secs
lola: 60409905 markings, 149203516 edges, 272780 markings/sec, 210 secs
lola: 61762641 markings, 152540587 edges, 270547 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(TaskReady)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 1718965 markings, 4081256 edges, 343793 markings/sec, 0 secs
lola: 3287209 markings, 7912326 edges, 313649 markings/sec, 5 secs
lola: 4801049 markings, 11627058 edges, 302768 markings/sec, 10 secs
lola: 6306137 markings, 15324106 edges, 301018 markings/sec, 15 secs
lola: 7781899 markings, 18958839 edges, 295152 markings/sec, 20 secs
lola: 9254002 markings, 22574991 edges, 294421 markings/sec, 25 secs
lola: 10703320 markings, 26139178 edges, 289864 markings/sec, 30 secs
lola: 12127746 markings, 29657147 edges, 284885 markings/sec, 35 secs
lola: 13554355 markings, 33180528 edges, 285322 markings/sec, 40 secs
lola: 14990779 markings, 36712878 edges, 287285 markings/sec, 45 secs
lola: 16404795 markings, 40214598 edges, 282803 markings/sec, 50 secs
lola: 17799562 markings, 43675044 edges, 278953 markings/sec, 55 secs
lola: 19211980 markings, 47162946 edges, 282484 markings/sec, 60 secs
lola: 20618060 markings, 50636334 edges, 281216 markings/sec, 65 secs
lola: 22014322 markings, 54085663 edges, 279252 markings/sec, 70 secs
lola: 23431248 markings, 57568940 edges, 283385 markings/sec, 75 secs
lola: 24832047 markings, 61039091 edges, 280160 markings/sec, 80 secs
lola: 26266723 markings, 64561373 edges, 286935 markings/sec, 85 secs
lola: 27672173 markings, 68028961 edges, 281090 markings/sec, 90 secs
lola: 29092221 markings, 71523216 edges, 284010 markings/sec, 95 secs
lola: 30474836 markings, 74931104 edges, 276523 markings/sec, 100 secs
lola: 31857207 markings, 78355558 edges, 276474 markings/sec, 105 secs
lola: 33248128 markings, 81787428 edges, 278184 markings/sec, 110 secs
lola: 34613987 markings, 85165141 edges, 273172 markings/sec, 115 secs
lola: 35993898 markings, 88584039 edges, 275982 markings/sec, 120 secs
lola: 37383244 markings, 92023305 edges, 277869 markings/sec, 125 secs
lola: 38758536 markings, 95429061 edges, 275058 markings/sec, 130 secs
lola: 40100633 markings, 98749908 edges, 268419 markings/sec, 135 secs
lola: 41449868 markings, 102103126 edges, 269847 markings/sec, 140 secs
lola: 42815779 markings, 105475933 edges, 273182 markings/sec, 145 secs
lola: 44170621 markings, 108845616 edges, 270968 markings/sec, 150 secs
lola: 45504973 markings, 112170915 edges, 266870 markings/sec, 155 secs
lola: 46850347 markings, 115519605 edges, 269075 markings/sec, 160 secs
lola: 48229156 markings, 118938779 edges, 275762 markings/sec, 165 secs
lola: 49568458 markings, 122275405 edges, 267860 markings/sec, 170 secs
lola: 50917649 markings, 125634120 edges, 269838 markings/sec, 175 secs
lola: 52270863 markings, 128989666 edges, 270643 markings/sec, 180 secs
lola: 53629599 markings, 132371191 edges, 271747 markings/sec, 185 secs
lola: 54984359 markings, 135735459 edges, 270952 markings/sec, 190 secs
lola: 56330586 markings, 139089913 edges, 269245 markings/sec, 195 secs
lola: 57677688 markings, 142420282 edges, 269420 markings/sec, 200 secs
lola: 59026803 markings, 145760899 edges, 269823 markings/sec, 205 secs
lola: 60379830 markings, 149130101 edges, 270605 markings/sec, 210 secs
lola: 61730971 markings, 152462092 edges, 270228 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(TaskReady)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 1780638 markings, 4233722 edges, 356128 markings/sec, 0 secs
lola: 3367464 markings, 8109313 edges, 317365 markings/sec, 5 secs
lola: 4905677 markings, 11886878 edges, 307643 markings/sec, 10 secs
lola: 6421117 markings, 15606582 edges, 303088 markings/sec, 15 secs
lola: 7916735 markings, 19284386 edges, 299124 markings/sec, 20 secs
lola: 9412687 markings, 22951144 edges, 299190 markings/sec, 25 secs
lola: 10857848 markings, 26520027 edges, 289032 markings/sec, 30 secs
lola: 12288170 markings, 30044731 edges, 286064 markings/sec, 35 secs
lola: 13706313 markings, 33554910 edges, 283629 markings/sec, 40 secs
lola: 15140300 markings, 37082287 edges, 286797 markings/sec, 45 secs
lola: 16551663 markings, 40578472 edges, 282273 markings/sec, 50 secs
lola: 17947895 markings, 44039322 edges, 279246 markings/sec, 55 secs
lola: 19360848 markings, 47528104 edges, 282591 markings/sec, 60 secs
lola: 20775613 markings, 51027162 edges, 282953 markings/sec, 65 secs
lola: 22187721 markings, 54514322 edges, 282422 markings/sec, 70 secs
lola: 23624056 markings, 58044385 edges, 287267 markings/sec, 75 secs
lola: 25044158 markings, 61564166 edges, 284020 markings/sec, 80 secs
lola: 26485495 markings, 65101781 edges, 288267 markings/sec, 85 secs
lola: 27912762 markings, 68619168 edges, 285453 markings/sec, 90 secs
lola: 29341744 markings, 72133132 edges, 285796 markings/sec, 95 secs
lola: 30726962 markings, 75554600 edges, 277044 markings/sec, 100 secs
lola: 32129969 markings, 79029157 edges, 280601 markings/sec, 105 secs
lola: 33516761 markings, 82453071 edges, 277358 markings/sec, 110 secs
lola: 34895756 markings, 85859171 edges, 275799 markings/sec, 115 secs
lola: 36287484 markings, 89313292 edges, 278346 markings/sec, 120 secs
lola: 37676534 markings, 92753241 edges, 277810 markings/sec, 125 secs
lola: 39038179 markings, 96124139 edges, 272329 markings/sec, 130 secs
lola: 40385840 markings, 99455984 edges, 269532 markings/sec, 135 secs
lola: 41736492 markings, 102811857 edges, 270130 markings/sec, 140 secs
lola: 43099743 markings, 106179631 edges, 272650 markings/sec, 145 secs
lola: 44456366 markings, 109556801 edges, 271325 markings/sec, 150 secs
lola: 45789753 markings, 112880274 edges, 266677 markings/sec, 155 secs
lola: 47142908 markings, 116250223 edges, 270631 markings/sec, 160 secs
lola: 48529353 markings, 119684493 edges, 277289 markings/sec, 165 secs
lola: 49890247 markings, 123077823 edges, 272179 markings/sec, 170 secs
lola: 51200326 markings, 126337516 edges, 262016 markings/sec, 175 secs
lola: 52362979 markings, 129220045 edges, 232531 markings/sec, 180 secs
lola: 53542883 markings, 132157551 edges, 235981 markings/sec, 185 secs
lola: 54794368 markings, 135265160 edges, 250297 markings/sec, 190 secs
lola: 56155657 markings, 138651840 edges, 272258 markings/sec, 195 secs
lola: 57519762 markings, 142028856 edges, 272821 markings/sec, 200 secs
lola: 58897698 markings, 145441422 edges, 275587 markings/sec, 205 secs
lola: 60267000 markings, 148846018 edges, 273860 markings/sec, 210 secs
lola: 61637253 markings, 152229355 edges, 274051 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(TransferToDisk)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 3508955 markings, 4680052 edges, 701791 markings/sec, 0 secs
lola: 6955660 markings, 9276142 edges, 689341 markings/sec, 5 secs
lola: 9705735 markings, 13273297 edges, 550015 markings/sec, 10 secs
lola: 11993047 markings, 16889334 edges, 457462 markings/sec, 15 secs
lola: 14294784 markings, 20524201 edges, 460347 markings/sec, 20 secs
lola: 16608204 markings, 24177508 edges, 462684 markings/sec, 25 secs
lola: 18899854 markings, 27786357 edges, 458330 markings/sec, 30 secs
lola: 21215970 markings, 31425039 edges, 463223 markings/sec, 35 secs
lola: 23508033 markings, 35026520 edges, 458413 markings/sec, 40 secs
lola: 25787346 markings, 38593321 edges, 455863 markings/sec, 45 secs
lola: 28069026 markings, 42160795 edges, 456336 markings/sec, 50 secs
lola: 30375789 markings, 45754726 edges, 461353 markings/sec, 55 secs
lola: 32643987 markings, 49323436 edges, 453640 markings/sec, 60 secs
lola: 34951788 markings, 52902574 edges, 461560 markings/sec, 65 secs
lola: 37233331 markings, 56426784 edges, 456309 markings/sec, 70 secs
lola: 39525105 markings, 59951694 edges, 458355 markings/sec, 75 secs
lola: 41860795 markings, 63524226 edges, 467138 markings/sec, 80 secs
lola: 44178547 markings, 67050451 edges, 463550 markings/sec, 85 secs
lola: 46496445 markings, 70547909 edges, 463580 markings/sec, 90 secs
lola: 48372730 markings, 73745870 edges, 375257 markings/sec, 95 secs
lola: 50238319 markings, 76947685 edges, 373118 markings/sec, 100 secs
lola: 52064493 markings, 80083817 edges, 365235 markings/sec, 105 secs
lola: 53903023 markings, 83237742 edges, 367706 markings/sec, 110 secs
lola: 55712009 markings, 86340898 edges, 361797 markings/sec, 115 secs
lola: 57503430 markings, 89416204 edges, 358284 markings/sec, 120 secs
lola: 59286269 markings, 92472726 edges, 356568 markings/sec, 125 secs
lola: 61073675 markings, 95544066 edges, 357481 markings/sec, 130 secs
lola: 62862585 markings, 98611869 edges, 357782 markings/sec, 135 secs
lola: 64658873 markings, 101696087 edges, 359258 markings/sec, 140 secs
lola: 66437143 markings, 104747364 edges, 355654 markings/sec, 145 secs
lola: 68227274 markings, 107817758 edges, 358026 markings/sec, 150 secs
lola: 70017709 markings, 110888757 edges, 358087 markings/sec, 155 secs
lola: 71795607 markings, 113939265 edges, 355580 markings/sec, 160 secs
lola: 73593437 markings, 117026951 edges, 359566 markings/sec, 165 secs
lola: 75390801 markings, 120112030 edges, 359473 markings/sec, 170 secs
lola: 77146099 markings, 123160050 edges, 351060 markings/sec, 175 secs
lola: 78881837 markings, 126146531 edges, 347148 markings/sec, 180 secs
lola: 80615228 markings, 129129987 edges, 346678 markings/sec, 185 secs
lola: 82330196 markings, 132078619 edges, 342994 markings/sec, 190 secs
lola: 84058476 markings, 135099836 edges, 345656 markings/sec, 195 secs
lola: 85794819 markings, 138078548 edges, 347269 markings/sec, 200 secs
lola: 87527212 markings, 141057106 edges, 346479 markings/sec, 205 secs
lola: 89238388 markings, 144003240 edges, 342235 markings/sec, 210 secs
lola: 90948971 markings, 146944726 edges, 342117 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(TaskOnDisk)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 1795200 markings, 4268916 edges, 359040 markings/sec, 0 secs
lola: 3401624 markings, 8193998 edges, 321285 markings/sec, 5 secs
lola: 4964284 markings, 12032857 edges, 312532 markings/sec, 10 secs
lola: 6505864 markings, 15816277 edges, 308316 markings/sec, 15 secs
lola: 8027843 markings, 19558703 edges, 304396 markings/sec, 20 secs
lola: 9550803 markings, 23293405 edges, 304592 markings/sec, 25 secs
lola: 11019221 markings, 26918801 edges, 293684 markings/sec, 30 secs
lola: 12486150 markings, 30533961 edges, 293386 markings/sec, 35 secs
lola: 13950757 markings, 34155224 edges, 292921 markings/sec, 40 secs
lola: 15422667 markings, 37783287 edges, 294382 markings/sec, 45 secs
lola: 16885996 markings, 41409842 edges, 292666 markings/sec, 50 secs
lola: 18341647 markings, 45016222 edges, 291130 markings/sec, 55 secs
lola: 19792121 markings, 48600196 edges, 290095 markings/sec, 60 secs
lola: 21242073 markings, 52180565 edges, 289990 markings/sec, 65 secs
lola: 22708513 markings, 55799867 edges, 293288 markings/sec, 70 secs
lola: 24176560 markings, 59416090 edges, 293609 markings/sec, 75 secs
lola: 25659787 markings, 63072429 edges, 296645 markings/sec, 80 secs
lola: 27126605 markings, 66688550 edges, 293364 markings/sec, 85 secs
lola: 28609139 markings, 70330267 edges, 296507 markings/sec, 90 secs
lola: 30059135 markings, 73906022 edges, 289999 markings/sec, 95 secs
lola: 31485825 markings, 77437715 edges, 285338 markings/sec, 100 secs
lola: 32944900 markings, 81033802 edges, 291815 markings/sec, 105 secs
lola: 34361399 markings, 84540008 edges, 283300 markings/sec, 110 secs
lola: 35789859 markings, 88075582 edges, 285692 markings/sec, 115 secs
lola: 37225022 markings, 91631908 edges, 287033 markings/sec, 120 secs
lola: 38661686 markings, 95188930 edges, 287333 markings/sec, 125 secs
lola: 40059079 markings, 98646804 edges, 279479 markings/sec, 130 secs
lola: 41459377 markings, 102127306 edges, 280060 markings/sec, 135 secs
lola: 42879324 markings, 105633516 edges, 283989 markings/sec, 140 secs
lola: 44290807 markings, 109143646 edges, 282297 markings/sec, 145 secs
lola: 45682984 markings, 112614353 edges, 278435 markings/sec, 150 secs
lola: 47085513 markings, 116105876 edges, 280506 markings/sec, 155 secs
lola: 48514750 markings, 119648051 edges, 285847 markings/sec, 160 secs
lola: 49914879 markings, 123139351 edges, 280026 markings/sec, 165 secs
lola: 51314671 markings, 126620109 edges, 279958 markings/sec, 170 secs
lola: 52734246 markings, 130141870 edges, 283915 markings/sec, 175 secs
lola: 54132906 markings, 133624945 edges, 279732 markings/sec, 180 secs
lola: 55548864 markings, 137139489 edges, 283192 markings/sec, 185 secs
lola: 56947084 markings, 140617025 edges, 279644 markings/sec, 190 secs
lola: 58348456 markings, 144078548 edges, 280274 markings/sec, 195 secs
lola: 59745473 markings, 147550611 edges, 279403 markings/sec, 200 secs
lola: 61147436 markings, 151024016 edges, 280393 markings/sec, 205 secs
lola: 62534385 markings, 154457026 edges, 277390 markings/sec, 210 secs
lola: 63914245 markings, 157873904 edges, 275972 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(TransferToDisk)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 3581830 markings, 4776950 edges, 716366 markings/sec, 0 secs
lola: 7018861 markings, 9360464 edges, 687406 markings/sec, 5 secs
lola: 9751384 markings, 13344352 edges, 546505 markings/sec, 10 secs
lola: 12030434 markings, 16949703 edges, 455810 markings/sec, 15 secs
lola: 14302420 markings, 20539478 edges, 454397 markings/sec, 20 secs
lola: 16598591 markings, 24158289 edges, 459234 markings/sec, 25 secs
lola: 18852877 markings, 27713710 edges, 450857 markings/sec, 30 secs
lola: 21134942 markings, 31299460 edges, 456413 markings/sec, 35 secs
lola: 23429225 markings, 34900900 edges, 458857 markings/sec, 40 secs
lola: 25698477 markings, 38456696 edges, 453850 markings/sec, 45 secs
lola: 27968072 markings, 42004506 edges, 453919 markings/sec, 50 secs
lola: 30245606 markings, 45551762 edges, 455507 markings/sec, 55 secs
lola: 32510400 markings, 49117591 edges, 452959 markings/sec, 60 secs
lola: 34838984 markings, 52727373 edges, 465717 markings/sec, 65 secs
lola: 37151725 markings, 56300832 edges, 462548 markings/sec, 70 secs
lola: 39456151 markings, 59843456 edges, 460885 markings/sec, 75 secs
lola: 41791879 markings, 63420632 edges, 467146 markings/sec, 80 secs
lola: 44111970 markings, 66949221 edges, 464018 markings/sec, 85 secs
lola: 46432158 markings, 70450118 edges, 464038 markings/sec, 90 secs
lola: 48334799 markings, 73683467 edges, 380528 markings/sec, 95 secs
lola: 50208864 markings, 76896747 edges, 374813 markings/sec, 100 secs
lola: 52059475 markings, 80072530 edges, 370122 markings/sec, 105 secs
lola: 53914798 markings, 83258915 edges, 371065 markings/sec, 110 secs
lola: 55754202 markings, 86413908 edges, 367881 markings/sec, 115 secs
lola: 57576417 markings, 89540608 edges, 364443 markings/sec, 120 secs
lola: 59405702 markings, 92679842 edges, 365857 markings/sec, 125 secs
lola: 61248850 markings, 95842513 edges, 368630 markings/sec, 130 secs
lola: 63101497 markings, 99020147 edges, 370529 markings/sec, 135 secs
lola: 64952027 markings, 102195695 edges, 370106 markings/sec, 140 secs
lola: 66780144 markings, 105335286 edges, 365623 markings/sec, 145 secs
lola: 68615082 markings, 108483473 edges, 366988 markings/sec, 150 secs
lola: 70429901 markings, 111597243 edges, 362964 markings/sec, 155 secs
lola: 72232821 markings, 114693220 edges, 360584 markings/sec, 160 secs
lola: 74051068 markings, 117811514 edges, 363649 markings/sec, 165 secs
lola: 75852328 markings, 120932502 edges, 360252 markings/sec, 170 secs
lola: 77633686 markings, 123995169 edges, 356272 markings/sec, 175 secs
lola: 79398940 markings, 127033581 edges, 353051 markings/sec, 180 secs
lola: 81161945 markings, 130067058 edges, 352601 markings/sec, 185 secs
lola: 82892643 markings, 133079014 edges, 346140 markings/sec, 190 secs
lola: 84661529 markings, 136126373 edges, 353777 markings/sec, 195 secs
lola: 86424178 markings, 139159804 edges, 352530 markings/sec, 200 secs
lola: 88183347 markings, 142188579 edges, 351834 markings/sec, 205 secs
lola: 89926804 markings, 145184518 edges, 348691 markings/sec, 210 secs
lola: 91668086 markings, 148183109 edges, 348256 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TaskReady)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 1769759 markings, 4206776 edges, 353952 markings/sec, 0 secs
lola: 3390955 markings, 8167090 edges, 324239 markings/sec, 5 secs
lola: 4968671 markings, 12043774 edges, 315543 markings/sec, 10 secs
lola: 6521517 markings, 15855779 edges, 310569 markings/sec, 15 secs
lola: 8055260 markings, 19626071 edges, 306749 markings/sec, 20 secs
lola: 9599334 markings, 23413389 edges, 308815 markings/sec, 25 secs
lola: 11093132 markings, 27100398 edges, 298760 markings/sec, 30 secs
lola: 12581187 markings, 30768618 edges, 297611 markings/sec, 35 secs
lola: 14070715 markings, 34453818 edges, 297906 markings/sec, 40 secs
lola: 15557440 markings, 38118288 edges, 297345 markings/sec, 45 secs
lola: 17034371 markings, 41777048 edges, 295386 markings/sec, 50 secs
lola: 18501490 markings, 45410675 edges, 293424 markings/sec, 55 secs
lola: 19971238 markings, 49036656 edges, 293950 markings/sec, 60 secs
lola: 21428606 markings, 52639862 edges, 291474 markings/sec, 65 secs
lola: 22897972 markings, 56269590 edges, 293873 markings/sec, 70 secs
lola: 24372549 markings, 59902179 edges, 294915 markings/sec, 75 secs
lola: 25855892 markings, 63558946 edges, 296669 markings/sec, 80 secs
lola: 27319733 markings, 67164497 edges, 292768 markings/sec, 85 secs
lola: 28808207 markings, 70824096 edges, 297695 markings/sec, 90 secs
lola: 30257927 markings, 74398135 edges, 289944 markings/sec, 95 secs
lola: 31698410 markings, 77963629 edges, 288097 markings/sec, 100 secs
lola: 33146997 markings, 81538320 edges, 289717 markings/sec, 105 secs
lola: 34574384 markings, 85066399 edges, 285477 markings/sec, 110 secs
lola: 36002847 markings, 88605393 edges, 285693 markings/sec, 115 secs
lola: 37448044 markings, 92185859 edges, 289039 markings/sec, 120 secs
lola: 38873641 markings, 95716088 edges, 285119 markings/sec, 125 secs
lola: 40270523 markings, 99170358 edges, 279376 markings/sec, 130 secs
lola: 41676310 markings, 102664168 edges, 281157 markings/sec, 135 secs
lola: 43094515 markings, 106166334 edges, 283641 markings/sec, 140 secs
lola: 44511008 markings, 109694251 edges, 283299 markings/sec, 145 secs
lola: 45894482 markings, 113138952 edges, 276695 markings/sec, 150 secs
lola: 47299012 markings, 116639681 edges, 280906 markings/sec, 155 secs
lola: 48717503 markings, 120152924 edges, 283698 markings/sec, 160 secs
lola: 50131317 markings, 123681299 edges, 282763 markings/sec, 165 secs
lola: 51530810 markings, 127154795 edges, 279899 markings/sec, 170 secs
lola: 52961243 markings, 130708443 edges, 286087 markings/sec, 175 secs
lola: 54364100 markings, 134199628 edges, 280571 markings/sec, 180 secs
lola: 55775056 markings, 137702949 edges, 282191 markings/sec, 185 secs
lola: 57189461 markings, 141212289 edges, 282881 markings/sec, 190 secs
lola: 58603320 markings, 144708255 edges, 282772 markings/sec, 195 secs
lola: 60004924 markings, 148194965 edges, 280321 markings/sec, 200 secs
lola: 61428129 markings, 151711000 edges, 284641 markings/sec, 205 secs
lola: 62828280 markings, 155185829 edges, 280030 markings/sec, 210 secs
lola: 64223465 markings, 158640453 edges, 279037 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CPUUnit)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2826065 markings, 4709182 edges, 565213 markings/sec, 0 secs
lola: 5372830 markings, 8953702 edges, 509353 markings/sec, 5 secs
lola: 7777506 markings, 12961409 edges, 480935 markings/sec, 10 secs
lola: 10106502 markings, 16842449 edges, 465799 markings/sec, 15 secs
lola: 12386304 markings, 20642257 edges, 455960 markings/sec, 20 secs
lola: 14739635 markings, 24592701 edges, 470666 markings/sec, 25 secs
lola: 16968268 markings, 28387727 edges, 445727 markings/sec, 30 secs
lola: 19107197 markings, 32070236 edges, 427786 markings/sec, 35 secs
lola: 21188851 markings, 35685123 edges, 416331 markings/sec, 40 secs
lola: 23237697 markings, 39268298 edges, 409769 markings/sec, 45 secs
lola: 25250685 markings, 42810516 edges, 402598 markings/sec, 50 secs
lola: 27224977 markings, 46304710 edges, 394858 markings/sec, 55 secs
lola: 29170722 markings, 49761628 edges, 389149 markings/sec, 60 secs
lola: 31097520 markings, 53201199 edges, 385360 markings/sec, 65 secs
lola: 33013235 markings, 56632050 edges, 383143 markings/sec, 70 secs
lola: 34905798 markings, 60032907 edges, 378513 markings/sec, 75 secs
lola: 36790614 markings, 63430887 edges, 376963 markings/sec, 80 secs
lola: 38656928 markings, 66804599 edges, 373263 markings/sec, 85 secs
lola: 40511443 markings, 70165028 edges, 370903 markings/sec, 90 secs
lola: 42353669 markings, 73512027 edges, 368445 markings/sec, 95 secs
lola: 44190454 markings, 76853883 edges, 367357 markings/sec, 100 secs
lola: 46011394 markings, 80175878 edges, 364188 markings/sec, 105 secs
lola: 47824311 markings, 83488998 edges, 362583 markings/sec, 110 secs
lola: 49627728 markings, 86790286 edges, 360683 markings/sec, 115 secs
lola: 51819663 markings, 90559683 edges, 438387 markings/sec, 120 secs
lola: 54092558 markings, 94348646 edges, 454579 markings/sec, 125 secs
lola: 56273017 markings, 97982620 edges, 436092 markings/sec, 130 secs
lola: 58416994 markings, 101556753 edges, 428795 markings/sec, 135 secs
lola: 60515317 markings, 105054056 edges, 419665 markings/sec, 140 secs
lola: 62555554 markings, 108454915 edges, 408047 markings/sec, 145 secs
lola: 63474660 markings, 111289974 edges, 183821 markings/sec, 150 secs
lola: 64160699 markings, 113961411 edges, 137208 markings/sec, 155 secs
lola: 64851398 markings, 116609155 edges, 138140 markings/sec, 160 secs
lola: 65549459 markings, 119240538 edges, 139612 markings/sec, 165 secs
lola: 66252755 markings, 121863436 edges, 140659 markings/sec, 170 secs
lola: 66960803 markings, 124477921 edges, 141610 markings/sec, 175 secs
lola: 67685229 markings, 127119453 edges, 144885 markings/sec, 180 secs
lola: 68411177 markings, 129742452 edges, 145190 markings/sec, 185 secs
lola: 69141101 markings, 132359695 edges, 145985 markings/sec, 190 secs
lola: 69875957 markings, 134973594 edges, 146971 markings/sec, 195 secs
lola: 70612305 markings, 137576545 edges, 147270 markings/sec, 200 secs
lola: 71357483 markings, 140187583 edges, 149036 markings/sec, 205 secs
lola: 72113088 markings, 142825009 edges, 151121 markings/sec, 210 secs
lola: 72876251 markings, 145469018 edges, 152633 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CPUUnit)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2828313 markings, 4713107 edges, 565663 markings/sec, 0 secs
lola: 5455940 markings, 9091932 edges, 525525 markings/sec, 5 secs
lola: 8009740 markings, 13348328 edges, 510760 markings/sec, 10 secs
lola: 10454114 markings, 17421876 edges, 488875 markings/sec, 15 secs
lola: 12850028 markings, 21415280 edges, 479183 markings/sec, 20 secs
lola: 15236476 markings, 25434707 edges, 477290 markings/sec, 25 secs
lola: 17465911 markings, 29241572 edges, 445887 markings/sec, 30 secs
lola: 19616173 markings, 32951442 edges, 430052 markings/sec, 35 secs
lola: 21701765 markings, 36580012 edges, 417118 markings/sec, 40 secs
lola: 23748805 markings, 40166362 edges, 409408 markings/sec, 45 secs
lola: 25759254 markings, 43708354 edges, 402090 markings/sec, 50 secs
lola: 27737011 markings, 47212857 edges, 395551 markings/sec, 55 secs
lola: 29680376 markings, 50670968 edges, 388673 markings/sec, 60 secs
lola: 31609165 markings, 54116175 edges, 385758 markings/sec, 65 secs
lola: 33525145 markings, 57551227 edges, 383196 markings/sec, 70 secs
lola: 35423514 markings, 60965227 edges, 379674 markings/sec, 75 secs
lola: 37304750 markings, 64359566 edges, 376247 markings/sec, 80 secs
lola: 39167001 markings, 67727589 edges, 372450 markings/sec, 85 secs
lola: 41016084 markings, 71081160 edges, 369817 markings/sec, 90 secs
lola: 42854076 markings, 74422069 edges, 367598 markings/sec, 95 secs
lola: 44682595 markings, 77751846 edges, 365704 markings/sec, 100 secs
lola: 46500064 markings, 81067379 edges, 363494 markings/sec, 105 secs
lola: 48300742 markings, 84361354 edges, 360136 markings/sec, 110 secs
lola: 50092754 markings, 87642614 edges, 358402 markings/sec, 115 secs
lola: 52371242 markings, 91479388 edges, 455698 markings/sec, 120 secs
lola: 54592283 markings, 95181348 edges, 444208 markings/sec, 125 secs
lola: 56763977 markings, 98801053 edges, 434339 markings/sec, 130 secs
lola: 58898658 markings, 102359804 edges, 426936 markings/sec, 135 secs
lola: 60987058 markings, 105840764 edges, 417680 markings/sec, 140 secs
lola: 62942015 markings, 109179677 edges, 390991 markings/sec, 145 secs
lola: 63638091 markings, 111922649 edges, 139215 markings/sec, 150 secs
lola: 64331849 markings, 114615609 edges, 138752 markings/sec, 155 secs
lola: 65030445 markings, 117287824 edges, 139719 markings/sec, 160 secs
lola: 65738849 markings, 119954300 edges, 141681 markings/sec, 165 secs
lola: 66456235 markings, 122619409 edges, 143477 markings/sec, 170 secs
lola: 67179801 markings, 125272101 edges, 144713 markings/sec, 175 secs
lola: 67900878 markings, 127900741 edges, 144215 markings/sec, 180 secs
lola: 68623493 markings, 130511959 edges, 144523 markings/sec, 185 secs
lola: 69355095 markings, 133123137 edges, 146320 markings/sec, 190 secs
lola: 70096601 markings, 135752798 edges, 148301 markings/sec, 195 secs
lola: 70830187 markings, 138345751 edges, 146717 markings/sec, 200 secs
lola: 71568432 markings, 140928690 edges, 147649 markings/sec, 205 secs
lola: 72314339 markings, 143523728 edges, 149181 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TaskOnDisk)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 1760120 markings, 4183169 edges, 352024 markings/sec, 0 secs
lola: 3353745 markings, 8075133 edges, 318725 markings/sec, 5 secs
lola: 4898035 markings, 11868324 edges, 308858 markings/sec, 10 secs
lola: 6420255 markings, 15604600 edges, 304444 markings/sec, 15 secs
lola: 7923838 markings, 19302105 edges, 300717 markings/sec, 20 secs
lola: 9436088 markings, 23008852 edges, 302450 markings/sec, 25 secs
lola: 10902707 markings, 26630417 edges, 293324 markings/sec, 30 secs
lola: 12364840 markings, 30233579 edges, 292427 markings/sec, 35 secs
lola: 13817080 markings, 33830943 edges, 290448 markings/sec, 40 secs
lola: 15279949 markings, 37428894 edges, 292574 markings/sec, 45 secs
lola: 16727754 markings, 41015778 edges, 289561 markings/sec, 50 secs
lola: 18146184 markings, 44529495 edges, 283686 markings/sec, 55 secs
lola: 19576817 markings, 48064184 edges, 286127 markings/sec, 60 secs
lola: 21010101 markings, 51607480 edges, 286657 markings/sec, 65 secs
lola: 22456865 markings, 55178620 edges, 289353 markings/sec, 70 secs
lola: 23909422 markings, 58755745 edges, 290511 markings/sec, 75 secs
lola: 25345637 markings, 62305514 edges, 287243 markings/sec, 80 secs
lola: 26801615 markings, 65884233 edges, 291196 markings/sec, 85 secs
lola: 28266126 markings, 69481480 edges, 292902 markings/sec, 90 secs
lola: 29702122 markings, 73021648 edges, 287199 markings/sec, 95 secs
lola: 31105295 markings, 76495851 edges, 280635 markings/sec, 100 secs
lola: 32536134 markings, 80031998 edges, 286168 markings/sec, 105 secs
lola: 33938100 markings, 83499121 edges, 280393 markings/sec, 110 secs
lola: 35352363 markings, 86994621 edges, 282853 markings/sec, 115 secs
lola: 36763765 markings, 90491724 edges, 282280 markings/sec, 120 secs
lola: 38196163 markings, 94033114 edges, 286480 markings/sec, 125 secs
lola: 39566579 markings, 97435427 edges, 274083 markings/sec, 130 secs
lola: 40955929 markings, 100876114 edges, 277870 markings/sec, 135 secs
lola: 42343126 markings, 104308960 edges, 277439 markings/sec, 140 secs
lola: 43738777 markings, 107769593 edges, 279130 markings/sec, 145 secs
lola: 45118719 markings, 111210574 edges, 275988 markings/sec, 150 secs
lola: 46507341 markings, 114664407 edges, 277724 markings/sec, 155 secs
lola: 47910789 markings, 118154346 edges, 280690 markings/sec, 160 secs
lola: 49295954 markings, 121592133 edges, 277033 markings/sec, 165 secs
lola: 50677429 markings, 125035930 edges, 276295 markings/sec, 170 secs
lola: 52063823 markings, 128475132 edges, 277279 markings/sec, 175 secs
lola: 53459485 markings, 131949776 edges, 279132 markings/sec, 180 secs
lola: 54838237 markings, 135374566 edges, 275750 markings/sec, 185 secs
lola: 56220079 markings, 138813162 edges, 276368 markings/sec, 190 secs
lola: 57600845 markings, 142229881 edges, 276153 markings/sec, 195 secs
lola: 58996196 markings, 145683749 edges, 279070 markings/sec, 200 secs
lola: 60384336 markings, 149140053 edges, 277628 markings/sec, 205 secs
lola: 61761278 markings, 152537355 edges, 275388 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(CPUUnit)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 2804350 markings, 4673119 edges, 560870 markings/sec, 0 secs
lola: 5426283 markings, 9042734 edges, 524387 markings/sec, 5 secs
lola: 7968847 markings, 13280039 edges, 508513 markings/sec, 10 secs
lola: 10403822 markings, 17338328 edges, 486995 markings/sec, 15 secs
lola: 12791961 markings, 21318646 edges, 477628 markings/sec, 20 secs
lola: 15176141 markings, 25332595 edges, 476836 markings/sec, 25 secs
lola: 17401823 markings, 29131291 edges, 445136 markings/sec, 30 secs
lola: 19549801 markings, 32836441 edges, 429596 markings/sec, 35 secs
lola: 21636716 markings, 36466430 edges, 417383 markings/sec, 40 secs
lola: 23685281 markings, 40054704 edges, 409713 markings/sec, 45 secs
lola: 25697777 markings, 43600821 edges, 402499 markings/sec, 50 secs
lola: 27677689 markings, 47107871 edges, 395982 markings/sec, 55 secs
lola: 29626632 markings, 50575128 edges, 389789 markings/sec, 60 secs
lola: 31560693 markings, 54030154 edges, 386812 markings/sec, 65 secs
lola: 33475515 markings, 57463172 edges, 382964 markings/sec, 70 secs
lola: 35373164 markings, 60875098 edges, 379530 markings/sec, 75 secs
lola: 37256128 markings, 64271033 edges, 376593 markings/sec, 80 secs
lola: 39119011 markings, 67640124 edges, 372577 markings/sec, 85 secs
lola: 40966569 markings, 70991427 edges, 369512 markings/sec, 90 secs
lola: 42795656 markings, 74314733 edges, 365817 markings/sec, 95 secs
lola: 44605944 markings, 77611125 edges, 362058 markings/sec, 100 secs
lola: 46408879 markings, 80900535 edges, 360587 markings/sec, 105 secs
lola: 48199186 markings, 84174956 edges, 358061 markings/sec, 110 secs
lola: 49980302 markings, 87436484 edges, 356223 markings/sec, 115 secs
lola: 52191005 markings, 91178401 edges, 442141 markings/sec, 120 secs
lola: 54382178 markings, 94831039 edges, 438235 markings/sec, 125 secs
lola: 56525496 markings, 98404017 edges, 428664 markings/sec, 130 secs
lola: 58655964 markings, 101955043 edges, 426094 markings/sec, 135 secs
lola: 60816850 markings, 105557206 edges, 432177 markings/sec, 140 secs
lola: 62908534 markings, 109043950 edges, 418337 markings/sec, 145 secs
lola: 63612003 markings, 111822553 edges, 140694 markings/sec, 150 secs
lola: 64312741 markings, 114547760 edges, 140148 markings/sec, 155 secs
lola: 65022569 markings, 117253470 edges, 141966 markings/sec, 160 secs
lola: 65738471 markings, 119952975 edges, 143180 markings/sec, 165 secs
lola: 66465743 markings, 122647249 edges, 145454 markings/sec, 170 secs
lola: 67195337 markings, 125329609 edges, 145919 markings/sec, 175 secs
lola: 67930177 markings, 128007538 edges, 146968 markings/sec, 180 secs
lola: 68672227 markings, 130681305 edges, 148410 markings/sec, 185 secs
lola: 69418349 markings, 133348009 edges, 149224 markings/sec, 190 secs
lola: 70168423 markings, 136008681 edges, 150015 markings/sec, 195 secs
lola: 70921727 markings, 138662190 edges, 150661 markings/sec, 200 secs
lola: 71679683 markings, 141314888 edges, 151591 markings/sec, 205 secs
lola: 72440975 markings, 143963497 edges, 152258 markings/sec, 210 secs
lola: 73204743 markings, 146610401 edges, 152754 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 220 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TaskOnDisk)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 1796523 markings, 4271905 edges, 359305 markings/sec, 0 secs
lola: 3385153 markings, 8153112 edges, 317726 markings/sec, 5 secs
lola: 4944593 markings, 11984084 edges, 311888 markings/sec, 10 secs
lola: 6480428 markings, 15752675 edges, 307167 markings/sec, 15 secs
lola: 7998079 markings, 19486540 edges, 303530 markings/sec, 20 secs
lola: 9522177 markings, 23221760 edges, 304820 markings/sec, 25 secs
lola: 10994915 markings, 26859549 edges, 294548 markings/sec, 30 secs
lola: 12466410 markings, 30486102 edges, 294299 markings/sec, 35 secs
lola: 13941886 markings, 34133284 edges, 295095 markings/sec, 40 secs
lola: 15411023 markings, 37754446 edges, 293827 markings/sec, 45 secs
lola: 16870585 markings, 41370890 edges, 291912 markings/sec, 50 secs
lola: 18320854 markings, 44964567 edges, 290054 markings/sec, 55 secs
lola: 19763338 markings, 48527989 edges, 288497 markings/sec, 60 secs
lola: 21197333 markings, 52070670 edges, 286799 markings/sec, 65 secs
lola: 22642680 markings, 55638258 edges, 289069 markings/sec, 70 secs
lola: 24089047 markings, 59198586 edges, 289273 markings/sec, 75 secs
lola: 25538099 markings, 62773562 edges, 289810 markings/sec, 80 secs
lola: 26981623 markings, 66329167 edges, 288705 markings/sec, 85 secs
lola: 28436316 markings, 69903284 edges, 290939 markings/sec, 90 secs
lola: 29865297 markings, 73426067 edges, 285796 markings/sec, 95 secs
lola: 31269969 markings, 76904665 edges, 280934 markings/sec, 100 secs
lola: 32695383 markings, 80424209 edges, 285083 markings/sec, 105 secs
lola: 34085702 markings, 83865222 edges, 278064 markings/sec, 110 secs
lola: 35491598 markings, 87342176 edges, 281179 markings/sec, 115 secs
lola: 36903863 markings, 90840014 edges, 282453 markings/sec, 120 secs
lola: 38338315 markings, 94384001 edges, 286890 markings/sec, 125 secs
lola: 39706327 markings, 97782915 edges, 273602 markings/sec, 130 secs
lola: 41094631 markings, 101220519 edges, 277661 markings/sec, 135 secs
lola: 42502150 markings, 104697130 edges, 281504 markings/sec, 140 secs
lola: 43890900 markings, 108147288 edges, 277750 markings/sec, 145 secs
lola: 45278585 markings, 111605935 edges, 277537 markings/sec, 150 secs
lola: 46670589 markings, 115071949 edges, 278401 markings/sec, 155 secs
lola: 48090298 markings, 118601452 edges, 283942 markings/sec, 160 secs
lola: 49489682 markings, 122077910 edges, 279877 markings/sec, 165 secs
lola: 50894203 markings, 125574045 edges, 280904 markings/sec, 170 secs
lola: 52300887 markings, 129065187 edges, 281337 markings/sec, 175 secs
lola: 53707872 markings, 132567099 edges, 281397 markings/sec, 180 secs
lola: 55114583 markings, 136059380 edges, 281342 markings/sec, 185 secs
lola: 56511959 markings, 139536403 edges, 279475 markings/sec, 190 secs
lola: 57918168 markings, 143011886 edges, 281242 markings/sec, 195 secs
lola: 59322870 markings, 146502197 edges, 280940 markings/sec, 200 secs
lola: 60731838 markings, 149996056 edges, 281794 markings/sec, 205 secs
lola: 62112322 markings, 153409530 edges, 276097 markings/sec, 210 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TaskOnDisk)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 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: 1744836 markings, 4145973 edges, 348967 markings/sec, 0 secs
lola: 3335758 markings, 8031233 edges, 318184 markings/sec, 5 secs
lola: 4885244 markings, 11835965 edges, 309897 markings/sec, 10 secs
lola: 6404944 markings, 15567426 edges, 303940 markings/sec, 15 secs
lola: 7914873 markings, 19280139 edges, 301986 markings/sec, 20 secs
lola: 9429294 markings, 22993130 edges, 302884 markings/sec, 25 secs
lola: 10898284 markings, 26619636 edges, 293798 markings/sec, 30 secs
lola: 12362422 markings, 30227687 edges, 292828 markings/sec, 35 secs
lola: 13818794 markings, 33835139 edges, 291274 markings/sec, 40 secs
lola: 15287247 markings, 37447052 edges, 293691 markings/sec, 45 secs
lola: 16738621 markings, 41042924 edges, 290275 markings/sec, 50 secs
lola: 18173052 markings, 44596569 edges, 286886 markings/sec, 55 secs
lola: 19617406 markings, 48165466 edges, 288871 markings/sec, 60 secs
lola: 21050594 markings, 51707879 edges, 286638 markings/sec, 65 secs
lola: 22498340 markings, 55280810 edges, 289549 markings/sec, 70 secs
lola: 23949977 markings, 58854890 edges, 290327 markings/sec, 75 secs
lola: 25389537 markings, 62411360 edges, 287912 markings/sec, 80 secs
lola: 26847438 markings, 65997517 edges, 291580 markings/sec, 85 secs
lola: 28314167 markings, 69601599 edges, 293346 markings/sec, 90 secs
lola: 29747958 markings, 73134897 edges, 286758 markings/sec, 95 secs
lola: 31153451 markings, 76614521 edges, 281099 markings/sec, 100 secs
lola: 32585671 markings, 80154501 edges, 286444 markings/sec, 105 secs
lola: 33986138 markings, 83618797 edges, 280093 markings/sec, 110 secs
lola: 35398559 markings, 87110121 edges, 282484 markings/sec, 115 secs
lola: 36810802 markings, 90608079 edges, 282449 markings/sec, 120 secs
lola: 38243013 markings, 94149800 edges, 286442 markings/sec, 125 secs
lola: 39618842 markings, 97565127 edges, 275166 markings/sec, 130 secs
lola: 41006414 markings, 101001278 edges, 277514 markings/sec, 135 secs
lola: 42406136 markings, 104457922 edges, 279944 markings/sec, 140 secs
lola: 43787779 markings, 107890722 edges, 276329 markings/sec, 145 secs
lola: 45156422 markings, 111303764 edges, 273729 markings/sec, 150 secs
lola: 46531179 markings, 114724536 edges, 274951 markings/sec, 155 secs
lola: 47923428 markings, 118185613 edges, 278450 markings/sec, 160 secs
lola: 49294711 markings, 121589006 edges, 274257 markings/sec, 165 secs
lola: 50665856 markings, 125009081 edges, 274229 markings/sec, 170 secs
lola: 52042762 markings, 128423472 edges, 275381 markings/sec, 175 secs
lola: 53427817 markings, 131869980 edges, 277011 markings/sec, 180 secs
lola: 54792869 markings, 135261402 edges, 273010 markings/sec, 185 secs
lola: 56165397 markings, 138676370 edges, 274506 markings/sec, 190 secs
lola: 57536141 markings, 142070010 edges, 274149 markings/sec, 195 secs
lola: 58920385 markings, 145496786 edges, 276849 markings/sec, 200 secs
lola: 60291930 markings, 148908456 edges, 274309 markings/sec, 205 secs
lola: 61661509 markings, 152291023 edges, 273916 markings/sec, 210 secs
lola: 63026975 markings, 155677706 edges, 273093 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC2048-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494931494450
--------------------
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="SmallOperatingSystem-PT-MT4096DC2048"
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/SmallOperatingSystem-PT-MT4096DC2048.tgz
mv SmallOperatingSystem-PT-MT4096DC2048 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 SmallOperatingSystem-PT-MT4096DC2048, 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 r078-ebro-149441008200038"
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 ;