About the Execution of LoLA for S_SmallOperatingSystem-PT-MT4096DC1024
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 8159.350 | 3540402.00 | 3556870.00 | 557.80 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_SmallOperatingSystem-PT-MT4096DC1024, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r158-ebro-149443463900029
=====================================================================
--------------------
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-MT4096DC1024-UpperBounds-0
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-1
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-10
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-11
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-12
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-13
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-14
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-15
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-2
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-3
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-4
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-5
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-6
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-7
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-8
FORMULA_NAME SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496556718081
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_SmallOperatingSystem-PT-MT4096DC1024: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_SmallOperatingSystem-PT-MT4096DC1024: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_SmallOperatingSystem-PT-MT4096DC1024 @ 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-MT4096DC1024-UpperBounds.task
lola: MAX(TransferToDisk) : MAX(DiskControllerUnit) : MAX(TaskReady) : MAX(TransferToDisk) : MAX(TaskReady) : MAX(ExecutingTask) : MAX(TaskReady) : MAX(TransferToDisk) : MAX(TaskReady) : MAX(CPUUnit) : MAX(TransferToDisk) : MAX(TaskSuspended) : MAX(ExecutingTask) : MAX(FreeMemSegment) : MAX(FreeMemSegment) : MAX(ExecutingTask)
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(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: 3016591 markings, 4271342 edges, 603318 markings/sec, 0 secs
lola: 5235482 markings, 7851075 edges, 443778 markings/sec, 5 secs
lola: 7448361 markings, 11417708 edges, 442576 markings/sec, 10 secs
lola: 9654526 markings, 14970340 edges, 441233 markings/sec, 15 secs
lola: 11878255 markings, 18559333 edges, 444746 markings/sec, 20 secs
lola: 14103068 markings, 22142349 edges, 444963 markings/sec, 25 secs
lola: 16326618 markings, 25729296 edges, 444710 markings/sec, 30 secs
lola: 18566494 markings, 29336963 edges, 447975 markings/sec, 35 secs
lola: 20819435 markings, 32969570 edges, 450588 markings/sec, 40 secs
lola: 22732820 markings, 36220758 edges, 382677 markings/sec, 45 secs
lola: 24616987 markings, 39454238 edges, 376833 markings/sec, 50 secs
lola: 26511543 markings, 42703593 edges, 378911 markings/sec, 55 secs
lola: 28417981 markings, 45976408 edges, 381288 markings/sec, 60 secs
lola: 29474821 markings, 48751759 edges, 211368 markings/sec, 65 secs
lola: 30518004 markings, 51533032 edges, 208637 markings/sec, 70 secs
lola: 31559738 markings, 54310576 edges, 208347 markings/sec, 75 secs
lola: 32605964 markings, 57099907 edges, 209245 markings/sec, 80 secs
lola: 33700227 markings, 60017480 edges, 218853 markings/sec, 85 secs
lola: 34834718 markings, 62977834 edges, 226898 markings/sec, 90 secs
lola: 36394728 markings, 65939370 edges, 312002 markings/sec, 95 secs
lola: 37952015 markings, 68914244 edges, 311457 markings/sec, 100 secs
lola: 39506192 markings, 71882120 edges, 310835 markings/sec, 105 secs
lola: 41064595 markings, 74859501 edges, 311681 markings/sec, 110 secs
lola: 42625009 markings, 77841610 edges, 312083 markings/sec, 115 secs
lola: 44180691 markings, 80812703 edges, 311136 markings/sec, 120 secs
lola: 45759789 markings, 83829171 edges, 315820 markings/sec, 125 secs
lola: 47328117 markings, 86819966 edges, 313666 markings/sec, 130 secs
lola: 48887110 markings, 89804606 edges, 311799 markings/sec, 135 secs
lola: 50451860 markings, 92790448 edges, 312950 markings/sec, 140 secs
lola: 52013431 markings, 95770233 edges, 312314 markings/sec, 145 secs
lola: 53582010 markings, 98766432 edges, 313716 markings/sec, 150 secs
lola: 55151720 markings, 101765179 edges, 313942 markings/sec, 155 secs
lola: 56708921 markings, 104744702 edges, 311440 markings/sec, 160 secs
lola: 58276407 markings, 107737615 edges, 313497 markings/sec, 165 secs
lola: 59800453 markings, 110582614 edges, 304809 markings/sec, 170 secs
lola: 61289689 markings, 113409877 edges, 297847 markings/sec, 175 secs
lola: 62800081 markings, 116261304 edges, 302078 markings/sec, 180 secs
lola: 64305147 markings, 119130576 edges, 301013 markings/sec, 185 secs
lola: 65818382 markings, 121984724 edges, 302647 markings/sec, 190 secs
lola: 67338655 markings, 124817699 edges, 304055 markings/sec, 195 secs
lola: 68844487 markings, 127668604 edges, 301166 markings/sec, 200 secs
lola: 70336043 markings, 130470771 edges, 298311 markings/sec, 205 secs
lola: 71825688 markings, 133288739 edges, 297929 markings/sec, 210 secs
lola: 73309292 markings, 136095850 edges, 296721 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: 1586312 markings, 3810673 edges, 317262 markings/sec, 0 secs
lola: 3021510 markings, 7325163 edges, 287040 markings/sec, 5 secs
lola: 4395811 markings, 10706458 edges, 274860 markings/sec, 10 secs
lola: 5748291 markings, 14035184 edges, 270496 markings/sec, 15 secs
lola: 7066856 markings, 17288438 edges, 263713 markings/sec, 20 secs
lola: 8398471 markings, 20563086 edges, 266323 markings/sec, 25 secs
lola: 9703334 markings, 23779757 edges, 260973 markings/sec, 30 secs
lola: 10978883 markings, 26928416 edges, 255110 markings/sec, 35 secs
lola: 12251900 markings, 30069413 edges, 254603 markings/sec, 40 secs
lola: 13541402 markings, 33260750 edges, 257900 markings/sec, 45 secs
lola: 14812547 markings, 36394124 edges, 254229 markings/sec, 50 secs
lola: 16075261 markings, 39525926 edges, 252543 markings/sec, 55 secs
lola: 17337998 markings, 42658310 edges, 252547 markings/sec, 60 secs
lola: 18604137 markings, 45788836 edges, 253228 markings/sec, 65 secs
lola: 19861165 markings, 48896966 edges, 251406 markings/sec, 70 secs
lola: 21100928 markings, 51962851 edges, 247953 markings/sec, 75 secs
lola: 22357426 markings, 55067995 edges, 251300 markings/sec, 80 secs
lola: 23621798 markings, 58182510 edges, 252874 markings/sec, 85 secs
lola: 24869262 markings, 61270638 edges, 249493 markings/sec, 90 secs
lola: 26152684 markings, 64424569 edges, 256684 markings/sec, 95 secs
lola: 27389227 markings, 67483716 edges, 247309 markings/sec, 100 secs
lola: 28663203 markings, 70633017 edges, 254795 markings/sec, 105 secs
lola: 29911662 markings, 73719378 edges, 249692 markings/sec, 110 secs
lola: 31133150 markings, 76744911 edges, 244298 markings/sec, 115 secs
lola: 32448210 markings, 80000323 edges, 263012 markings/sec, 120 secs
lola: 33906794 markings, 83609442 edges, 291717 markings/sec, 125 secs
lola: 35345639 markings, 87178624 edges, 287769 markings/sec, 130 secs
lola: 36729076 markings, 90606052 edges, 276687 markings/sec, 135 secs
lola: 37943691 markings, 93621342 edges, 242923 markings/sec, 140 secs
lola: 39163915 markings, 96648741 edges, 244045 markings/sec, 145 secs
lola: 40470297 markings, 99893791 edges, 261276 markings/sec, 150 secs
lola: 41883676 markings, 103399990 edges, 282676 markings/sec, 155 secs
lola: 43268825 markings, 106844761 edges, 277030 markings/sec, 160 secs
lola: 44635600 markings, 110246552 edges, 273355 markings/sec, 165 secs
lola: 46020483 markings, 113690227 edges, 276977 markings/sec, 170 secs
lola: 47418413 markings, 117170017 edges, 279586 markings/sec, 175 secs
lola: 48808969 markings, 120622608 edges, 278111 markings/sec, 180 secs
lola: 50189864 markings, 124053158 edges, 276179 markings/sec, 185 secs
lola: 51580374 markings, 127512056 edges, 278102 markings/sec, 190 secs
lola: 52986626 markings, 131016400 edges, 281250 markings/sec, 195 secs
lola: 54344610 markings, 134389818 edges, 271597 markings/sec, 200 secs
lola: 55698023 markings, 137755861 edges, 270683 markings/sec, 205 secs
lola: 57051613 markings, 141114292 edges, 270718 markings/sec, 210 secs
lola: 58420493 markings, 144519970 edges, 273776 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(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: 1699324 markings, 4087425 edges, 339865 markings/sec, 0 secs
lola: 3221590 markings, 7818264 edges, 304453 markings/sec, 5 secs
lola: 4691393 markings, 11437223 edges, 293961 markings/sec, 10 secs
lola: 6216568 markings, 15186745 edges, 305035 markings/sec, 15 secs
lola: 7697231 markings, 18834703 edges, 296133 markings/sec, 20 secs
lola: 9123612 markings, 22343069 edges, 285276 markings/sec, 25 secs
lola: 10530078 markings, 25818167 edges, 281293 markings/sec, 30 secs
lola: 11981675 markings, 29401067 edges, 290319 markings/sec, 35 secs
lola: 13360988 markings, 32814442 edges, 275863 markings/sec, 40 secs
lola: 14730886 markings, 36192367 edges, 273980 markings/sec, 45 secs
lola: 16071448 markings, 39516407 edges, 268112 markings/sec, 50 secs
lola: 17395724 markings, 42803073 edges, 264855 markings/sec, 55 secs
lola: 18754014 markings, 46159962 edges, 271658 markings/sec, 60 secs
lola: 20168411 markings, 49659061 edges, 282879 markings/sec, 65 secs
lola: 21541440 markings, 53052035 edges, 274606 markings/sec, 70 secs
lola: 22988530 markings, 56616266 edges, 289418 markings/sec, 75 secs
lola: 24436219 markings, 60202561 edges, 289538 markings/sec, 80 secs
lola: 25927417 markings, 63868022 edges, 298240 markings/sec, 85 secs
lola: 27338867 markings, 67359129 edges, 282290 markings/sec, 90 secs
lola: 28684199 markings, 70685148 edges, 269066 markings/sec, 95 secs
lola: 30015692 markings, 73975774 edges, 266299 markings/sec, 100 secs
lola: 31340829 markings, 77255756 edges, 265027 markings/sec, 105 secs
lola: 32789038 markings, 80840453 edges, 289642 markings/sec, 110 secs
lola: 34234549 markings, 84419407 edges, 289102 markings/sec, 115 secs
lola: 35649246 markings, 87932374 edges, 282939 markings/sec, 120 secs
lola: 37066502 markings, 91447039 edges, 283451 markings/sec, 125 secs
lola: 38409800 markings, 94778742 edges, 268660 markings/sec, 130 secs
lola: 39718476 markings, 98023462 edges, 261735 markings/sec, 135 secs
lola: 41016269 markings, 101254546 edges, 259559 markings/sec, 140 secs
lola: 42310502 markings, 104461121 edges, 258847 markings/sec, 145 secs
lola: 43603551 markings, 107678621 edges, 258610 markings/sec, 150 secs
lola: 44887183 markings, 110871141 edges, 256726 markings/sec, 155 secs
lola: 46155670 markings, 114027006 edges, 253697 markings/sec, 160 secs
lola: 47395464 markings, 117112569 edges, 247959 markings/sec, 165 secs
lola: 48605556 markings, 120115230 edges, 242018 markings/sec, 170 secs
lola: 49827834 markings, 123154274 edges, 244456 markings/sec, 175 secs
lola: 51046600 markings, 126182495 edges, 243753 markings/sec, 180 secs
lola: 52479154 markings, 129749833 edges, 286511 markings/sec, 185 secs
lola: 53878714 markings, 133228036 edges, 279912 markings/sec, 190 secs
lola: 55285388 markings, 136727005 edges, 281335 markings/sec, 195 secs
lola: 56628431 markings, 140060838 edges, 268609 markings/sec, 200 secs
lola: 57952434 markings, 143357241 edges, 264801 markings/sec, 205 secs
lola: 59242358 markings, 146566661 edges, 257985 markings/sec, 210 secs
lola: 60535548 markings, 149778682 edges, 258638 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(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: 3019890 markings, 4278623 edges, 603978 markings/sec, 0 secs
lola: 5232092 markings, 7843591 edges, 442440 markings/sec, 5 secs
lola: 7436904 markings, 11396354 edges, 440962 markings/sec, 10 secs
lola: 9605378 markings, 14893826 edges, 433695 markings/sec, 15 secs
lola: 11785758 markings, 18410356 edges, 436076 markings/sec, 20 secs
lola: 13997064 markings, 21973680 edges, 442261 markings/sec, 25 secs
lola: 16184622 markings, 25496954 edges, 437512 markings/sec, 30 secs
lola: 18381393 markings, 29038340 edges, 439354 markings/sec, 35 secs
lola: 20564404 markings, 32559807 edges, 436602 markings/sec, 40 secs
lola: 22418779 markings, 35682886 edges, 370875 markings/sec, 45 secs
lola: 24181950 markings, 38708068 edges, 352634 markings/sec, 50 secs
lola: 25950944 markings, 41741653 edges, 353799 markings/sec, 55 secs
lola: 27711863 markings, 44766615 edges, 352184 markings/sec, 60 secs
lola: 29075253 markings, 47686636 edges, 272678 markings/sec, 65 secs
lola: 30134549 markings, 50510783 edges, 211859 markings/sec, 70 secs
lola: 31186622 markings, 53315968 edges, 210415 markings/sec, 75 secs
lola: 32243314 markings, 56133280 edges, 211338 markings/sec, 80 secs
lola: 33305070 markings, 58963885 edges, 212351 markings/sec, 85 secs
lola: 34377301 markings, 61822811 edges, 214446 markings/sec, 90 secs
lola: 35713887 markings, 64639365 edges, 267317 markings/sec, 95 secs
lola: 37223662 markings, 67524182 edges, 301955 markings/sec, 100 secs
lola: 38700061 markings, 70344334 edges, 295280 markings/sec, 105 secs
lola: 40190478 markings, 73192401 edges, 298083 markings/sec, 110 secs
lola: 41687766 markings, 76051840 edges, 299458 markings/sec, 115 secs
lola: 43180444 markings, 78899462 edges, 298536 markings/sec, 120 secs
lola: 44712479 markings, 81826635 edges, 306407 markings/sec, 125 secs
lola: 46350555 markings, 84960892 edges, 327615 markings/sec, 130 secs
lola: 47952111 markings, 88012364 edges, 320311 markings/sec, 135 secs
lola: 49541344 markings, 91050750 edges, 317847 markings/sec, 140 secs
lola: 51147813 markings, 94120622 edges, 321294 markings/sec, 145 secs
lola: 52742955 markings, 97170332 edges, 319028 markings/sec, 150 secs
lola: 54334589 markings, 100210675 edges, 318327 markings/sec, 155 secs
lola: 55918880 markings, 103232349 edges, 316858 markings/sec, 160 secs
lola: 57508382 markings, 106268010 edges, 317900 markings/sec, 165 secs
lola: 59048507 markings, 109176602 edges, 308025 markings/sec, 170 secs
lola: 60601021 markings, 112090597 edges, 310503 markings/sec, 175 secs
lola: 62128882 markings, 114988151 edges, 305572 markings/sec, 180 secs
lola: 63637520 markings, 117858296 edges, 301728 markings/sec, 185 secs
lola: 65155076 markings, 120733544 edges, 303511 markings/sec, 190 secs
lola: 66675863 markings, 123581483 edges, 304157 markings/sec, 195 secs
lola: 68178250 markings, 126406977 edges, 300477 markings/sec, 200 secs
lola: 69689914 markings, 129263028 edges, 302333 markings/sec, 205 secs
lola: 71199282 markings, 132099745 edges, 301874 markings/sec, 210 secs
lola: 72687302 markings, 134928954 edges, 297604 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: 1618960 markings, 3890090 edges, 323792 markings/sec, 0 secs
lola: 3081024 markings, 7472107 edges, 292413 markings/sec, 5 secs
lola: 4490803 markings, 10940910 edges, 281956 markings/sec, 10 secs
lola: 5892006 markings, 14387284 edges, 280241 markings/sec, 15 secs
lola: 7247362 markings, 17731898 edges, 271071 markings/sec, 20 secs
lola: 8623378 markings, 21122186 edges, 275203 markings/sec, 25 secs
lola: 9985995 markings, 24473973 edges, 272523 markings/sec, 30 secs
lola: 11320327 markings, 27770947 edges, 266866 markings/sec, 35 secs
lola: 12650289 markings, 31058157 edges, 265992 markings/sec, 40 secs
lola: 14000054 markings, 34391540 edges, 269953 markings/sec, 45 secs
lola: 15337652 markings, 37700951 edges, 267520 markings/sec, 50 secs
lola: 16653077 markings, 40960097 edges, 263085 markings/sec, 55 secs
lola: 17974076 markings, 44233256 edges, 264200 markings/sec, 60 secs
lola: 19291747 markings, 47490563 edges, 263534 markings/sec, 65 secs
lola: 20611704 markings, 50756038 edges, 263991 markings/sec, 70 secs
lola: 21934237 markings, 54023821 edges, 264507 markings/sec, 75 secs
lola: 23270559 markings, 57311880 edges, 267264 markings/sec, 80 secs
lola: 24590562 markings, 60583271 edges, 264001 markings/sec, 85 secs
lola: 25947412 markings, 63917105 edges, 271370 markings/sec, 90 secs
lola: 27256994 markings, 67154488 edges, 261916 markings/sec, 95 secs
lola: 28584187 markings, 70439533 edges, 265439 markings/sec, 100 secs
lola: 29896408 markings, 73681970 edges, 262444 markings/sec, 105 secs
lola: 31194444 markings, 76893903 edges, 259607 markings/sec, 110 secs
lola: 32502322 markings, 80133771 edges, 261576 markings/sec, 115 secs
lola: 33812043 markings, 83374453 edges, 261944 markings/sec, 120 secs
lola: 35153101 markings, 86704160 edges, 268212 markings/sec, 125 secs
lola: 36572226 markings, 90218887 edges, 283825 markings/sec, 130 secs
lola: 37963854 markings, 93668497 edges, 278326 markings/sec, 135 secs
lola: 39369268 markings, 97155797 edges, 281083 markings/sec, 140 secs
lola: 40770824 markings, 100643184 edges, 280311 markings/sec, 145 secs
lola: 42170082 markings, 104110822 edges, 279852 markings/sec, 150 secs
lola: 43570811 markings, 107598034 edges, 280146 markings/sec, 155 secs
lola: 44975438 markings, 111090472 edges, 280925 markings/sec, 160 secs
lola: 46374213 markings, 114572343 edges, 279755 markings/sec, 165 secs
lola: 47761669 markings, 118022993 edges, 277491 markings/sec, 170 secs
lola: 49154831 markings, 121483364 edges, 278632 markings/sec, 175 secs
lola: 50540861 markings, 124928897 edges, 277206 markings/sec, 180 secs
lola: 51938426 markings, 128403270 edges, 279513 markings/sec, 185 secs
lola: 53331763 markings, 131866314 edges, 278667 markings/sec, 190 secs
lola: 54703453 markings, 135281969 edges, 274338 markings/sec, 195 secs
lola: 56101070 markings, 138752736 edges, 279523 markings/sec, 200 secs
lola: 57490312 markings, 142208634 edges, 277848 markings/sec, 205 secs
lola: 58874691 markings, 145654566 edges, 276876 markings/sec, 210 secs
lola: 60258171 markings, 149089599 edges, 276696 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(ExecutingTask)
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: 2694971 markings, 4042454 edges, 538994 markings/sec, 0 secs
lola: 4904735 markings, 7541770 edges, 441953 markings/sec, 5 secs
lola: 6827528 markings, 10923679 edges, 384559 markings/sec, 10 secs
lola: 8604460 markings, 14227896 edges, 355386 markings/sec, 15 secs
lola: 10297704 markings, 17488436 edges, 338649 markings/sec, 20 secs
lola: 11928887 markings, 20710485 edges, 326237 markings/sec, 25 secs
lola: 13512179 markings, 23907685 edges, 316658 markings/sec, 30 secs
lola: 15085964 markings, 27153822 edges, 314757 markings/sec, 35 secs
lola: 16655137 markings, 30445008 edges, 313835 markings/sec, 40 secs
lola: 18198120 markings, 33731044 edges, 308597 markings/sec, 45 secs
lola: 19720083 markings, 37015020 edges, 304393 markings/sec, 50 secs
lola: 21242201 markings, 40330653 edges, 304424 markings/sec, 55 secs
lola: 22748013 markings, 43645841 edges, 301162 markings/sec, 60 secs
lola: 24248780 markings, 46972405 edges, 300153 markings/sec, 65 secs
lola: 25738344 markings, 50305010 edges, 297913 markings/sec, 70 secs
lola: 27194842 markings, 53582561 edges, 291300 markings/sec, 75 secs
lola: 28663238 markings, 56869300 edges, 293679 markings/sec, 80 secs
lola: 30137978 markings, 60161301 edges, 294948 markings/sec, 85 secs
lola: 31604941 markings, 63434545 edges, 293393 markings/sec, 90 secs
lola: 33078473 markings, 66702981 edges, 294706 markings/sec, 95 secs
lola: 34555164 markings, 69973479 edges, 295338 markings/sec, 100 secs
lola: 36039924 markings, 73261318 edges, 296952 markings/sec, 105 secs
lola: 37526295 markings, 76536106 edges, 297274 markings/sec, 110 secs
lola: 39011971 markings, 79807979 edges, 297135 markings/sec, 115 secs
lola: 40497255 markings, 83069516 edges, 297057 markings/sec, 120 secs
lola: 41976422 markings, 86315164 edges, 295833 markings/sec, 125 secs
lola: 43455947 markings, 89552267 edges, 295905 markings/sec, 130 secs
lola: 44929737 markings, 92773332 edges, 294758 markings/sec, 135 secs
lola: 46679923 markings, 96335760 edges, 350037 markings/sec, 140 secs
lola: 49620166 markings, 101237752 edges, 588049 markings/sec, 145 secs
lola: 52154736 markings, 105462328 edges, 506914 markings/sec, 150 secs
lola: 54195259 markings, 108576101 edges, 408105 markings/sec, 155 secs
lola: 56029661 markings, 111330695 edges, 366880 markings/sec, 160 secs
lola: 57836373 markings, 114043702 edges, 361342 markings/sec, 165 secs
lola: 59580074 markings, 116671147 edges, 348740 markings/sec, 170 secs
lola: 61313164 markings, 119351711 edges, 346618 markings/sec, 175 secs
lola: 63080921 markings, 122167939 edges, 353551 markings/sec, 180 secs
lola: 64901692 markings, 125155702 edges, 364154 markings/sec, 185 secs
lola: 67240653 markings, 129055658 edges, 467792 markings/sec, 190 secs
lola: 69541500 markings, 132802913 edges, 460169 markings/sec, 195 secs
lola: 71820657 markings, 136307587 edges, 455831 markings/sec, 200 secs
lola: 73341050 markings, 138714851 edges, 304079 markings/sec, 205 secs
lola: 75527304 markings, 142102561 edges, 437251 markings/sec, 210 secs
lola: 77279461 markings, 145517917 edges, 350431 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(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: 1739111 markings, 4184913 edges, 347822 markings/sec, 0 secs
lola: 3332955 markings, 8091403 edges, 318769 markings/sec, 5 secs
lola: 4857504 markings, 11848261 edges, 304910 markings/sec, 10 secs
lola: 6399084 markings, 15635755 edges, 308316 markings/sec, 15 secs
lola: 7935139 markings, 19417577 edges, 307211 markings/sec, 20 secs
lola: 9462007 markings, 23180821 edges, 305374 markings/sec, 25 secs
lola: 10956793 markings, 26876135 edges, 298957 markings/sec, 30 secs
lola: 12460881 markings, 30588678 edges, 300818 markings/sec, 35 secs
lola: 13976856 markings, 34334902 edges, 303195 markings/sec, 40 secs
lola: 15475263 markings, 38040842 edges, 299681 markings/sec, 45 secs
lola: 16978140 markings, 41763918 edges, 300575 markings/sec, 50 secs
lola: 18464219 markings, 45441548 edges, 297216 markings/sec, 55 secs
lola: 19943056 markings, 49100312 edges, 295767 markings/sec, 60 secs
lola: 21415590 markings, 52738713 edges, 294507 markings/sec, 65 secs
lola: 22916339 markings, 56441479 edges, 300150 markings/sec, 70 secs
lola: 24404379 markings, 60123575 edges, 297608 markings/sec, 75 secs
lola: 25914770 markings, 63837141 edges, 302078 markings/sec, 80 secs
lola: 27370777 markings, 67437246 edges, 291201 markings/sec, 85 secs
lola: 28847260 markings, 71085256 edges, 295297 markings/sec, 90 secs
lola: 30315880 markings, 74717533 edges, 293724 markings/sec, 95 secs
lola: 31781233 markings, 78347830 edges, 293071 markings/sec, 100 secs
lola: 33251550 markings, 81986048 edges, 294063 markings/sec, 105 secs
lola: 34707113 markings, 85595090 edges, 291113 markings/sec, 110 secs
lola: 36158853 markings, 89190687 edges, 290348 markings/sec, 115 secs
lola: 37598988 markings, 92764346 edges, 288027 markings/sec, 120 secs
lola: 39039670 markings, 96344648 edges, 288136 markings/sec, 125 secs
lola: 40494138 markings, 99953732 edges, 290894 markings/sec, 130 secs
lola: 41944922 markings, 103551135 edges, 290157 markings/sec, 135 secs
lola: 43379917 markings, 107120013 edges, 286999 markings/sec, 140 secs
lola: 44829057 markings, 110728962 edges, 289828 markings/sec, 145 secs
lola: 46268995 markings, 114312144 edges, 287988 markings/sec, 150 secs
lola: 47702413 markings, 117875597 edges, 286684 markings/sec, 155 secs
lola: 49134906 markings, 121433794 edges, 286499 markings/sec, 160 secs
lola: 50562239 markings, 124981068 edges, 285467 markings/sec, 165 secs
lola: 52004893 markings, 128570218 edges, 288531 markings/sec, 170 secs
lola: 53424308 markings, 132098159 edges, 283883 markings/sec, 175 secs
lola: 54835959 markings, 135611138 edges, 282330 markings/sec, 180 secs
lola: 56264031 markings, 139158195 edges, 285614 markings/sec, 185 secs
lola: 57685686 markings, 142695503 edges, 284331 markings/sec, 190 secs
lola: 59096483 markings, 146204550 edges, 282159 markings/sec, 195 secs
lola: 60512535 markings, 149721178 edges, 283210 markings/sec, 200 secs
lola: 61944478 markings, 153290354 edges, 286389 markings/sec, 205 secs
lola: 63354003 markings, 156795984 edges, 281905 markings/sec, 210 secs
lola: 64760991 markings, 160294749 edges, 281398 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(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: 2966179 markings, 4192724 edges, 593236 markings/sec, 0 secs
lola: 5149304 markings, 7708424 edges, 436625 markings/sec, 5 secs
lola: 7318818 markings, 11208642 edges, 433903 markings/sec, 10 secs
lola: 9474154 markings, 14681171 edges, 431067 markings/sec, 15 secs
lola: 11641878 markings, 18176135 edges, 433545 markings/sec, 20 secs
lola: 13809344 markings, 21669426 edges, 433493 markings/sec, 25 secs
lola: 15954226 markings, 25129596 edges, 428976 markings/sec, 30 secs
lola: 18112581 markings, 28608706 edges, 431671 markings/sec, 35 secs
lola: 20287864 markings, 32114144 edges, 435057 markings/sec, 40 secs
lola: 22200651 markings, 35308267 edges, 382557 markings/sec, 45 secs
lola: 24029815 markings, 38447865 edges, 365833 markings/sec, 50 secs
lola: 25870617 markings, 41606985 edges, 368160 markings/sec, 55 secs
lola: 27715963 markings, 44770718 edges, 369069 markings/sec, 60 secs
lola: 29161088 markings, 47915497 edges, 289025 markings/sec, 65 secs
lola: 30322746 markings, 51012524 edges, 232332 markings/sec, 70 secs
lola: 31475172 markings, 54085053 edges, 230485 markings/sec, 75 secs
lola: 32638744 markings, 57187470 edges, 232714 markings/sec, 80 secs
lola: 33809619 markings, 60309064 edges, 234175 markings/sec, 85 secs
lola: 35064645 markings, 63417524 edges, 251005 markings/sec, 90 secs
lola: 36675271 markings, 66480451 edges, 322125 markings/sec, 95 secs
lola: 38283763 markings, 69548866 edges, 321698 markings/sec, 100 secs
lola: 39878655 markings, 72599765 edges, 318978 markings/sec, 105 secs
lola: 41487499 markings, 75666870 edges, 321769 markings/sec, 110 secs
lola: 43076307 markings, 78703799 edges, 317762 markings/sec, 115 secs
lola: 44695219 markings, 81794022 edges, 323782 markings/sec, 120 secs
lola: 46315192 markings, 84886936 edges, 323995 markings/sec, 125 secs
lola: 47900168 markings, 87919127 edges, 316995 markings/sec, 130 secs
lola: 49490062 markings, 90954834 edges, 317979 markings/sec, 135 secs
lola: 51077156 markings, 93983478 edges, 317419 markings/sec, 140 secs
lola: 52666846 markings, 97019559 edges, 317938 markings/sec, 145 secs
lola: 54261897 markings, 100067713 edges, 319010 markings/sec, 150 secs
lola: 55854965 markings, 103111884 edges, 318614 markings/sec, 155 secs
lola: 57458896 markings, 106173204 edges, 320786 markings/sec, 160 secs
lola: 59062721 markings, 109200922 edges, 320765 markings/sec, 165 secs
lola: 60621621 markings, 112128934 edges, 311780 markings/sec, 170 secs
lola: 62152073 markings, 115041946 edges, 306090 markings/sec, 175 secs
lola: 63677754 markings, 117933271 edges, 305136 markings/sec, 180 secs
lola: 65207616 markings, 120828279 edges, 305972 markings/sec, 185 secs
lola: 66747086 markings, 123711466 edges, 307894 markings/sec, 190 secs
lola: 68276550 markings, 126598454 edges, 305893 markings/sec, 195 secs
lola: 69793819 markings, 129459120 edges, 303454 markings/sec, 200 secs
lola: 71308861 markings, 132306756 edges, 303008 markings/sec, 205 secs
lola: 72809160 markings, 135151725 edges, 300060 markings/sec, 210 secs
lola: 74300781 markings, 137983715 edges, 298324 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(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: 1790814 markings, 4311780 edges, 358163 markings/sec, 0 secs
lola: 3412734 markings, 8284369 edges, 324384 markings/sec, 5 secs
lola: 4989307 markings, 12173255 edges, 315315 markings/sec, 10 secs
lola: 6535925 markings, 15973033 edges, 309324 markings/sec, 15 secs
lola: 8064021 markings, 19736465 edges, 305619 markings/sec, 20 secs
lola: 9583144 markings, 23481337 edges, 303825 markings/sec, 25 secs
lola: 11080767 markings, 27179314 edges, 299525 markings/sec, 30 secs
lola: 12560755 markings, 30835195 edges, 295998 markings/sec, 35 secs
lola: 14059350 markings, 34539733 edges, 299719 markings/sec, 40 secs
lola: 15541709 markings, 38207016 edges, 296472 markings/sec, 45 secs
lola: 17028027 markings, 41888698 edges, 297264 markings/sec, 50 secs
lola: 18502480 markings, 45536734 edges, 294891 markings/sec, 55 secs
lola: 19968223 markings, 49163950 edges, 293149 markings/sec, 60 secs
lola: 21430757 markings, 52775708 edges, 292507 markings/sec, 65 secs
lola: 22912875 markings, 56433017 edges, 296424 markings/sec, 70 secs
lola: 24386698 markings, 60079834 edges, 294765 markings/sec, 75 secs
lola: 25896211 markings, 63791932 edges, 301903 markings/sec, 80 secs
lola: 27369080 markings, 67432952 edges, 294574 markings/sec, 85 secs
lola: 28849772 markings, 71091618 edges, 296138 markings/sec, 90 secs
lola: 30319494 markings, 74726681 edges, 293944 markings/sec, 95 secs
lola: 31780350 markings, 78345859 edges, 292171 markings/sec, 100 secs
lola: 33248377 markings, 81978213 edges, 293605 markings/sec, 105 secs
lola: 34696875 markings, 85571878 edges, 289700 markings/sec, 110 secs
lola: 36143451 markings, 89151849 edges, 289315 markings/sec, 115 secs
lola: 37570366 markings, 92696345 edges, 285383 markings/sec, 120 secs
lola: 38994082 markings, 96229674 edges, 284743 markings/sec, 125 secs
lola: 40434528 markings, 99804114 edges, 288089 markings/sec, 130 secs
lola: 41877691 markings, 103384663 edges, 288633 markings/sec, 135 secs
lola: 43298119 markings, 106918540 edges, 284086 markings/sec, 140 secs
lola: 44735333 markings, 110493946 edges, 287443 markings/sec, 145 secs
lola: 46156932 markings, 114029882 edges, 284320 markings/sec, 150 secs
lola: 47583000 markings, 117578471 edges, 285214 markings/sec, 155 secs
lola: 49004384 markings, 121109757 edges, 284277 markings/sec, 160 secs
lola: 50421306 markings, 124630095 edges, 283384 markings/sec, 165 secs
lola: 51848134 markings, 128179400 edges, 285366 markings/sec, 170 secs
lola: 53269378 markings, 131711271 edges, 284249 markings/sec, 175 secs
lola: 54668325 markings, 135193710 edges, 279789 markings/sec, 180 secs
lola: 56094079 markings, 138735420 edges, 285151 markings/sec, 185 secs
lola: 57516116 markings, 142273160 edges, 284407 markings/sec, 190 secs
lola: 58933139 markings, 145800295 edges, 283405 markings/sec, 195 secs
lola: 60348768 markings, 149315147 edges, 283126 markings/sec, 200 secs
lola: 61777392 markings, 152874223 edges, 285725 markings/sec, 205 secs
lola: 63188098 markings, 156385137 edges, 282141 markings/sec, 210 secs
lola: 64603830 markings, 159903491 edges, 283146 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(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: 2924868 markings, 4873892 edges, 584974 markings/sec, 0 secs
lola: 5487914 markings, 9253888 edges, 512609 markings/sec, 5 secs
lola: 7684660 markings, 13139991 edges, 439349 markings/sec, 10 secs
lola: 9738474 markings, 16835440 edges, 410763 markings/sec, 15 secs
lola: 11724078 markings, 20447928 edges, 397121 markings/sec, 20 secs
lola: 13657895 markings, 23994718 edges, 386763 markings/sec, 25 secs
lola: 15565565 markings, 27514791 edges, 381534 markings/sec, 30 secs
lola: 17454878 markings, 31018227 edges, 377863 markings/sec, 35 secs
lola: 19330262 markings, 34512205 edges, 375077 markings/sec, 40 secs
lola: 21198912 markings, 38003450 edges, 373730 markings/sec, 45 secs
lola: 23041699 markings, 41458359 edges, 368557 markings/sec, 50 secs
lola: 24867541 markings, 44887830 edges, 365168 markings/sec, 55 secs
lola: 26672688 markings, 48288096 edges, 361029 markings/sec, 60 secs
lola: 28466913 markings, 51676367 edges, 358845 markings/sec, 65 secs
lola: 30241593 markings, 55029694 edges, 354936 markings/sec, 70 secs
lola: 32001920 markings, 58364601 edges, 352065 markings/sec, 75 secs
lola: 33767400 markings, 61712841 edges, 353096 markings/sec, 80 secs
lola: 35528242 markings, 65060394 edges, 352168 markings/sec, 85 secs
lola: 37283647 markings, 68399291 edges, 351081 markings/sec, 90 secs
lola: 39033529 markings, 71730096 edges, 349976 markings/sec, 95 secs
lola: 40771444 markings, 75044186 edges, 347583 markings/sec, 100 secs
lola: 42504496 markings, 78350535 edges, 346610 markings/sec, 105 secs
lola: 44228498 markings, 81643967 edges, 344800 markings/sec, 110 secs
lola: 45942995 markings, 84924322 edges, 342899 markings/sec, 115 secs
lola: 47623740 markings, 88140185 edges, 336149 markings/sec, 120 secs
lola: 49319482 markings, 91386163 edges, 339148 markings/sec, 125 secs
lola: 51341345 markings, 95006850 edges, 404373 markings/sec, 130 secs
lola: 53742846 markings, 99010092 edges, 480300 markings/sec, 135 secs
lola: 56117743 markings, 102969281 edges, 474979 markings/sec, 140 secs
lola: 58497087 markings, 106936103 edges, 475869 markings/sec, 145 secs
lola: 60115983 markings, 110415546 edges, 323779 markings/sec, 150 secs
lola: 60889105 markings, 113306022 edges, 154624 markings/sec, 155 secs
lola: 61689213 markings, 116167743 edges, 160022 markings/sec, 160 secs
lola: 62504021 markings, 118999859 edges, 162962 markings/sec, 165 secs
lola: 63324812 markings, 121792238 edges, 164158 markings/sec, 170 secs
lola: 64152205 markings, 124566337 edges, 165479 markings/sec, 175 secs
lola: 64990457 markings, 127334221 edges, 167650 markings/sec, 180 secs
lola: 65830928 markings, 130082071 edges, 168094 markings/sec, 185 secs
lola: 66671852 markings, 132808681 edges, 168185 markings/sec, 190 secs
lola: 67516763 markings, 135521522 edges, 168982 markings/sec, 195 secs
lola: 68385313 markings, 138298259 edges, 173710 markings/sec, 200 secs
lola: 69250617 markings, 141042123 edges, 173061 markings/sec, 205 secs
lola: 70117165 markings, 143779730 edges, 173310 markings/sec, 210 secs
lola: 70990740 markings, 146527523 edges, 174715 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 220 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: 3118496 markings, 4435384 edges, 623699 markings/sec, 0 secs
lola: 5371475 markings, 8066109 edges, 450596 markings/sec, 5 secs
lola: 7649683 markings, 11741211 edges, 455642 markings/sec, 10 secs
lola: 9921226 markings, 15404369 edges, 454309 markings/sec, 15 secs
lola: 12219638 markings, 19105601 edges, 459682 markings/sec, 20 secs
lola: 14513806 markings, 22806768 edges, 458834 markings/sec, 25 secs
lola: 16819441 markings, 26523094 edges, 461127 markings/sec, 30 secs
lola: 19138672 markings, 30259413 edges, 463846 markings/sec, 35 secs
lola: 21387274 markings, 33914762 edges, 449720 markings/sec, 40 secs
lola: 23287654 markings, 37176474 edges, 380076 markings/sec, 45 secs
lola: 25196507 markings, 40451065 edges, 381771 markings/sec, 50 secs
lola: 27103205 markings, 43720062 edges, 381340 markings/sec, 55 secs
lola: 28815898 markings, 46995207 edges, 342539 markings/sec, 60 secs
lola: 30027933 markings, 50226493 edges, 242407 markings/sec, 65 secs
lola: 31236339 markings, 53448499 edges, 241681 markings/sec, 70 secs
lola: 32450360 markings, 56685355 edges, 242804 markings/sec, 75 secs
lola: 33676429 markings, 59954096 edges, 245214 markings/sec, 80 secs
lola: 34959277 markings, 63212987 edges, 256570 markings/sec, 85 secs
lola: 36624322 markings, 66379285 edges, 333009 markings/sec, 90 secs
lola: 38285905 markings, 69551006 edges, 332317 markings/sec, 95 secs
lola: 39945098 markings, 72725754 edges, 331839 markings/sec, 100 secs
lola: 41619932 markings, 75922436 edges, 334967 markings/sec, 105 secs
lola: 43295326 markings, 79119612 edges, 335079 markings/sec, 110 secs
lola: 44970969 markings, 82322882 edges, 335129 markings/sec, 115 secs
lola: 46657504 markings, 85542662 edges, 337307 markings/sec, 120 secs
lola: 48297954 markings, 88674647 edges, 328090 markings/sec, 125 secs
lola: 49942961 markings, 91819755 edges, 329001 markings/sec, 130 secs
lola: 51586098 markings, 94953429 edges, 328627 markings/sec, 135 secs
lola: 53237930 markings, 98115061 edges, 330366 markings/sec, 140 secs
lola: 54893236 markings, 101276462 edges, 331061 markings/sec, 145 secs
lola: 56552862 markings, 104447249 edges, 331925 markings/sec, 150 secs
lola: 58222624 markings, 107631350 edges, 333952 markings/sec, 155 secs
lola: 59852192 markings, 110676239 edges, 325914 markings/sec, 160 secs
lola: 61426176 markings, 113682139 edges, 314797 markings/sec, 165 secs
lola: 63000995 markings, 116633931 edges, 314964 markings/sec, 170 secs
lola: 64554034 markings, 119600825 edges, 310608 markings/sec, 175 secs
lola: 66125685 markings, 122550585 edges, 314330 markings/sec, 180 secs
lola: 67689423 markings, 125486516 edges, 312748 markings/sec, 185 secs
lola: 69249772 markings, 128427220 edges, 312070 markings/sec, 190 secs
lola: 70802770 markings, 131360829 edges, 310600 markings/sec, 195 secs
lola: 72356955 markings, 134304554 edges, 310837 markings/sec, 200 secs
lola: 73900063 markings, 137216557 edges, 308622 markings/sec, 205 secs
lola: 75428596 markings, 140134901 edges, 305707 markings/sec, 210 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(TaskSuspended)
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: 2881488 markings, 4801776 edges, 576298 markings/sec, 0 secs
lola: 5486457 markings, 9250954 edges, 520994 markings/sec, 5 secs
lola: 7681992 markings, 13134306 edges, 439107 markings/sec, 10 secs
lola: 9736928 markings, 16832750 edges, 410987 markings/sec, 15 secs
lola: 11728683 markings, 20456431 edges, 398351 markings/sec, 20 secs
lola: 13666230 markings, 24010543 edges, 387509 markings/sec, 25 secs
lola: 15582846 markings, 27546265 edges, 383323 markings/sec, 30 secs
lola: 17476932 markings, 31059813 edges, 378817 markings/sec, 35 secs
lola: 19356242 markings, 34558955 edges, 375862 markings/sec, 40 secs
lola: 21227119 markings, 38054848 edges, 374175 markings/sec, 45 secs
lola: 23077142 markings, 41524221 edges, 370005 markings/sec, 50 secs
lola: 24907837 markings, 44965350 edges, 366139 markings/sec, 55 secs
lola: 26722507 markings, 48382865 edges, 362934 markings/sec, 60 secs
lola: 28522756 markings, 51781732 edges, 360050 markings/sec, 65 secs
lola: 30305085 markings, 55152118 edges, 356466 markings/sec, 70 secs
lola: 32076780 markings, 58505629 edges, 354339 markings/sec, 75 secs
lola: 33841765 markings, 61854993 edges, 352997 markings/sec, 80 secs
lola: 35605069 markings, 65204415 edges, 352661 markings/sec, 85 secs
lola: 37356679 markings, 68536239 edges, 350322 markings/sec, 90 secs
lola: 39101510 markings, 71860677 edges, 348966 markings/sec, 95 secs
lola: 40838874 markings, 75172388 edges, 347473 markings/sec, 100 secs
lola: 42571063 markings, 78477230 edges, 346438 markings/sec, 105 secs
lola: 44294852 markings, 81771831 edges, 344758 markings/sec, 110 secs
lola: 46009958 markings, 85051241 edges, 343021 markings/sec, 115 secs
lola: 47718388 markings, 88321045 edges, 341686 markings/sec, 120 secs
lola: 49424547 markings, 91586093 edges, 341232 markings/sec, 125 secs
lola: 51534790 markings, 95329058 edges, 422049 markings/sec, 130 secs
lola: 53942070 markings, 99342387 edges, 481456 markings/sec, 135 secs
lola: 56343933 markings, 103346568 edges, 480373 markings/sec, 140 secs
lola: 58740423 markings, 107341707 edges, 479298 markings/sec, 145 secs
lola: 60197015 markings, 110722544 edges, 291318 markings/sec, 150 secs
lola: 60989931 markings, 113671055 edges, 158583 markings/sec, 155 secs
lola: 61801185 markings, 116561184 edges, 162251 markings/sec, 160 secs
lola: 62624295 markings, 119412987 edges, 164622 markings/sec, 165 secs
lola: 63462801 markings, 122258065 edges, 167701 markings/sec, 170 secs
lola: 64306010 markings, 125073776 edges, 168642 markings/sec, 175 secs
lola: 65147595 markings, 127848021 edges, 168317 markings/sec, 180 secs
lola: 65990029 markings, 130598701 edges, 168487 markings/sec, 185 secs
lola: 66837372 markings, 133338633 edges, 169469 markings/sec, 190 secs
lola: 67687287 markings, 136069646 edges, 169983 markings/sec, 195 secs
lola: 68568560 markings, 138883425 edges, 176255 markings/sec, 200 secs
lola: 69442247 markings, 141653824 edges, 174737 markings/sec, 205 secs
lola: 70316155 markings, 144408501 edges, 174782 markings/sec, 210 secs
lola: 71190720 markings, 147151575 edges, 174913 markings/sec, 215 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(ExecutingTask)
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: 2874039 markings, 4311064 edges, 574808 markings/sec, 0 secs
lola: 5180643 markings, 8011207 edges, 461321 markings/sec, 5 secs
lola: 7164036 markings, 11538613 edges, 396679 markings/sec, 10 secs
lola: 8991288 markings, 14964328 edges, 365450 markings/sec, 15 secs
lola: 10729208 markings, 18332569 edges, 347584 markings/sec, 20 secs
lola: 12397144 markings, 21649116 edges, 333587 markings/sec, 25 secs
lola: 14021475 markings, 24953528 edges, 324866 markings/sec, 30 secs
lola: 15625349 markings, 28281648 edges, 320775 markings/sec, 35 secs
lola: 17210857 markings, 31623502 edges, 317102 markings/sec, 40 secs
lola: 18774086 markings, 34970792 edges, 312646 markings/sec, 45 secs
lola: 20326758 markings, 38330646 edges, 310534 markings/sec, 50 secs
lola: 21864074 markings, 41692548 edges, 307463 markings/sec, 55 secs
lola: 23379241 markings, 45043714 edges, 303033 markings/sec, 60 secs
lola: 24880384 markings, 48384268 edges, 300229 markings/sec, 65 secs
lola: 26358048 markings, 51697182 edges, 295533 markings/sec, 70 secs
lola: 27818192 markings, 54980458 edges, 292029 markings/sec, 75 secs
lola: 29304816 markings, 58304117 edges, 297325 markings/sec, 80 secs
lola: 30793046 markings, 61624575 edges, 297646 markings/sec, 85 secs
lola: 32285211 markings, 64946514 edges, 298433 markings/sec, 90 secs
lola: 33779200 markings, 68259305 edges, 298798 markings/sec, 95 secs
lola: 35277419 markings, 71576320 edges, 299644 markings/sec, 100 secs
lola: 36771258 markings, 74875276 edges, 298768 markings/sec, 105 secs
lola: 38267852 markings, 78168598 edges, 299319 markings/sec, 110 secs
lola: 39759250 markings, 81453588 edges, 298280 markings/sec, 115 secs
lola: 41250397 markings, 84725348 edges, 298229 markings/sec, 120 secs
lola: 42740308 markings, 87986650 edges, 297982 markings/sec, 125 secs
lola: 44227073 markings, 91241984 edges, 297353 markings/sec, 130 secs
lola: 45717381 markings, 94498535 edges, 298062 markings/sec, 135 secs
lola: 48322683 markings, 99074266 edges, 521060 markings/sec, 140 secs
lola: 50952304 markings, 103458149 edges, 525924 markings/sec, 145 secs
lola: 53338231 markings, 107289163 edges, 477185 markings/sec, 150 secs
lola: 55223123 markings, 110119569 edges, 376978 markings/sec, 155 secs
lola: 57009086 markings, 112801436 edges, 357193 markings/sec, 160 secs
lola: 58759660 markings, 115430147 edges, 350115 markings/sec, 165 secs
lola: 60510411 markings, 118100162 edges, 350150 markings/sec, 170 secs
lola: 62412329 markings, 121093002 edges, 380384 markings/sec, 175 secs
lola: 64269337 markings, 124108158 edges, 371402 markings/sec, 180 secs
lola: 66492481 markings, 127808498 edges, 444629 markings/sec, 185 secs
lola: 68836045 markings, 131717109 edges, 468713 markings/sec, 190 secs
lola: 71210242 markings, 135373589 edges, 474839 markings/sec, 195 secs
lola: 72989507 markings, 138158638 edges, 355853 markings/sec, 200 secs
lola: 75091492 markings, 141447588 edges, 420397 markings/sec, 205 secs
lola: 76962201 markings, 145015239 edges, 374142 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(FreeMemSegment)
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: 2084227 markings, 4905253 edges, 416845 markings/sec, 0 secs
lola: 3922944 markings, 9302931 edges, 367743 markings/sec, 5 secs
lola: 5728881 markings, 13625907 edges, 361187 markings/sec, 10 secs
lola: 7498571 markings, 17863317 edges, 353938 markings/sec, 15 secs
lola: 9244545 markings, 22045356 edges, 349195 markings/sec, 20 secs
lola: 10988906 markings, 26223749 edges, 348872 markings/sec, 25 secs
lola: 12709795 markings, 30345907 edges, 344178 markings/sec, 30 secs
lola: 14400094 markings, 34395351 edges, 338060 markings/sec, 35 secs
lola: 16068301 markings, 38392262 edges, 333641 markings/sec, 40 secs
lola: 17737169 markings, 42390369 edges, 333774 markings/sec, 45 secs
lola: 19396338 markings, 46366376 edges, 331834 markings/sec, 50 secs
lola: 21054664 markings, 50339513 edges, 331665 markings/sec, 55 secs
lola: 22714906 markings, 54317485 edges, 332048 markings/sec, 60 secs
lola: 24376774 markings, 58299632 edges, 332374 markings/sec, 65 secs
lola: 26014889 markings, 62225570 edges, 327623 markings/sec, 70 secs
lola: 27661835 markings, 66171928 edges, 329389 markings/sec, 75 secs
lola: 29287986 markings, 70068652 edges, 325230 markings/sec, 80 secs
lola: 30911956 markings, 73961098 edges, 324794 markings/sec, 85 secs
lola: 32555736 markings, 77899347 edges, 328756 markings/sec, 90 secs
lola: 34164692 markings, 81754857 edges, 321791 markings/sec, 95 secs
lola: 35782352 markings, 85631914 edges, 323532 markings/sec, 100 secs
lola: 37425198 markings, 89568443 edges, 328569 markings/sec, 105 secs
lola: 39026220 markings, 93405560 edges, 320204 markings/sec, 110 secs
lola: 40639716 markings, 97272748 edges, 322699 markings/sec, 115 secs
lola: 42213920 markings, 101045725 edges, 314841 markings/sec, 120 secs
lola: 43802369 markings, 104852360 edges, 317690 markings/sec, 125 secs
lola: 45402433 markings, 108687070 edges, 320013 markings/sec, 130 secs
lola: 46980518 markings, 112469281 edges, 315617 markings/sec, 135 secs
lola: 48550477 markings, 116230816 edges, 313992 markings/sec, 140 secs
lola: 50106415 markings, 119961432 edges, 311188 markings/sec, 145 secs
lola: 51662156 markings, 123690253 edges, 311148 markings/sec, 150 secs
lola: 53246506 markings, 127487447 edges, 316870 markings/sec, 155 secs
lola: 54794891 markings, 131198224 edges, 309677 markings/sec, 160 secs
lola: 56365200 markings, 134961725 edges, 314062 markings/sec, 165 secs
lola: 57934563 markings, 138722064 edges, 313873 markings/sec, 170 secs
lola: 59519998 markings, 142522550 edges, 317087 markings/sec, 175 secs
lola: 61096329 markings, 146300653 edges, 315266 markings/sec, 180 secs
lola: 62666976 markings, 150065137 edges, 314129 markings/sec, 185 secs
lola: 64233670 markings, 153820981 edges, 313339 markings/sec, 190 secs
lola: 65814090 markings, 157609524 edges, 316084 markings/sec, 195 secs
lola: 67386108 markings, 161378230 edges, 314404 markings/sec, 200 secs
lola: 68960995 markings, 165152301 edges, 314977 markings/sec, 205 secs
lola: 70523642 markings, 168897336 edges, 312529 markings/sec, 210 secs
lola: 72072005 markings, 172608953 edges, 309673 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(FreeMemSegment)
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: 2082273 markings, 4900579 edges, 416455 markings/sec, 0 secs
lola: 3938423 markings, 9339798 edges, 371230 markings/sec, 5 secs
lola: 5749953 markings, 13676341 edges, 362306 markings/sec, 10 secs
lola: 7524201 markings, 17924788 edges, 354850 markings/sec, 15 secs
lola: 9280629 markings, 22131435 edges, 351286 markings/sec, 20 secs
lola: 11028568 markings, 26318751 edges, 349588 markings/sec, 25 secs
lola: 12756395 markings, 30457408 edges, 345565 markings/sec, 30 secs
lola: 14452590 markings, 34521199 edges, 339239 markings/sec, 35 secs
lola: 16147327 markings, 38581473 edges, 338947 markings/sec, 40 secs
lola: 17841975 markings, 42641534 edges, 338930 markings/sec, 45 secs
lola: 19520137 markings, 46662964 edges, 335632 markings/sec, 50 secs
lola: 21203414 markings, 50696152 edges, 336655 markings/sec, 55 secs
lola: 22877069 markings, 54705532 edges, 334731 markings/sec, 60 secs
lola: 24554384 markings, 58725427 edges, 335463 markings/sec, 65 secs
lola: 26203527 markings, 62677591 edges, 329829 markings/sec, 70 secs
lola: 27861629 markings, 66650807 edges, 331620 markings/sec, 75 secs
lola: 29505752 markings, 70590549 edges, 328825 markings/sec, 80 secs
lola: 31123906 markings, 74469005 edges, 323631 markings/sec, 85 secs
lola: 32774137 markings, 78422662 edges, 330046 markings/sec, 90 secs
lola: 34385564 markings, 82284044 edges, 322285 markings/sec, 95 secs
lola: 36014957 markings, 86188818 edges, 325879 markings/sec, 100 secs
lola: 37643845 markings, 90092172 edges, 325778 markings/sec, 105 secs
lola: 39256212 markings, 93956130 edges, 322473 markings/sec, 110 secs
lola: 40846814 markings, 97769068 edges, 318120 markings/sec, 115 secs
lola: 42462204 markings, 101640579 edges, 323078 markings/sec, 120 secs
lola: 44094180 markings, 105551977 edges, 326395 markings/sec, 125 secs
lola: 45729952 markings, 109472165 edges, 327154 markings/sec, 130 secs
lola: 47332225 markings, 113311695 edges, 320455 markings/sec, 135 secs
lola: 48934317 markings, 117151579 edges, 320418 markings/sec, 140 secs
lola: 50534052 markings, 120986252 edges, 319947 markings/sec, 145 secs
lola: 52152212 markings, 124864716 edges, 323632 markings/sec, 150 secs
lola: 53743172 markings, 128677822 edges, 318192 markings/sec, 155 secs
lola: 55367305 markings, 132569859 edges, 324827 markings/sec, 160 secs
lola: 56963841 markings, 136395768 edges, 319307 markings/sec, 165 secs
lola: 58534288 markings, 140159957 edges, 314089 markings/sec, 170 secs
lola: 60140846 markings, 144010543 edges, 321312 markings/sec, 175 secs
lola: 61723885 markings, 147805181 edges, 316608 markings/sec, 180 secs
lola: 63329737 markings, 151654311 edges, 321170 markings/sec, 185 secs
lola: 64931109 markings, 155491989 edges, 320274 markings/sec, 190 secs
lola: 66512410 markings, 159283548 edges, 316260 markings/sec, 195 secs
lola: 68110913 markings, 163114895 edges, 319701 markings/sec, 200 secs
lola: 69703768 markings, 166932499 edges, 318571 markings/sec, 205 secs
lola: 71299050 markings, 170756616 edges, 319056 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(ExecutingTask)
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: 2873952 markings, 4310930 edges, 574790 markings/sec, 0 secs
lola: 5183726 markings, 8016763 edges, 461955 markings/sec, 5 secs
lola: 7155629 markings, 11523687 edges, 394381 markings/sec, 10 secs
lola: 8976938 markings, 14935456 edges, 364262 markings/sec, 15 secs
lola: 10701603 markings, 18280586 edges, 344933 markings/sec, 20 secs
lola: 12360717 markings, 21574122 edges, 331823 markings/sec, 25 secs
lola: 13975475 markings, 24858832 edges, 322952 markings/sec, 30 secs
lola: 15578550 markings, 28181731 edges, 320615 markings/sec, 35 secs
lola: 17161620 markings, 31518888 edges, 316614 markings/sec, 40 secs
lola: 18737478 markings, 34889313 edges, 315172 markings/sec, 45 secs
lola: 20298215 markings, 38268325 edges, 312147 markings/sec, 50 secs
lola: 21849238 markings, 41660054 edges, 310205 markings/sec, 55 secs
lola: 23381513 markings, 45048978 edges, 306455 markings/sec, 60 secs
lola: 24904508 markings, 48439798 edges, 304599 markings/sec, 65 secs
lola: 26412309 markings, 51822886 edges, 301560 markings/sec, 70 secs
lola: 27911842 markings, 55185646 edges, 299907 markings/sec, 75 secs
lola: 29414872 markings, 58547450 edges, 300606 markings/sec, 80 secs
lola: 30923323 markings, 61912552 edges, 301690 markings/sec, 85 secs
lola: 32435530 markings, 65277887 edges, 302441 markings/sec, 90 secs
lola: 33948078 markings, 68631918 edges, 302510 markings/sec, 95 secs
lola: 35462980 markings, 71981293 edges, 302980 markings/sec, 100 secs
lola: 36971563 markings, 75318006 edges, 301717 markings/sec, 105 secs
lola: 38485540 markings, 78651315 edges, 302795 markings/sec, 110 secs
lola: 39999744 markings, 81975585 edges, 302841 markings/sec, 115 secs
lola: 41505788 markings, 85284602 edges, 301209 markings/sec, 120 secs
lola: 43014324 markings, 88586301 edges, 301707 markings/sec, 125 secs
lola: 44518781 markings, 91879431 edges, 300891 markings/sec, 130 secs
lola: 46026600 markings, 95169034 edges, 301564 markings/sec, 135 secs
lola: 48980702 markings, 100171347 edges, 590820 markings/sec, 140 secs
lola: 51565107 markings, 104479371 edges, 516881 markings/sec, 145 secs
lola: 53813535 markings, 108002896 edges, 449686 markings/sec, 150 secs
lola: 55688190 markings, 110817927 edges, 374931 markings/sec, 155 secs
lola: 57480818 markings, 113509788 edges, 358526 markings/sec, 160 secs
lola: 59230953 markings, 116140856 edges, 350027 markings/sec, 165 secs
lola: 60981071 markings, 118831799 edges, 350024 markings/sec, 170 secs
lola: 62779547 markings, 121682019 edges, 359695 markings/sec, 175 secs
lola: 64687198 markings, 124799137 edges, 381530 markings/sec, 180 secs
lola: 67019953 markings, 128687704 edges, 466551 markings/sec, 185 secs
lola: 69404830 markings, 132586165 edges, 476975 markings/sec, 190 secs
lola: 71724463 markings, 136155479 edges, 463927 markings/sec, 195 secs
lola: 73281379 markings, 138620846 edges, 311383 markings/sec, 200 secs
lola: 75472327 markings, 142019966 edges, 438190 markings/sec, 205 secs
lola: 77175429 markings, 145351940 edges, 340620 markings/sec, 210 secs
lola: 78844943 markings, 148166019 edges, 333903 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknownlola:
caught signal User defined signal 1 - aborting LoLA
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA SmallOperatingSystem-PT-MT4096DC1024-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496560258483
--------------------
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="S_SmallOperatingSystem-PT-MT4096DC1024"
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/S_SmallOperatingSystem-PT-MT4096DC1024.tgz
mv S_SmallOperatingSystem-PT-MT4096DC1024 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 S_SmallOperatingSystem-PT-MT4096DC1024, 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 r158-ebro-149443463900029"
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 ;