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-3254
Executing tool lola
Input is PhilosophersDyn-COL-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r048-smll-149440869700236
=====================================================================

--------------------
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 PhilosophersDyn-COL-20-UpperBounds-0
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-1
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-10
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-11
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-12
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-13
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-14
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-15
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-2
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-3
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-4
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-5
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-6
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-7
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-8
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1494590052389


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ PhilosophersDyn-COL-20 @ 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: 17760/65536 symbol table entries, 6932 collisions
lola: preprocessing...
lola: finding significant places
lola: 540 places, 17220 transitions, 461 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 33431 transition conflict sets
lola: TASK
lola: reading formula from PhilosophersDyn-COL-20-UpperBounds.task
lola: MAX(p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10) : MAX(p480 + p481 + p482 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p489 + p488 + p487 + p486 + p485 + p484 + p483) : MAX(p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539) : MAX(p480 + p481 + p482 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p489 + p488 + p487 + p486 + p485 + p484 + p483) : MAX(p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p20) : MAX(p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459) : MAX(p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10) : MAX(p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479) : MAX(p519 + p518 + p517 + p516 + p515 + p514 + p513 + p512 + p511 + p510 + p509 + p508 + p507 + p506 + p505 + p504 + p503 + p502 + p501 + p500) : MAX(p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539) : MAX(p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459) : MAX(p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479) : MAX(p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479) : MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10)
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(p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 583 markings, 1228 edges, 117 markings/sec, 0 secs
lola: 1164 markings, 2520 edges, 116 markings/sec, 5 secs
lola: 1752 markings, 3982 edges, 118 markings/sec, 10 secs
lola: 2317 markings, 5331 edges, 113 markings/sec, 15 secs
lola: 2895 markings, 6685 edges, 116 markings/sec, 20 secs
lola: 3484 markings, 8094 edges, 118 markings/sec, 25 secs
lola: 4048 markings, 9340 edges, 113 markings/sec, 30 secs
lola: 4628 markings, 10630 edges, 116 markings/sec, 35 secs
lola: 5203 markings, 12072 edges, 115 markings/sec, 40 secs
lola: 5757 markings, 13316 edges, 111 markings/sec, 45 secs
lola: 6325 markings, 14565 edges, 114 markings/sec, 50 secs
lola: 6894 markings, 15881 edges, 114 markings/sec, 55 secs
lola: 7455 markings, 17133 edges, 112 markings/sec, 60 secs
lola: 8036 markings, 18448 edges, 116 markings/sec, 65 secs
lola: 8603 markings, 19856 edges, 113 markings/sec, 70 secs
lola: 9168 markings, 21109 edges, 113 markings/sec, 75 secs
lola: 9741 markings, 22439 edges, 115 markings/sec, 80 secs
lola: 10305 markings, 23678 edges, 113 markings/sec, 85 secs
lola: 10883 markings, 25010 edges, 116 markings/sec, 90 secs
lola: 11456 markings, 26412 edges, 115 markings/sec, 95 secs
lola: 12025 markings, 27667 edges, 114 markings/sec, 100 secs
lola: 12597 markings, 29034 edges, 114 markings/sec, 105 secs
lola: 13167 markings, 30256 edges, 114 markings/sec, 110 secs
lola: 13754 markings, 31626 edges, 117 markings/sec, 115 secs
lola: 14325 markings, 33047 edges, 114 markings/sec, 120 secs
lola: 14898 markings, 34292 edges, 115 markings/sec, 125 secs
lola: 15471 markings, 35642 edges, 115 markings/sec, 130 secs
lola: 16047 markings, 36955 edges, 115 markings/sec, 135 secs
lola: 16628 markings, 38385 edges, 116 markings/sec, 140 secs
lola: 17195 markings, 39620 edges, 113 markings/sec, 145 secs
lola: 17770 markings, 40996 edges, 115 markings/sec, 150 secs
lola: 18355 markings, 42306 edges, 117 markings/sec, 155 secs
lola: 18940 markings, 43779 edges, 117 markings/sec, 160 secs
lola: 19515 markings, 45026 edges, 115 markings/sec, 165 secs
lola: 20099 markings, 46404 edges, 117 markings/sec, 170 secs
lola: 20692 markings, 47762 edges, 119 markings/sec, 175 secs
lola: 21275 markings, 49207 edges, 117 markings/sec, 180 secs
lola: 21856 markings, 50574 edges, 116 markings/sec, 185 secs
lola: 22449 markings, 51912 edges, 119 markings/sec, 190 secs
lola: 23043 markings, 53393 edges, 119 markings/sec, 195 secs
lola: 23621 markings, 54638 edges, 116 markings/sec, 200 secs
lola: 24217 markings, 56118 edges, 119 markings/sec, 205 secs
lola: 24811 markings, 57590 edges, 119 markings/sec, 210 secs
lola: 25396 markings, 58979 edges, 117 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(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 586 markings, 1197 edges, 117 markings/sec, 0 secs
lola: 1170 markings, 2400 edges, 117 markings/sec, 5 secs
lola: 1755 markings, 3761 edges, 117 markings/sec, 10 secs
lola: 2353 markings, 4995 edges, 120 markings/sec, 15 secs
lola: 2941 markings, 6187 edges, 118 markings/sec, 20 secs
lola: 3538 markings, 7513 edges, 119 markings/sec, 25 secs
lola: 4134 markings, 8745 edges, 119 markings/sec, 30 secs
lola: 4719 markings, 9956 edges, 117 markings/sec, 35 secs
lola: 5315 markings, 11296 edges, 119 markings/sec, 40 secs
lola: 5911 markings, 12539 edges, 119 markings/sec, 45 secs
lola: 6499 markings, 13730 edges, 118 markings/sec, 50 secs
lola: 7091 markings, 15097 edges, 118 markings/sec, 55 secs
lola: 7688 markings, 16339 edges, 119 markings/sec, 60 secs
lola: 8275 markings, 17554 edges, 117 markings/sec, 65 secs
lola: 8873 markings, 18883 edges, 120 markings/sec, 70 secs
lola: 9466 markings, 20120 edges, 119 markings/sec, 75 secs
lola: 10052 markings, 21321 edges, 117 markings/sec, 80 secs
lola: 10646 markings, 22699 edges, 119 markings/sec, 85 secs
lola: 11236 markings, 23946 edges, 118 markings/sec, 90 secs
lola: 11824 markings, 25142 edges, 118 markings/sec, 95 secs
lola: 12416 markings, 26470 edges, 118 markings/sec, 100 secs
lola: 13002 markings, 27708 edges, 117 markings/sec, 105 secs
lola: 13584 markings, 28912 edges, 116 markings/sec, 110 secs
lola: 14176 markings, 30261 edges, 118 markings/sec, 115 secs
lola: 14759 markings, 31507 edges, 117 markings/sec, 120 secs
lola: 15342 markings, 32688 edges, 117 markings/sec, 125 secs
lola: 15928 markings, 34053 edges, 117 markings/sec, 130 secs
lola: 16512 markings, 35294 edges, 117 markings/sec, 135 secs
lola: 17093 markings, 36502 edges, 116 markings/sec, 140 secs
lola: 17684 markings, 37831 edges, 118 markings/sec, 145 secs
lola: 18268 markings, 39075 edges, 117 markings/sec, 150 secs
lola: 18847 markings, 40267 edges, 116 markings/sec, 155 secs
lola: 19438 markings, 41653 edges, 118 markings/sec, 160 secs
lola: 20020 markings, 42904 edges, 116 markings/sec, 165 secs
lola: 20605 markings, 44103 edges, 117 markings/sec, 170 secs
lola: 21197 markings, 45452 edges, 118 markings/sec, 175 secs
lola: 21782 markings, 46706 edges, 117 markings/sec, 180 secs
lola: 22365 markings, 47911 edges, 117 markings/sec, 185 secs
lola: 22954 markings, 49305 edges, 118 markings/sec, 190 secs
lola: 23534 markings, 50547 edges, 116 markings/sec, 195 secs
lola: 24118 markings, 51771 edges, 117 markings/sec, 200 secs
lola: 24714 markings, 53136 edges, 119 markings/sec, 205 secs
lola: 25299 markings, 54390 edges, 117 markings/sec, 210 secs
lola: 25889 markings, 55738 edges, 118 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(p480 + p481 + p482 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p489 + p488 + p487 + p486 + p485 + p484 + p483)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 627 markings, 1330 edges, 125 markings/sec, 0 secs
lola: 1232 markings, 2736 edges, 121 markings/sec, 5 secs
lola: 1764 markings, 4158 edges, 106 markings/sec, 10 secs
lola: 2373 markings, 5475 edges, 122 markings/sec, 15 secs
lola: 2960 markings, 6846 edges, 117 markings/sec, 20 secs
lola: 3500 markings, 8263 edges, 108 markings/sec, 25 secs
lola: 4092 markings, 9580 edges, 118 markings/sec, 30 secs
lola: 4688 markings, 10973 edges, 119 markings/sec, 35 secs
lola: 5245 markings, 12373 edges, 111 markings/sec, 40 secs
lola: 5813 markings, 13756 edges, 114 markings/sec, 45 secs
lola: 6424 markings, 15152 edges, 122 markings/sec, 50 secs
lola: 7001 markings, 16535 edges, 115 markings/sec, 55 secs
lola: 7549 markings, 17966 edges, 110 markings/sec, 60 secs
lola: 8138 markings, 19339 edges, 118 markings/sec, 65 secs
lola: 8736 markings, 20743 edges, 120 markings/sec, 70 secs
lola: 9311 markings, 22139 edges, 115 markings/sec, 75 secs
lola: 9875 markings, 23571 edges, 113 markings/sec, 80 secs
lola: 10420 markings, 24924 edges, 109 markings/sec, 85 secs
lola: 11008 markings, 26291 edges, 118 markings/sec, 90 secs
lola: 11545 markings, 27602 edges, 107 markings/sec, 95 secs
lola: 12083 markings, 28932 edges, 108 markings/sec, 100 secs
lola: 12630 markings, 30390 edges, 109 markings/sec, 105 secs
lola: 13228 markings, 31829 edges, 120 markings/sec, 110 secs
lola: 13837 markings, 33295 edges, 122 markings/sec, 115 secs
lola: 14432 markings, 34755 edges, 119 markings/sec, 120 secs
lola: 15032 markings, 36245 edges, 120 markings/sec, 125 secs
lola: 15603 markings, 37677 edges, 114 markings/sec, 130 secs
lola: 16135 markings, 39028 edges, 106 markings/sec, 135 secs
lola: 16717 markings, 40502 edges, 116 markings/sec, 140 secs
lola: 17299 markings, 41981 edges, 116 markings/sec, 145 secs
lola: 17876 markings, 43457 edges, 115 markings/sec, 150 secs
lola: 18464 markings, 44962 edges, 118 markings/sec, 155 secs
lola: 19048 markings, 46458 edges, 117 markings/sec, 160 secs
lola: 19633 markings, 47967 edges, 117 markings/sec, 165 secs
lola: 20210 markings, 49459 edges, 115 markings/sec, 170 secs
lola: 20779 markings, 50937 edges, 114 markings/sec, 175 secs
lola: 21346 markings, 52437 edges, 113 markings/sec, 180 secs
lola: 21908 markings, 53936 edges, 112 markings/sec, 185 secs
lola: 22476 markings, 55493 edges, 114 markings/sec, 190 secs
lola: 23062 markings, 57064 edges, 117 markings/sec, 195 secs
lola: 23650 markings, 58614 edges, 118 markings/sec, 200 secs
lola: 24213 markings, 60346 edges, 113 markings/sec, 205 secs
lola: 24777 markings, 62283 edges, 113 markings/sec, 210 secs
lola: 25346 markings, 64188 edges, 114 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(p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 596 markings, 1263 edges, 119 markings/sec, 0 secs
lola: 1171 markings, 2539 edges, 115 markings/sec, 5 secs
lola: 1760 markings, 4027 edges, 118 markings/sec, 10 secs
lola: 2320 markings, 5336 edges, 112 markings/sec, 15 secs
lola: 2894 markings, 6684 edges, 115 markings/sec, 20 secs
lola: 3477 markings, 8080 edges, 117 markings/sec, 25 secs
lola: 4038 markings, 9326 edges, 112 markings/sec, 30 secs
lola: 4618 markings, 10599 edges, 116 markings/sec, 35 secs
lola: 5192 markings, 12055 edges, 115 markings/sec, 40 secs
lola: 5747 markings, 13306 edges, 111 markings/sec, 45 secs
lola: 6316 markings, 14536 edges, 114 markings/sec, 50 secs
lola: 6890 markings, 15875 edges, 115 markings/sec, 55 secs
lola: 7456 markings, 17134 edges, 113 markings/sec, 60 secs
lola: 8041 markings, 18460 edges, 117 markings/sec, 65 secs
lola: 8606 markings, 19861 edges, 113 markings/sec, 70 secs
lola: 9174 markings, 21119 edges, 114 markings/sec, 75 secs
lola: 9745 markings, 22447 edges, 114 markings/sec, 80 secs
lola: 10307 markings, 23682 edges, 112 markings/sec, 85 secs
lola: 10880 markings, 25000 edges, 115 markings/sec, 90 secs
lola: 11453 markings, 26406 edges, 115 markings/sec, 95 secs
lola: 12014 markings, 27651 edges, 112 markings/sec, 100 secs
lola: 12583 markings, 28991 edges, 114 markings/sec, 105 secs
lola: 13143 markings, 30207 edges, 112 markings/sec, 110 secs
lola: 13728 markings, 31583 edges, 117 markings/sec, 115 secs
lola: 14298 markings, 32967 edges, 114 markings/sec, 120 secs
lola: 14862 markings, 34197 edges, 113 markings/sec, 125 secs
lola: 15428 markings, 35551 edges, 113 markings/sec, 130 secs
lola: 15996 markings, 36813 edges, 114 markings/sec, 135 secs
lola: 16571 markings, 38280 edges, 115 markings/sec, 140 secs
lola: 17137 markings, 39509 edges, 113 markings/sec, 145 secs
lola: 17712 markings, 40864 edges, 115 markings/sec, 150 secs
lola: 18296 markings, 42189 edges, 117 markings/sec, 155 secs
lola: 18889 markings, 43659 edges, 119 markings/sec, 160 secs
lola: 19461 markings, 44908 edges, 114 markings/sec, 165 secs
lola: 20040 markings, 46286 edges, 116 markings/sec, 170 secs
lola: 20634 markings, 47660 edges, 119 markings/sec, 175 secs
lola: 21262 markings, 49187 edges, 126 markings/sec, 180 secs
lola: 21885 markings, 50649 edges, 125 markings/sec, 185 secs
lola: 22517 markings, 52066 edges, 126 markings/sec, 190 secs
lola: 23149 markings, 53621 edges, 126 markings/sec, 195 secs
lola: 23774 markings, 55087 edges, 125 markings/sec, 200 secs
lola: 24417 markings, 56584 edges, 129 markings/sec, 205 secs
lola: 25042 markings, 58114 edges, 125 markings/sec, 210 secs
lola: 25677 markings, 59635 edges, 127 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(p480 + p481 + p482 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p497 + p498 + p499 + p489 + p488 + p487 + p486 + p485 + p484 + p483)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 641 markings, 1367 edges, 128 markings/sec, 0 secs
lola: 1277 markings, 2844 edges, 127 markings/sec, 5 secs
lola: 1874 markings, 4349 edges, 119 markings/sec, 10 secs
lola: 2488 markings, 5800 edges, 123 markings/sec, 15 secs
lola: 3140 markings, 7282 edges, 130 markings/sec, 20 secs
lola: 3753 markings, 8738 edges, 123 markings/sec, 25 secs
lola: 4337 markings, 10256 edges, 117 markings/sec, 30 secs
lola: 4967 markings, 11696 edges, 126 markings/sec, 35 secs
lola: 5608 markings, 13188 edges, 128 markings/sec, 40 secs
lola: 6222 markings, 14661 edges, 123 markings/sec, 45 secs
lola: 6817 markings, 16168 edges, 119 markings/sec, 50 secs
lola: 7422 markings, 17649 edges, 121 markings/sec, 55 secs
lola: 8060 markings, 19114 edges, 128 markings/sec, 60 secs
lola: 8688 markings, 20616 edges, 126 markings/sec, 65 secs
lola: 9296 markings, 22103 edges, 122 markings/sec, 70 secs
lola: 9899 markings, 23610 edges, 121 markings/sec, 75 secs
lola: 10487 markings, 25131 edges, 118 markings/sec, 80 secs
lola: 11117 markings, 26610 edges, 126 markings/sec, 85 secs
lola: 11734 markings, 28079 edges, 123 markings/sec, 90 secs
lola: 12352 markings, 29588 edges, 124 markings/sec, 95 secs
lola: 12952 markings, 31066 edges, 120 markings/sec, 100 secs
lola: 13550 markings, 32555 edges, 120 markings/sec, 105 secs
lola: 14147 markings, 34049 edges, 119 markings/sec, 110 secs
lola: 14744 markings, 35555 edges, 119 markings/sec, 115 secs
lola: 15334 markings, 37072 edges, 118 markings/sec, 120 secs
lola: 15930 markings, 38593 edges, 119 markings/sec, 125 secs
lola: 16524 markings, 40099 edges, 119 markings/sec, 130 secs
lola: 17125 markings, 41621 edges, 120 markings/sec, 135 secs
lola: 17724 markings, 43139 edges, 120 markings/sec, 140 secs
lola: 18327 markings, 44674 edges, 121 markings/sec, 145 secs
lola: 18929 markings, 46196 edges, 120 markings/sec, 150 secs
lola: 19537 markings, 47734 edges, 122 markings/sec, 155 secs
lola: 20137 markings, 49284 edges, 120 markings/sec, 160 secs
lola: 20737 markings, 50839 edges, 120 markings/sec, 165 secs
lola: 21339 markings, 52419 edges, 120 markings/sec, 170 secs
lola: 21927 markings, 53996 edges, 118 markings/sec, 175 secs
lola: 22514 markings, 55614 edges, 117 markings/sec, 180 secs
lola: 23119 markings, 57200 edges, 121 markings/sec, 185 secs
lola: 23722 markings, 58804 edges, 121 markings/sec, 190 secs
lola: 24294 markings, 60646 edges, 114 markings/sec, 195 secs
lola: 24867 markings, 62580 edges, 115 markings/sec, 200 secs
lola: 25445 markings, 64483 edges, 116 markings/sec, 205 secs
lola: 26013 markings, 66472 edges, 114 markings/sec, 210 secs
lola: 26577 markings, 68440 edges, 113 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(p21 + p22 + p23 + p24 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 + p39 + p20)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 423 markings, 831 edges, 85 markings/sec, 0 secs
lola: 843 markings, 1703 edges, 84 markings/sec, 5 secs
lola: 1260 markings, 2552 edges, 83 markings/sec, 10 secs
lola: 1683 markings, 3423 edges, 85 markings/sec, 15 secs
lola: 2100 markings, 4416 edges, 83 markings/sec, 20 secs
lola: 2514 markings, 5263 edges, 83 markings/sec, 25 secs
lola: 2915 markings, 6093 edges, 80 markings/sec, 30 secs
lola: 3332 markings, 6957 edges, 83 markings/sec, 35 secs
lola: 3750 markings, 7975 edges, 84 markings/sec, 40 secs
lola: 4166 markings, 8873 edges, 83 markings/sec, 45 secs
lola: 4578 markings, 9769 edges, 82 markings/sec, 50 secs
lola: 4999 markings, 10647 edges, 84 markings/sec, 55 secs
lola: 5418 markings, 11646 edges, 84 markings/sec, 60 secs
lola: 5837 markings, 12503 edges, 84 markings/sec, 65 secs
lola: 6259 markings, 13371 edges, 84 markings/sec, 70 secs
lola: 6680 markings, 14267 edges, 84 markings/sec, 75 secs
lola: 7098 markings, 15287 edges, 84 markings/sec, 80 secs
lola: 7512 markings, 16178 edges, 83 markings/sec, 85 secs
lola: 7931 markings, 17059 edges, 84 markings/sec, 90 secs
lola: 8350 markings, 18061 edges, 84 markings/sec, 95 secs
lola: 8769 markings, 18930 edges, 84 markings/sec, 100 secs
lola: 9186 markings, 19793 edges, 83 markings/sec, 105 secs
lola: 9604 markings, 20676 edges, 84 markings/sec, 110 secs
lola: 10024 markings, 21642 edges, 84 markings/sec, 115 secs
lola: 10435 markings, 22495 edges, 82 markings/sec, 120 secs
lola: 10848 markings, 23333 edges, 83 markings/sec, 125 secs
lola: 11270 markings, 24322 edges, 84 markings/sec, 130 secs
lola: 11699 markings, 25180 edges, 86 markings/sec, 135 secs
lola: 12121 markings, 26097 edges, 84 markings/sec, 140 secs
lola: 12539 markings, 27046 edges, 84 markings/sec, 145 secs
lola: 12959 markings, 27919 edges, 84 markings/sec, 150 secs
lola: 13377 markings, 28786 edges, 84 markings/sec, 155 secs
lola: 13799 markings, 29810 edges, 84 markings/sec, 160 secs
lola: 14216 markings, 30671 edges, 83 markings/sec, 165 secs
lola: 14636 markings, 31572 edges, 84 markings/sec, 170 secs
lola: 15055 markings, 32554 edges, 84 markings/sec, 175 secs
lola: 15478 markings, 33459 edges, 85 markings/sec, 180 secs
lola: 15895 markings, 34332 edges, 83 markings/sec, 185 secs
lola: 16315 markings, 35316 edges, 84 markings/sec, 190 secs
lola: 16728 markings, 36214 edges, 83 markings/sec, 195 secs
lola: 17145 markings, 37092 edges, 83 markings/sec, 200 secs
lola: 17566 markings, 38098 edges, 84 markings/sec, 205 secs
lola: 17986 markings, 38957 edges, 84 markings/sec, 210 secs
lola: 18403 markings, 39833 edges, 83 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(p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 603 markings, 1104 edges, 121 markings/sec, 0 secs
lola: 1174 markings, 2236 edges, 114 markings/sec, 5 secs
lola: 1707 markings, 3365 edges, 107 markings/sec, 10 secs
lola: 2315 markings, 4503 edges, 122 markings/sec, 15 secs
lola: 2855 markings, 5752 edges, 108 markings/sec, 20 secs
lola: 3399 markings, 6970 edges, 109 markings/sec, 25 secs
lola: 3995 markings, 8147 edges, 119 markings/sec, 30 secs
lola: 4522 markings, 9412 edges, 105 markings/sec, 35 secs
lola: 5085 markings, 10587 edges, 113 markings/sec, 40 secs
lola: 5660 markings, 11785 edges, 115 markings/sec, 45 secs
lola: 6172 markings, 13043 edges, 102 markings/sec, 50 secs
lola: 6765 markings, 14185 edges, 119 markings/sec, 55 secs
lola: 7325 markings, 15402 edges, 112 markings/sec, 60 secs
lola: 7843 markings, 16631 edges, 104 markings/sec, 65 secs
lola: 8448 markings, 17803 edges, 121 markings/sec, 70 secs
lola: 8992 markings, 18967 edges, 109 markings/sec, 75 secs
lola: 9527 markings, 20111 edges, 107 markings/sec, 80 secs
lola: 10113 markings, 21253 edges, 117 markings/sec, 85 secs
lola: 10641 markings, 22430 edges, 106 markings/sec, 90 secs
lola: 11205 markings, 23556 edges, 113 markings/sec, 95 secs
lola: 11776 markings, 24709 edges, 114 markings/sec, 100 secs
lola: 12285 markings, 25879 edges, 102 markings/sec, 105 secs
lola: 12885 markings, 27002 edges, 120 markings/sec, 110 secs
lola: 13453 markings, 28182 edges, 114 markings/sec, 115 secs
lola: 13981 markings, 29356 edges, 106 markings/sec, 120 secs
lola: 14576 markings, 30490 edges, 119 markings/sec, 125 secs
lola: 15088 markings, 31610 edges, 102 markings/sec, 130 secs
lola: 15610 markings, 32684 edges, 104 markings/sec, 135 secs
lola: 16131 markings, 33905 edges, 104 markings/sec, 140 secs
lola: 16696 markings, 35241 edges, 113 markings/sec, 145 secs
lola: 17257 markings, 36595 edges, 112 markings/sec, 150 secs
lola: 17806 markings, 37923 edges, 110 markings/sec, 155 secs
lola: 18343 markings, 39283 edges, 107 markings/sec, 160 secs
lola: 18874 markings, 40656 edges, 106 markings/sec, 165 secs
lola: 19404 markings, 42011 edges, 106 markings/sec, 170 secs
lola: 19994 markings, 43456 edges, 118 markings/sec, 175 secs
lola: 20500 markings, 44645 edges, 101 markings/sec, 180 secs
lola: 21040 markings, 45932 edges, 108 markings/sec, 185 secs
lola: 21554 markings, 47187 edges, 103 markings/sec, 190 secs
lola: 22095 markings, 48535 edges, 108 markings/sec, 195 secs
lola: 22637 markings, 49814 edges, 108 markings/sec, 200 secs
lola: 23192 markings, 51121 edges, 111 markings/sec, 205 secs
lola: 23745 markings, 52414 edges, 111 markings/sec, 210 secs
lola: 24272 markings, 53836 edges, 105 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(p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 603 markings, 1104 edges, 121 markings/sec, 0 secs
lola: 1191 markings, 2269 edges, 118 markings/sec, 5 secs
lola: 1740 markings, 3435 edges, 110 markings/sec, 10 secs
lola: 2362 markings, 4629 edges, 124 markings/sec, 15 secs
lola: 2943 markings, 5905 edges, 116 markings/sec, 20 secs
lola: 3479 markings, 7186 edges, 107 markings/sec, 25 secs
lola: 4096 markings, 8375 edges, 123 markings/sec, 30 secs
lola: 4655 markings, 9625 edges, 112 markings/sec, 35 secs
lola: 5186 markings, 10861 edges, 106 markings/sec, 40 secs
lola: 5781 markings, 12018 edges, 119 markings/sec, 45 secs
lola: 6342 markings, 13322 edges, 112 markings/sec, 50 secs
lola: 6934 markings, 14645 edges, 118 markings/sec, 55 secs
lola: 7582 markings, 15926 edges, 130 markings/sec, 60 secs
lola: 8191 markings, 17282 edges, 122 markings/sec, 65 secs
lola: 8761 markings, 18558 edges, 114 markings/sec, 70 secs
lola: 9407 markings, 19815 edges, 129 markings/sec, 75 secs
lola: 10026 markings, 21083 edges, 124 markings/sec, 80 secs
lola: 10597 markings, 22356 edges, 114 markings/sec, 85 secs
lola: 11222 markings, 23602 edges, 125 markings/sec, 90 secs
lola: 11850 markings, 24852 edges, 126 markings/sec, 95 secs
lola: 12431 markings, 26121 edges, 116 markings/sec, 100 secs
lola: 13031 markings, 27367 edges, 120 markings/sec, 105 secs
lola: 13674 markings, 28613 edges, 129 markings/sec, 110 secs
lola: 14275 markings, 29897 edges, 120 markings/sec, 115 secs
lola: 14852 markings, 31157 edges, 115 markings/sec, 120 secs
lola: 15499 markings, 32413 edges, 129 markings/sec, 125 secs
lola: 16070 markings, 33745 edges, 114 markings/sec, 130 secs
lola: 16650 markings, 35125 edges, 116 markings/sec, 135 secs
lola: 17240 markings, 36561 edges, 118 markings/sec, 140 secs
lola: 17831 markings, 37978 edges, 118 markings/sec, 145 secs
lola: 18406 markings, 39476 edges, 115 markings/sec, 150 secs
lola: 18982 markings, 40942 edges, 115 markings/sec, 155 secs
lola: 19571 markings, 42365 edges, 118 markings/sec, 160 secs
lola: 20153 markings, 43802 edges, 116 markings/sec, 165 secs
lola: 20716 markings, 45196 edges, 113 markings/sec, 170 secs
lola: 21301 markings, 46605 edges, 117 markings/sec, 175 secs
lola: 21888 markings, 47974 edges, 117 markings/sec, 180 secs
lola: 22463 markings, 49374 edges, 115 markings/sec, 185 secs
lola: 23045 markings, 50805 edges, 116 markings/sec, 190 secs
lola: 23642 markings, 52187 edges, 119 markings/sec, 195 secs
lola: 24208 markings, 53647 edges, 113 markings/sec, 200 secs
lola: 24768 markings, 55221 edges, 112 markings/sec, 205 secs
lola: 25325 markings, 56866 edges, 111 markings/sec, 210 secs
lola: 25883 markings, 58470 edges, 112 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(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 586 markings, 1197 edges, 117 markings/sec, 0 secs
lola: 1165 markings, 2392 edges, 116 markings/sec, 5 secs
lola: 1746 markings, 3699 edges, 116 markings/sec, 10 secs
lola: 2335 markings, 4943 edges, 118 markings/sec, 15 secs
lola: 2919 markings, 6125 edges, 117 markings/sec, 20 secs
lola: 3495 markings, 7407 edges, 115 markings/sec, 25 secs
lola: 4121 markings, 8729 edges, 125 markings/sec, 30 secs
lola: 4737 markings, 9979 edges, 123 markings/sec, 35 secs
lola: 5359 markings, 11400 edges, 124 markings/sec, 40 secs
lola: 5987 markings, 12680 edges, 126 markings/sec, 45 secs
lola: 6604 markings, 13951 edges, 123 markings/sec, 50 secs
lola: 7231 markings, 15365 edges, 125 markings/sec, 55 secs
lola: 7848 markings, 16659 edges, 123 markings/sec, 60 secs
lola: 8464 markings, 17931 edges, 123 markings/sec, 65 secs
lola: 9087 markings, 19344 edges, 125 markings/sec, 70 secs
lola: 9700 markings, 20626 edges, 123 markings/sec, 75 secs
lola: 10299 markings, 21850 edges, 120 markings/sec, 80 secs
lola: 10847 markings, 23130 edges, 110 markings/sec, 85 secs
lola: 11432 markings, 24352 edges, 117 markings/sec, 90 secs
lola: 12018 markings, 25539 edges, 117 markings/sec, 95 secs
lola: 12592 markings, 26861 edges, 115 markings/sec, 100 secs
lola: 13195 markings, 28104 edges, 121 markings/sec, 105 secs
lola: 13806 markings, 29353 edges, 122 markings/sec, 110 secs
lola: 14417 markings, 30777 edges, 122 markings/sec, 115 secs
lola: 15014 markings, 32016 edges, 119 markings/sec, 120 secs
lola: 15619 markings, 33359 edges, 121 markings/sec, 125 secs
lola: 16233 markings, 34690 edges, 123 markings/sec, 130 secs
lola: 16841 markings, 35949 edges, 122 markings/sec, 135 secs
lola: 17454 markings, 37353 edges, 123 markings/sec, 140 secs
lola: 18074 markings, 38659 edges, 124 markings/sec, 145 secs
lola: 18680 markings, 39937 edges, 121 markings/sec, 150 secs
lola: 19301 markings, 41329 edges, 124 markings/sec, 155 secs
lola: 19912 markings, 42662 edges, 122 markings/sec, 160 secs
lola: 20523 markings, 43938 edges, 122 markings/sec, 165 secs
lola: 21143 markings, 45354 edges, 124 markings/sec, 170 secs
lola: 21757 markings, 46657 edges, 123 markings/sec, 175 secs
lola: 22370 markings, 47925 edges, 123 markings/sec, 180 secs
lola: 22995 markings, 49366 edges, 125 markings/sec, 185 secs
lola: 23605 markings, 50695 edges, 122 markings/sec, 190 secs
lola: 24226 markings, 52086 edges, 124 markings/sec, 195 secs
lola: 24846 markings, 53431 edges, 124 markings/sec, 200 secs
lola: 25457 markings, 54723 edges, 122 markings/sec, 205 secs
lola: 26082 markings, 56147 edges, 125 markings/sec, 210 secs
lola: 26703 markings, 57478 edges, 124 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(p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 619 markings, 1398 edges, 124 markings/sec, 0 secs
lola: 1247 markings, 2894 edges, 126 markings/sec, 5 secs
lola: 1875 markings, 4391 edges, 126 markings/sec, 10 secs
lola: 2501 markings, 5843 edges, 125 markings/sec, 15 secs
lola: 3129 markings, 7341 edges, 126 markings/sec, 20 secs
lola: 3757 markings, 8839 edges, 126 markings/sec, 25 secs
lola: 4383 markings, 10299 edges, 125 markings/sec, 30 secs
lola: 5011 markings, 11800 edges, 126 markings/sec, 35 secs
lola: 5639 markings, 13295 edges, 126 markings/sec, 40 secs
lola: 6265 markings, 14788 edges, 125 markings/sec, 45 secs
lola: 6890 markings, 16227 edges, 125 markings/sec, 50 secs
lola: 7517 markings, 17723 edges, 125 markings/sec, 55 secs
lola: 8142 markings, 19213 edges, 125 markings/sec, 60 secs
lola: 8765 markings, 20673 edges, 125 markings/sec, 65 secs
lola: 9391 markings, 22165 edges, 125 markings/sec, 70 secs
lola: 10018 markings, 23659 edges, 125 markings/sec, 75 secs
lola: 10644 markings, 25152 edges, 125 markings/sec, 80 secs
lola: 11269 markings, 26590 edges, 125 markings/sec, 85 secs
lola: 11898 markings, 28091 edges, 126 markings/sec, 90 secs
lola: 12528 markings, 29593 edges, 126 markings/sec, 95 secs
lola: 13155 markings, 31092 edges, 125 markings/sec, 100 secs
lola: 13783 markings, 32548 edges, 126 markings/sec, 105 secs
lola: 14416 markings, 34055 edges, 127 markings/sec, 110 secs
lola: 15045 markings, 35556 edges, 126 markings/sec, 115 secs
lola: 15672 markings, 37020 edges, 125 markings/sec, 120 secs
lola: 16284 markings, 38664 edges, 122 markings/sec, 125 secs
lola: 16888 markings, 40292 edges, 121 markings/sec, 130 secs
lola: 17493 markings, 41919 edges, 121 markings/sec, 135 secs
lola: 18102 markings, 43596 edges, 122 markings/sec, 140 secs
lola: 18708 markings, 45228 edges, 121 markings/sec, 145 secs
lola: 19311 markings, 46850 edges, 121 markings/sec, 150 secs
lola: 19915 markings, 48508 edges, 121 markings/sec, 155 secs
lola: 20516 markings, 50127 edges, 120 markings/sec, 160 secs
lola: 21117 markings, 51746 edges, 120 markings/sec, 165 secs
lola: 21715 markings, 53393 edges, 120 markings/sec, 170 secs
lola: 22312 markings, 55003 edges, 119 markings/sec, 175 secs
lola: 22906 markings, 56596 edges, 119 markings/sec, 180 secs
lola: 23502 markings, 58238 edges, 119 markings/sec, 185 secs
lola: 24097 markings, 59939 edges, 119 markings/sec, 190 secs
lola: 24678 markings, 61885 edges, 116 markings/sec, 195 secs
lola: 25249 markings, 63873 edges, 114 markings/sec, 200 secs
lola: 25826 markings, 65796 edges, 115 markings/sec, 205 secs
lola: 26400 markings, 67764 edges, 115 markings/sec, 210 secs
lola: 26965 markings, 69771 edges, 113 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(p519 + p518 + p517 + p516 + p515 + p514 + p513 + p512 + p511 + p510 + p509 + p508 + p507 + p506 + p505 + p504 + p503 + p502 + p501 + p500)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 642 markings, 1371 edges, 128 markings/sec, 0 secs
lola: 1277 markings, 2844 edges, 127 markings/sec, 5 secs
lola: 1871 markings, 4343 edges, 119 markings/sec, 10 secs
lola: 2484 markings, 5786 edges, 123 markings/sec, 15 secs
lola: 3134 markings, 7264 edges, 130 markings/sec, 20 secs
lola: 3746 markings, 8719 edges, 122 markings/sec, 25 secs
lola: 4326 markings, 10236 edges, 116 markings/sec, 30 secs
lola: 4957 markings, 11665 edges, 126 markings/sec, 35 secs
lola: 5596 markings, 13157 edges, 128 markings/sec, 40 secs
lola: 6205 markings, 14621 edges, 122 markings/sec, 45 secs
lola: 6795 markings, 16129 edges, 118 markings/sec, 50 secs
lola: 7406 markings, 17601 edges, 122 markings/sec, 55 secs
lola: 8043 markings, 19070 edges, 127 markings/sec, 60 secs
lola: 8666 markings, 20568 edges, 125 markings/sec, 65 secs
lola: 9275 markings, 22050 edges, 122 markings/sec, 70 secs
lola: 9872 markings, 23564 edges, 119 markings/sec, 75 secs
lola: 10467 markings, 25072 edges, 119 markings/sec, 80 secs
lola: 11096 markings, 26544 edges, 126 markings/sec, 85 secs
lola: 11713 markings, 28025 edges, 123 markings/sec, 90 secs
lola: 12328 markings, 29522 edges, 123 markings/sec, 95 secs
lola: 12926 markings, 31004 edges, 120 markings/sec, 100 secs
lola: 13524 markings, 32493 edges, 120 markings/sec, 105 secs
lola: 14120 markings, 33986 edges, 119 markings/sec, 110 secs
lola: 14712 markings, 35498 edges, 118 markings/sec, 115 secs
lola: 15302 markings, 37016 edges, 118 markings/sec, 120 secs
lola: 15898 markings, 38525 edges, 119 markings/sec, 125 secs
lola: 16500 markings, 40025 edges, 120 markings/sec, 130 secs
lola: 17101 markings, 41545 edges, 120 markings/sec, 135 secs
lola: 17700 markings, 43063 edges, 120 markings/sec, 140 secs
lola: 18296 markings, 44599 edges, 119 markings/sec, 145 secs
lola: 18896 markings, 46137 edges, 120 markings/sec, 150 secs
lola: 19508 markings, 47664 edges, 122 markings/sec, 155 secs
lola: 20107 markings, 49212 edges, 120 markings/sec, 160 secs
lola: 20708 markings, 50769 edges, 120 markings/sec, 165 secs
lola: 21310 markings, 52331 edges, 120 markings/sec, 170 secs
lola: 21901 markings, 53917 edges, 118 markings/sec, 175 secs
lola: 22487 markings, 55528 edges, 117 markings/sec, 180 secs
lola: 23089 markings, 57128 edges, 120 markings/sec, 185 secs
lola: 23694 markings, 58720 edges, 121 markings/sec, 190 secs
lola: 24255 markings, 60501 edges, 112 markings/sec, 195 secs
lola: 24788 markings, 62339 edges, 107 markings/sec, 200 secs
lola: 25317 markings, 64103 edges, 106 markings/sec, 205 secs
lola: 25852 markings, 65886 edges, 107 markings/sec, 210 secs
lola: 26413 markings, 67847 edges, 112 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(p520 + p521 + p522 + p523 + p524 + p525 + p526 + p527 + p528 + p529 + p530 + p531 + p532 + p533 + p534 + p535 + p536 + p537 + p538 + p539)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 593 markings, 1255 edges, 119 markings/sec, 0 secs
lola: 1195 markings, 2585 edges, 120 markings/sec, 5 secs
lola: 1806 markings, 4114 edges, 122 markings/sec, 10 secs
lola: 2383 markings, 5482 edges, 115 markings/sec, 15 secs
lola: 2980 markings, 6867 edges, 119 markings/sec, 20 secs
lola: 3578 markings, 8300 edges, 120 markings/sec, 25 secs
lola: 4161 markings, 9577 edges, 117 markings/sec, 30 secs
lola: 4758 markings, 10938 edges, 119 markings/sec, 35 secs
lola: 5350 markings, 12411 edges, 118 markings/sec, 40 secs
lola: 5937 markings, 13728 edges, 117 markings/sec, 45 secs
lola: 6529 markings, 14996 edges, 118 markings/sec, 50 secs
lola: 7122 markings, 16377 edges, 119 markings/sec, 55 secs
lola: 7715 markings, 17683 edges, 119 markings/sec, 60 secs
lola: 8316 markings, 19218 edges, 120 markings/sec, 65 secs
lola: 8914 markings, 20534 edges, 120 markings/sec, 70 secs
lola: 9508 markings, 21835 edges, 119 markings/sec, 75 secs
lola: 10101 markings, 23238 edges, 119 markings/sec, 80 secs
lola: 10697 markings, 24580 edges, 119 markings/sec, 85 secs
lola: 11301 markings, 26087 edges, 121 markings/sec, 90 secs
lola: 11892 markings, 27409 edges, 118 markings/sec, 95 secs
lola: 12489 markings, 28773 edges, 119 markings/sec, 100 secs
lola: 13084 markings, 30081 edges, 119 markings/sec, 105 secs
lola: 13691 markings, 31480 edges, 121 markings/sec, 110 secs
lola: 14288 markings, 32940 edges, 119 markings/sec, 115 secs
lola: 14877 markings, 34239 edges, 118 markings/sec, 120 secs
lola: 15473 markings, 35645 edges, 119 markings/sec, 125 secs
lola: 16076 markings, 37015 edges, 121 markings/sec, 130 secs
lola: 16673 markings, 38514 edges, 119 markings/sec, 135 secs
lola: 17263 markings, 39787 edges, 118 markings/sec, 140 secs
lola: 17863 markings, 41193 edges, 120 markings/sec, 145 secs
lola: 18485 markings, 42623 edges, 124 markings/sec, 150 secs
lola: 19098 markings, 44133 edges, 123 markings/sec, 155 secs
lola: 19707 markings, 45440 edges, 122 markings/sec, 160 secs
lola: 20322 markings, 46916 edges, 123 markings/sec, 165 secs
lola: 20946 markings, 48489 edges, 125 markings/sec, 170 secs
lola: 21555 markings, 49817 edges, 122 markings/sec, 175 secs
lola: 22179 markings, 51308 edges, 125 markings/sec, 180 secs
lola: 22820 markings, 52927 edges, 128 markings/sec, 185 secs
lola: 23441 markings, 54253 edges, 124 markings/sec, 190 secs
lola: 24072 markings, 55762 edges, 126 markings/sec, 195 secs
lola: 24714 markings, 57381 edges, 128 markings/sec, 200 secs
lola: 25337 markings, 58752 edges, 125 markings/sec, 205 secs
lola: 25981 markings, 60354 edges, 129 markings/sec, 210 secs
lola: 26611 markings, 61858 edges, 126 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(p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 626 markings, 1159 edges, 125 markings/sec, 0 secs
lola: 1216 markings, 2313 edges, 118 markings/sec, 5 secs
lola: 1760 markings, 3479 edges, 109 markings/sec, 10 secs
lola: 2379 markings, 4675 edges, 124 markings/sec, 15 secs
lola: 2961 markings, 5939 edges, 116 markings/sec, 20 secs
lola: 3493 markings, 7224 edges, 106 markings/sec, 25 secs
lola: 4109 markings, 8411 edges, 123 markings/sec, 30 secs
lola: 4689 markings, 9689 edges, 116 markings/sec, 35 secs
lola: 5240 markings, 11003 edges, 110 markings/sec, 40 secs
lola: 5876 markings, 12246 edges, 127 markings/sec, 45 secs
lola: 6481 markings, 13568 edges, 121 markings/sec, 50 secs
lola: 7015 markings, 14862 edges, 107 markings/sec, 55 secs
lola: 7662 markings, 16141 edges, 129 markings/sec, 60 secs
lola: 8285 markings, 17476 edges, 125 markings/sec, 65 secs
lola: 8860 markings, 18754 edges, 115 markings/sec, 70 secs
lola: 9473 markings, 19978 edges, 123 markings/sec, 75 secs
lola: 10085 markings, 21202 edges, 122 markings/sec, 80 secs
lola: 10670 markings, 22480 edges, 117 markings/sec, 85 secs
lola: 11271 markings, 23714 edges, 120 markings/sec, 90 secs
lola: 11906 markings, 24955 edges, 127 markings/sec, 95 secs
lola: 12496 markings, 26227 edges, 118 markings/sec, 100 secs
lola: 13071 markings, 27463 edges, 115 markings/sec, 105 secs
lola: 13707 markings, 28691 edges, 127 markings/sec, 110 secs
lola: 14310 markings, 29956 edges, 121 markings/sec, 115 secs
lola: 14873 markings, 31206 edges, 113 markings/sec, 120 secs
lola: 15516 markings, 32454 edges, 129 markings/sec, 125 secs
lola: 16084 markings, 33780 edges, 114 markings/sec, 130 secs
lola: 16660 markings, 35150 edges, 115 markings/sec, 135 secs
lola: 17249 markings, 36573 edges, 118 markings/sec, 140 secs
lola: 17836 markings, 37985 edges, 117 markings/sec, 145 secs
lola: 18407 markings, 39479 edges, 114 markings/sec, 150 secs
lola: 18977 markings, 40933 edges, 114 markings/sec, 155 secs
lola: 19566 markings, 42352 edges, 118 markings/sec, 160 secs
lola: 20145 markings, 43778 edges, 116 markings/sec, 165 secs
lola: 20706 markings, 45169 edges, 112 markings/sec, 170 secs
lola: 21283 markings, 46563 edges, 115 markings/sec, 175 secs
lola: 21867 markings, 47924 edges, 117 markings/sec, 180 secs
lola: 22440 markings, 49305 edges, 115 markings/sec, 185 secs
lola: 23012 markings, 50720 edges, 114 markings/sec, 190 secs
lola: 23606 markings, 52112 edges, 119 markings/sec, 195 secs
lola: 24170 markings, 53516 edges, 113 markings/sec, 200 secs
lola: 24730 markings, 55111 edges, 112 markings/sec, 205 secs
lola: 25283 markings, 56755 edges, 111 markings/sec, 210 secs
lola: 25840 markings, 58361 edges, 111 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(p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 625 markings, 1416 edges, 125 markings/sec, 0 secs
lola: 1251 markings, 2907 edges, 125 markings/sec, 5 secs
lola: 1876 markings, 4395 edges, 125 markings/sec, 10 secs
lola: 2499 markings, 5838 edges, 125 markings/sec, 15 secs
lola: 3126 markings, 7333 edges, 125 markings/sec, 20 secs
lola: 3751 markings, 8824 edges, 125 markings/sec, 25 secs
lola: 4373 markings, 10270 edges, 124 markings/sec, 30 secs
lola: 4999 markings, 11763 edges, 125 markings/sec, 35 secs
lola: 5625 markings, 13256 edges, 125 markings/sec, 40 secs
lola: 6248 markings, 14740 edges, 125 markings/sec, 45 secs
lola: 6870 markings, 16186 edges, 124 markings/sec, 50 secs
lola: 7493 markings, 17675 edges, 125 markings/sec, 55 secs
lola: 8116 markings, 19165 edges, 125 markings/sec, 60 secs
lola: 8737 markings, 20596 edges, 124 markings/sec, 65 secs
lola: 9361 markings, 22084 edges, 125 markings/sec, 70 secs
lola: 9986 markings, 23574 edges, 125 markings/sec, 75 secs
lola: 10610 markings, 25062 edges, 125 markings/sec, 80 secs
lola: 11231 markings, 26506 edges, 124 markings/sec, 85 secs
lola: 11859 markings, 28001 edges, 126 markings/sec, 90 secs
lola: 12486 markings, 29496 edges, 125 markings/sec, 95 secs
lola: 13111 markings, 30946 edges, 125 markings/sec, 100 secs
lola: 13738 markings, 32441 edges, 125 markings/sec, 105 secs
lola: 14367 markings, 33942 edges, 126 markings/sec, 110 secs
lola: 14995 markings, 35440 edges, 126 markings/sec, 115 secs
lola: 15619 markings, 36893 edges, 125 markings/sec, 120 secs
lola: 16227 markings, 38484 edges, 122 markings/sec, 125 secs
lola: 16832 markings, 40143 edges, 121 markings/sec, 130 secs
lola: 17434 markings, 41764 edges, 120 markings/sec, 135 secs
lola: 18039 markings, 43448 edges, 121 markings/sec, 140 secs
lola: 18646 markings, 45059 edges, 121 markings/sec, 145 secs
lola: 19247 markings, 46679 edges, 120 markings/sec, 150 secs
lola: 19844 markings, 48344 edges, 119 markings/sec, 155 secs
lola: 20445 markings, 49941 edges, 120 markings/sec, 160 secs
lola: 21045 markings, 51556 edges, 120 markings/sec, 165 secs
lola: 21642 markings, 53183 edges, 119 markings/sec, 170 secs
lola: 22240 markings, 54812 edges, 120 markings/sec, 175 secs
lola: 22837 markings, 56420 edges, 119 markings/sec, 180 secs
lola: 23436 markings, 58033 edges, 120 markings/sec, 185 secs
lola: 24039 markings, 59767 edges, 121 markings/sec, 190 secs
lola: 24622 markings, 61674 edges, 117 markings/sec, 195 secs
lola: 25189 markings, 63637 edges, 113 markings/sec, 200 secs
lola: 25760 markings, 65602 edges, 114 markings/sec, 205 secs
lola: 26336 markings, 67515 edges, 115 markings/sec, 210 secs
lola: 26898 markings, 69509 edges, 112 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p460 + p461 + p462 + p463 + p464 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 625 markings, 1414 edges, 125 markings/sec, 0 secs
lola: 1251 markings, 2907 edges, 125 markings/sec, 5 secs
lola: 1876 markings, 4395 edges, 125 markings/sec, 10 secs
lola: 2500 markings, 5840 edges, 125 markings/sec, 15 secs
lola: 3075 markings, 7215 edges, 115 markings/sec, 20 secs
lola: 3693 markings, 8693 edges, 124 markings/sec, 25 secs
lola: 4297 markings, 10093 edges, 121 markings/sec, 30 secs
lola: 4928 markings, 11595 edges, 126 markings/sec, 35 secs
lola: 5552 markings, 13084 edges, 125 markings/sec, 40 secs
lola: 6180 markings, 14581 edges, 126 markings/sec, 45 secs
lola: 6806 markings, 16038 edges, 125 markings/sec, 50 secs
lola: 7433 markings, 17532 edges, 125 markings/sec, 55 secs
lola: 8052 markings, 19008 edges, 124 markings/sec, 60 secs
lola: 8667 markings, 20442 edges, 123 markings/sec, 65 secs
lola: 9287 markings, 21918 edges, 124 markings/sec, 70 secs
lola: 9909 markings, 23396 edges, 124 markings/sec, 75 secs
lola: 10527 markings, 24873 edges, 124 markings/sec, 80 secs
lola: 11145 markings, 26313 edges, 124 markings/sec, 85 secs
lola: 11769 markings, 27804 edges, 125 markings/sec, 90 secs
lola: 12392 markings, 29286 edges, 125 markings/sec, 95 secs
lola: 13013 markings, 30719 edges, 124 markings/sec, 100 secs
lola: 13639 markings, 32212 edges, 125 markings/sec, 105 secs
lola: 14264 markings, 33702 edges, 125 markings/sec, 110 secs
lola: 14884 markings, 35144 edges, 124 markings/sec, 115 secs
lola: 15508 markings, 36630 edges, 125 markings/sec, 120 secs
lola: 16118 markings, 38194 edges, 122 markings/sec, 125 secs
lola: 16722 markings, 39854 edges, 121 markings/sec, 130 secs
lola: 17321 markings, 41467 edges, 120 markings/sec, 135 secs
lola: 17922 markings, 43086 edges, 120 markings/sec, 140 secs
lola: 18526 markings, 44746 edges, 121 markings/sec, 145 secs
lola: 19126 markings, 46361 edges, 120 markings/sec, 150 secs
lola: 19722 markings, 47966 edges, 119 markings/sec, 155 secs
lola: 20321 markings, 49614 edges, 120 markings/sec, 160 secs
lola: 20919 markings, 51223 edges, 120 markings/sec, 165 secs
lola: 21513 markings, 52828 edges, 119 markings/sec, 170 secs
lola: 22107 markings, 54468 edges, 119 markings/sec, 175 secs
lola: 22705 markings, 56066 edges, 120 markings/sec, 180 secs
lola: 23300 markings, 57671 edges, 119 markings/sec, 185 secs
lola: 23903 markings, 59351 edges, 121 markings/sec, 190 secs
lola: 24488 markings, 61266 edges, 117 markings/sec, 195 secs
lola: 25066 markings, 63173 edges, 116 markings/sec, 200 secs
lola: 25632 markings, 65146 edges, 113 markings/sec, 205 secs
lola: 26202 markings, 67114 edges, 114 markings/sec, 210 secs
lola: 26776 markings, 69032 edges, 115 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p0 + p1 + p2 + p3 + p4 + p5 + p6 + p7 + p8 + p9 + p19 + p18 + p17 + p16 + p15 + p14 + p13 + p12 + p11 + p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 1844 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 612 markings, 1265 edges, 122 markings/sec, 0 secs
lola: 1218 markings, 2524 edges, 121 markings/sec, 5 secs
lola: 1831 markings, 3898 edges, 123 markings/sec, 10 secs
lola: 2449 markings, 5186 edges, 124 markings/sec, 15 secs
lola: 3059 markings, 6436 edges, 122 markings/sec, 20 secs
lola: 3681 markings, 7831 edges, 124 markings/sec, 25 secs
lola: 4297 markings, 9111 edges, 123 markings/sec, 30 secs
lola: 4909 markings, 10354 edges, 122 markings/sec, 35 secs
lola: 5527 markings, 11761 edges, 124 markings/sec, 40 secs
lola: 6141 markings, 13028 edges, 123 markings/sec, 45 secs
lola: 6753 markings, 14273 edges, 122 markings/sec, 50 secs
lola: 7372 markings, 15706 edges, 124 markings/sec, 55 secs
lola: 7987 markings, 16953 edges, 123 markings/sec, 60 secs
lola: 8598 markings, 18197 edges, 122 markings/sec, 65 secs
lola: 9218 markings, 19635 edges, 124 markings/sec, 70 secs
lola: 9828 markings, 20876 edges, 122 markings/sec, 75 secs
lola: 10445 markings, 22232 edges, 123 markings/sec, 80 secs
lola: 11060 markings, 23566 edges, 123 markings/sec, 85 secs
lola: 11668 markings, 24804 edges, 122 markings/sec, 90 secs
lola: 12282 markings, 26213 edges, 123 markings/sec, 95 secs
lola: 12893 markings, 27487 edges, 122 markings/sec, 100 secs
lola: 13496 markings, 28721 edges, 121 markings/sec, 105 secs
lola: 14106 markings, 30128 edges, 122 markings/sec, 110 secs
lola: 14714 markings, 31401 edges, 122 markings/sec, 115 secs
lola: 15317 markings, 32636 edges, 121 markings/sec, 120 secs
lola: 15926 markings, 34051 edges, 122 markings/sec, 125 secs
lola: 16532 markings, 35319 edges, 121 markings/sec, 130 secs
lola: 17135 markings, 36555 edges, 121 markings/sec, 135 secs
lola: 17746 markings, 37974 edges, 122 markings/sec, 140 secs
lola: 18349 markings, 39246 edges, 121 markings/sec, 145 secs
lola: 18955 markings, 40487 edges, 121 markings/sec, 150 secs
lola: 19567 markings, 41911 edges, 122 markings/sec, 155 secs
lola: 20172 markings, 43195 edges, 121 markings/sec, 160 secs
lola: 20779 markings, 44575 edges, 121 markings/sec, 165 secs
lola: 21392 markings, 45872 edges, 123 markings/sec, 170 secs
lola: 21992 markings, 47162 edges, 120 markings/sec, 175 secs
lola: 22605 markings, 48533 edges, 123 markings/sec, 180 secs
lola: 23217 markings, 49850 edges, 122 markings/sec, 185 secs
lola: 23817 markings, 51155 edges, 120 markings/sec, 190 secs
lola: 24434 markings, 52534 edges, 123 markings/sec, 195 secs
lola: 25043 markings, 53850 edges, 122 markings/sec, 200 secs
lola: 25648 markings, 55117 edges, 121 markings/sec, 205 secs
lola: 26263 markings, 56545 edges, 123 markings/sec, 210 secs
lola: 26877 markings, 57840 edges, 123 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 PhilosophersDyn-COL-20-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhilosophersDyn-COL-20-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhilosophersDyn-COL-20-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhilosophersDyn-COL-20-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhilosophersDyn-COL-20-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhilosophersDyn-COL-20-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhilosophersDyn-COL-20-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhilosophersDyn-COL-20-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhilosophersDyn-COL-20-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhilosophersDyn-COL-20-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhilosophersDyn-COL-20-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhilosophersDyn-COL-20-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhilosophersDyn-COL-20-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhilosophersDyn-COL-20-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhilosophersDyn-COL-20-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhilosophersDyn-COL-20-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494593592199

--------------------
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="PhilosophersDyn-COL-20"
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/PhilosophersDyn-COL-20.tgz
mv PhilosophersDyn-COL-20 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is PhilosophersDyn-COL-20, 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 r048-smll-149440869700236"
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 ;