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 DLCround-PT-13a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r178-csrt-149580962000380
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496545990497


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DLCround-PT-13a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
DLCround-PT-13a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ DLCround-PT-13a @ 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: 4310/65536 symbol table entries, 803 collisions
lola: preprocessing...
lola: finding significant places
lola: 463 places, 3847 transitions, 151 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3418 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-13a-UpperBounds.task
lola: MAX(p331) : MAX(p51) : MAX(p398) : MAX(p377) : MAX(p273) : MAX(p342) : MAX(p411) : MAX(p383) : MAX(p428) : MAX(p457) : MAX(p145) : MAX(p22) : MAX(p284) : MAX(p361) : MAX(p154) : MAX(p85)
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(p331)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p51)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 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: 20826 markings, 223814 edges, 4165 markings/sec, 0 secs
lola: 42350 markings, 474523 edges, 4305 markings/sec, 5 secs
lola: 64127 markings, 733611 edges, 4355 markings/sec, 10 secs
lola: 86336 markings, 992506 edges, 4442 markings/sec, 15 secs
lola: 107401 markings, 1243574 edges, 4213 markings/sec, 20 secs
lola: 127719 markings, 1482421 edges, 4064 markings/sec, 25 secs
lola: 149574 markings, 1746409 edges, 4371 markings/sec, 30 secs
lola: 171994 markings, 2019077 edges, 4484 markings/sec, 35 secs
lola: 194508 markings, 2290329 edges, 4503 markings/sec, 40 secs
lola: 216926 markings, 2561416 edges, 4484 markings/sec, 45 secs
lola: 238988 markings, 2819910 edges, 4412 markings/sec, 50 secs
lola: 261208 markings, 3080108 edges, 4444 markings/sec, 55 secs
lola: 284115 markings, 3362911 edges, 4581 markings/sec, 60 secs
lola: 306792 markings, 3649440 edges, 4535 markings/sec, 65 secs
lola: 327994 markings, 3916272 edges, 4240 markings/sec, 70 secs
lola: 348631 markings, 4162856 edges, 4127 markings/sec, 75 secs
lola: 369480 markings, 4418708 edges, 4170 markings/sec, 80 secs
lola: 390324 markings, 4672261 edges, 4169 markings/sec, 85 secs
lola: 411053 markings, 4931184 edges, 4146 markings/sec, 90 secs
lola: 433406 markings, 5193893 edges, 4471 markings/sec, 95 secs
lola: 456051 markings, 5462694 edges, 4529 markings/sec, 100 secs
lola: 477183 markings, 5709519 edges, 4226 markings/sec, 105 secs
lola: 498423 markings, 5956539 edges, 4248 markings/sec, 110 secs
lola: 519669 markings, 6208710 edges, 4249 markings/sec, 115 secs
lola: 540431 markings, 6473255 edges, 4152 markings/sec, 120 secs
lola: 561242 markings, 6718414 edges, 4162 markings/sec, 125 secs
lola: 582740 markings, 6977118 edges, 4300 markings/sec, 130 secs
lola: 604204 markings, 7239242 edges, 4293 markings/sec, 135 secs
lola: 625466 markings, 7500739 edges, 4252 markings/sec, 140 secs
lola: 646187 markings, 7746741 edges, 4144 markings/sec, 145 secs
lola: 666946 markings, 7998700 edges, 4152 markings/sec, 150 secs
lola: 688437 markings, 8269968 edges, 4298 markings/sec, 155 secs
lola: 710062 markings, 8552399 edges, 4325 markings/sec, 160 secs
lola: 731806 markings, 8819151 edges, 4349 markings/sec, 165 secs
lola: 753705 markings, 9088568 edges, 4380 markings/sec, 170 secs
lola: 775842 markings, 9343793 edges, 4427 markings/sec, 175 secs
lola: 797917 markings, 9612033 edges, 4415 markings/sec, 180 secs
lola: 819729 markings, 9888448 edges, 4362 markings/sec, 185 secs
lola: 841800 markings, 10160420 edges, 4414 markings/sec, 190 secs
lola: 863962 markings, 10437717 edges, 4432 markings/sec, 195 secs
lola: 886318 markings, 10700557 edges, 4471 markings/sec, 200 secs
lola: 907854 markings, 10975552 edges, 4307 markings/sec, 205 secs
lola: 929888 markings, 11241793 edges, 4407 markings/sec, 210 secs
lola: 951919 markings, 11508409 edges, 4406 markings/sec, 215 secs
lola: 973722 markings, 11777889 edges, 4361 markings/sec, 220 secs
lola: 995688 markings, 12040516 edges, 4393 markings/sec, 225 secs
lola: 1017241 markings, 12296579 edges, 4311 markings/sec, 230 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 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p398)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 254 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p377)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 4 will run for 275 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 20 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 5 will run for 300 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p342)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 6 will run for 330 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p411)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 367 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p383)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 8 will run for 413 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p428)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 9 will run for 472 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p457)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 10 will run for 550 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p145)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 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: 20099 markings, 144922 edges, 4020 markings/sec, 0 secs
lola: 40121 markings, 308967 edges, 4004 markings/sec, 5 secs
lola: 60026 markings, 503602 edges, 3981 markings/sec, 10 secs
lola: 80084 markings, 711175 edges, 4012 markings/sec, 15 secs
lola: 100401 markings, 901372 edges, 4063 markings/sec, 20 secs
lola: 120528 markings, 1087110 edges, 4025 markings/sec, 25 secs
lola: 140445 markings, 1272811 edges, 3983 markings/sec, 30 secs
lola: 160440 markings, 1486420 edges, 3999 markings/sec, 35 secs
lola: 180820 markings, 1692159 edges, 4076 markings/sec, 40 secs
lola: 199715 markings, 1878305 edges, 3779 markings/sec, 45 secs
lola: 218832 markings, 2062864 edges, 3823 markings/sec, 50 secs
lola: 237613 markings, 2250762 edges, 3756 markings/sec, 55 secs
lola: 256468 markings, 2420000 edges, 3771 markings/sec, 60 secs
lola: 275298 markings, 2603181 edges, 3766 markings/sec, 65 secs
lola: 294127 markings, 2791267 edges, 3766 markings/sec, 70 secs
lola: 312875 markings, 2984082 edges, 3750 markings/sec, 75 secs
lola: 331383 markings, 3171711 edges, 3702 markings/sec, 80 secs
lola: 350824 markings, 3350730 edges, 3888 markings/sec, 85 secs
lola: 370758 markings, 3561878 edges, 3987 markings/sec, 90 secs
lola: 391148 markings, 3774738 edges, 4078 markings/sec, 95 secs
lola: 411175 markings, 4000529 edges, 4005 markings/sec, 100 secs
lola: 430850 markings, 4205682 edges, 3935 markings/sec, 105 secs
lola: 449724 markings, 4381929 edges, 3775 markings/sec, 110 secs
lola: 468591 markings, 4556159 edges, 3773 markings/sec, 115 secs
lola: 487671 markings, 4743420 edges, 3816 markings/sec, 120 secs
lola: 507441 markings, 4927442 edges, 3954 markings/sec, 125 secs
lola: 527134 markings, 5108981 edges, 3939 markings/sec, 130 secs
lola: 546956 markings, 5329778 edges, 3964 markings/sec, 135 secs
lola: 566812 markings, 5541149 edges, 3971 markings/sec, 140 secs
lola: 586412 markings, 5763755 edges, 3920 markings/sec, 145 secs
lola: 606162 markings, 5957353 edges, 3950 markings/sec, 150 secs
lola: 626042 markings, 6146981 edges, 3976 markings/sec, 155 secs
lola: 645683 markings, 6378990 edges, 3928 markings/sec, 160 secs
lola: 665658 markings, 6561281 edges, 3995 markings/sec, 165 secs
lola: 685129 markings, 6767020 edges, 3894 markings/sec, 170 secs
lola: 704586 markings, 6976714 edges, 3891 markings/sec, 175 secs
lola: 724507 markings, 7172810 edges, 3984 markings/sec, 180 secs
lola: 744112 markings, 7382035 edges, 3921 markings/sec, 185 secs
lola: 763669 markings, 7549099 edges, 3911 markings/sec, 190 secs
lola: 783240 markings, 7741914 edges, 3914 markings/sec, 195 secs
lola: 802746 markings, 7924678 edges, 3901 markings/sec, 200 secs
lola: 822677 markings, 8098566 edges, 3986 markings/sec, 205 secs
lola: 842362 markings, 8292468 edges, 3937 markings/sec, 210 secs
lola: 862307 markings, 8496292 edges, 3989 markings/sec, 215 secs
lola: 882046 markings, 8682450 edges, 3948 markings/sec, 220 secs
lola: 901788 markings, 8882423 edges, 3948 markings/sec, 225 secs
lola: 921430 markings, 9081257 edges, 3928 markings/sec, 230 secs
lola: 941654 markings, 9283184 edges, 4045 markings/sec, 235 secs
lola: 961093 markings, 9495528 edges, 3888 markings/sec, 240 secs
lola: 980905 markings, 9695497 edges, 3962 markings/sec, 245 secs
lola: 999891 markings, 9904367 edges, 3797 markings/sec, 250 secs
lola: 1019512 markings, 10086919 edges, 3924 markings/sec, 255 secs
lola: 1039411 markings, 10278393 edges, 3980 markings/sec, 260 secs
lola: 1059574 markings, 10465992 edges, 4033 markings/sec, 265 secs
lola: 1079873 markings, 10679478 edges, 4060 markings/sec, 270 secs
lola: 1100154 markings, 10872270 edges, 4056 markings/sec, 275 secs
lola: 1120467 markings, 11077853 edges, 4063 markings/sec, 280 secs
lola: 1139194 markings, 11256255 edges, 3745 markings/sec, 285 secs
lola: 1157961 markings, 11433768 edges, 3753 markings/sec, 290 secs
lola: 1176840 markings, 11619151 edges, 3776 markings/sec, 295 secs
lola: 1196388 markings, 11807599 edges, 3910 markings/sec, 300 secs
lola: 1215856 markings, 11998982 edges, 3894 markings/sec, 305 secs
lola: 1235880 markings, 12192166 edges, 4005 markings/sec, 310 secs
lola: 1255593 markings, 12380544 edges, 3943 markings/sec, 315 secs
lola: 1275260 markings, 12587706 edges, 3933 markings/sec, 320 secs
lola: 1295202 markings, 12804186 edges, 3988 markings/sec, 325 secs
lola: 1315069 markings, 13001987 edges, 3973 markings/sec, 330 secs
lola: 1334817 markings, 13203172 edges, 3950 markings/sec, 335 secs
lola: 1354408 markings, 13438886 edges, 3918 markings/sec, 340 secs
lola: 1374066 markings, 13653086 edges, 3932 markings/sec, 345 secs
lola: 1392967 markings, 13867382 edges, 3780 markings/sec, 350 secs
lola: 1411764 markings, 14052358 edges, 3759 markings/sec, 355 secs
lola: 1430490 markings, 14263562 edges, 3745 markings/sec, 360 secs
lola: 1449826 markings, 14478923 edges, 3867 markings/sec, 365 secs
lola: 1468895 markings, 14647112 edges, 3814 markings/sec, 370 secs
lola: 1488101 markings, 14842441 edges, 3841 markings/sec, 375 secs
lola: 1507511 markings, 15044713 edges, 3882 markings/sec, 380 secs
lola: 1527812 markings, 15223588 edges, 4060 markings/sec, 385 secs
lola: 1547890 markings, 15415706 edges, 4016 markings/sec, 390 secs
lola: 1568308 markings, 15597314 edges, 4084 markings/sec, 395 secs
lola: 1588827 markings, 15786435 edges, 4104 markings/sec, 400 secs
lola: 1609256 markings, 15972029 edges, 4086 markings/sec, 405 secs
lola: 1629950 markings, 16169618 edges, 4139 markings/sec, 410 secs
lola: 1650665 markings, 16360582 edges, 4143 markings/sec, 415 secs
lola: 1671193 markings, 16558976 edges, 4106 markings/sec, 420 secs
lola: 1691491 markings, 16767752 edges, 4060 markings/sec, 425 secs
lola: 1711808 markings, 16972669 edges, 4063 markings/sec, 430 secs
lola: 1732224 markings, 17188547 edges, 4083 markings/sec, 435 secs
lola: 1752658 markings, 17405527 edges, 4087 markings/sec, 440 secs
lola: 1773257 markings, 17583940 edges, 4120 markings/sec, 445 secs
lola: 1793366 markings, 17760354 edges, 4022 markings/sec, 450 secs
lola: 1812318 markings, 17957545 edges, 3790 markings/sec, 455 secs
lola: 1831264 markings, 18157603 edges, 3789 markings/sec, 460 secs
lola: 1850330 markings, 18362457 edges, 3813 markings/sec, 465 secs
lola: 1869308 markings, 18551916 edges, 3796 markings/sec, 470 secs
lola: 1888311 markings, 18773275 edges, 3801 markings/sec, 475 secs
lola: 1907261 markings, 18955938 edges, 3790 markings/sec, 480 secs
lola: 1925885 markings, 19148742 edges, 3725 markings/sec, 485 secs
lola: 1944703 markings, 19334310 edges, 3764 markings/sec, 490 secs
lola: 1964822 markings, 19532505 edges, 4024 markings/sec, 495 secs
lola: 1984535 markings, 19738537 edges, 3943 markings/sec, 500 secs
lola: 2004209 markings, 19942348 edges, 3935 markings/sec, 505 secs
lola: 2024218 markings, 20135843 edges, 4002 markings/sec, 510 secs
lola: 2044016 markings, 20336125 edges, 3960 markings/sec, 515 secs
lola: 2063557 markings, 20553264 edges, 3908 markings/sec, 520 secs
lola: 2083380 markings, 20744896 edges, 3965 markings/sec, 525 secs
lola: 2103394 markings, 20979036 edges, 4003 markings/sec, 530 secs
lola: 2123505 markings, 21172315 edges, 4022 markings/sec, 535 secs
lola: 2143804 markings, 21372918 edges, 4060 markings/sec, 540 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 550 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p22)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 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: 24254 markings, 163450 edges, 4851 markings/sec, 0 secs
lola: 49326 markings, 331905 edges, 5014 markings/sec, 5 secs
lola: 73440 markings, 495068 edges, 4823 markings/sec, 10 secs
lola: 98745 markings, 666325 edges, 5061 markings/sec, 15 secs
lola: 124168 markings, 839403 edges, 5085 markings/sec, 20 secs
lola: 149581 markings, 1011617 edges, 5083 markings/sec, 25 secs
lola: 173230 markings, 1174743 edges, 4730 markings/sec, 30 secs
lola: 196796 markings, 1339362 edges, 4713 markings/sec, 35 secs
lola: 220301 markings, 1496983 edges, 4701 markings/sec, 40 secs
lola: 245121 markings, 1669640 edges, 4964 markings/sec, 45 secs
lola: 269797 markings, 1841612 edges, 4935 markings/sec, 50 secs
lola: 294630 markings, 2010542 edges, 4967 markings/sec, 55 secs
lola: 319605 markings, 2179840 edges, 4995 markings/sec, 60 secs
lola: 344725 markings, 2355385 edges, 5024 markings/sec, 65 secs
lola: 369152 markings, 2524042 edges, 4885 markings/sec, 70 secs
lola: 393794 markings, 2694986 edges, 4928 markings/sec, 75 secs
lola: 418153 markings, 2861874 edges, 4872 markings/sec, 80 secs
lola: 442744 markings, 3029534 edges, 4918 markings/sec, 85 secs
lola: 467813 markings, 3201219 edges, 5014 markings/sec, 90 secs
lola: 492424 markings, 3368750 edges, 4922 markings/sec, 95 secs
lola: 517330 markings, 3537601 edges, 4981 markings/sec, 100 secs
lola: 542849 markings, 3718256 edges, 5104 markings/sec, 105 secs
lola: 568370 markings, 3895928 edges, 5104 markings/sec, 110 secs
lola: 593529 markings, 4068765 edges, 5032 markings/sec, 115 secs
lola: 619373 markings, 4243881 edges, 5169 markings/sec, 120 secs
lola: 644952 markings, 4419287 edges, 5116 markings/sec, 125 secs
lola: 670802 markings, 4601206 edges, 5170 markings/sec, 130 secs
lola: 696769 markings, 4777450 edges, 5193 markings/sec, 135 secs
lola: 722778 markings, 4956761 edges, 5202 markings/sec, 140 secs
lola: 748838 markings, 5136316 edges, 5212 markings/sec, 145 secs
lola: 775360 markings, 5324186 edges, 5304 markings/sec, 150 secs
lola: 801862 markings, 5505872 edges, 5300 markings/sec, 155 secs
lola: 828037 markings, 5693813 edges, 5235 markings/sec, 160 secs
lola: 852850 markings, 5866719 edges, 4963 markings/sec, 165 secs
lola: 877942 markings, 6035255 edges, 5018 markings/sec, 170 secs
lola: 903084 markings, 6211235 edges, 5028 markings/sec, 175 secs
lola: 929185 markings, 6387144 edges, 5220 markings/sec, 180 secs
lola: 955532 markings, 6564951 edges, 5269 markings/sec, 185 secs
lola: 981626 markings, 6746041 edges, 5219 markings/sec, 190 secs
lola: 1007330 markings, 6922193 edges, 5141 markings/sec, 195 secs
lola: 1032222 markings, 7094720 edges, 4978 markings/sec, 200 secs
lola: 1057253 markings, 7268731 edges, 5006 markings/sec, 205 secs
lola: 1083125 markings, 7453667 edges, 5174 markings/sec, 210 secs
lola: 1109104 markings, 7631525 edges, 5196 markings/sec, 215 secs
lola: 1135220 markings, 7809236 edges, 5223 markings/sec, 220 secs
lola: 1161601 markings, 7997666 edges, 5276 markings/sec, 225 secs
lola: 1188101 markings, 8183788 edges, 5300 markings/sec, 230 secs
lola: 1214781 markings, 8371584 edges, 5336 markings/sec, 235 secs
lola: 1241424 markings, 8559155 edges, 5329 markings/sec, 240 secs
lola: 1267028 markings, 8739166 edges, 5121 markings/sec, 245 secs
lola: 1293329 markings, 8921309 edges, 5260 markings/sec, 250 secs
lola: 1318484 markings, 9097356 edges, 5031 markings/sec, 255 secs
lola: 1344422 markings, 9276871 edges, 5188 markings/sec, 260 secs
lola: 1370653 markings, 9457124 edges, 5246 markings/sec, 265 secs
lola: 1396810 markings, 9640255 edges, 5231 markings/sec, 270 secs
lola: 1422206 markings, 9818630 edges, 5079 markings/sec, 275 secs
lola: 1446925 markings, 9988700 edges, 4944 markings/sec, 280 secs
lola: 1473284 markings, 10173149 edges, 5272 markings/sec, 285 secs
lola: 1499436 markings, 10354316 edges, 5230 markings/sec, 290 secs
lola: 1526125 markings, 10540196 edges, 5338 markings/sec, 295 secs
lola: 1552078 markings, 10724284 edges, 5191 markings/sec, 300 secs
lola: 1577206 markings, 10895731 edges, 5026 markings/sec, 305 secs
lola: 1602750 markings, 11068116 edges, 5109 markings/sec, 310 secs
lola: 1628748 markings, 11253528 edges, 5200 markings/sec, 315 secs
lola: 1654717 markings, 11432722 edges, 5194 markings/sec, 320 secs
lola: 1681236 markings, 11621834 edges, 5304 markings/sec, 325 secs
lola: 1707086 markings, 11800516 edges, 5170 markings/sec, 330 secs
lola: 1732325 markings, 11976588 edges, 5048 markings/sec, 335 secs
lola: 1758580 markings, 12160496 edges, 5251 markings/sec, 340 secs
lola: 1784652 markings, 12348039 edges, 5214 markings/sec, 345 secs
lola: 1811137 markings, 12536592 edges, 5297 markings/sec, 350 secs
lola: 1836801 markings, 12710762 edges, 5133 markings/sec, 355 secs
lola: 1863160 markings, 12887762 edges, 5272 markings/sec, 360 secs
lola: 1888330 markings, 13061324 edges, 5034 markings/sec, 365 secs
lola: 1914484 markings, 13240061 edges, 5231 markings/sec, 370 secs
lola: 1941045 markings, 13422306 edges, 5312 markings/sec, 375 secs
lola: 1966700 markings, 13596626 edges, 5131 markings/sec, 380 secs
lola: 1993210 markings, 13777084 edges, 5302 markings/sec, 385 secs
lola: 2020505 markings, 13959195 edges, 5459 markings/sec, 390 secs
lola: 2047680 markings, 14145684 edges, 5435 markings/sec, 395 secs
lola: 2074717 markings, 14331520 edges, 5407 markings/sec, 400 secs
lola: 2100748 markings, 14512609 edges, 5206 markings/sec, 405 secs
lola: 2127590 markings, 14693871 edges, 5368 markings/sec, 410 secs
lola: 2154535 markings, 14878471 edges, 5389 markings/sec, 415 secs
lola: 2181182 markings, 15059363 edges, 5329 markings/sec, 420 secs
lola: 2206949 markings, 15239935 edges, 5153 markings/sec, 425 secs
lola: 2233416 markings, 15422802 edges, 5293 markings/sec, 430 secs
lola: 2259965 markings, 15608590 edges, 5310 markings/sec, 435 secs
lola: 2286500 markings, 15790279 edges, 5307 markings/sec, 440 secs
lola: 2313744 markings, 15978507 edges, 5449 markings/sec, 445 secs
lola: 2341212 markings, 16164445 edges, 5494 markings/sec, 450 secs
lola: 2368308 markings, 16358138 edges, 5419 markings/sec, 455 secs
lola: 2395541 markings, 16544152 edges, 5447 markings/sec, 460 secs
lola: 2421376 markings, 16726846 edges, 5167 markings/sec, 465 secs
lola: 2448192 markings, 16913082 edges, 5363 markings/sec, 470 secs
lola: 2474981 markings, 17101890 edges, 5358 markings/sec, 475 secs
lola: 2501789 markings, 17287339 edges, 5362 markings/sec, 480 secs
lola: 2529125 markings, 17480526 edges, 5467 markings/sec, 485 secs
lola: 2556482 markings, 17668465 edges, 5471 markings/sec, 490 secs
lola: 2583992 markings, 17856577 edges, 5502 markings/sec, 495 secs
lola: 2611294 markings, 18046688 edges, 5460 markings/sec, 500 secs
lola: 2638393 markings, 18230531 edges, 5420 markings/sec, 505 secs
lola: 2664933 markings, 18414629 edges, 5308 markings/sec, 510 secs
lola: 2691589 markings, 18598252 edges, 5331 markings/sec, 515 secs
lola: 2717840 markings, 18780125 edges, 5250 markings/sec, 520 secs
lola: 2744250 markings, 18963630 edges, 5282 markings/sec, 525 secs
lola: 2769517 markings, 19138436 edges, 5053 markings/sec, 530 secs
lola: 2796169 markings, 19325487 edges, 5330 markings/sec, 535 secs
lola: 2823276 markings, 19513908 edges, 5421 markings/sec, 540 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 550 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p284)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 13 will run for 734 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p361)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 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: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 14 will run for 1101 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p154)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 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: 20222 markings, 148994 edges, 4044 markings/sec, 0 secs
lola: 41420 markings, 309650 edges, 4240 markings/sec, 5 secs
lola: 62565 markings, 485787 edges, 4229 markings/sec, 10 secs
lola: 84261 markings, 673834 edges, 4339 markings/sec, 15 secs
lola: 105993 markings, 848717 edges, 4346 markings/sec, 20 secs
lola: 127459 markings, 1036319 edges, 4293 markings/sec, 25 secs
lola: 149208 markings, 1216073 edges, 4350 markings/sec, 30 secs
lola: 170813 markings, 1402863 edges, 4321 markings/sec, 35 secs
lola: 192359 markings, 1603540 edges, 4309 markings/sec, 40 secs
lola: 213443 markings, 1800318 edges, 4217 markings/sec, 45 secs
lola: 234994 markings, 2005109 edges, 4310 markings/sec, 50 secs
lola: 256662 markings, 2198411 edges, 4334 markings/sec, 55 secs
lola: 277499 markings, 2388880 edges, 4167 markings/sec, 60 secs
lola: 298174 markings, 2588026 edges, 4135 markings/sec, 65 secs
lola: 319668 markings, 2771759 edges, 4299 markings/sec, 70 secs
lola: 339565 markings, 2942037 edges, 3979 markings/sec, 75 secs
lola: 360216 markings, 3126217 edges, 4130 markings/sec, 80 secs
lola: 381340 markings, 3321727 edges, 4225 markings/sec, 85 secs
lola: 400721 markings, 3501495 edges, 3876 markings/sec, 90 secs
lola: 421699 markings, 3696281 edges, 4196 markings/sec, 95 secs
lola: 443121 markings, 3898173 edges, 4284 markings/sec, 100 secs
lola: 464661 markings, 4104764 edges, 4308 markings/sec, 105 secs
lola: 486287 markings, 4303190 edges, 4325 markings/sec, 110 secs
lola: 507940 markings, 4507717 edges, 4331 markings/sec, 115 secs
lola: 529465 markings, 4710238 edges, 4305 markings/sec, 120 secs
lola: 550766 markings, 4897689 edges, 4260 markings/sec, 125 secs
lola: 571665 markings, 5092981 edges, 4180 markings/sec, 130 secs
lola: 592470 markings, 5286276 edges, 4161 markings/sec, 135 secs
lola: 613608 markings, 5494824 edges, 4228 markings/sec, 140 secs
lola: 634875 markings, 5697009 edges, 4253 markings/sec, 145 secs
lola: 656191 markings, 5903545 edges, 4263 markings/sec, 150 secs
lola: 677527 markings, 6126065 edges, 4267 markings/sec, 155 secs
lola: 698948 markings, 6327403 edges, 4284 markings/sec, 160 secs
lola: 720042 markings, 6543730 edges, 4219 markings/sec, 165 secs
lola: 741170 markings, 6736214 edges, 4226 markings/sec, 170 secs
lola: 762415 markings, 6948623 edges, 4249 markings/sec, 175 secs
lola: 783416 markings, 7161019 edges, 4200 markings/sec, 180 secs
lola: 804867 markings, 7346169 edges, 4290 markings/sec, 185 secs
lola: 825930 markings, 7572300 edges, 4213 markings/sec, 190 secs
lola: 846913 markings, 7764655 edges, 4197 markings/sec, 195 secs
lola: 867840 markings, 7971805 edges, 4185 markings/sec, 200 secs
lola: 889098 markings, 8169516 edges, 4252 markings/sec, 205 secs
lola: 910372 markings, 8372142 edges, 4255 markings/sec, 210 secs
lola: 931660 markings, 8582062 edges, 4258 markings/sec, 215 secs
lola: 952941 markings, 8774467 edges, 4256 markings/sec, 220 secs
lola: 974141 markings, 8969872 edges, 4240 markings/sec, 225 secs
lola: 995298 markings, 9181289 edges, 4231 markings/sec, 230 secs
lola: 1016733 markings, 9377467 edges, 4287 markings/sec, 235 secs
lola: 1038039 markings, 9561778 edges, 4261 markings/sec, 240 secs
lola: 1059291 markings, 9749458 edges, 4250 markings/sec, 245 secs
lola: 1080508 markings, 9949710 edges, 4243 markings/sec, 250 secs
lola: 1101924 markings, 10151981 edges, 4283 markings/sec, 255 secs
lola: 1123125 markings, 10368027 edges, 4240 markings/sec, 260 secs
lola: 1144253 markings, 10601247 edges, 4226 markings/sec, 265 secs
lola: 1165544 markings, 10790848 edges, 4258 markings/sec, 270 secs
lola: 1185220 markings, 10984304 edges, 3935 markings/sec, 275 secs
lola: 1205601 markings, 11178768 edges, 4076 markings/sec, 280 secs
lola: 1226596 markings, 11370147 edges, 4199 markings/sec, 285 secs
lola: 1247292 markings, 11568623 edges, 4139 markings/sec, 290 secs
lola: 1266115 markings, 11761851 edges, 3765 markings/sec, 295 secs
lola: 1285166 markings, 11939174 edges, 3810 markings/sec, 300 secs
lola: 1305586 markings, 12118866 edges, 4084 markings/sec, 305 secs
lola: 1325220 markings, 12318291 edges, 3927 markings/sec, 310 secs
lola: 1346443 markings, 12541505 edges, 4245 markings/sec, 315 secs
lola: 1367788 markings, 12771733 edges, 4269 markings/sec, 320 secs
lola: 1389380 markings, 12958454 edges, 4318 markings/sec, 325 secs
lola: 1410581 markings, 13171577 edges, 4240 markings/sec, 330 secs
lola: 1432082 markings, 13392354 edges, 4300 markings/sec, 335 secs
lola: 1453215 markings, 13618954 edges, 4227 markings/sec, 340 secs
lola: 1474616 markings, 13847678 edges, 4280 markings/sec, 345 secs
lola: 1495779 markings, 14075362 edges, 4233 markings/sec, 350 secs
lola: 1517139 markings, 14284792 edges, 4272 markings/sec, 355 secs
lola: 1538899 markings, 14487659 edges, 4352 markings/sec, 360 secs
lola: 1560877 markings, 14678138 edges, 4396 markings/sec, 365 secs
lola: 1582810 markings, 14876178 edges, 4387 markings/sec, 370 secs
lola: 1604052 markings, 15106203 edges, 4248 markings/sec, 375 secs
lola: 1625459 markings, 15298253 edges, 4281 markings/sec, 380 secs
lola: 1646551 markings, 15521054 edges, 4218 markings/sec, 385 secs
lola: 1667946 markings, 15737350 edges, 4279 markings/sec, 390 secs
lola: 1689238 markings, 15932520 edges, 4258 markings/sec, 395 secs
lola: 1710433 markings, 16152617 edges, 4239 markings/sec, 400 secs
lola: 1731805 markings, 16337547 edges, 4274 markings/sec, 405 secs
lola: 1753131 markings, 16564241 edges, 4265 markings/sec, 410 secs
lola: 1774694 markings, 16771742 edges, 4313 markings/sec, 415 secs
lola: 1796378 markings, 16974787 edges, 4337 markings/sec, 420 secs
lola: 1818121 markings, 17201640 edges, 4349 markings/sec, 425 secs
lola: 1839767 markings, 17426868 edges, 4329 markings/sec, 430 secs
lola: 1860858 markings, 17651808 edges, 4218 markings/sec, 435 secs
lola: 1882236 markings, 17850322 edges, 4276 markings/sec, 440 secs
lola: 1903935 markings, 18068291 edges, 4340 markings/sec, 445 secs
lola: 1925682 markings, 18273047 edges, 4349 markings/sec, 450 secs
lola: 1947411 markings, 18476842 edges, 4346 markings/sec, 455 secs
lola: 1968742 markings, 18677258 edges, 4266 markings/sec, 460 secs
lola: 1990191 markings, 18841928 edges, 4290 markings/sec, 465 secs
lola: 2011601 markings, 19021704 edges, 4282 markings/sec, 470 secs
lola: 2033036 markings, 19197241 edges, 4287 markings/sec, 475 secs
lola: 2054582 markings, 19378170 edges, 4309 markings/sec, 480 secs
lola: 2076472 markings, 19561661 edges, 4378 markings/sec, 485 secs
lola: 2098042 markings, 19739876 edges, 4314 markings/sec, 490 secs
lola: 2119816 markings, 19932456 edges, 4355 markings/sec, 495 secs
lola: 2141624 markings, 20121353 edges, 4362 markings/sec, 500 secs
lola: 2163101 markings, 20324277 edges, 4295 markings/sec, 505 secs
lola: 2184812 markings, 20526648 edges, 4342 markings/sec, 510 secs
lola: 2206020 markings, 20725516 edges, 4242 markings/sec, 515 secs
lola: 2227451 markings, 20924838 edges, 4286 markings/sec, 520 secs
lola: 2249207 markings, 21128258 edges, 4351 markings/sec, 525 secs
lola: 2271142 markings, 21319442 edges, 4387 markings/sec, 530 secs
lola: 2292546 markings, 21534906 edges, 4281 markings/sec, 535 secs
lola: 2313723 markings, 21737642 edges, 4235 markings/sec, 540 secs
lola: 2335346 markings, 21929754 edges, 4325 markings/sec, 545 secs
lola: 2356996 markings, 22126245 edges, 4330 markings/sec, 550 secs
lola: 2378720 markings, 22334793 edges, 4345 markings/sec, 555 secs
lola: 2400462 markings, 22535913 edges, 4348 markings/sec, 560 secs
lola: 2422139 markings, 22741291 edges, 4335 markings/sec, 565 secs
lola: 2443681 markings, 22936703 edges, 4308 markings/sec, 570 secs
lola: 2465417 markings, 23130757 edges, 4347 markings/sec, 575 secs
lola: 2487151 markings, 23319137 edges, 4347 markings/sec, 580 secs
lola: 2508757 markings, 23535679 edges, 4321 markings/sec, 585 secs
lola: 2530390 markings, 23762003 edges, 4327 markings/sec, 590 secs
lola: 2552163 markings, 23951062 edges, 4355 markings/sec, 595 secs
lola: 2573770 markings, 24172788 edges, 4321 markings/sec, 600 secs
lola: 2595551 markings, 24359219 edges, 4356 markings/sec, 605 secs
lola: 2616430 markings, 24565772 edges, 4176 markings/sec, 610 secs
lola: 2636463 markings, 24734804 edges, 4007 markings/sec, 615 secs
lola: 2658338 markings, 24937349 edges, 4375 markings/sec, 620 secs
lola: 2679955 markings, 25130701 edges, 4323 markings/sec, 625 secs
lola: 2701445 markings, 25348474 edges, 4298 markings/sec, 630 secs
lola: 2723046 markings, 25535998 edges, 4320 markings/sec, 635 secs
lola: 2744789 markings, 25720741 edges, 4349 markings/sec, 640 secs
lola: 2766421 markings, 25936728 edges, 4326 markings/sec, 645 secs
lola: 2788139 markings, 26141589 edges, 4344 markings/sec, 650 secs
lola: 2809741 markings, 26363865 edges, 4320 markings/sec, 655 secs
lola: 2831445 markings, 26570529 edges, 4341 markings/sec, 660 secs
lola: 2853255 markings, 26762886 edges, 4362 markings/sec, 665 secs
lola: 2875065 markings, 26969333 edges, 4362 markings/sec, 670 secs
lola: 2896789 markings, 27181110 edges, 4345 markings/sec, 675 secs
lola: 2918690 markings, 27378884 edges, 4380 markings/sec, 680 secs
lola: 2940637 markings, 27581444 edges, 4389 markings/sec, 685 secs
lola: 2962278 markings, 27799243 edges, 4328 markings/sec, 690 secs
lola: 2983935 markings, 28014947 edges, 4331 markings/sec, 695 secs
lola: 3005780 markings, 28207115 edges, 4369 markings/sec, 700 secs
lola: 3027519 markings, 28420756 edges, 4348 markings/sec, 705 secs
lola: 3049344 markings, 28613665 edges, 4365 markings/sec, 710 secs
lola: 3071092 markings, 28807757 edges, 4350 markings/sec, 715 secs
lola: 3092662 markings, 29045894 edges, 4314 markings/sec, 720 secs
lola: 3114506 markings, 29245396 edges, 4369 markings/sec, 725 secs
lola: 3136174 markings, 29466131 edges, 4334 markings/sec, 730 secs
lola: 3157820 markings, 29669040 edges, 4329 markings/sec, 735 secs
lola: 3179390 markings, 29898397 edges, 4314 markings/sec, 740 secs
lola: 3201153 markings, 30101125 edges, 4353 markings/sec, 745 secs
lola: 3223245 markings, 30273257 edges, 4418 markings/sec, 750 secs
lola: 3245220 markings, 30461774 edges, 4395 markings/sec, 755 secs
lola: 3267159 markings, 30646036 edges, 4388 markings/sec, 760 secs
lola: 3289002 markings, 30824807 edges, 4369 markings/sec, 765 secs
lola: 3310864 markings, 31017031 edges, 4372 markings/sec, 770 secs
lola: 3332789 markings, 31207926 edges, 4385 markings/sec, 775 secs
lola: 3354637 markings, 31404950 edges, 4370 markings/sec, 780 secs
lola: 3376423 markings, 31607161 edges, 4357 markings/sec, 785 secs
lola: 3397260 markings, 31799526 edges, 4167 markings/sec, 790 secs
lola: 3418747 markings, 31995832 edges, 4297 markings/sec, 795 secs
lola: 3439992 markings, 32193888 edges, 4249 markings/sec, 800 secs
lola: 3461316 markings, 32388271 edges, 4265 markings/sec, 805 secs
lola: 3482722 markings, 32576479 edges, 4281 markings/sec, 810 secs
lola: 3502758 markings, 32758466 edges, 4007 markings/sec, 815 secs
lola: 3522503 markings, 32935844 edges, 3949 markings/sec, 820 secs
lola: 3543335 markings, 33144307 edges, 4166 markings/sec, 825 secs
lola: 3564699 markings, 33342952 edges, 4273 markings/sec, 830 secs
lola: 3584256 markings, 33539003 edges, 3911 markings/sec, 835 secs
lola: 3605589 markings, 33777668 edges, 4267 markings/sec, 840 secs
lola: 3626035 markings, 33955083 edges, 4089 markings/sec, 845 secs
lola: 3647132 markings, 34157238 edges, 4219 markings/sec, 850 secs
lola: 3666593 markings, 34361751 edges, 3892 markings/sec, 855 secs
lola: 3687079 markings, 34560576 edges, 4097 markings/sec, 860 secs
lola: 3709108 markings, 34780911 edges, 4406 markings/sec, 865 secs
lola: 3731021 markings, 35028479 edges, 4383 markings/sec, 870 secs
lola: 3752908 markings, 35263306 edges, 4377 markings/sec, 875 secs
lola: 3774938 markings, 35497834 edges, 4406 markings/sec, 880 secs
lola: 3795082 markings, 35713246 edges, 4029 markings/sec, 885 secs
lola: 3815201 markings, 35916477 edges, 4024 markings/sec, 890 secs
lola: 3837558 markings, 36114470 edges, 4471 markings/sec, 895 secs
lola: 3859700 markings, 36343114 edges, 4428 markings/sec, 900 secs
lola: 3880611 markings, 36540897 edges, 4182 markings/sec, 905 secs
lola: 3901338 markings, 36749096 edges, 4145 markings/sec, 910 secs
lola: 3921948 markings, 36951793 edges, 4122 markings/sec, 915 secs
lola: 3941860 markings, 37169862 edges, 3982 markings/sec, 920 secs
lola: 3961041 markings, 37363540 edges, 3836 markings/sec, 925 secs
lola: 3981331 markings, 37556116 edges, 4058 markings/sec, 930 secs
lola: 4000125 markings, 37755035 edges, 3759 markings/sec, 935 secs
lola: 4021350 markings, 37944923 edges, 4245 markings/sec, 940 secs
lola: 4042146 markings, 38122054 edges, 4159 markings/sec, 945 secs
lola: 4063420 markings, 38324667 edges, 4255 markings/sec, 950 secs
lola: 4083731 markings, 38524906 edges, 4062 markings/sec, 955 secs
lola: 4104376 markings, 38726498 edges, 4129 markings/sec, 960 secs
lola: 4124697 markings, 38922656 edges, 4064 markings/sec, 965 secs
lola: 4145237 markings, 39113406 edges, 4108 markings/sec, 970 secs
lola: 4165048 markings, 39309102 edges, 3962 markings/sec, 975 secs
lola: 4185606 markings, 39516426 edges, 4112 markings/sec, 980 secs
lola: 4206251 markings, 39729211 edges, 4129 markings/sec, 985 secs
lola: 4226384 markings, 39931569 edges, 4027 markings/sec, 990 secs
lola: 4246096 markings, 40125802 edges, 3942 markings/sec, 995 secs
lola: 4266175 markings, 40295739 edges, 4016 markings/sec, 1000 secs
lola: 4285345 markings, 40450664 edges, 3834 markings/sec, 1005 secs
lola: 4306661 markings, 40624740 edges, 4263 markings/sec, 1010 secs
lola: 4326727 markings, 40789874 edges, 4013 markings/sec, 1015 secs
lola: 4348192 markings, 40963944 edges, 4293 markings/sec, 1020 secs
lola: 4368203 markings, 41138993 edges, 4002 markings/sec, 1025 secs
lola: 4388732 markings, 41329721 edges, 4106 markings/sec, 1030 secs
lola: 4409553 markings, 41513294 edges, 4164 markings/sec, 1035 secs
lola: 4430590 markings, 41687210 edges, 4207 markings/sec, 1040 secs
lola: 4451409 markings, 41891927 edges, 4164 markings/sec, 1045 secs
lola: 4472844 markings, 42082039 edges, 4287 markings/sec, 1050 secs
lola: 4493277 markings, 42282877 edges, 4087 markings/sec, 1055 secs
lola: 4514645 markings, 42483336 edges, 4274 markings/sec, 1060 secs
lola: 4536099 markings, 42684507 edges, 4291 markings/sec, 1065 secs
lola: 4557112 markings, 42886483 edges, 4203 markings/sec, 1070 secs
lola: 4578709 markings, 43079277 edges, 4319 markings/sec, 1075 secs
lola: 4599501 markings, 43257870 edges, 4158 markings/sec, 1080 secs
lola: 4620142 markings, 43463711 edges, 4128 markings/sec, 1085 secs
lola: 4641846 markings, 43660764 edges, 4341 markings/sec, 1090 secs
lola: 4662299 markings, 43834496 edges, 4091 markings/sec, 1095 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 1102 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p85)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 20 bytes per marking, with 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: 19883 markings, 136716 edges, 3977 markings/sec, 0 secs
lola: 41212 markings, 299842 edges, 4266 markings/sec, 5 secs
lola: 62626 markings, 474009 edges, 4283 markings/sec, 10 secs
lola: 83958 markings, 662085 edges, 4266 markings/sec, 15 secs
lola: 105158 markings, 862661 edges, 4240 markings/sec, 20 secs
lola: 126371 markings, 1029320 edges, 4243 markings/sec, 25 secs
lola: 147754 markings, 1210791 edges, 4277 markings/sec, 30 secs
lola: 169140 markings, 1382393 edges, 4277 markings/sec, 35 secs
lola: 190332 markings, 1577283 edges, 4238 markings/sec, 40 secs
lola: 211504 markings, 1758950 edges, 4234 markings/sec, 45 secs
lola: 232350 markings, 1951027 edges, 4169 markings/sec, 50 secs
lola: 254535 markings, 2160664 edges, 4437 markings/sec, 55 secs
lola: 275784 markings, 2336890 edges, 4250 markings/sec, 60 secs
lola: 297100 markings, 2503929 edges, 4263 markings/sec, 65 secs
lola: 318441 markings, 2671728 edges, 4268 markings/sec, 70 secs
lola: 339730 markings, 2851240 edges, 4258 markings/sec, 75 secs
lola: 361019 markings, 3054261 edges, 4258 markings/sec, 80 secs
lola: 382135 markings, 3251003 edges, 4223 markings/sec, 85 secs
lola: 403360 markings, 3438222 edges, 4245 markings/sec, 90 secs
lola: 424641 markings, 3626571 edges, 4256 markings/sec, 95 secs
lola: 445397 markings, 3810430 edges, 4151 markings/sec, 100 secs
lola: 466358 markings, 4004501 edges, 4192 markings/sec, 105 secs
lola: 489017 markings, 4217483 edges, 4532 markings/sec, 110 secs
lola: 510587 markings, 4411358 edges, 4314 markings/sec, 115 secs
lola: 532059 markings, 4624358 edges, 4294 markings/sec, 120 secs
lola: 553865 markings, 4845777 edges, 4361 markings/sec, 125 secs
lola: 577117 markings, 5060349 edges, 4650 markings/sec, 130 secs
lola: 599945 markings, 5274167 edges, 4566 markings/sec, 135 secs
lola: 621487 markings, 5489715 edges, 4308 markings/sec, 140 secs
lola: 642848 markings, 5703035 edges, 4272 markings/sec, 145 secs
lola: 664463 markings, 5900226 edges, 4323 markings/sec, 150 secs
lola: 687563 markings, 6076445 edges, 4620 markings/sec, 155 secs
lola: 710423 markings, 6269510 edges, 4572 markings/sec, 160 secs
lola: 730359 markings, 6427010 edges, 3987 markings/sec, 165 secs
lola: 748155 markings, 6583544 edges, 3559 markings/sec, 170 secs
lola: 766705 markings, 6733564 edges, 3710 markings/sec, 175 secs
lola: 784982 markings, 6887121 edges, 3655 markings/sec, 180 secs
lola: 803834 markings, 7058079 edges, 3770 markings/sec, 185 secs
lola: 824977 markings, 7243797 edges, 4229 markings/sec, 190 secs
lola: 847420 markings, 7422357 edges, 4489 markings/sec, 195 secs
lola: 869799 markings, 7607676 edges, 4476 markings/sec, 200 secs
lola: 892041 markings, 7813907 edges, 4448 markings/sec, 205 secs
lola: 914264 markings, 8007169 edges, 4445 markings/sec, 210 secs
lola: 936547 markings, 8194256 edges, 4457 markings/sec, 215 secs
lola: 958958 markings, 8373694 edges, 4482 markings/sec, 220 secs
lola: 981289 markings, 8567454 edges, 4466 markings/sec, 225 secs
lola: 1003463 markings, 8762865 edges, 4435 markings/sec, 230 secs
lola: 1025586 markings, 8967516 edges, 4425 markings/sec, 235 secs
lola: 1047431 markings, 9169853 edges, 4369 markings/sec, 240 secs
lola: 1069308 markings, 9359731 edges, 4375 markings/sec, 245 secs
lola: 1091743 markings, 9535044 edges, 4487 markings/sec, 250 secs
lola: 1114118 markings, 9710076 edges, 4475 markings/sec, 255 secs
lola: 1136409 markings, 9898430 edges, 4458 markings/sec, 260 secs
lola: 1158497 markings, 10108966 edges, 4418 markings/sec, 265 secs
lola: 1180533 markings, 10313546 edges, 4407 markings/sec, 270 secs
lola: 1202706 markings, 10509259 edges, 4435 markings/sec, 275 secs
lola: 1224812 markings, 10706143 edges, 4421 markings/sec, 280 secs
lola: 1246923 markings, 10905645 edges, 4422 markings/sec, 285 secs
lola: 1268964 markings, 11114429 edges, 4408 markings/sec, 290 secs
lola: 1291077 markings, 11320891 edges, 4423 markings/sec, 295 secs
lola: 1313239 markings, 11510281 edges, 4432 markings/sec, 300 secs
lola: 1335439 markings, 11688364 edges, 4440 markings/sec, 305 secs
lola: 1357442 markings, 11914616 edges, 4401 markings/sec, 310 secs
lola: 1379431 markings, 12139021 edges, 4398 markings/sec, 315 secs
lola: 1401575 markings, 12339518 edges, 4429 markings/sec, 320 secs
lola: 1423801 markings, 12547559 edges, 4445 markings/sec, 325 secs
lola: 1446017 markings, 12739795 edges, 4443 markings/sec, 330 secs
lola: 1468089 markings, 12949148 edges, 4414 markings/sec, 335 secs
lola: 1490146 markings, 13160819 edges, 4411 markings/sec, 340 secs
lola: 1511920 markings, 13338258 edges, 4355 markings/sec, 345 secs
lola: 1533876 markings, 13560331 edges, 4391 markings/sec, 350 secs
lola: 1555129 markings, 13769189 edges, 4251 markings/sec, 355 secs
lola: 1577092 markings, 13948233 edges, 4393 markings/sec, 360 secs
lola: 1599373 markings, 14124400 edges, 4456 markings/sec, 365 secs
lola: 1621501 markings, 14311383 edges, 4426 markings/sec, 370 secs
lola: 1644281 markings, 14503132 edges, 4556 markings/sec, 375 secs
lola: 1667117 markings, 14689348 edges, 4567 markings/sec, 380 secs
lola: 1689798 markings, 14859328 edges, 4536 markings/sec, 385 secs
lola: 1712521 markings, 15058595 edges, 4545 markings/sec, 390 secs
lola: 1734012 markings, 15249878 edges, 4298 markings/sec, 395 secs
lola: 1754841 markings, 15437649 edges, 4166 markings/sec, 400 secs
lola: 1776960 markings, 15628197 edges, 4424 markings/sec, 405 secs
lola: 1798159 markings, 15804952 edges, 4240 markings/sec, 410 secs
lola: 1820393 markings, 16007554 edges, 4447 markings/sec, 415 secs
lola: 1842684 markings, 16192306 edges, 4458 markings/sec, 420 secs
lola: 1864865 markings, 16397232 edges, 4436 markings/sec, 425 secs
lola: 1885647 markings, 16593130 edges, 4156 markings/sec, 430 secs
lola: 1907249 markings, 16783408 edges, 4320 markings/sec, 435 secs
lola: 1929707 markings, 16954466 edges, 4492 markings/sec, 440 secs
lola: 1951630 markings, 17155598 edges, 4385 markings/sec, 445 secs
lola: 1972609 markings, 17349148 edges, 4196 markings/sec, 450 secs
lola: 1994837 markings, 17551184 edges, 4446 markings/sec, 455 secs
lola: 2016065 markings, 17748338 edges, 4246 markings/sec, 460 secs
lola: 2038078 markings, 17927448 edges, 4403 markings/sec, 465 secs
lola: 2060165 markings, 18142596 edges, 4417 markings/sec, 470 secs
lola: 2082344 markings, 18332390 edges, 4436 markings/sec, 475 secs
lola: 2104418 markings, 18540028 edges, 4415 markings/sec, 480 secs
lola: 2126463 markings, 18751048 edges, 4409 markings/sec, 485 secs
lola: 2148081 markings, 18942594 edges, 4324 markings/sec, 490 secs
lola: 2169444 markings, 19164923 edges, 4273 markings/sec, 495 secs
lola: 2191654 markings, 19367247 edges, 4442 markings/sec, 500 secs
lola: 2213897 markings, 19559402 edges, 4449 markings/sec, 505 secs
lola: 2236022 markings, 19763578 edges, 4425 markings/sec, 510 secs
lola: 2258280 markings, 19962584 edges, 4452 markings/sec, 515 secs
lola: 2279674 markings, 20135502 edges, 4279 markings/sec, 520 secs
lola: 2301789 markings, 20316530 edges, 4423 markings/sec, 525 secs
lola: 2324119 markings, 20494281 edges, 4466 markings/sec, 530 secs
lola: 2346231 markings, 20678153 edges, 4422 markings/sec, 535 secs
lola: 2368450 markings, 20866183 edges, 4444 markings/sec, 540 secs
lola: 2390762 markings, 21050984 edges, 4462 markings/sec, 545 secs
lola: 2413003 markings, 21242646 edges, 4448 markings/sec, 550 secs
lola: 2435203 markings, 21438208 edges, 4440 markings/sec, 555 secs
lola: 2456603 markings, 21630879 edges, 4280 markings/sec, 560 secs
lola: 2477858 markings, 21833583 edges, 4251 markings/sec, 565 secs
lola: 2499976 markings, 22040812 edges, 4424 markings/sec, 570 secs
lola: 2522170 markings, 22252194 edges, 4439 markings/sec, 575 secs
lola: 2543304 markings, 22439685 edges, 4227 markings/sec, 580 secs
lola: 2564438 markings, 22620857 edges, 4227 markings/sec, 585 secs
lola: 2586805 markings, 22805625 edges, 4473 markings/sec, 590 secs
lola: 2609002 markings, 23021381 edges, 4439 markings/sec, 595 secs
lola: 2631324 markings, 23215463 edges, 4464 markings/sec, 600 secs
lola: 2652729 markings, 23405328 edges, 4281 markings/sec, 605 secs
lola: 2675604 markings, 23611906 edges, 4575 markings/sec, 610 secs
lola: 2697723 markings, 23816233 edges, 4424 markings/sec, 615 secs
lola: 2719441 markings, 24010339 edges, 4344 markings/sec, 620 secs
lola: 2741555 markings, 24194419 edges, 4423 markings/sec, 625 secs
lola: 2763552 markings, 24414325 edges, 4399 markings/sec, 630 secs
lola: 2785673 markings, 24617009 edges, 4424 markings/sec, 635 secs
lola: 2807518 markings, 24798253 edges, 4369 markings/sec, 640 secs
lola: 2828229 markings, 24960873 edges, 4142 markings/sec, 645 secs
lola: 2849589 markings, 25153048 edges, 4272 markings/sec, 650 secs
lola: 2871694 markings, 25337341 edges, 4421 markings/sec, 655 secs
lola: 2893872 markings, 25511867 edges, 4436 markings/sec, 660 secs
lola: 2915243 markings, 25682282 edges, 4274 markings/sec, 665 secs
lola: 2937409 markings, 25862117 edges, 4433 markings/sec, 670 secs
lola: 2959548 markings, 26055978 edges, 4428 markings/sec, 675 secs
lola: 2981645 markings, 26247999 edges, 4419 markings/sec, 680 secs
lola: 3003892 markings, 26430974 edges, 4449 markings/sec, 685 secs
lola: 3024470 markings, 26616930 edges, 4116 markings/sec, 690 secs
lola: 3045967 markings, 26842419 edges, 4299 markings/sec, 695 secs
lola: 3067515 markings, 27026722 edges, 4310 markings/sec, 700 secs
lola: 3089223 markings, 27225358 edges, 4342 markings/sec, 705 secs
lola: 3111241 markings, 27422980 edges, 4404 markings/sec, 710 secs
lola: 3133346 markings, 27619518 edges, 4421 markings/sec, 715 secs
lola: 3155438 markings, 27820166 edges, 4418 markings/sec, 720 secs
lola: 3177638 markings, 28008768 edges, 4440 markings/sec, 725 secs
lola: 3198647 markings, 28195248 edges, 4202 markings/sec, 730 secs
lola: 3220643 markings, 28410061 edges, 4399 markings/sec, 735 secs
lola: 3242753 markings, 28592290 edges, 4422 markings/sec, 740 secs
lola: 3264828 markings, 28790169 edges, 4415 markings/sec, 745 secs
lola: 3286964 markings, 28986643 edges, 4427 markings/sec, 750 secs
lola: 3309124 markings, 29167478 edges, 4432 markings/sec, 755 secs
lola: 3331226 markings, 29350552 edges, 4420 markings/sec, 760 secs
lola: 3352085 markings, 29552059 edges, 4172 markings/sec, 765 secs
lola: 3374035 markings, 29776249 edges, 4390 markings/sec, 770 secs
lola: 3396157 markings, 29963347 edges, 4424 markings/sec, 775 secs
lola: 3417040 markings, 30169831 edges, 4177 markings/sec, 780 secs
lola: 3436796 markings, 30359275 edges, 3951 markings/sec, 785 secs
lola: 3457307 markings, 30551721 edges, 4102 markings/sec, 790 secs
lola: 3478576 markings, 30761344 edges, 4254 markings/sec, 795 secs
lola: 3500164 markings, 30957693 edges, 4318 markings/sec, 800 secs
lola: 3522603 markings, 31158448 edges, 4488 markings/sec, 805 secs
lola: 3543414 markings, 31337047 edges, 4162 markings/sec, 810 secs
lola: 3564717 markings, 31540993 edges, 4261 markings/sec, 815 secs
lola: 3587556 markings, 31743418 edges, 4568 markings/sec, 820 secs
lola: 3610092 markings, 31923976 edges, 4507 markings/sec, 825 secs
lola: 3631728 markings, 32143710 edges, 4327 markings/sec, 830 secs
lola: 3651485 markings, 32346353 edges, 3951 markings/sec, 835 secs
lola: 3673886 markings, 32562969 edges, 4480 markings/sec, 840 secs
lola: 3695277 markings, 32760931 edges, 4278 markings/sec, 845 secs
lola: 3715614 markings, 32962243 edges, 4067 markings/sec, 850 secs
lola: 3736128 markings, 33149868 edges, 4103 markings/sec, 855 secs
lola: 3757993 markings, 33359878 edges, 4373 markings/sec, 860 secs
lola: 3780632 markings, 33577943 edges, 4528 markings/sec, 865 secs
lola: 3803801 markings, 33784271 edges, 4634 markings/sec, 870 secs
lola: 3826848 markings, 33998144 edges, 4609 markings/sec, 875 secs
lola: 3848002 markings, 34199498 edges, 4231 markings/sec, 880 secs
lola: 3869996 markings, 34366622 edges, 4399 markings/sec, 885 secs
lola: 3892630 markings, 34564142 edges, 4527 markings/sec, 890 secs
lola: 3914034 markings, 34768248 edges, 4281 markings/sec, 895 secs
lola: 3936567 markings, 34951868 edges, 4507 markings/sec, 900 secs
lola: 3958879 markings, 35158922 edges, 4462 markings/sec, 905 secs
lola: 3980931 markings, 35353916 edges, 4410 markings/sec, 910 secs
lola: 4002861 markings, 35556270 edges, 4386 markings/sec, 915 secs
lola: 4024953 markings, 35745553 edges, 4418 markings/sec, 920 secs
lola: 4046951 markings, 35955970 edges, 4400 markings/sec, 925 secs
lola: 4068701 markings, 36179308 edges, 4350 markings/sec, 930 secs
lola: 4090026 markings, 36376284 edges, 4265 markings/sec, 935 secs
lola: 4113000 markings, 36588263 edges, 4595 markings/sec, 940 secs
lola: 4135480 markings, 36773643 edges, 4496 markings/sec, 945 secs
lola: 4157870 markings, 36983818 edges, 4478 markings/sec, 950 secs
lola: 4179957 markings, 37208518 edges, 4417 markings/sec, 955 secs
lola: 4201576 markings, 37414557 edges, 4324 markings/sec, 960 secs
lola: 4223906 markings, 37624766 edges, 4466 markings/sec, 965 secs
lola: 4246803 markings, 37846908 edges, 4579 markings/sec, 970 secs
lola: 4269860 markings, 38061348 edges, 4611 markings/sec, 975 secs
lola: 4292891 markings, 38265090 edges, 4606 markings/sec, 980 secs
lola: 4315689 markings, 38495312 edges, 4560 markings/sec, 985 secs
lola: 4338620 markings, 38707467 edges, 4586 markings/sec, 990 secs
lola: 4361573 markings, 38913517 edges, 4591 markings/sec, 995 secs
lola: 4384606 markings, 39132581 edges, 4607 markings/sec, 1000 secs
lola: 4407876 markings, 39334776 edges, 4654 markings/sec, 1005 secs
lola: 4431143 markings, 39518924 edges, 4653 markings/sec, 1010 secs
lola: 4454257 markings, 39725398 edges, 4623 markings/sec, 1015 secs
lola: 4477337 markings, 39924832 edges, 4616 markings/sec, 1020 secs
lola: 4500442 markings, 40123647 edges, 4621 markings/sec, 1025 secs
lola: 4521211 markings, 40309138 edges, 4154 markings/sec, 1030 secs
lola: 4542847 markings, 40516374 edges, 4327 markings/sec, 1035 secs
lola: 4565757 markings, 40731314 edges, 4582 markings/sec, 1040 secs
lola: 4588799 markings, 40929388 edges, 4608 markings/sec, 1045 secs
lola: 4611830 markings, 41137325 edges, 4606 markings/sec, 1050 secs
lola: 4634724 markings, 41346576 edges, 4579 markings/sec, 1055 secs
lola: 4657624 markings, 41554805 edges, 4580 markings/sec, 1060 secs
lola: 4680361 markings, 41780092 edges, 4547 markings/sec, 1065 secs
lola: 4703367 markings, 41984785 edges, 4601 markings/sec, 1070 secs
lola: 4726415 markings, 42179906 edges, 4610 markings/sec, 1075 secs
lola: 4749277 markings, 42392619 edges, 4572 markings/sec, 1080 secs
lola: 4772157 markings, 42606102 edges, 4576 markings/sec, 1085 secs
lola: 4794671 markings, 42825014 edges, 4503 markings/sec, 1090 secs
lola: 4815966 markings, 43027855 edges, 4259 markings/sec, 1095 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 1 unknown 1 1 1 1 1 1 1 1 unknown unknown 1 1 unknown unknown
FORMULA DLCround-PT-13a-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-13a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-13a-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-13a-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-13a-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-13a-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-13a-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-13a-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-13a-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-13a-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-13a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-13a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-13a-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-13a-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-13a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCround-PT-13a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496549530611

--------------------
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="DLCround-PT-13a"
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/DLCround-PT-13a.tgz
mv DLCround-PT-13a 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 DLCround-PT-13a, 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 r178-csrt-149580962000380"
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 ;