About the Execution of LoLA for S_DES-PT-40a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
4017.820 | 3540174.00 | 3556533.00 | 500.10 | ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? | 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_DES-PT-40a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455700299
=====================================================================
--------------------
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 DES-PT-40a-UpperBounds-0
FORMULA_NAME DES-PT-40a-UpperBounds-1
FORMULA_NAME DES-PT-40a-UpperBounds-10
FORMULA_NAME DES-PT-40a-UpperBounds-11
FORMULA_NAME DES-PT-40a-UpperBounds-12
FORMULA_NAME DES-PT-40a-UpperBounds-13
FORMULA_NAME DES-PT-40a-UpperBounds-14
FORMULA_NAME DES-PT-40a-UpperBounds-15
FORMULA_NAME DES-PT-40a-UpperBounds-2
FORMULA_NAME DES-PT-40a-UpperBounds-3
FORMULA_NAME DES-PT-40a-UpperBounds-4
FORMULA_NAME DES-PT-40a-UpperBounds-5
FORMULA_NAME DES-PT-40a-UpperBounds-6
FORMULA_NAME DES-PT-40a-UpperBounds-7
FORMULA_NAME DES-PT-40a-UpperBounds-8
FORMULA_NAME DES-PT-40a-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496454653273
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DES-PT-40a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_DES-PT-40a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DES-PT-40a @ 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: 505/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 274 places, 231 transitions, 215 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 256 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-40a-UpperBounds.task
lola: MAX(p58) : MAX(p196) : MAX(p216) : MAX(p143) : MAX(p217) : MAX(p219) : MAX(p273) : MAX(p141) : MAX(p270) : MAX(p149) : MAX(p202) : MAX(p12) : MAX(p166) : MAX(p173) : MAX(p136) : MAX(p151)
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(p58)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 869545 markings, 1640424 edges, 173909 markings/sec, 0 secs
lola: 1646841 markings, 3252261 edges, 155459 markings/sec, 5 secs
lola: 2403344 markings, 4895893 edges, 151301 markings/sec, 10 secs
lola: 3168705 markings, 6476099 edges, 153072 markings/sec, 15 secs
lola: 3914058 markings, 8102774 edges, 149071 markings/sec, 20 secs
lola: 4669232 markings, 9689513 edges, 151035 markings/sec, 25 secs
lola: 5418825 markings, 11286603 edges, 149919 markings/sec, 30 secs
lola: 6161076 markings, 12895677 edges, 148450 markings/sec, 35 secs
lola: 6905619 markings, 14464192 edges, 148909 markings/sec, 40 secs
lola: 7639094 markings, 16067183 edges, 146695 markings/sec, 45 secs
lola: 8385078 markings, 17626312 edges, 149197 markings/sec, 50 secs
lola: 9115364 markings, 19225426 edges, 146057 markings/sec, 55 secs
lola: 9854721 markings, 20784773 edges, 147871 markings/sec, 60 secs
lola: 10586456 markings, 22380097 edges, 146347 markings/sec, 65 secs
lola: 11326609 markings, 23924276 edges, 148031 markings/sec, 70 secs
lola: 12050411 markings, 25508855 edges, 144760 markings/sec, 75 secs
lola: 12787841 markings, 27038821 edges, 147486 markings/sec, 80 secs
lola: 13499623 markings, 28614493 edges, 142356 markings/sec, 85 secs
lola: 14237217 markings, 30135722 edges, 147519 markings/sec, 90 secs
lola: 14950571 markings, 31701828 edges, 142671 markings/sec, 95 secs
lola: 15679513 markings, 33219955 edges, 145788 markings/sec, 100 secs
lola: 16393466 markings, 34780404 edges, 142791 markings/sec, 105 secs
lola: 17117930 markings, 36302760 edges, 144893 markings/sec, 110 secs
lola: 17839687 markings, 37853993 edges, 144351 markings/sec, 115 secs
lola: 18559739 markings, 39391320 edges, 144010 markings/sec, 120 secs
lola: 19285166 markings, 40926927 edges, 145085 markings/sec, 125 secs
lola: 20002896 markings, 42486336 edges, 143546 markings/sec, 130 secs
lola: 20725956 markings, 44005851 edges, 144612 markings/sec, 135 secs
lola: 21436968 markings, 45555327 edges, 142202 markings/sec, 140 secs
lola: 22152041 markings, 47059472 edges, 143015 markings/sec, 145 secs
lola: 22855833 markings, 48593970 edges, 140758 markings/sec, 150 secs
lola: 23593120 markings, 50131685 edges, 147457 markings/sec, 155 secs
lola: 24412175 markings, 51706556 edges, 163811 markings/sec, 160 secs
lola: 25225536 markings, 53371866 edges, 162672 markings/sec, 165 secs
lola: 25995599 markings, 55040976 edges, 154013 markings/sec, 170 secs
lola: 26760068 markings, 56653544 edges, 152894 markings/sec, 175 secs
lola: 27505331 markings, 58277169 edges, 149053 markings/sec, 180 secs
lola: 28243755 markings, 59911011 edges, 147685 markings/sec, 185 secs
lola: 28982181 markings, 61513667 edges, 147685 markings/sec, 190 secs
lola: 29704359 markings, 63055584 edges, 144436 markings/sec, 195 secs
lola: 30457190 markings, 64680954 edges, 150566 markings/sec, 200 secs
lola: 31157666 markings, 66279483 edges, 140095 markings/sec, 205 secs
lola: 31882899 markings, 67867754 edges, 145047 markings/sec, 210 secs
lola: 32606081 markings, 69400282 edges, 144636 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(p196)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 1392948 markings, 1788846 edges, 278590 markings/sec, 0 secs
lola: 2701053 markings, 3545549 edges, 261621 markings/sec, 5 secs
lola: 3970622 markings, 5277728 edges, 253914 markings/sec, 10 secs
lola: 5211213 markings, 6967396 edges, 248118 markings/sec, 15 secs
lola: 6448800 markings, 8644446 edges, 247517 markings/sec, 20 secs
lola: 7654099 markings, 10293919 edges, 241060 markings/sec, 25 secs
lola: 8836111 markings, 11899235 edges, 236402 markings/sec, 30 secs
lola: 10025275 markings, 13514709 edges, 237833 markings/sec, 35 secs
lola: 11186932 markings, 15101214 edges, 232331 markings/sec, 40 secs
lola: 12344113 markings, 16680581 edges, 231436 markings/sec, 45 secs
lola: 13478035 markings, 18213732 edges, 226784 markings/sec, 50 secs
lola: 14626253 markings, 19775795 edges, 229644 markings/sec, 55 secs
lola: 15772604 markings, 21346955 edges, 229270 markings/sec, 60 secs
lola: 16924225 markings, 22910172 edges, 230324 markings/sec, 65 secs
lola: 18051254 markings, 24439890 edges, 225406 markings/sec, 70 secs
lola: 19165187 markings, 25953553 edges, 222787 markings/sec, 75 secs
lola: 20262870 markings, 27459402 edges, 219537 markings/sec, 80 secs
lola: 21369730 markings, 28967404 edges, 221372 markings/sec, 85 secs
lola: 22475210 markings, 30460926 edges, 221096 markings/sec, 90 secs
lola: 23544209 markings, 31916357 edges, 213800 markings/sec, 95 secs
lola: 24619908 markings, 33383038 edges, 215140 markings/sec, 100 secs
lola: 25696882 markings, 34859549 edges, 215395 markings/sec, 105 secs
lola: 26776623 markings, 36326455 edges, 215948 markings/sec, 110 secs
lola: 27837091 markings, 37760765 edges, 212094 markings/sec, 115 secs
lola: 28909259 markings, 39222330 edges, 214434 markings/sec, 120 secs
lola: 29995129 markings, 40698376 edges, 217174 markings/sec, 125 secs
lola: 31066583 markings, 42166357 edges, 214291 markings/sec, 130 secs
lola: 32136262 markings, 43623241 edges, 213936 markings/sec, 135 secs
lola: 33206360 markings, 45069216 edges, 214020 markings/sec, 140 secs
lola: 34266879 markings, 46529884 edges, 212104 markings/sec, 145 secs
lola: 35231113 markings, 47959364 edges, 192847 markings/sec, 150 secs
lola: 36228867 markings, 49431171 edges, 199551 markings/sec, 155 secs
lola: 37542334 markings, 51151519 edges, 262693 markings/sec, 160 secs
lola: 38812985 markings, 52880768 edges, 254130 markings/sec, 165 secs
lola: 40115921 markings, 54616020 edges, 260587 markings/sec, 170 secs
lola: 41299962 markings, 56285397 edges, 236808 markings/sec, 175 secs
lola: 42576683 markings, 58008033 edges, 255344 markings/sec, 180 secs
lola: 43753376 markings, 59692800 edges, 235339 markings/sec, 185 secs
lola: 44980460 markings, 61354273 edges, 245417 markings/sec, 190 secs
lola: 46160733 markings, 63008041 edges, 236055 markings/sec, 195 secs
lola: 47343357 markings, 64642033 edges, 236525 markings/sec, 200 secs
lola: 48528891 markings, 66267379 edges, 237107 markings/sec, 205 secs
lola: 49672284 markings, 67905563 edges, 228679 markings/sec, 210 secs
lola: 50905845 markings, 69572119 edges, 246712 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(p216)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 896861 markings, 1650967 edges, 179372 markings/sec, 0 secs
lola: 1854188 markings, 3347119 edges, 191465 markings/sec, 5 secs
lola: 2823176 markings, 5078437 edges, 193798 markings/sec, 10 secs
lola: 3723109 markings, 6794892 edges, 179987 markings/sec, 15 secs
lola: 4637623 markings, 8503366 edges, 182903 markings/sec, 20 secs
lola: 5553958 markings, 10203775 edges, 183267 markings/sec, 25 secs
lola: 6423588 markings, 11898969 edges, 173926 markings/sec, 30 secs
lola: 7345719 markings, 13581714 edges, 184426 markings/sec, 35 secs
lola: 8201641 markings, 15254988 edges, 171184 markings/sec, 40 secs
lola: 9094007 markings, 16903285 edges, 178473 markings/sec, 45 secs
lola: 9948903 markings, 18533888 edges, 170979 markings/sec, 50 secs
lola: 10796712 markings, 20143651 edges, 169562 markings/sec, 55 secs
lola: 11680188 markings, 21772654 edges, 176695 markings/sec, 60 secs
lola: 12512731 markings, 23403294 edges, 166509 markings/sec, 65 secs
lola: 13398364 markings, 25015384 edges, 177127 markings/sec, 70 secs
lola: 14211005 markings, 26621519 edges, 162528 markings/sec, 75 secs
lola: 15072190 markings, 28191234 edges, 172237 markings/sec, 80 secs
lola: 15887009 markings, 29765271 edges, 162964 markings/sec, 85 secs
lola: 16722137 markings, 31316916 edges, 167026 markings/sec, 90 secs
lola: 17531742 markings, 32866560 edges, 161921 markings/sec, 95 secs
lola: 18352418 markings, 34414903 edges, 164135 markings/sec, 100 secs
lola: 19171186 markings, 35944864 edges, 163754 markings/sec, 105 secs
lola: 19977499 markings, 37491655 edges, 161263 markings/sec, 110 secs
lola: 20803174 markings, 39009663 edges, 165135 markings/sec, 115 secs
lola: 21593214 markings, 40552380 edges, 158008 markings/sec, 120 secs
lola: 22420920 markings, 42061299 edges, 165541 markings/sec, 125 secs
lola: 23189348 markings, 43575728 edges, 153686 markings/sec, 130 secs
lola: 24017433 markings, 45076211 edges, 165617 markings/sec, 135 secs
lola: 24788867 markings, 46609537 edges, 154287 markings/sec, 140 secs
lola: 25621728 markings, 48110735 edges, 166572 markings/sec, 145 secs
lola: 26390909 markings, 49633606 edges, 153836 markings/sec, 150 secs
lola: 27216909 markings, 51133977 edges, 165200 markings/sec, 155 secs
lola: 27989052 markings, 52640535 edges, 154429 markings/sec, 160 secs
lola: 28801034 markings, 54128338 edges, 162396 markings/sec, 165 secs
lola: 29573078 markings, 55624767 edges, 154409 markings/sec, 170 secs
lola: 30376372 markings, 57104637 edges, 160659 markings/sec, 175 secs
lola: 31142969 markings, 58587321 edges, 153319 markings/sec, 180 secs
lola: 31937465 markings, 60061063 edges, 158899 markings/sec, 185 secs
lola: 32703843 markings, 61538276 edges, 153276 markings/sec, 190 secs
lola: 33497068 markings, 63013972 edges, 158645 markings/sec, 195 secs
lola: 34264640 markings, 64484266 edges, 153514 markings/sec, 200 secs
lola: 35042931 markings, 65939550 edges, 155658 markings/sec, 205 secs
lola: 35811454 markings, 67400625 edges, 153705 markings/sec, 210 secs
lola: 36589481 markings, 68869144 edges, 155605 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(p143)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 936093 markings, 1226373 edges, 187219 markings/sec, 0 secs
lola: 1883774 markings, 2472514 edges, 189536 markings/sec, 5 secs
lola: 2814218 markings, 3695706 edges, 186089 markings/sec, 10 secs
lola: 3730499 markings, 4880217 edges, 183256 markings/sec, 15 secs
lola: 4657154 markings, 6095800 edges, 185331 markings/sec, 20 secs
lola: 5587904 markings, 7322861 edges, 186150 markings/sec, 25 secs
lola: 6511926 markings, 8509458 edges, 184804 markings/sec, 30 secs
lola: 7428442 markings, 9769962 edges, 183303 markings/sec, 35 secs
lola: 8321372 markings, 11037975 edges, 178586 markings/sec, 40 secs
lola: 9337732 markings, 12418990 edges, 203272 markings/sec, 45 secs
lola: 10324750 markings, 13744861 edges, 197404 markings/sec, 50 secs
lola: 11283219 markings, 15013065 edges, 191694 markings/sec, 55 secs
lola: 12242256 markings, 16292166 edges, 191807 markings/sec, 60 secs
lola: 13155464 markings, 17494070 edges, 182642 markings/sec, 65 secs
lola: 14097205 markings, 18736659 edges, 188348 markings/sec, 70 secs
lola: 14985848 markings, 19951345 edges, 177729 markings/sec, 75 secs
lola: 15884077 markings, 21161807 edges, 179646 markings/sec, 80 secs
lola: 16850454 markings, 22482734 edges, 193275 markings/sec, 85 secs
lola: 17712551 markings, 23824180 edges, 172419 markings/sec, 90 secs
lola: 18698303 markings, 25221332 edges, 197150 markings/sec, 95 secs
lola: 19518459 markings, 26602465 edges, 164031 markings/sec, 100 secs
lola: 20429994 markings, 28016830 edges, 182307 markings/sec, 105 secs
lola: 21389036 markings, 29425456 edges, 191808 markings/sec, 110 secs
lola: 22347124 markings, 30739895 edges, 191618 markings/sec, 115 secs
lola: 23308455 markings, 32004201 edges, 192266 markings/sec, 120 secs
lola: 24258295 markings, 33239667 edges, 189968 markings/sec, 125 secs
lola: 25196526 markings, 34470454 edges, 187646 markings/sec, 130 secs
lola: 26119949 markings, 35729221 edges, 184685 markings/sec, 135 secs
lola: 27056420 markings, 36970762 edges, 187294 markings/sec, 140 secs
lola: 27941004 markings, 38273880 edges, 176917 markings/sec, 145 secs
lola: 28799216 markings, 39603431 edges, 171642 markings/sec, 150 secs
lola: 29782529 markings, 41012282 edges, 196663 markings/sec, 155 secs
lola: 30756237 markings, 42381131 edges, 194742 markings/sec, 160 secs
lola: 31731520 markings, 43675261 edges, 195057 markings/sec, 165 secs
lola: 32707012 markings, 44965613 edges, 195098 markings/sec, 170 secs
lola: 33660471 markings, 46237021 edges, 190692 markings/sec, 175 secs
lola: 34559494 markings, 47528326 edges, 179805 markings/sec, 180 secs
lola: 35477377 markings, 48817665 edges, 183577 markings/sec, 185 secs
lola: 36371740 markings, 50181802 edges, 178873 markings/sec, 190 secs
lola: 37206382 markings, 51591274 edges, 166928 markings/sec, 195 secs
lola: 38187574 markings, 53083721 edges, 196238 markings/sec, 200 secs
lola: 38949507 markings, 54515331 edges, 152387 markings/sec, 205 secs
lola: 39748183 markings, 55982135 edges, 159735 markings/sec, 210 secs
lola: 40634270 markings, 57472100 edges, 177217 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(p217)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 939300 markings, 1681401 edges, 187860 markings/sec, 0 secs
lola: 1934478 markings, 3401005 edges, 199036 markings/sec, 5 secs
lola: 2877786 markings, 5085064 edges, 188662 markings/sec, 10 secs
lola: 3819795 markings, 6792959 edges, 188402 markings/sec, 15 secs
lola: 4700904 markings, 8483980 edges, 176222 markings/sec, 20 secs
lola: 5621453 markings, 10177126 edges, 184110 markings/sec, 25 secs
lola: 6544292 markings, 11853743 edges, 184568 markings/sec, 30 secs
lola: 7395891 markings, 13510820 edges, 170320 markings/sec, 35 secs
lola: 8306331 markings, 15166299 edges, 182088 markings/sec, 40 secs
lola: 9204127 markings, 16815614 edges, 179559 markings/sec, 45 secs
lola: 10061858 markings, 18473572 edges, 171546 markings/sec, 50 secs
lola: 10975993 markings, 20121728 edges, 182827 markings/sec, 55 secs
lola: 11853488 markings, 21760285 edges, 175499 markings/sec, 60 secs
lola: 12711136 markings, 23400239 edges, 171530 markings/sec, 65 secs
lola: 13599359 markings, 24998801 edges, 177645 markings/sec, 70 secs
lola: 14434424 markings, 26594563 edges, 167013 markings/sec, 75 secs
lola: 15291082 markings, 28185672 edges, 171332 markings/sec, 80 secs
lola: 16162271 markings, 29756037 edges, 174238 markings/sec, 85 secs
lola: 16972803 markings, 31344919 edges, 162106 markings/sec, 90 secs
lola: 17840106 markings, 32905715 edges, 173461 markings/sec, 95 secs
lola: 18673342 markings, 34463029 edges, 166647 markings/sec, 100 secs
lola: 19501048 markings, 36034601 edges, 165541 markings/sec, 105 secs
lola: 20359935 markings, 37578293 edges, 171777 markings/sec, 110 secs
lola: 21174391 markings, 39145294 edges, 162891 markings/sec, 115 secs
lola: 22010850 markings, 40679506 edges, 167292 markings/sec, 120 secs
lola: 22841931 markings, 42207409 edges, 166216 markings/sec, 125 secs
lola: 23651084 markings, 43765155 edges, 161831 markings/sec, 130 secs
lola: 24502434 markings, 45289215 edges, 170270 markings/sec, 135 secs
lola: 25305444 markings, 46835920 edges, 160602 markings/sec, 140 secs
lola: 26133452 markings, 48359666 edges, 165602 markings/sec, 145 secs
lola: 26961030 markings, 49874930 edges, 165516 markings/sec, 150 secs
lola: 27757494 markings, 51410427 edges, 159293 markings/sec, 155 secs
lola: 28595449 markings, 52908877 edges, 167591 markings/sec, 160 secs
lola: 29380311 markings, 54425328 edges, 156972 markings/sec, 165 secs
lola: 30198106 markings, 55915267 edges, 163559 markings/sec, 170 secs
lola: 30995523 markings, 57404382 edges, 159483 markings/sec, 175 secs
lola: 31790077 markings, 58904435 edges, 158911 markings/sec, 180 secs
lola: 32610109 markings, 60379180 edges, 164006 markings/sec, 185 secs
lola: 33379025 markings, 61884999 edges, 153783 markings/sec, 190 secs
lola: 34200504 markings, 63355948 edges, 164296 markings/sec, 195 secs
lola: 34973203 markings, 64832111 edges, 154540 markings/sec, 200 secs
lola: 35771829 markings, 66311125 edges, 159725 markings/sec, 205 secs
lola: 36572331 markings, 67769004 edges, 160100 markings/sec, 210 secs
lola: 37339250 markings, 69246558 edges, 153384 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(p219)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 949799 markings, 1699736 edges, 189960 markings/sec, 0 secs
lola: 1941872 markings, 3415424 edges, 198415 markings/sec, 5 secs
lola: 2907978 markings, 5143348 edges, 193221 markings/sec, 10 secs
lola: 3858956 markings, 6860049 edges, 190196 markings/sec, 15 secs
lola: 4756941 markings, 8580624 edges, 179597 markings/sec, 20 secs
lola: 5671986 markings, 10277000 edges, 183009 markings/sec, 25 secs
lola: 6601994 markings, 11959006 edges, 186002 markings/sec, 30 secs
lola: 7470713 markings, 13633573 edges, 173744 markings/sec, 35 secs
lola: 8364066 markings, 15282751 edges, 178671 markings/sec, 40 secs
lola: 9271776 markings, 16931673 edges, 181542 markings/sec, 45 secs
lola: 10114672 markings, 18574942 edges, 168579 markings/sec, 50 secs
lola: 11020768 markings, 20212484 edges, 181219 markings/sec, 55 secs
lola: 11902269 markings, 21839694 edges, 176300 markings/sec, 60 secs
lola: 12746788 markings, 23469268 edges, 168904 markings/sec, 65 secs
lola: 13627155 markings, 25054833 edges, 176073 markings/sec, 70 secs
lola: 14458610 markings, 26637315 edges, 166291 markings/sec, 75 secs
lola: 15304683 markings, 28212748 edges, 169215 markings/sec, 80 secs
lola: 16167963 markings, 29767209 edges, 172656 markings/sec, 85 secs
lola: 16971587 markings, 31342801 edges, 160725 markings/sec, 90 secs
lola: 17830649 markings, 32883584 edges, 171812 markings/sec, 95 secs
lola: 18652394 markings, 34426260 edges, 164349 markings/sec, 100 secs
lola: 19476614 markings, 35985868 edges, 164844 markings/sec, 105 secs
lola: 20331450 markings, 37521157 edges, 170967 markings/sec, 110 secs
lola: 21136047 markings, 39082084 edges, 160919 markings/sec, 115 secs
lola: 21982205 markings, 40619398 edges, 169232 markings/sec, 120 secs
lola: 22804687 markings, 42150315 edges, 164496 markings/sec, 125 secs
lola: 23611550 markings, 43687395 edges, 161373 markings/sec, 130 secs
lola: 24452252 markings, 45193362 edges, 168140 markings/sec, 135 secs
lola: 25243528 markings, 46729103 edges, 158255 markings/sec, 140 secs
lola: 26078655 markings, 48245040 edges, 167025 markings/sec, 145 secs
lola: 26889148 markings, 49758940 edges, 162099 markings/sec, 150 secs
lola: 27695292 markings, 51286436 edges, 161229 markings/sec, 155 secs
lola: 28530979 markings, 52786991 edges, 167137 markings/sec, 160 secs
lola: 29307258 markings, 54306958 edges, 155256 markings/sec, 165 secs
lola: 30137284 markings, 55790473 edges, 166005 markings/sec, 170 secs
lola: 30918555 markings, 57276359 edges, 156254 markings/sec, 175 secs
lola: 31718196 markings, 58767305 edges, 159928 markings/sec, 180 secs
lola: 32536860 markings, 60250697 edges, 163733 markings/sec, 185 secs
lola: 33310598 markings, 61757721 edges, 154748 markings/sec, 190 secs
lola: 34136679 markings, 63233357 edges, 165216 markings/sec, 195 secs
lola: 34909593 markings, 64714234 edges, 154583 markings/sec, 200 secs
lola: 35708129 markings, 66179840 edges, 159707 markings/sec, 205 secs
lola: 36480858 markings, 67615646 edges, 154546 markings/sec, 210 secs
lola: 37263299 markings, 69092641 edges, 156488 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(p273)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 841376 markings, 1743925 edges, 168275 markings/sec, 0 secs
lola: 1626040 markings, 3461219 edges, 156933 markings/sec, 5 secs
lola: 2401626 markings, 5139727 edges, 155117 markings/sec, 10 secs
lola: 3177056 markings, 6785403 edges, 155086 markings/sec, 15 secs
lola: 3922478 markings, 8433890 edges, 149084 markings/sec, 20 secs
lola: 4693212 markings, 10067918 edges, 154147 markings/sec, 25 secs
lola: 5437328 markings, 11717660 edges, 148823 markings/sec, 30 secs
lola: 6206427 markings, 13332659 edges, 153820 markings/sec, 35 secs
lola: 6936672 markings, 14961514 edges, 146049 markings/sec, 40 secs
lola: 7697248 markings, 16553214 edges, 152115 markings/sec, 45 secs
lola: 8428087 markings, 18167742 edges, 146168 markings/sec, 50 secs
lola: 9172234 markings, 19745446 edges, 148829 markings/sec, 55 secs
lola: 9909532 markings, 21352683 edges, 147460 markings/sec, 60 secs
lola: 10637333 markings, 22923442 edges, 145560 markings/sec, 65 secs
lola: 11366906 markings, 24494034 edges, 145915 markings/sec, 70 secs
lola: 12072606 markings, 26024384 edges, 141140 markings/sec, 75 secs
lola: 12795258 markings, 27575820 edges, 144530 markings/sec, 80 secs
lola: 13505167 markings, 29126501 edges, 141982 markings/sec, 85 secs
lola: 14222523 markings, 30655637 edges, 143471 markings/sec, 90 secs
lola: 14927632 markings, 32203568 edges, 141022 markings/sec, 95 secs
lola: 15641770 markings, 33721753 edges, 142828 markings/sec, 100 secs
lola: 16340717 markings, 35258136 edges, 139789 markings/sec, 105 secs
lola: 17050248 markings, 36765540 edges, 141906 markings/sec, 110 secs
lola: 17747338 markings, 38298072 edges, 139418 markings/sec, 115 secs
lola: 18455943 markings, 39803296 edges, 141721 markings/sec, 120 secs
lola: 19149365 markings, 41326831 edges, 138684 markings/sec, 125 secs
lola: 19853522 markings, 42824111 edges, 140831 markings/sec, 130 secs
lola: 20541254 markings, 44332007 edges, 137546 markings/sec, 135 secs
lola: 21237910 markings, 45820436 edges, 139331 markings/sec, 140 secs
lola: 21923614 markings, 47312228 edges, 137141 markings/sec, 145 secs
lola: 22616200 markings, 48803476 edges, 138517 markings/sec, 150 secs
lola: 23299012 markings, 50285588 edges, 136562 markings/sec, 155 secs
lola: 23993864 markings, 51785752 edges, 138970 markings/sec, 160 secs
lola: 24675180 markings, 53252685 edges, 136263 markings/sec, 165 secs
lola: 25366988 markings, 54762610 edges, 138362 markings/sec, 170 secs
lola: 26050545 markings, 56217617 edges, 136711 markings/sec, 175 secs
lola: 26732973 markings, 57720909 edges, 136486 markings/sec, 180 secs
lola: 27420292 markings, 59173130 edges, 137464 markings/sec, 185 secs
lola: 28090756 markings, 60664429 edges, 134093 markings/sec, 190 secs
lola: 28775502 markings, 62102386 edges, 136949 markings/sec, 195 secs
lola: 29438806 markings, 63588446 edges, 132661 markings/sec, 200 secs
lola: 30124877 markings, 65021921 edges, 137214 markings/sec, 205 secs
lola: 30785573 markings, 66496950 edges, 132139 markings/sec, 210 secs
lola: 31468266 markings, 67924183 edges, 136539 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(p141)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 945596 markings, 1237467 edges, 189119 markings/sec, 0 secs
lola: 1902391 markings, 2499183 edges, 191359 markings/sec, 5 secs
lola: 2829475 markings, 3712324 edges, 185417 markings/sec, 10 secs
lola: 3762155 markings, 4926595 edges, 186536 markings/sec, 15 secs
lola: 4668119 markings, 6114108 edges, 181193 markings/sec, 20 secs
lola: 5579289 markings, 7305170 edges, 182234 markings/sec, 25 secs
lola: 6530749 markings, 8572541 edges, 190292 markings/sec, 30 secs
lola: 7420908 markings, 9833901 edges, 178032 markings/sec, 35 secs
lola: 8390276 markings, 11134348 edges, 193874 markings/sec, 40 secs
lola: 9350852 markings, 12449549 edges, 192115 markings/sec, 45 secs
lola: 10308738 markings, 13714589 edges, 191577 markings/sec, 50 secs
lola: 11260248 markings, 14980343 edges, 190302 markings/sec, 55 secs
lola: 12171639 markings, 16183437 edges, 182278 markings/sec, 60 secs
lola: 13090187 markings, 17408273 edges, 183710 markings/sec, 65 secs
lola: 14007868 markings, 18656993 edges, 183536 markings/sec, 70 secs
lola: 14933516 markings, 19893537 edges, 185130 markings/sec, 75 secs
lola: 15810266 markings, 21204962 edges, 175350 markings/sec, 80 secs
lola: 16717446 markings, 22546327 edges, 181436 markings/sec, 85 secs
lola: 17597245 markings, 23907231 edges, 175960 markings/sec, 90 secs
lola: 18475425 markings, 25309949 edges, 175636 markings/sec, 95 secs
lola: 19457029 markings, 26753332 edges, 196321 markings/sec, 100 secs
lola: 20425556 markings, 28102436 edges, 193705 markings/sec, 105 secs
lola: 21389495 markings, 29364124 edges, 192788 markings/sec, 110 secs
lola: 22325617 markings, 30584630 edges, 187224 markings/sec, 115 secs
lola: 23262314 markings, 31829087 edges, 187339 markings/sec, 120 secs
lola: 24195433 markings, 33086430 edges, 186624 markings/sec, 125 secs
lola: 25135898 markings, 34356116 edges, 188093 markings/sec, 130 secs
lola: 25984499 markings, 35678355 edges, 169720 markings/sec, 135 secs
lola: 26889703 markings, 37000323 edges, 181041 markings/sec, 140 secs
lola: 27849212 markings, 38393382 edges, 191902 markings/sec, 145 secs
lola: 28824089 markings, 39677908 edges, 194975 markings/sec, 150 secs
lola: 29786290 markings, 40956396 edges, 192440 markings/sec, 155 secs
lola: 30739501 markings, 42225071 edges, 190642 markings/sec, 160 secs
lola: 31639990 markings, 43517020 edges, 180098 markings/sec, 165 secs
lola: 32559056 markings, 44800208 edges, 183813 markings/sec, 170 secs
lola: 33414127 markings, 46151234 edges, 171014 markings/sec, 175 secs
lola: 34238914 markings, 47542591 edges, 164957 markings/sec, 180 secs
lola: 35150718 markings, 48956527 edges, 182361 markings/sec, 185 secs
lola: 35935115 markings, 50425402 edges, 156879 markings/sec, 190 secs
lola: 36804337 markings, 51870889 edges, 173844 markings/sec, 195 secs
lola: 37712889 markings, 53328594 edges, 181710 markings/sec, 200 secs
lola: 38586716 markings, 54715140 edges, 174765 markings/sec, 205 secs
lola: 39360411 markings, 56096622 edges, 154739 markings/sec, 210 secs
lola: 40136924 markings, 57538895 edges, 155303 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(p270)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 815490 markings, 1523038 edges, 163098 markings/sec, 0 secs
lola: 1547321 markings, 3030704 edges, 146366 markings/sec, 5 secs
lola: 2234216 markings, 4521355 edges, 137379 markings/sec, 10 secs
lola: 2928917 markings, 5972862 edges, 138940 markings/sec, 15 secs
lola: 3605772 markings, 7450317 edges, 135371 markings/sec, 20 secs
lola: 4291950 markings, 8882564 edges, 137236 markings/sec, 25 secs
lola: 4964070 markings, 10347542 edges, 134424 markings/sec, 30 secs
lola: 5646867 markings, 11773128 edges, 136559 markings/sec, 35 secs
lola: 6312383 markings, 13227566 edges, 133103 markings/sec, 40 secs
lola: 6989799 markings, 14640703 edges, 135483 markings/sec, 45 secs
lola: 7648377 markings, 16083351 edges, 131716 markings/sec, 50 secs
lola: 8320243 markings, 17488806 edges, 134373 markings/sec, 55 secs
lola: 8974663 markings, 18909092 edges, 130884 markings/sec, 60 secs
lola: 9638857 markings, 20299441 edges, 132839 markings/sec, 65 secs
lola: 10288078 markings, 21706886 edges, 129844 markings/sec, 70 secs
lola: 10937197 markings, 23092229 edges, 129824 markings/sec, 75 secs
lola: 11581116 markings, 24463706 edges, 128784 markings/sec, 80 secs
lola: 12219205 markings, 25858005 edges, 127618 markings/sec, 85 secs
lola: 12861284 markings, 27191192 edges, 128416 markings/sec, 90 secs
lola: 13483434 markings, 28574590 edges, 124430 markings/sec, 95 secs
lola: 14122746 markings, 29898408 edges, 127862 markings/sec, 100 secs
lola: 14743919 markings, 31265782 edges, 124235 markings/sec, 105 secs
lola: 15377568 markings, 32581678 edges, 126730 markings/sec, 110 secs
lola: 16003970 markings, 33946421 edges, 125280 markings/sec, 115 secs
lola: 16641863 markings, 35275141 edges, 127579 markings/sec, 120 secs
lola: 17263911 markings, 36628906 edges, 124410 markings/sec, 125 secs
lola: 17894164 markings, 37955113 edges, 126051 markings/sec, 130 secs
lola: 18514110 markings, 39284829 edges, 123989 markings/sec, 135 secs
lola: 19132104 markings, 40637820 edges, 123599 markings/sec, 140 secs
lola: 19760141 markings, 41939801 edges, 125607 markings/sec, 145 secs
lola: 20368756 markings, 43289814 edges, 121723 markings/sec, 150 secs
lola: 20998535 markings, 44597202 edges, 125956 markings/sec, 155 secs
lola: 21614689 markings, 45949910 edges, 123231 markings/sec, 160 secs
lola: 22250830 markings, 47265124 edges, 127228 markings/sec, 165 secs
lola: 22871721 markings, 48625594 edges, 124178 markings/sec, 170 secs
lola: 23506380 markings, 49944712 edges, 126932 markings/sec, 175 secs
lola: 24126933 markings, 51291495 edges, 124111 markings/sec, 180 secs
lola: 24745940 markings, 52629090 edges, 123801 markings/sec, 185 secs
lola: 25369136 markings, 53931843 edges, 124639 markings/sec, 190 secs
lola: 25974581 markings, 55278604 edges, 121089 markings/sec, 195 secs
lola: 26600633 markings, 56567348 edges, 125210 markings/sec, 200 secs
lola: 27204023 markings, 57901409 edges, 120678 markings/sec, 205 secs
lola: 27827507 markings, 59191022 edges, 124697 markings/sec, 210 secs
lola: 28437677 markings, 60529028 edges, 122034 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(p149)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 948365 markings, 1241025 edges, 189673 markings/sec, 0 secs
lola: 1901329 markings, 2497584 edges, 190593 markings/sec, 5 secs
lola: 2882910 markings, 3787748 edges, 196316 markings/sec, 10 secs
lola: 3856606 markings, 5068014 edges, 194739 markings/sec, 15 secs
lola: 4806394 markings, 6303955 edges, 189958 markings/sec, 20 secs
lola: 5818763 markings, 7618775 edges, 202474 markings/sec, 25 secs
lola: 6743376 markings, 8837182 edges, 184923 markings/sec, 30 secs
lola: 7764244 markings, 10173491 edges, 204174 markings/sec, 35 secs
lola: 8730424 markings, 11430681 edges, 193236 markings/sec, 40 secs
lola: 9678372 markings, 12740163 edges, 189590 markings/sec, 45 secs
lola: 10643383 markings, 14106165 edges, 193002 markings/sec, 50 secs
lola: 11672635 markings, 15489300 edges, 205850 markings/sec, 55 secs
lola: 12621445 markings, 16812836 edges, 189762 markings/sec, 60 secs
lola: 13572183 markings, 18068004 edges, 190148 markings/sec, 65 secs
lola: 14540924 markings, 19353050 edges, 193748 markings/sec, 70 secs
lola: 15570125 markings, 20716443 edges, 205840 markings/sec, 75 secs
lola: 16509302 markings, 21962331 edges, 187835 markings/sec, 80 secs
lola: 17453544 markings, 23197342 edges, 188848 markings/sec, 85 secs
lola: 18408224 markings, 24484813 edges, 190936 markings/sec, 90 secs
lola: 19348316 markings, 25766063 edges, 188018 markings/sec, 95 secs
lola: 20306057 markings, 27055329 edges, 191548 markings/sec, 100 secs
lola: 21327809 markings, 28434529 edges, 204350 markings/sec, 105 secs
lola: 22182208 markings, 29767548 edges, 170880 markings/sec, 110 secs
lola: 23106888 markings, 31161144 edges, 184936 markings/sec, 115 secs
lola: 24046782 markings, 32566012 edges, 187979 markings/sec, 120 secs
lola: 24918399 markings, 34054868 edges, 174323 markings/sec, 125 secs
lola: 25821393 markings, 35445758 edges, 180599 markings/sec, 130 secs
lola: 26773808 markings, 36850890 edges, 190483 markings/sec, 135 secs
lola: 27739076 markings, 38170552 edges, 193054 markings/sec, 140 secs
lola: 28705593 markings, 39439973 edges, 193303 markings/sec, 145 secs
lola: 29714567 markings, 40760604 edges, 201795 markings/sec, 150 secs
lola: 30681402 markings, 42020674 edges, 193367 markings/sec, 155 secs
lola: 31687840 markings, 43341643 edges, 201288 markings/sec, 160 secs
lola: 32641279 markings, 44643175 edges, 190688 markings/sec, 165 secs
lola: 33611287 markings, 45946038 edges, 194002 markings/sec, 170 secs
lola: 34623485 markings, 47325401 edges, 202440 markings/sec, 175 secs
lola: 35487044 markings, 48672593 edges, 172712 markings/sec, 180 secs
lola: 36404070 markings, 50090164 edges, 183405 markings/sec, 185 secs
lola: 37396480 markings, 51523678 edges, 198482 markings/sec, 190 secs
lola: 38376037 markings, 52893652 edges, 195911 markings/sec, 195 secs
lola: 39355652 markings, 54192723 edges, 195923 markings/sec, 200 secs
lola: 40397214 markings, 55566220 edges, 208312 markings/sec, 205 secs
lola: 41386906 markings, 56883158 edges, 197938 markings/sec, 210 secs
lola: 42406924 markings, 58255643 edges, 204004 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(p202)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 961734 markings, 1719676 edges, 192347 markings/sec, 0 secs
lola: 1962729 markings, 3454259 edges, 200199 markings/sec, 5 secs
lola: 2936181 markings, 5196287 edges, 194690 markings/sec, 10 secs
lola: 3895617 markings, 6932869 edges, 191887 markings/sec, 15 secs
lola: 4809302 markings, 8674910 edges, 182737 markings/sec, 20 secs
lola: 5733886 markings, 10392877 edges, 184917 markings/sec, 25 secs
lola: 6674432 markings, 12097093 edges, 188109 markings/sec, 30 secs
lola: 7556265 markings, 13788653 edges, 176367 markings/sec, 35 secs
lola: 8456172 markings, 15462846 edges, 179981 markings/sec, 40 secs
lola: 9383480 markings, 17139607 edges, 185462 markings/sec, 45 secs
lola: 10256008 markings, 18816662 edges, 174506 markings/sec, 50 secs
lola: 11148896 markings, 20473475 edges, 178578 markings/sec, 55 secs
lola: 12059440 markings, 22117878 edges, 182109 markings/sec, 60 secs
lola: 12908338 markings, 23765495 edges, 169780 markings/sec, 65 secs
lola: 13787699 markings, 25370955 edges, 175872 markings/sec, 70 secs
lola: 14654071 markings, 26962729 edges, 173274 markings/sec, 75 secs
lola: 15489683 markings, 28577153 edges, 167122 markings/sec, 80 secs
lola: 16366685 markings, 30155030 edges, 175400 markings/sec, 85 secs
lola: 17187753 markings, 31720521 edges, 164214 markings/sec, 90 secs
lola: 18024747 markings, 33275248 edges, 167399 markings/sec, 95 secs
lola: 18874677 markings, 34809519 edges, 169986 markings/sec, 100 secs
lola: 19679555 markings, 36380427 edges, 160976 markings/sec, 105 secs
lola: 20525817 markings, 37897046 edges, 169252 markings/sec, 110 secs
lola: 21340047 markings, 39441211 edges, 162846 markings/sec, 115 secs
lola: 22168739 markings, 40990544 edges, 165738 markings/sec, 120 secs
lola: 23016876 markings, 42516782 edges, 169627 markings/sec, 125 secs
lola: 23800924 markings, 44054534 edges, 156810 markings/sec, 130 secs
lola: 24653872 markings, 45581486 edges, 170590 markings/sec, 135 secs
lola: 25463693 markings, 47115392 edges, 161964 markings/sec, 140 secs
lola: 26285825 markings, 48656034 edges, 164426 markings/sec, 145 secs
lola: 27128739 markings, 50172649 edges, 168583 markings/sec, 150 secs
lola: 27912349 markings, 51708864 edges, 156722 markings/sec, 155 secs
lola: 28750139 markings, 53208385 edges, 167558 markings/sec, 160 secs
lola: 29543736 markings, 54717874 edges, 158719 markings/sec, 165 secs
lola: 30353172 markings, 56226699 edges, 161887 markings/sec, 170 secs
lola: 31175859 markings, 57715464 edges, 164537 markings/sec, 175 secs
lola: 31951217 markings, 59229376 edges, 155072 markings/sec, 180 secs
lola: 32782889 markings, 60713167 edges, 166334 markings/sec, 185 secs
lola: 33564348 markings, 62208261 edges, 156292 markings/sec, 190 secs
lola: 34366873 markings, 63692230 edges, 160505 markings/sec, 195 secs
lola: 35171978 markings, 65162319 edges, 161021 markings/sec, 200 secs
lola: 35948572 markings, 66654931 edges, 155319 markings/sec, 205 secs
lola: 36763884 markings, 68113990 edges, 163062 markings/sec, 210 secs
lola: 37521683 markings, 69601398 edges, 151560 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 882365 markings, 1451604 edges, 176473 markings/sec, 0 secs
lola: 1903290 markings, 2919301 edges, 204185 markings/sec, 5 secs
lola: 2935702 markings, 4403768 edges, 206482 markings/sec, 10 secs
lola: 3951315 markings, 5799212 edges, 203123 markings/sec, 15 secs
lola: 4961517 markings, 7256307 edges, 202040 markings/sec, 20 secs
lola: 5840241 markings, 8716187 edges, 175745 markings/sec, 25 secs
lola: 6851469 markings, 10172358 edges, 202246 markings/sec, 30 secs
lola: 7859785 markings, 11604914 edges, 201663 markings/sec, 35 secs
lola: 8835900 markings, 13052110 edges, 195223 markings/sec, 40 secs
lola: 9731038 markings, 14476040 edges, 179028 markings/sec, 45 secs
lola: 10581815 markings, 15902589 edges, 170155 markings/sec, 50 secs
lola: 11456896 markings, 17249140 edges, 175016 markings/sec, 55 secs
lola: 12355798 markings, 18613520 edges, 179780 markings/sec, 60 secs
lola: 13285389 markings, 20023962 edges, 185918 markings/sec, 65 secs
lola: 14249417 markings, 21465523 edges, 192806 markings/sec, 70 secs
lola: 15225113 markings, 22808306 edges, 195139 markings/sec, 75 secs
lola: 16232097 markings, 24284061 edges, 201397 markings/sec, 80 secs
lola: 17212904 markings, 25756147 edges, 196161 markings/sec, 85 secs
lola: 18097780 markings, 27201746 edges, 176975 markings/sec, 90 secs
lola: 19072203 markings, 28640117 edges, 194885 markings/sec, 95 secs
lola: 20030998 markings, 30088430 edges, 191759 markings/sec, 100 secs
lola: 20907554 markings, 31520263 edges, 175311 markings/sec, 105 secs
lola: 21731337 markings, 32947229 edges, 164757 markings/sec, 110 secs
lola: 22649552 markings, 34328697 edges, 183643 markings/sec, 115 secs
lola: 23591803 markings, 35747794 edges, 188450 markings/sec, 120 secs
lola: 24570660 markings, 37126566 edges, 195771 markings/sec, 125 secs
lola: 25541327 markings, 38606587 edges, 194133 markings/sec, 130 secs
lola: 26442468 markings, 39999358 edges, 180228 markings/sec, 135 secs
lola: 27461840 markings, 41428945 edges, 203874 markings/sec, 140 secs
lola: 28419546 markings, 42830498 edges, 191541 markings/sec, 145 secs
lola: 29313444 markings, 44217865 edges, 178780 markings/sec, 150 secs
lola: 30278619 markings, 45625507 edges, 193035 markings/sec, 155 secs
lola: 31174606 markings, 47008120 edges, 179197 markings/sec, 160 secs
lola: 32007376 markings, 48397875 edges, 166554 markings/sec, 165 secs
lola: 32891965 markings, 49831705 edges, 176918 markings/sec, 170 secs
lola: 33779135 markings, 51230746 edges, 177434 markings/sec, 175 secs
lola: 34545472 markings, 52615148 edges, 153267 markings/sec, 180 secs
lola: 35417810 markings, 53934470 edges, 174468 markings/sec, 185 secs
lola: 36309052 markings, 55269889 edges, 178248 markings/sec, 190 secs
lola: 37207999 markings, 56638058 edges, 179789 markings/sec, 195 secs
lola: 38142818 markings, 58038624 edges, 186964 markings/sec, 200 secs
lola: 39079194 markings, 59381746 edges, 187275 markings/sec, 205 secs
lola: 40063049 markings, 60764859 edges, 196771 markings/sec, 210 secs
lola: 41052247 markings, 62270414 edges, 197840 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 525312 markings, 1521422 edges, 105062 markings/sec, 0 secs
lola: 1036458 markings, 3120245 edges, 102229 markings/sec, 5 secs
lola: 1579479 markings, 4712041 edges, 108604 markings/sec, 10 secs
lola: 2133925 markings, 6266810 edges, 110889 markings/sec, 15 secs
lola: 2657700 markings, 7880183 edges, 104755 markings/sec, 20 secs
lola: 3193778 markings, 9480246 edges, 107216 markings/sec, 25 secs
lola: 3771682 markings, 11004882 edges, 115581 markings/sec, 30 secs
lola: 4315908 markings, 12599877 edges, 108845 markings/sec, 35 secs
lola: 4842255 markings, 14194035 edges, 105269 markings/sec, 40 secs
lola: 5360874 markings, 15773832 edges, 103724 markings/sec, 45 secs
lola: 5901455 markings, 17444554 edges, 108116 markings/sec, 50 secs
lola: 6452194 markings, 19101672 edges, 110148 markings/sec, 55 secs
lola: 7003563 markings, 20741931 edges, 110274 markings/sec, 60 secs
lola: 7553396 markings, 22382853 edges, 109967 markings/sec, 65 secs
lola: 8115657 markings, 23920306 edges, 112452 markings/sec, 70 secs
lola: 8701996 markings, 25407969 edges, 117268 markings/sec, 75 secs
lola: 9199248 markings, 26966599 edges, 99450 markings/sec, 80 secs
lola: 9722848 markings, 28533511 edges, 104720 markings/sec, 85 secs
lola: 10231926 markings, 30218489 edges, 101816 markings/sec, 90 secs
lola: 10749125 markings, 31853734 edges, 103440 markings/sec, 95 secs
lola: 11298186 markings, 33481057 edges, 109812 markings/sec, 100 secs
lola: 11904045 markings, 35045707 edges, 121172 markings/sec, 105 secs
lola: 12403854 markings, 36661486 edges, 99962 markings/sec, 110 secs
lola: 12909825 markings, 38328659 edges, 101194 markings/sec, 115 secs
lola: 13424792 markings, 39961730 edges, 102993 markings/sec, 120 secs
lola: 13943466 markings, 41600404 edges, 103735 markings/sec, 125 secs
lola: 14543435 markings, 43157629 edges, 119994 markings/sec, 130 secs
lola: 15177680 markings, 44704144 edges, 126849 markings/sec, 135 secs
lola: 15680249 markings, 46306816 edges, 100514 markings/sec, 140 secs
lola: 16184736 markings, 47929808 edges, 100897 markings/sec, 145 secs
lola: 16698151 markings, 49586760 edges, 102683 markings/sec, 150 secs
lola: 17209342 markings, 51195877 edges, 102238 markings/sec, 155 secs
lola: 17795612 markings, 52772566 edges, 117254 markings/sec, 160 secs
lola: 18355435 markings, 54333447 edges, 111965 markings/sec, 165 secs
lola: 18792107 markings, 55853466 edges, 87334 markings/sec, 170 secs
lola: 19240233 markings, 57429357 edges, 89625 markings/sec, 175 secs
lola: 19702686 markings, 59039787 edges, 92491 markings/sec, 180 secs
lola: 20172563 markings, 60628283 edges, 93975 markings/sec, 185 secs
lola: 20666962 markings, 62196483 edges, 98880 markings/sec, 190 secs
lola: 21113947 markings, 63795650 edges, 89397 markings/sec, 195 secs
lola: 21577144 markings, 65403882 edges, 92639 markings/sec, 200 secs
lola: 22051520 markings, 66978352 edges, 94875 markings/sec, 205 secs
lola: 22520811 markings, 68511869 edges, 93858 markings/sec, 210 secs
lola: 23033732 markings, 70067511 edges, 102584 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p173)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 787944 markings, 1535095 edges, 157589 markings/sec, 0 secs
lola: 1578124 markings, 3084618 edges, 158036 markings/sec, 5 secs
lola: 2390711 markings, 4804691 edges, 162517 markings/sec, 10 secs
lola: 3181181 markings, 6623166 edges, 158094 markings/sec, 15 secs
lola: 3986511 markings, 8414901 edges, 161066 markings/sec, 20 secs
lola: 4782199 markings, 10179859 edges, 159138 markings/sec, 25 secs
lola: 5573601 markings, 11936463 edges, 158280 markings/sec, 30 secs
lola: 6352717 markings, 13651134 edges, 155823 markings/sec, 35 secs
lola: 7116857 markings, 15365095 edges, 152828 markings/sec, 40 secs
lola: 7890248 markings, 17081779 edges, 154678 markings/sec, 45 secs
lola: 8647585 markings, 18749139 edges, 151467 markings/sec, 50 secs
lola: 9367789 markings, 20336420 edges, 144041 markings/sec, 55 secs
lola: 10047238 markings, 21855668 edges, 135890 markings/sec, 60 secs
lola: 10722983 markings, 23349609 edges, 135149 markings/sec, 65 secs
lola: 11391631 markings, 24846553 edges, 133730 markings/sec, 70 secs
lola: 12068627 markings, 26330923 edges, 135399 markings/sec, 75 secs
lola: 12728191 markings, 27804335 edges, 131913 markings/sec, 80 secs
lola: 13390272 markings, 29274073 edges, 132416 markings/sec, 85 secs
lola: 14046781 markings, 30734316 edges, 131302 markings/sec, 90 secs
lola: 14715385 markings, 32207455 edges, 133721 markings/sec, 95 secs
lola: 15373516 markings, 33665425 edges, 131626 markings/sec, 100 secs
lola: 16021150 markings, 35115559 edges, 129527 markings/sec, 105 secs
lola: 16670988 markings, 36556991 edges, 129968 markings/sec, 110 secs
lola: 17329586 markings, 38006903 edges, 131720 markings/sec, 115 secs
lola: 17977834 markings, 39441846 edges, 129650 markings/sec, 120 secs
lola: 18615385 markings, 40867647 edges, 127510 markings/sec, 125 secs
lola: 19254968 markings, 42287483 edges, 127917 markings/sec, 130 secs
lola: 19905690 markings, 43719611 edges, 130144 markings/sec, 135 secs
lola: 20536923 markings, 45133996 edges, 126247 markings/sec, 140 secs
lola: 21176737 markings, 46543025 edges, 127963 markings/sec, 145 secs
lola: 21806450 markings, 47950782 edges, 125943 markings/sec, 150 secs
lola: 22448345 markings, 49355914 edges, 128379 markings/sec, 155 secs
lola: 23073884 markings, 50751200 edges, 125108 markings/sec, 160 secs
lola: 23703316 markings, 52138224 edges, 125886 markings/sec, 165 secs
lola: 24327852 markings, 53537605 edges, 124907 markings/sec, 170 secs
lola: 24958719 markings, 54934473 edges, 126173 markings/sec, 175 secs
lola: 25580558 markings, 56321242 edges, 124368 markings/sec, 180 secs
lola: 26204298 markings, 57704026 edges, 124748 markings/sec, 185 secs
lola: 26837810 markings, 59093831 edges, 126702 markings/sec, 190 secs
lola: 27453624 markings, 60472068 edges, 123163 markings/sec, 195 secs
lola: 28075551 markings, 61839206 edges, 124385 markings/sec, 200 secs
lola: 28688947 markings, 63213885 edges, 122679 markings/sec, 205 secs
lola: 29307351 markings, 64581666 edges, 123681 markings/sec, 210 secs
lola: 29914693 markings, 65933539 edges, 121468 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p136)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 929370 markings, 1218534 edges, 185874 markings/sec, 0 secs
lola: 1851337 markings, 2426922 edges, 184393 markings/sec, 5 secs
lola: 2762438 markings, 3612460 edges, 182220 markings/sec, 10 secs
lola: 3658732 markings, 4788530 edges, 179259 markings/sec, 15 secs
lola: 4575537 markings, 5982740 edges, 183361 markings/sec, 20 secs
lola: 5433822 markings, 7203028 edges, 171657 markings/sec, 25 secs
lola: 6358401 markings, 8443632 edges, 184916 markings/sec, 30 secs
lola: 7282580 markings, 9688827 edges, 184836 markings/sec, 35 secs
lola: 8217935 markings, 10929194 edges, 187071 markings/sec, 40 secs
lola: 9121934 markings, 12119426 edges, 180800 markings/sec, 45 secs
lola: 10001700 markings, 13307578 edges, 175953 markings/sec, 50 secs
lola: 10889591 markings, 14488446 edges, 177578 markings/sec, 55 secs
lola: 11745693 markings, 15725365 edges, 171220 markings/sec, 60 secs
lola: 12600557 markings, 16984117 edges, 170973 markings/sec, 65 secs
lola: 13434715 markings, 18269650 edges, 166832 markings/sec, 70 secs
lola: 14276585 markings, 19568105 edges, 168374 markings/sec, 75 secs
lola: 15169262 markings, 20853870 edges, 178535 markings/sec, 80 secs
lola: 16090131 markings, 22113421 edges, 184174 markings/sec, 85 secs
lola: 17021083 markings, 23330474 edges, 186190 markings/sec, 90 secs
lola: 17939789 markings, 24552360 edges, 183741 markings/sec, 95 secs
lola: 18853999 markings, 25771344 edges, 182842 markings/sec, 100 secs
lola: 19709205 markings, 27034002 edges, 171041 markings/sec, 105 secs
lola: 20575579 markings, 28302703 edges, 173275 markings/sec, 110 secs
lola: 21469016 markings, 29588103 edges, 178687 markings/sec, 115 secs
lola: 22422599 markings, 30852529 edges, 190717 markings/sec, 120 secs
lola: 23359330 markings, 32089633 edges, 187346 markings/sec, 125 secs
lola: 24235018 markings, 33332964 edges, 175138 markings/sec, 130 secs
lola: 25134762 markings, 34574408 edges, 179949 markings/sec, 135 secs
lola: 25922073 markings, 35905277 edges, 157462 markings/sec, 140 secs
lola: 26809566 markings, 37230733 edges, 177499 markings/sec, 145 secs
lola: 27554018 markings, 38628843 edges, 148890 markings/sec, 150 secs
lola: 28371291 markings, 39980963 edges, 163455 markings/sec, 155 secs
lola: 29241244 markings, 41315759 edges, 173991 markings/sec, 160 secs
lola: 30046354 markings, 42616687 edges, 161022 markings/sec, 165 secs
lola: 30782627 markings, 43997504 edges, 147255 markings/sec, 170 secs
lola: 31535157 markings, 45378526 edges, 150506 markings/sec, 175 secs
lola: 32268252 markings, 46816683 edges, 146619 markings/sec, 180 secs
lola: 32996222 markings, 48309928 edges, 145594 markings/sec, 185 secs
lola: 33838154 markings, 49633781 edges, 168386 markings/sec, 190 secs
lola: 34758494 markings, 50948507 edges, 184068 markings/sec, 195 secs
lola: 35594585 markings, 52352872 edges, 167218 markings/sec, 200 secs
lola: 36354806 markings, 53704756 edges, 152044 markings/sec, 205 secs
lola: 37157811 markings, 55072566 edges, 160601 markings/sec, 210 secs
lola: 37991809 markings, 56421842 edges, 166800 markings/sec, 215 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(p151)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 28 bytes per marking, with 9 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: 976763 markings, 1274645 edges, 195353 markings/sec, 0 secs
lola: 1939197 markings, 2550911 edges, 192487 markings/sec, 5 secs
lola: 2933880 markings, 3861187 edges, 198937 markings/sec, 10 secs
lola: 3952514 markings, 5196079 edges, 203727 markings/sec, 15 secs
lola: 4933378 markings, 6474180 edges, 196173 markings/sec, 20 secs
lola: 5945445 markings, 7778381 edges, 202413 markings/sec, 25 secs
lola: 6874051 markings, 9005069 edges, 185721 markings/sec, 30 secs
lola: 7891117 markings, 10345879 edges, 203413 markings/sec, 35 secs
lola: 8853230 markings, 11597135 edges, 192423 markings/sec, 40 secs
lola: 9897938 markings, 12974153 edges, 208942 markings/sec, 45 secs
lola: 10821235 markings, 14288640 edges, 184659 markings/sec, 50 secs
lola: 11809685 markings, 15664715 edges, 197690 markings/sec, 55 secs
lola: 12811046 markings, 17066377 edges, 200272 markings/sec, 60 secs
lola: 13821334 markings, 18402676 edges, 202058 markings/sec, 65 secs
lola: 14801306 markings, 19705759 edges, 195994 markings/sec, 70 secs
lola: 15796437 markings, 21027269 edges, 199026 markings/sec, 75 secs
lola: 16874378 markings, 22456788 edges, 215588 markings/sec, 80 secs
lola: 17871065 markings, 23773067 edges, 199337 markings/sec, 85 secs
lola: 18854031 markings, 25071978 edges, 196593 markings/sec, 90 secs
lola: 19815103 markings, 26358922 edges, 192214 markings/sec, 95 secs
lola: 20800478 markings, 27702001 edges, 197075 markings/sec, 100 secs
lola: 21789696 markings, 29032848 edges, 197844 markings/sec, 105 secs
lola: 22835560 markings, 30442298 edges, 209173 markings/sec, 110 secs
lola: 23712393 markings, 31809925 edges, 175367 markings/sec, 115 secs
lola: 24665597 markings, 33276790 edges, 190641 markings/sec, 120 secs
lola: 25645069 markings, 34706151 edges, 195894 markings/sec, 125 secs
lola: 26520693 markings, 36210941 edges, 175125 markings/sec, 130 secs
lola: 27445372 markings, 37647183 edges, 184936 markings/sec, 135 secs
lola: 28404013 markings, 39086870 edges, 191728 markings/sec, 140 secs
lola: 29375949 markings, 40439956 edges, 194387 markings/sec, 145 secs
lola: 30367459 markings, 41741536 edges, 198302 markings/sec, 150 secs
lola: 31424643 markings, 43121339 edges, 211437 markings/sec, 155 secs
lola: 32449540 markings, 44459653 edges, 204979 markings/sec, 160 secs
lola: 33471670 markings, 45782088 edges, 204426 markings/sec, 165 secs
lola: 34424048 markings, 47081169 edges, 190476 markings/sec, 170 secs
lola: 35471172 markings, 48502980 edges, 209425 markings/sec, 175 secs
lola: 36462467 markings, 49818220 edges, 198259 markings/sec, 180 secs
lola: 37396365 markings, 51194273 edges, 186780 markings/sec, 185 secs
lola: 38352609 markings, 52682206 edges, 191249 markings/sec, 190 secs
lola: 39294025 markings, 54069445 edges, 188283 markings/sec, 195 secs
lola: 40254291 markings, 55515694 edges, 192053 markings/sec, 200 secs
lola: 41265235 markings, 56858370 edges, 202189 markings/sec, 205 secs
lola: 42276118 markings, 58197485 edges, 202177 markings/sec, 210 secs
lola: 43361381 markings, 59637368 edges, 217053 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA DES-PT-40a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-40a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496458193447
--------------------
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_DES-PT-40a"
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_DES-PT-40a.tgz
mv S_DES-PT-40a 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_DES-PT-40a, 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 r098-ebro-149488455700299"
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 ;