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

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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;