About the Execution of LoLA for Railroad-PT-020
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6008.210 | 3539960.00 | 3550874.00 | 157.60 | 0 0 0 0 ? ? ? ? ? ? ? 0 ? 0 ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is Railroad-PT-020, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r068-csrt-149440963100047
=====================================================================
--------------------
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 Railroad-PT-020-UpperBounds-0
FORMULA_NAME Railroad-PT-020-UpperBounds-1
FORMULA_NAME Railroad-PT-020-UpperBounds-10
FORMULA_NAME Railroad-PT-020-UpperBounds-11
FORMULA_NAME Railroad-PT-020-UpperBounds-12
FORMULA_NAME Railroad-PT-020-UpperBounds-13
FORMULA_NAME Railroad-PT-020-UpperBounds-14
FORMULA_NAME Railroad-PT-020-UpperBounds-15
FORMULA_NAME Railroad-PT-020-UpperBounds-2
FORMULA_NAME Railroad-PT-020-UpperBounds-3
FORMULA_NAME Railroad-PT-020-UpperBounds-4
FORMULA_NAME Railroad-PT-020-UpperBounds-5
FORMULA_NAME Railroad-PT-020-UpperBounds-6
FORMULA_NAME Railroad-PT-020-UpperBounds-7
FORMULA_NAME Railroad-PT-020-UpperBounds-8
FORMULA_NAME Railroad-PT-020-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494799805850
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ Railroad-PT-020 @ 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: 724/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 218 places, 506 transitions, 87 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 132 transition conflict sets
lola: TASK
lola: reading formula from Railroad-PT-020-UpperBounds.task
lola: MAX(pl_P100_15) : MAX(pl_P59_13) : MAX(pl_P94_1) : MAX(pl_P30_1) : MAX(pl_P18_1) : MAX(pl_P59_19) : MAX(pl_P21_8) : MAX(pl_P23_21) : MAX(pl_P74_1) : MAX(pl_P102_1) : MAX(pl_P85_1) : MAX(pl_P25_1) : MAX(pl_P61_4) : MAX(pl_P23_19) : MAX(pl_P89_1) : MAX(pl_P109_1)
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(pl_P100_15)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P59_13)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P94_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 311353 markings, 413728 edges, 62271 markings/sec, 0 secs
lola: 614405 markings, 819707 edges, 60610 markings/sec, 5 secs
lola: 919529 markings, 1229181 edges, 61025 markings/sec, 10 secs
lola: 1216213 markings, 1628531 edges, 59337 markings/sec, 15 secs
lola: 1511584 markings, 2026786 edges, 59074 markings/sec, 20 secs
lola: 1806913 markings, 2425543 edges, 59066 markings/sec, 25 secs
lola: 2108815 markings, 2834223 edges, 60380 markings/sec, 30 secs
lola: 2418900 markings, 3254147 edges, 62017 markings/sec, 35 secs
lola: 2740500 markings, 3691330 edges, 64320 markings/sec, 40 secs
lola: 3058836 markings, 4123534 edges, 63667 markings/sec, 45 secs
lola: 3367157 markings, 4544387 edges, 61664 markings/sec, 50 secs
lola: 3673851 markings, 4963386 edges, 61339 markings/sec, 55 secs
lola: 3973596 markings, 5372200 edges, 59949 markings/sec, 60 secs
lola: 4289273 markings, 5805210 edges, 63135 markings/sec, 65 secs
lola: 4601389 markings, 6233889 edges, 62423 markings/sec, 70 secs
lola: 4914860 markings, 6665935 edges, 62694 markings/sec, 75 secs
lola: 5225996 markings, 7097749 edges, 62227 markings/sec, 80 secs
lola: 5536821 markings, 7526660 edges, 62165 markings/sec, 85 secs
lola: 5845995 markings, 7956376 edges, 61835 markings/sec, 90 secs
lola: 6156887 markings, 8388283 edges, 62178 markings/sec, 95 secs
lola: 6467301 markings, 8821176 edges, 62083 markings/sec, 100 secs
lola: 6775106 markings, 9251345 edges, 61561 markings/sec, 105 secs
lola: 7078715 markings, 9679237 edges, 60722 markings/sec, 110 secs
lola: 7384119 markings, 10108580 edges, 61081 markings/sec, 115 secs
lola: 7686842 markings, 10534686 edges, 60545 markings/sec, 120 secs
lola: 7983221 markings, 10952820 edges, 59276 markings/sec, 125 secs
lola: 8287305 markings, 11384143 edges, 60817 markings/sec, 130 secs
lola: 8589356 markings, 11812886 edges, 60410 markings/sec, 135 secs
lola: 8890033 markings, 12241573 edges, 60135 markings/sec, 140 secs
lola: 9193748 markings, 12674256 edges, 60743 markings/sec, 145 secs
lola: 9493552 markings, 13104630 edges, 59961 markings/sec, 150 secs
lola: 9794578 markings, 13539519 edges, 60205 markings/sec, 155 secs
lola: 10098704 markings, 13972859 edges, 60825 markings/sec, 160 secs
lola: 10399687 markings, 14404238 edges, 60197 markings/sec, 165 secs
lola: 10695600 markings, 14834276 edges, 59183 markings/sec, 170 secs
lola: 10986348 markings, 15251982 edges, 58150 markings/sec, 175 secs
lola: 11275062 markings, 15667412 edges, 57743 markings/sec, 180 secs
lola: 11562187 markings, 16079702 edges, 57425 markings/sec, 185 secs
lola: 11851886 markings, 16498273 edges, 57940 markings/sec, 190 secs
lola: 12138512 markings, 16918456 edges, 57325 markings/sec, 195 secs
lola: 12409114 markings, 17310616 edges, 54120 markings/sec, 200 secs
lola: 12685861 markings, 17707503 edges, 55349 markings/sec, 205 secs
lola: 12957968 markings, 18106011 edges, 54421 markings/sec, 210 secs
lola: 13232790 markings, 18506133 edges, 54964 markings/sec, 215 secs
lola: 13507444 markings, 18904604 edges, 54931 markings/sec, 220 secs
lola: 13779938 markings, 19304733 edges, 54499 markings/sec, 225 secs
lola: 14054834 markings, 19706178 edges, 54979 markings/sec, 230 secs
lola: 14331540 markings, 20111937 edges, 55341 markings/sec, 235 secs
lola: 14603852 markings, 20511118 edges, 54462 markings/sec, 240 secs
lola: 14875725 markings, 20910136 edges, 54375 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P30_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 227270 markings, 383204 edges, 45454 markings/sec, 0 secs
lola: 455101 markings, 754827 edges, 45566 markings/sec, 5 secs
lola: 678582 markings, 1118450 edges, 44696 markings/sec, 10 secs
lola: 899542 markings, 1475459 edges, 44192 markings/sec, 15 secs
lola: 1119449 markings, 1832665 edges, 43981 markings/sec, 20 secs
lola: 1334730 markings, 2181901 edges, 43056 markings/sec, 25 secs
lola: 1556655 markings, 2540054 edges, 44385 markings/sec, 30 secs
lola: 1780173 markings, 2897661 edges, 44704 markings/sec, 35 secs
lola: 2003308 markings, 3256484 edges, 44627 markings/sec, 40 secs
lola: 2223835 markings, 3611769 edges, 44105 markings/sec, 45 secs
lola: 2442594 markings, 3962149 edges, 43752 markings/sec, 50 secs
lola: 2659601 markings, 4307892 edges, 43401 markings/sec, 55 secs
lola: 2876705 markings, 4656192 edges, 43421 markings/sec, 60 secs
lola: 3092573 markings, 5002731 edges, 43174 markings/sec, 65 secs
lola: 3308678 markings, 5346835 edges, 43221 markings/sec, 70 secs
lola: 3524840 markings, 5693746 edges, 43232 markings/sec, 75 secs
lola: 3739966 markings, 6036015 edges, 43025 markings/sec, 80 secs
lola: 3953761 markings, 6380871 edges, 42759 markings/sec, 85 secs
lola: 4168303 markings, 6722361 edges, 42908 markings/sec, 90 secs
lola: 4381835 markings, 7063982 edges, 42706 markings/sec, 95 secs
lola: 4595406 markings, 7404615 edges, 42714 markings/sec, 100 secs
lola: 4808366 markings, 7741557 edges, 42592 markings/sec, 105 secs
lola: 5021600 markings, 8079540 edges, 42647 markings/sec, 110 secs
lola: 5240776 markings, 8429398 edges, 43835 markings/sec, 115 secs
lola: 5453140 markings, 8767555 edges, 42473 markings/sec, 120 secs
lola: 5664591 markings, 9102048 edges, 42290 markings/sec, 125 secs
lola: 5876001 markings, 9438887 edges, 42282 markings/sec, 130 secs
lola: 6088442 markings, 9776836 edges, 42488 markings/sec, 135 secs
lola: 6300132 markings, 10112509 edges, 42338 markings/sec, 140 secs
lola: 6512299 markings, 10450419 edges, 42433 markings/sec, 145 secs
lola: 6722988 markings, 10789245 edges, 42138 markings/sec, 150 secs
lola: 6933239 markings, 11124083 edges, 42050 markings/sec, 155 secs
lola: 7143424 markings, 11458783 edges, 42037 markings/sec, 160 secs
lola: 7352994 markings, 11792168 edges, 41914 markings/sec, 165 secs
lola: 7560950 markings, 12123367 edges, 41591 markings/sec, 170 secs
lola: 7784622 markings, 12477451 edges, 44734 markings/sec, 175 secs
lola: 8008262 markings, 12835168 edges, 44728 markings/sec, 180 secs
lola: 8234577 markings, 13193206 edges, 45263 markings/sec, 185 secs
lola: 8457811 markings, 13549245 edges, 44647 markings/sec, 190 secs
lola: 8680830 markings, 13907993 edges, 44604 markings/sec, 195 secs
lola: 8909489 markings, 14271504 edges, 45732 markings/sec, 200 secs
lola: 9134488 markings, 14626898 edges, 45000 markings/sec, 205 secs
lola: 9356710 markings, 14983881 edges, 44444 markings/sec, 210 secs
lola: 9575183 markings, 15331351 edges, 43695 markings/sec, 215 secs
lola: 9798341 markings, 15687157 edges, 44632 markings/sec, 220 secs
lola: 10023536 markings, 16047284 edges, 45039 markings/sec, 225 secs
lola: 10237721 markings, 16387772 edges, 42837 markings/sec, 230 secs
lola: 10457604 markings, 16737396 edges, 43977 markings/sec, 235 secs
lola: 10676292 markings, 17084378 edges, 43738 markings/sec, 240 secs
lola: 10893542 markings, 17427651 edges, 43450 markings/sec, 245 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 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P18_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 303273 markings, 401414 edges, 60655 markings/sec, 0 secs
lola: 609419 markings, 812449 edges, 61229 markings/sec, 5 secs
lola: 911872 markings, 1217182 edges, 60491 markings/sec, 10 secs
lola: 1211982 markings, 1619835 edges, 60022 markings/sec, 15 secs
lola: 1511839 markings, 2023709 edges, 59971 markings/sec, 20 secs
lola: 1809261 markings, 2423536 edges, 59484 markings/sec, 25 secs
lola: 2106887 markings, 2823577 edges, 59525 markings/sec, 30 secs
lola: 2402433 markings, 3222119 edges, 59109 markings/sec, 35 secs
lola: 2696387 markings, 3619200 edges, 58791 markings/sec, 40 secs
lola: 2990478 markings, 4017904 edges, 58818 markings/sec, 45 secs
lola: 3284257 markings, 4417304 edges, 58756 markings/sec, 50 secs
lola: 3575972 markings, 4814772 edges, 58343 markings/sec, 55 secs
lola: 3866943 markings, 5210910 edges, 58194 markings/sec, 60 secs
lola: 4155791 markings, 5605731 edges, 57770 markings/sec, 65 secs
lola: 4446292 markings, 6002309 edges, 58100 markings/sec, 70 secs
lola: 4734212 markings, 6398406 edges, 57584 markings/sec, 75 secs
lola: 5020107 markings, 6793360 edges, 57179 markings/sec, 80 secs
lola: 5307724 markings, 7188398 edges, 57523 markings/sec, 85 secs
lola: 5593861 markings, 7583042 edges, 57227 markings/sec, 90 secs
lola: 5880120 markings, 7978000 edges, 57252 markings/sec, 95 secs
lola: 6167502 markings, 8372065 edges, 57476 markings/sec, 100 secs
lola: 6452690 markings, 8769509 edges, 57038 markings/sec, 105 secs
lola: 6737674 markings, 9164503 edges, 56997 markings/sec, 110 secs
lola: 6983010 markings, 9506706 edges, 49067 markings/sec, 115 secs
lola: 7265818 markings, 9898027 edges, 56562 markings/sec, 120 secs
lola: 7547003 markings, 10292937 edges, 56237 markings/sec, 125 secs
lola: 7828509 markings, 10686852 edges, 56301 markings/sec, 130 secs
lola: 8108610 markings, 11081070 edges, 56020 markings/sec, 135 secs
lola: 8393124 markings, 11479810 edges, 56903 markings/sec, 140 secs
lola: 8678190 markings, 11880602 edges, 57013 markings/sec, 145 secs
lola: 8961745 markings, 12278182 edges, 56711 markings/sec, 150 secs
lola: 9245270 markings, 12679892 edges, 56705 markings/sec, 155 secs
lola: 9527741 markings, 13082805 edges, 56494 markings/sec, 160 secs
lola: 9809190 markings, 13485246 edges, 56290 markings/sec, 165 secs
lola: 10096112 markings, 13890272 edges, 57384 markings/sec, 170 secs
lola: 10388752 markings, 14305018 edges, 58528 markings/sec, 175 secs
lola: 10677446 markings, 14720318 edges, 57739 markings/sec, 180 secs
lola: 10970373 markings, 15140051 edges, 58585 markings/sec, 185 secs
lola: 11253595 markings, 15541398 edges, 56644 markings/sec, 190 secs
lola: 11541560 markings, 15958558 edges, 57593 markings/sec, 195 secs
lola: 11829448 markings, 16374354 edges, 57578 markings/sec, 200 secs
lola: 12125469 markings, 16792710 edges, 59204 markings/sec, 205 secs
lola: 12415262 markings, 17208245 edges, 57959 markings/sec, 210 secs
lola: 12701361 markings, 17626216 edges, 57220 markings/sec, 215 secs
lola: 12991817 markings, 18044135 edges, 58091 markings/sec, 220 secs
lola: 13279540 markings, 18462081 edges, 57545 markings/sec, 225 secs
lola: 13567607 markings, 18878220 edges, 57613 markings/sec, 230 secs
lola: 13839059 markings, 19275374 edges, 54290 markings/sec, 235 secs
lola: 14108831 markings, 19673813 edges, 53954 markings/sec, 240 secs
lola: 14380075 markings, 20066380 edges, 54249 markings/sec, 245 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 253 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P59_19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 6 will run for 278 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P21_8)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 224703 markings, 603294 edges, 44941 markings/sec, 0 secs
lola: 433239 markings, 1213450 edges, 41707 markings/sec, 5 secs
lola: 635227 markings, 1818878 edges, 40398 markings/sec, 10 secs
lola: 836224 markings, 2428966 edges, 40199 markings/sec, 15 secs
lola: 1035819 markings, 3042047 edges, 39919 markings/sec, 20 secs
lola: 1235658 markings, 3658113 edges, 39968 markings/sec, 25 secs
lola: 1430906 markings, 4275525 edges, 39050 markings/sec, 30 secs
lola: 1627172 markings, 4889525 edges, 39253 markings/sec, 35 secs
lola: 1815173 markings, 5481972 edges, 37600 markings/sec, 40 secs
lola: 2003549 markings, 6086189 edges, 37675 markings/sec, 45 secs
lola: 2194008 markings, 6700833 edges, 38092 markings/sec, 50 secs
lola: 2375443 markings, 7284551 edges, 36287 markings/sec, 55 secs
lola: 2557924 markings, 7877696 edges, 36496 markings/sec, 60 secs
lola: 2737241 markings, 8462820 edges, 35863 markings/sec, 65 secs
lola: 2915242 markings, 9046550 edges, 35600 markings/sec, 70 secs
lola: 3092990 markings, 9631520 edges, 35550 markings/sec, 75 secs
lola: 3277004 markings, 10234323 edges, 36803 markings/sec, 80 secs
lola: 3457629 markings, 10829765 edges, 36125 markings/sec, 85 secs
lola: 3654303 markings, 11442076 edges, 39335 markings/sec, 90 secs
lola: 3832456 markings, 12021462 edges, 35631 markings/sec, 95 secs
lola: 4006949 markings, 12600353 edges, 34899 markings/sec, 100 secs
lola: 4185984 markings, 13190621 edges, 35807 markings/sec, 105 secs
lola: 4366070 markings, 13788623 edges, 36017 markings/sec, 110 secs
lola: 4546701 markings, 14391072 edges, 36126 markings/sec, 115 secs
lola: 4730750 markings, 15002343 edges, 36810 markings/sec, 120 secs
lola: 4909423 markings, 15602607 edges, 35735 markings/sec, 125 secs
lola: 5091266 markings, 16209798 edges, 36369 markings/sec, 130 secs
lola: 5262972 markings, 16783104 edges, 34341 markings/sec, 135 secs
lola: 5435602 markings, 17362309 edges, 34526 markings/sec, 140 secs
lola: 5608302 markings, 17936748 edges, 34540 markings/sec, 145 secs
lola: 5786901 markings, 18535326 edges, 35720 markings/sec, 150 secs
lola: 5969110 markings, 19140265 edges, 36442 markings/sec, 155 secs
lola: 6150982 markings, 19749460 edges, 36374 markings/sec, 160 secs
lola: 6328495 markings, 20349691 edges, 35503 markings/sec, 165 secs
lola: 6504135 markings, 20944847 edges, 35128 markings/sec, 170 secs
lola: 6686727 markings, 21554409 edges, 36518 markings/sec, 175 secs
lola: 6862962 markings, 22153139 edges, 35247 markings/sec, 180 secs
lola: 7038105 markings, 22743725 edges, 35029 markings/sec, 185 secs
lola: 7217189 markings, 23349454 edges, 35817 markings/sec, 190 secs
lola: 7392278 markings, 23942419 edges, 35018 markings/sec, 195 secs
lola: 7566224 markings, 24540395 edges, 34789 markings/sec, 200 secs
lola: 7742237 markings, 25143155 edges, 35203 markings/sec, 205 secs
lola: 7919814 markings, 25745361 edges, 35515 markings/sec, 210 secs
lola: 8097409 markings, 26347375 edges, 35519 markings/sec, 215 secs
lola: 8277932 markings, 26961497 edges, 36105 markings/sec, 220 secs
lola: 8458992 markings, 27582784 edges, 36212 markings/sec, 225 secs
lola: 8638078 markings, 28192722 edges, 35817 markings/sec, 230 secs
lola: 8813555 markings, 28790002 edges, 35095 markings/sec, 235 secs
lola: 8990001 markings, 29391412 edges, 35289 markings/sec, 240 secs
lola: 9167775 markings, 29997150 edges, 35555 markings/sec, 245 secs
lola: 9341937 markings, 30597752 edges, 34832 markings/sec, 250 secs
lola: 9514461 markings, 31187811 edges, 34505 markings/sec, 255 secs
lola: 9684795 markings, 31774677 edges, 34067 markings/sec, 260 secs
lola: 9859931 markings, 32374868 edges, 35027 markings/sec, 265 secs
lola: 10034997 markings, 32975761 edges, 35013 markings/sec, 270 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 278 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P23_21)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 8 will run for 313 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P74_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 303599 markings, 401265 edges, 60720 markings/sec, 0 secs
lola: 611617 markings, 815578 edges, 61604 markings/sec, 5 secs
lola: 913332 markings, 1218428 edges, 60343 markings/sec, 10 secs
lola: 1208896 markings, 1615059 edges, 59113 markings/sec, 15 secs
lola: 1504021 markings, 2012327 edges, 59025 markings/sec, 20 secs
lola: 1797277 markings, 2407241 edges, 58651 markings/sec, 25 secs
lola: 2089374 markings, 2802011 edges, 58419 markings/sec, 30 secs
lola: 2380145 markings, 3194285 edges, 58154 markings/sec, 35 secs
lola: 2673118 markings, 3591206 edges, 58595 markings/sec, 40 secs
lola: 2963270 markings, 3984869 edges, 58030 markings/sec, 45 secs
lola: 3253505 markings, 4378303 edges, 58047 markings/sec, 50 secs
lola: 3543227 markings, 4773170 edges, 57944 markings/sec, 55 secs
lola: 3832706 markings, 5166627 edges, 57896 markings/sec, 60 secs
lola: 4118126 markings, 5555755 edges, 57084 markings/sec, 65 secs
lola: 4403859 markings, 5945883 edges, 57147 markings/sec, 70 secs
lola: 4689207 markings, 6335349 edges, 57070 markings/sec, 75 secs
lola: 4971909 markings, 6723096 edges, 56540 markings/sec, 80 secs
lola: 5254347 markings, 7111675 edges, 56488 markings/sec, 85 secs
lola: 5544760 markings, 7511353 edges, 58083 markings/sec, 90 secs
lola: 5833618 markings, 7908858 edges, 57772 markings/sec, 95 secs
lola: 6122409 markings, 8306624 edges, 57758 markings/sec, 100 secs
lola: 6406457 markings, 8698794 edges, 56810 markings/sec, 105 secs
lola: 6688074 markings, 9088179 edges, 56323 markings/sec, 110 secs
lola: 6962870 markings, 9471110 edges, 54959 markings/sec, 115 secs
lola: 7232544 markings, 9845192 edges, 53935 markings/sec, 120 secs
lola: 7509196 markings, 10230761 edges, 55330 markings/sec, 125 secs
lola: 7786952 markings, 10617711 edges, 55551 markings/sec, 130 secs
lola: 8064944 markings, 11003052 edges, 55598 markings/sec, 135 secs
lola: 8340527 markings, 11389628 edges, 55117 markings/sec, 140 secs
lola: 8617305 markings, 11774765 edges, 55356 markings/sec, 145 secs
lola: 8893081 markings, 12160375 edges, 55155 markings/sec, 150 secs
lola: 9166989 markings, 12545214 edges, 54782 markings/sec, 155 secs
lola: 9443394 markings, 12930398 edges, 55281 markings/sec, 160 secs
lola: 9714674 markings, 13310845 edges, 54256 markings/sec, 165 secs
lola: 9988434 markings, 13694784 edges, 54752 markings/sec, 170 secs
lola: 10262224 markings, 14079329 edges, 54758 markings/sec, 175 secs
lola: 10537682 markings, 14468007 edges, 55092 markings/sec, 180 secs
lola: 10810247 markings, 14853077 edges, 54513 markings/sec, 185 secs
lola: 11080222 markings, 15234953 edges, 53995 markings/sec, 190 secs
lola: 11355653 markings, 15623312 edges, 55086 markings/sec, 195 secs
lola: 11623053 markings, 16005025 edges, 53480 markings/sec, 200 secs
lola: 11895187 markings, 16389116 edges, 54427 markings/sec, 205 secs
lola: 12170105 markings, 16776187 edges, 54984 markings/sec, 210 secs
lola: 12444069 markings, 17161131 edges, 54793 markings/sec, 215 secs
lola: 12714582 markings, 17546795 edges, 54103 markings/sec, 220 secs
lola: 12971085 markings, 17914112 edges, 51301 markings/sec, 225 secs
lola: 13248590 markings, 18310515 edges, 55501 markings/sec, 230 secs
lola: 13517951 markings, 18693449 edges, 53872 markings/sec, 235 secs
lola: 13816913 markings, 19119025 edges, 59792 markings/sec, 240 secs
lola: 14104631 markings, 19534542 edges, 57544 markings/sec, 245 secs
lola: 14380005 markings, 19931365 edges, 55075 markings/sec, 250 secs
lola: 14654572 markings, 20330343 edges, 54913 markings/sec, 255 secs
lola: 14934176 markings, 20733471 edges, 55921 markings/sec, 260 secs
lola: 15211899 markings, 21133138 edges, 55545 markings/sec, 265 secs
lola: 15490136 markings, 21529508 edges, 55647 markings/sec, 270 secs
lola: 15759393 markings, 21918598 edges, 53851 markings/sec, 275 secs
lola: 16033604 markings, 22316425 edges, 54842 markings/sec, 280 secs
lola: 16310000 markings, 22717495 edges, 55279 markings/sec, 285 secs
lola: 16589830 markings, 23123386 edges, 55966 markings/sec, 290 secs
lola: 16865143 markings, 23525534 edges, 55063 markings/sec, 295 secs
lola: 17139493 markings, 23921540 edges, 54870 markings/sec, 300 secs
lola: 17411624 markings, 24319758 edges, 54426 markings/sec, 305 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 313 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P102_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 313822 markings, 413415 edges, 62764 markings/sec, 0 secs
lola: 623686 markings, 827349 edges, 61973 markings/sec, 5 secs
lola: 923718 markings, 1226233 edges, 60006 markings/sec, 10 secs
lola: 1222427 markings, 1624478 edges, 59742 markings/sec, 15 secs
lola: 1532868 markings, 2038901 edges, 62088 markings/sec, 20 secs
lola: 1846408 markings, 2456857 edges, 62708 markings/sec, 25 secs
lola: 2154807 markings, 2868970 edges, 61680 markings/sec, 30 secs
lola: 2461447 markings, 3278952 edges, 61328 markings/sec, 35 secs
lola: 2768941 markings, 3690032 edges, 61499 markings/sec, 40 secs
lola: 3069861 markings, 4093769 edges, 60184 markings/sec, 45 secs
lola: 3376071 markings, 4504677 edges, 61242 markings/sec, 50 secs
lola: 3679875 markings, 4913804 edges, 60761 markings/sec, 55 secs
lola: 3987157 markings, 5327064 edges, 61456 markings/sec, 60 secs
lola: 4287874 markings, 5732407 edges, 60143 markings/sec, 65 secs
lola: 4589235 markings, 6139081 edges, 60272 markings/sec, 70 secs
lola: 4887514 markings, 6543689 edges, 59656 markings/sec, 75 secs
lola: 5175994 markings, 6934469 edges, 57696 markings/sec, 80 secs
lola: 5463787 markings, 7324641 edges, 57559 markings/sec, 85 secs
lola: 5756481 markings, 7720583 edges, 58539 markings/sec, 90 secs
lola: 6055463 markings, 8126684 edges, 59796 markings/sec, 95 secs
lola: 6357795 markings, 8537729 edges, 60466 markings/sec, 100 secs
lola: 6653690 markings, 8940944 edges, 59179 markings/sec, 105 secs
lola: 6945734 markings, 9340734 edges, 58409 markings/sec, 110 secs
lola: 7233896 markings, 9734557 edges, 57632 markings/sec, 115 secs
lola: 7515152 markings, 10118769 edges, 56251 markings/sec, 120 secs
lola: 7799198 markings, 10509231 edges, 56809 markings/sec, 125 secs
lola: 8087431 markings, 10903006 edges, 57647 markings/sec, 130 secs
lola: 8374131 markings, 11299412 edges, 57340 markings/sec, 135 secs
lola: 8658776 markings, 11690604 edges, 56929 markings/sec, 140 secs
lola: 8938556 markings, 12078540 edges, 55956 markings/sec, 145 secs
lola: 9220971 markings, 12468260 edges, 56483 markings/sec, 150 secs
lola: 9501459 markings, 12856318 edges, 56098 markings/sec, 155 secs
lola: 9784012 markings, 13245819 edges, 56511 markings/sec, 160 secs
lola: 10063282 markings, 13635407 edges, 55854 markings/sec, 165 secs
lola: 10341948 markings, 14024135 edges, 55733 markings/sec, 170 secs
lola: 10626389 markings, 14418215 edges, 56888 markings/sec, 175 secs
lola: 10913278 markings, 14815111 edges, 57378 markings/sec, 180 secs
lola: 11192613 markings, 15207385 edges, 55867 markings/sec, 185 secs
lola: 11469043 markings, 15589292 edges, 55286 markings/sec, 190 secs
lola: 11745144 markings, 15973328 edges, 55220 markings/sec, 195 secs
lola: 12022211 markings, 16360253 edges, 55413 markings/sec, 200 secs
lola: 12297185 markings, 16748304 edges, 54995 markings/sec, 205 secs
lola: 12573559 markings, 17136786 edges, 55275 markings/sec, 210 secs
lola: 12850017 markings, 17523587 edges, 55292 markings/sec, 215 secs
lola: 13122054 markings, 17906282 edges, 54407 markings/sec, 220 secs
lola: 13397623 markings, 18292835 edges, 55114 markings/sec, 225 secs
lola: 13670648 markings, 18679669 edges, 54605 markings/sec, 230 secs
lola: 13947889 markings, 19070633 edges, 55448 markings/sec, 235 secs
lola: 14222280 markings, 19459048 edges, 54878 markings/sec, 240 secs
lola: 14488874 markings, 19837501 edges, 53319 markings/sec, 245 secs
lola: 14761439 markings, 20222295 edges, 54513 markings/sec, 250 secs
lola: 15033502 markings, 20605803 edges, 54413 markings/sec, 255 secs
lola: 15305110 markings, 20988338 edges, 54322 markings/sec, 260 secs
lola: 15573625 markings, 21372070 edges, 53703 markings/sec, 265 secs
lola: 15846615 markings, 21761649 edges, 54598 markings/sec, 270 secs
lola: 16123510 markings, 22152194 edges, 55379 markings/sec, 275 secs
lola: 16397808 markings, 22541530 edges, 54860 markings/sec, 280 secs
lola: 16669526 markings, 22930739 edges, 54344 markings/sec, 285 secs
lola: 16942913 markings, 23317470 edges, 54677 markings/sec, 290 secs
lola: 17208988 markings, 23697074 edges, 53215 markings/sec, 295 secs
lola: 17480565 markings, 24085350 edges, 54315 markings/sec, 300 secs
lola: 17747955 markings, 24472446 edges, 53478 markings/sec, 305 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 313 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P85_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 11 will run for 375 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P25_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: SUBRESULT
lola: result: 0
lola: produced by: state space
lola: The maximum value of the given expression is 0
lola: ========================================
lola: subprocess 12 will run for 469 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P61_4)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 307813 markings, 405245 edges, 61563 markings/sec, 0 secs
lola: 616436 markings, 814470 edges, 61725 markings/sec, 5 secs
lola: 919753 markings, 1217762 edges, 60663 markings/sec, 10 secs
lola: 1219397 markings, 1617482 edges, 59929 markings/sec, 15 secs
lola: 1519152 markings, 2017394 edges, 59951 markings/sec, 20 secs
lola: 1818359 markings, 2415288 edges, 59841 markings/sec, 25 secs
lola: 2117794 markings, 2815275 edges, 59887 markings/sec, 30 secs
lola: 2423672 markings, 3224243 edges, 61176 markings/sec, 35 secs
lola: 2724284 markings, 3625650 edges, 60122 markings/sec, 40 secs
lola: 3023704 markings, 4026878 edges, 59884 markings/sec, 45 secs
lola: 3323947 markings, 4429899 edges, 60049 markings/sec, 50 secs
lola: 3624339 markings, 4832869 edges, 60078 markings/sec, 55 secs
lola: 3922219 markings, 5232463 edges, 59576 markings/sec, 60 secs
lola: 4215243 markings, 5626524 edges, 58605 markings/sec, 65 secs
lola: 4509212 markings, 6022463 edges, 58794 markings/sec, 70 secs
lola: 4803224 markings, 6417890 edges, 58802 markings/sec, 75 secs
lola: 5101556 markings, 6819249 edges, 59666 markings/sec, 80 secs
lola: 5400818 markings, 7223146 edges, 59852 markings/sec, 85 secs
lola: 5693791 markings, 7617912 edges, 58595 markings/sec, 90 secs
lola: 5988310 markings, 8014045 edges, 58904 markings/sec, 95 secs
lola: 6280564 markings, 8407639 edges, 58451 markings/sec, 100 secs
lola: 6571253 markings, 8799888 edges, 58138 markings/sec, 105 secs
lola: 6863864 markings, 9194619 edges, 58522 markings/sec, 110 secs
lola: 7157474 markings, 9590585 edges, 58722 markings/sec, 115 secs
lola: 7443538 markings, 9977259 edges, 57213 markings/sec, 120 secs
lola: 7734734 markings, 10370634 edges, 58239 markings/sec, 125 secs
lola: 8021803 markings, 10759321 edges, 57414 markings/sec, 130 secs
lola: 8310885 markings, 11149656 edges, 57816 markings/sec, 135 secs
lola: 8595220 markings, 11534530 edges, 56867 markings/sec, 140 secs
lola: 8880982 markings, 11922668 edges, 57152 markings/sec, 145 secs
lola: 9167312 markings, 12310013 edges, 57266 markings/sec, 150 secs
lola: 9453739 markings, 12698052 edges, 57285 markings/sec, 155 secs
lola: 9739798 markings, 13085438 edges, 57212 markings/sec, 160 secs
lola: 10022070 markings, 13468211 edges, 56454 markings/sec, 165 secs
lola: 10306170 markings, 13854288 edges, 56820 markings/sec, 170 secs
lola: 10590754 markings, 14240791 edges, 56917 markings/sec, 175 secs
lola: 10878644 markings, 14632170 edges, 57578 markings/sec, 180 secs
lola: 11163607 markings, 15018773 edges, 56993 markings/sec, 185 secs
lola: 11454585 markings, 15413816 edges, 58196 markings/sec, 190 secs
lola: 11740157 markings, 15802286 edges, 57114 markings/sec, 195 secs
lola: 12028501 markings, 16193541 edges, 57669 markings/sec, 200 secs
lola: 12312762 markings, 16581869 edges, 56852 markings/sec, 205 secs
lola: 12596387 markings, 16968174 edges, 56725 markings/sec, 210 secs
lola: 12876917 markings, 17349775 edges, 56106 markings/sec, 215 secs
lola: 13152992 markings, 17726193 edges, 55215 markings/sec, 220 secs
lola: 13440391 markings, 18117767 edges, 57480 markings/sec, 225 secs
lola: 13731056 markings, 18514735 edges, 58133 markings/sec, 230 secs
lola: 14018588 markings, 18907945 edges, 57506 markings/sec, 235 secs
lola: 14304817 markings, 19297618 edges, 57246 markings/sec, 240 secs
lola: 14590241 markings, 19687179 edges, 57085 markings/sec, 245 secs
lola: 14872056 markings, 20073067 edges, 56363 markings/sec, 250 secs
lola: 15154387 markings, 20459348 edges, 56466 markings/sec, 255 secs
lola: 15434624 markings, 20843055 edges, 56047 markings/sec, 260 secs
lola: 15717610 markings, 21229104 edges, 56597 markings/sec, 265 secs
lola: 16000895 markings, 21616948 edges, 56657 markings/sec, 270 secs
lola: 16279785 markings, 21998491 edges, 55778 markings/sec, 275 secs
lola: 16561933 markings, 22384585 edges, 56430 markings/sec, 280 secs
lola: 16843458 markings, 22770710 edges, 56305 markings/sec, 285 secs
lola: 17123537 markings, 23154046 edges, 56016 markings/sec, 290 secs
lola: 17403600 markings, 23538386 edges, 56013 markings/sec, 295 secs
lola: 17682704 markings, 23923033 edges, 55821 markings/sec, 300 secs
lola: 17965072 markings, 24310785 edges, 56474 markings/sec, 305 secs
lola: 18249647 markings, 24700490 edges, 56915 markings/sec, 310 secs
lola: 18537539 markings, 25095326 edges, 57578 markings/sec, 315 secs
lola: 18824878 markings, 25490345 edges, 57468 markings/sec, 320 secs
lola: 19116423 markings, 25891897 edges, 58309 markings/sec, 325 secs
lola: 19407765 markings, 26293649 edges, 58268 markings/sec, 330 secs
lola: 19702339 markings, 26699713 edges, 58915 markings/sec, 335 secs
lola: 19989707 markings, 27096040 edges, 57474 markings/sec, 340 secs
lola: 20277656 markings, 27492973 edges, 57590 markings/sec, 345 secs
lola: 20570197 markings, 27897341 edges, 58508 markings/sec, 350 secs
lola: 20859624 markings, 28296169 edges, 57885 markings/sec, 355 secs
lola: 21148870 markings, 28694376 edges, 57849 markings/sec, 360 secs
lola: 21441044 markings, 29097305 edges, 58435 markings/sec, 365 secs
lola: 21732320 markings, 29500076 edges, 58255 markings/sec, 370 secs
lola: 22010503 markings, 29884908 edges, 55637 markings/sec, 375 secs
lola: 22286059 markings, 30266317 edges, 55111 markings/sec, 380 secs
lola: 22562884 markings, 30647567 edges, 55365 markings/sec, 385 secs
lola: 22842659 markings, 31035507 edges, 55955 markings/sec, 390 secs
lola: 23133760 markings, 31438489 edges, 58220 markings/sec, 395 secs
lola: 23419599 markings, 31834296 edges, 57168 markings/sec, 400 secs
lola: 23705826 markings, 32230426 edges, 57245 markings/sec, 405 secs
lola: 23997576 markings, 32633161 edges, 58350 markings/sec, 410 secs
lola: 24289217 markings, 33037672 edges, 58328 markings/sec, 415 secs
lola: 24580480 markings, 33442053 edges, 58253 markings/sec, 420 secs
lola: 24863758 markings, 33834771 edges, 56656 markings/sec, 425 secs
lola: 25153323 markings, 34235128 edges, 57913 markings/sec, 430 secs
lola: 25441141 markings, 34635863 edges, 57564 markings/sec, 435 secs
lola: 25724154 markings, 35027793 edges, 56603 markings/sec, 440 secs
lola: 26008961 markings, 35421377 edges, 56961 markings/sec, 445 secs
lola: 26294528 markings, 35819573 edges, 57113 markings/sec, 450 secs
lola: 26576659 markings, 36211038 edges, 56426 markings/sec, 455 secs
lola: 26859778 markings, 36604373 edges, 56624 markings/sec, 460 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 470 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P23_19)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 315734 markings, 418454 edges, 63147 markings/sec, 0 secs
lola: 640045 markings, 851701 edges, 64862 markings/sec, 5 secs
lola: 951122 markings, 1276222 edges, 62215 markings/sec, 10 secs
lola: 1261617 markings, 1694668 edges, 62099 markings/sec, 15 secs
lola: 1574312 markings, 2113913 edges, 62539 markings/sec, 20 secs
lola: 1876982 markings, 2520969 edges, 60534 markings/sec, 25 secs
lola: 2187767 markings, 2937137 edges, 62157 markings/sec, 30 secs
lola: 2504307 markings, 3363826 edges, 63308 markings/sec, 35 secs
lola: 2814718 markings, 3782194 edges, 62082 markings/sec, 40 secs
lola: 3125213 markings, 4201718 edges, 62099 markings/sec, 45 secs
lola: 3434665 markings, 4620577 edges, 61890 markings/sec, 50 secs
lola: 3743325 markings, 5039120 edges, 61732 markings/sec, 55 secs
lola: 4048200 markings, 5452655 edges, 60975 markings/sec, 60 secs
lola: 4356660 markings, 5870448 edges, 61692 markings/sec, 65 secs
lola: 4666056 markings, 6291240 edges, 61879 markings/sec, 70 secs
lola: 4970442 markings, 6706672 edges, 60877 markings/sec, 75 secs
lola: 5266318 markings, 7111794 edges, 59175 markings/sec, 80 secs
lola: 5558605 markings, 7514239 edges, 58457 markings/sec, 85 secs
lola: 5850922 markings, 7915960 edges, 58463 markings/sec, 90 secs
lola: 6152702 markings, 8330376 edges, 60356 markings/sec, 95 secs
lola: 6450693 markings, 8741535 edges, 59598 markings/sec, 100 secs
lola: 6753412 markings, 9159586 edges, 60544 markings/sec, 105 secs
lola: 7060317 markings, 9584588 edges, 61381 markings/sec, 110 secs
lola: 7360493 markings, 9999068 edges, 60035 markings/sec, 115 secs
lola: 7662544 markings, 10419739 edges, 60410 markings/sec, 120 secs
lola: 7953813 markings, 10824145 edges, 58254 markings/sec, 125 secs
lola: 8242664 markings, 11225958 edges, 57770 markings/sec, 130 secs
lola: 8543578 markings, 11647329 edges, 60183 markings/sec, 135 secs
lola: 8840768 markings, 12061041 edges, 59438 markings/sec, 140 secs
lola: 9138521 markings, 12479631 edges, 59551 markings/sec, 145 secs
lola: 9435974 markings, 12896879 edges, 59491 markings/sec, 150 secs
lola: 9724935 markings, 13305663 edges, 57792 markings/sec, 155 secs
lola: 10017241 markings, 13716982 edges, 58461 markings/sec, 160 secs
lola: 10308113 markings, 14123626 edges, 58174 markings/sec, 165 secs
lola: 10594573 markings, 14527730 edges, 57292 markings/sec, 170 secs
lola: 10882695 markings, 14932634 edges, 57624 markings/sec, 175 secs
lola: 11177543 markings, 15348727 edges, 58970 markings/sec, 180 secs
lola: 11472761 markings, 15765358 edges, 59044 markings/sec, 185 secs
lola: 11769204 markings, 16181155 edges, 59289 markings/sec, 190 secs
lola: 12055033 markings, 16590496 edges, 57166 markings/sec, 195 secs
lola: 12341425 markings, 16998975 edges, 57278 markings/sec, 200 secs
lola: 12626493 markings, 17398318 edges, 57014 markings/sec, 205 secs
lola: 12917350 markings, 17810019 edges, 58171 markings/sec, 210 secs
lola: 13201516 markings, 18211266 edges, 56833 markings/sec, 215 secs
lola: 13483116 markings, 18608480 edges, 56320 markings/sec, 220 secs
lola: 13779441 markings, 19029325 edges, 59265 markings/sec, 225 secs
lola: 14081940 markings, 19464937 edges, 60500 markings/sec, 230 secs
lola: 14376408 markings, 19886144 edges, 58894 markings/sec, 235 secs
lola: 14675955 markings, 20313874 edges, 59909 markings/sec, 240 secs
lola: 14978839 markings, 20745898 edges, 60577 markings/sec, 245 secs
lola: 15272438 markings, 21172047 edges, 58720 markings/sec, 250 secs
lola: 15576731 markings, 21605901 edges, 60859 markings/sec, 255 secs
lola: 15875193 markings, 22035146 edges, 59692 markings/sec, 260 secs
lola: 16173646 markings, 22467522 edges, 59691 markings/sec, 265 secs
lola: 16466546 markings, 22895490 edges, 58580 markings/sec, 270 secs
lola: 16746428 markings, 23300583 edges, 55976 markings/sec, 275 secs
lola: 17018896 markings, 23703469 edges, 54494 markings/sec, 280 secs
lola: 17292594 markings, 24105626 edges, 54740 markings/sec, 285 secs
lola: 17567148 markings, 24503907 edges, 54911 markings/sec, 290 secs
lola: 17842419 markings, 24901973 edges, 55054 markings/sec, 295 secs
lola: 18112915 markings, 25306984 edges, 54099 markings/sec, 300 secs
lola: 18387695 markings, 25704451 edges, 54956 markings/sec, 305 secs
lola: 18662001 markings, 26105460 edges, 54861 markings/sec, 310 secs
lola: 18934818 markings, 26504849 edges, 54563 markings/sec, 315 secs
lola: 19215951 markings, 26907122 edges, 56227 markings/sec, 320 secs
lola: 19490522 markings, 27304385 edges, 54914 markings/sec, 325 secs
lola: 19766699 markings, 27703938 edges, 55235 markings/sec, 330 secs
lola: 20045055 markings, 28105088 edges, 55671 markings/sec, 335 secs
lola: 20337004 markings, 28532411 edges, 58390 markings/sec, 340 secs
lola: 20632194 markings, 28961913 edges, 59038 markings/sec, 345 secs
lola: 20906646 markings, 29370627 edges, 54890 markings/sec, 350 secs
lola: 21181921 markings, 29774381 edges, 55055 markings/sec, 355 secs
lola: 21451959 markings, 30174768 edges, 54008 markings/sec, 360 secs
lola: 21746598 markings, 30602569 edges, 58928 markings/sec, 365 secs
lola: 22014011 markings, 30997642 edges, 53483 markings/sec, 370 secs
lola: 22285870 markings, 31400937 edges, 54372 markings/sec, 375 secs
lola: 22552590 markings, 31800974 edges, 53344 markings/sec, 380 secs
lola: 22819460 markings, 32196672 edges, 53374 markings/sec, 385 secs
lola: 23089297 markings, 32588494 edges, 53967 markings/sec, 390 secs
lola: 23345950 markings, 32964613 edges, 51331 markings/sec, 395 secs
lola: 23606815 markings, 33348959 edges, 52173 markings/sec, 400 secs
lola: 23880534 markings, 33748361 edges, 54744 markings/sec, 405 secs
lola: 24155582 markings, 34158686 edges, 55010 markings/sec, 410 secs
lola: 24452504 markings, 34596713 edges, 59384 markings/sec, 415 secs
lola: 24744264 markings, 35027954 edges, 58352 markings/sec, 420 secs
lola: 25033198 markings, 35452907 edges, 57787 markings/sec, 425 secs
lola: 25298159 markings, 35842191 edges, 52992 markings/sec, 430 secs
lola: 25566775 markings, 36242489 edges, 53723 markings/sec, 435 secs
lola: 25831977 markings, 36636702 edges, 53040 markings/sec, 440 secs
lola: 26095129 markings, 37031850 edges, 52630 markings/sec, 445 secs
lola: 26358247 markings, 37423025 edges, 52624 markings/sec, 450 secs
lola: 26622593 markings, 37830061 edges, 52869 markings/sec, 455 secs
lola: 26888114 markings, 38223316 edges, 53104 markings/sec, 460 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 469 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P89_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 306206 markings, 403989 edges, 61241 markings/sec, 0 secs
lola: 607193 markings, 805747 edges, 60197 markings/sec, 5 secs
lola: 907112 markings, 1205599 edges, 59984 markings/sec, 10 secs
lola: 1205624 markings, 1604178 edges, 59702 markings/sec, 15 secs
lola: 1503601 markings, 2001827 edges, 59595 markings/sec, 20 secs
lola: 1819499 markings, 2424894 edges, 63180 markings/sec, 25 secs
lola: 2146531 markings, 2864158 edges, 65406 markings/sec, 30 secs
lola: 2463829 markings, 3291114 edges, 63460 markings/sec, 35 secs
lola: 2783979 markings, 3722081 edges, 64030 markings/sec, 40 secs
lola: 3101382 markings, 4150797 edges, 63481 markings/sec, 45 secs
lola: 3421071 markings, 4582034 edges, 63938 markings/sec, 50 secs
lola: 3741419 markings, 5013175 edges, 64070 markings/sec, 55 secs
lola: 4055547 markings, 5438872 edges, 62826 markings/sec, 60 secs
lola: 4353815 markings, 5841454 edges, 59654 markings/sec, 65 secs
lola: 4656293 markings, 6250230 edges, 60496 markings/sec, 70 secs
lola: 4943731 markings, 6640107 edges, 57488 markings/sec, 75 secs
lola: 5232382 markings, 7030995 edges, 57730 markings/sec, 80 secs
lola: 5520921 markings, 7423301 edges, 57708 markings/sec, 85 secs
lola: 5826664 markings, 7838960 edges, 61149 markings/sec, 90 secs
lola: 6136587 markings, 8260777 edges, 61985 markings/sec, 95 secs
lola: 6461061 markings, 8703403 edges, 64895 markings/sec, 100 secs
lola: 6782495 markings, 9142868 edges, 64287 markings/sec, 105 secs
lola: 7110473 markings, 9593357 edges, 65596 markings/sec, 110 secs
lola: 7430206 markings, 10034290 edges, 63947 markings/sec, 115 secs
lola: 7749790 markings, 10472035 edges, 63917 markings/sec, 120 secs
lola: 8067567 markings, 10910286 edges, 63555 markings/sec, 125 secs
lola: 8375820 markings, 11334988 edges, 61651 markings/sec, 130 secs
lola: 8693425 markings, 11770497 edges, 63521 markings/sec, 135 secs
lola: 9008711 markings, 12207093 edges, 63057 markings/sec, 140 secs
lola: 9314618 markings, 12629475 edges, 61181 markings/sec, 145 secs
lola: 9601617 markings, 13026992 edges, 57400 markings/sec, 150 secs
lola: 9884334 markings, 13421079 edges, 56543 markings/sec, 155 secs
lola: 10169333 markings, 13816958 edges, 57000 markings/sec, 160 secs
lola: 10466043 markings, 14228112 edges, 59342 markings/sec, 165 secs
lola: 10747656 markings, 14622272 edges, 56323 markings/sec, 170 secs
lola: 11028723 markings, 15015487 edges, 56213 markings/sec, 175 secs
lola: 11312411 markings, 15411777 edges, 56738 markings/sec, 180 secs
lola: 11589403 markings, 15800924 edges, 55398 markings/sec, 185 secs
lola: 11877735 markings, 16199353 edges, 57666 markings/sec, 190 secs
lola: 12157075 markings, 16589816 edges, 55868 markings/sec, 195 secs
lola: 12441639 markings, 16988383 edges, 56913 markings/sec, 200 secs
lola: 12720563 markings, 17380379 edges, 55785 markings/sec, 205 secs
lola: 12997966 markings, 17768999 edges, 55481 markings/sec, 210 secs
lola: 13274169 markings, 18159263 edges, 55241 markings/sec, 215 secs
lola: 13551122 markings, 18545030 edges, 55391 markings/sec, 220 secs
lola: 13827881 markings, 18933662 edges, 55352 markings/sec, 225 secs
lola: 14104050 markings, 19321214 edges, 55234 markings/sec, 230 secs
lola: 14377107 markings, 19708609 edges, 54611 markings/sec, 235 secs
lola: 14646656 markings, 20089732 edges, 53910 markings/sec, 240 secs
lola: 14932322 markings, 20493366 edges, 57133 markings/sec, 245 secs
lola: 15233116 markings, 20920470 edges, 60159 markings/sec, 250 secs
lola: 15533047 markings, 21342377 edges, 59986 markings/sec, 255 secs
lola: 15829572 markings, 21767124 edges, 59305 markings/sec, 260 secs
lola: 16125699 markings, 22188638 edges, 59225 markings/sec, 265 secs
lola: 16422873 markings, 22610614 edges, 59435 markings/sec, 270 secs
lola: 16722277 markings, 23034414 edges, 59881 markings/sec, 275 secs
lola: 17016810 markings, 23458075 edges, 58907 markings/sec, 280 secs
lola: 17307865 markings, 23876934 edges, 58211 markings/sec, 285 secs
lola: 17588870 markings, 24281023 edges, 56201 markings/sec, 290 secs
lola: 17858404 markings, 24670607 edges, 53907 markings/sec, 295 secs
lola: 18130012 markings, 25059338 edges, 54322 markings/sec, 300 secs
lola: 18408892 markings, 25463838 edges, 55776 markings/sec, 305 secs
lola: 18710662 markings, 25896354 edges, 60354 markings/sec, 310 secs
lola: 18983919 markings, 26289480 edges, 54651 markings/sec, 315 secs
lola: 19254785 markings, 26672359 edges, 54173 markings/sec, 320 secs
lola: 19526655 markings, 27060045 edges, 54374 markings/sec, 325 secs
lola: 19815281 markings, 27471870 edges, 57725 markings/sec, 330 secs
lola: 20107728 markings, 27889377 edges, 58489 markings/sec, 335 secs
lola: 20409654 markings, 28320736 edges, 60385 markings/sec, 340 secs
lola: 20701819 markings, 28749368 edges, 58433 markings/sec, 345 secs
lola: 20998850 markings, 29173010 edges, 59406 markings/sec, 350 secs
lola: 21286115 markings, 29590888 edges, 57453 markings/sec, 355 secs
lola: 21571256 markings, 30006962 edges, 57028 markings/sec, 360 secs
lola: 21865449 markings, 30435826 edges, 58839 markings/sec, 365 secs
lola: 22144501 markings, 30840625 edges, 55810 markings/sec, 370 secs
lola: 22411816 markings, 31232351 edges, 53463 markings/sec, 375 secs
lola: 22684815 markings, 31631075 edges, 54600 markings/sec, 380 secs
lola: 22963514 markings, 32034799 edges, 55740 markings/sec, 385 secs
lola: 23233232 markings, 32429324 edges, 53944 markings/sec, 390 secs
lola: 23512660 markings, 32836272 edges, 55886 markings/sec, 395 secs
lola: 23781860 markings, 33225536 edges, 53840 markings/sec, 400 secs
lola: 24050045 markings, 33616840 edges, 53637 markings/sec, 405 secs
lola: 24323084 markings, 34009455 edges, 54608 markings/sec, 410 secs
lola: 24589515 markings, 34395902 edges, 53286 markings/sec, 415 secs
lola: 24860719 markings, 34791582 edges, 54241 markings/sec, 420 secs
lola: 25124453 markings, 35181364 edges, 52747 markings/sec, 425 secs
lola: 25395780 markings, 35569928 edges, 54265 markings/sec, 430 secs
lola: 25682668 markings, 35983723 edges, 57378 markings/sec, 435 secs
lola: 25965676 markings, 36395451 edges, 56602 markings/sec, 440 secs
lola: 26248656 markings, 36814749 edges, 56596 markings/sec, 445 secs
lola: 26534233 markings, 37227501 edges, 57115 markings/sec, 450 secs
lola: 26816801 markings, 37644303 edges, 56514 markings/sec, 455 secs
lola: 27094429 markings, 38056196 edges, 55526 markings/sec, 460 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 470 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pl_P109_1)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 348 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: 314065 markings, 415346 edges, 62813 markings/sec, 0 secs
lola: 639152 markings, 852196 edges, 65017 markings/sec, 5 secs
lola: 951829 markings, 1269615 edges, 62535 markings/sec, 10 secs
lola: 1246942 markings, 1665973 edges, 59023 markings/sec, 15 secs
lola: 1542336 markings, 2063759 edges, 59079 markings/sec, 20 secs
lola: 1836442 markings, 2459851 edges, 58821 markings/sec, 25 secs
lola: 2153579 markings, 2888499 edges, 63427 markings/sec, 30 secs
lola: 2470651 markings, 3317463 edges, 63414 markings/sec, 35 secs
lola: 2787760 markings, 3746926 edges, 63422 markings/sec, 40 secs
lola: 3104927 markings, 4176968 edges, 63433 markings/sec, 45 secs
lola: 3418210 markings, 4603052 edges, 62657 markings/sec, 50 secs
lola: 3731600 markings, 5029946 edges, 62678 markings/sec, 55 secs
lola: 4047321 markings, 5459389 edges, 63144 markings/sec, 60 secs
lola: 4361266 markings, 5888244 edges, 62789 markings/sec, 65 secs
lola: 4677188 markings, 6318828 edges, 63184 markings/sec, 70 secs
lola: 4989654 markings, 6747257 edges, 62493 markings/sec, 75 secs
lola: 5273975 markings, 7138549 edges, 56864 markings/sec, 80 secs
lola: 5559562 markings, 7531624 edges, 57117 markings/sec, 85 secs
lola: 5846843 markings, 7927191 edges, 57456 markings/sec, 90 secs
lola: 6144411 markings, 8337349 edges, 59514 markings/sec, 95 secs
lola: 6450128 markings, 8759095 edges, 61143 markings/sec, 100 secs
lola: 6755445 markings, 9182364 edges, 61063 markings/sec, 105 secs
lola: 7063121 markings, 9609902 edges, 61535 markings/sec, 110 secs
lola: 7370638 markings, 10038128 edges, 61503 markings/sec, 115 secs
lola: 7678873 markings, 10467322 edges, 61647 markings/sec, 120 secs
lola: 7983061 markings, 10890063 edges, 60838 markings/sec, 125 secs
lola: 8283554 markings, 11309352 edges, 60099 markings/sec, 130 secs
lola: 8590245 markings, 11737729 edges, 61338 markings/sec, 135 secs
lola: 8896946 markings, 12165719 edges, 61340 markings/sec, 140 secs
lola: 9200488 markings, 12591832 edges, 60708 markings/sec, 145 secs
lola: 9503189 markings, 13014555 edges, 60540 markings/sec, 150 secs
lola: 9808530 markings, 13443033 edges, 61068 markings/sec, 155 secs
lola: 10114419 markings, 13872086 edges, 61178 markings/sec, 160 secs
lola: 10414713 markings, 14294618 edges, 60059 markings/sec, 165 secs
lola: 10716525 markings, 14719119 edges, 60362 markings/sec, 170 secs
lola: 11009935 markings, 15135039 edges, 58682 markings/sec, 175 secs
lola: 11302237 markings, 15546885 edges, 58460 markings/sec, 180 secs
lola: 11591710 markings, 15960436 edges, 57895 markings/sec, 185 secs
lola: 11882119 markings, 16369988 edges, 58082 markings/sec, 190 secs
lola: 12182337 markings, 16793189 edges, 60044 markings/sec, 195 secs
lola: 12475247 markings, 17205620 edges, 58582 markings/sec, 200 secs
lola: 12773816 markings, 17629666 edges, 59714 markings/sec, 205 secs
lola: 13064511 markings, 18049577 edges, 58139 markings/sec, 210 secs
lola: 13356110 markings, 18465592 edges, 58320 markings/sec, 215 secs
lola: 13635883 markings, 18860086 edges, 55955 markings/sec, 220 secs
lola: 13932560 markings, 19286179 edges, 59335 markings/sec, 225 secs
lola: 14229357 markings, 19713954 edges, 59359 markings/sec, 230 secs
lola: 14524813 markings, 20141367 edges, 59091 markings/sec, 235 secs
lola: 14813868 markings, 20558149 edges, 57811 markings/sec, 240 secs
lola: 15101714 markings, 20973765 edges, 57569 markings/sec, 245 secs
lola: 15389397 markings, 21386492 edges, 57537 markings/sec, 250 secs
lola: 15674365 markings, 21796503 edges, 56994 markings/sec, 255 secs
lola: 15959966 markings, 22208650 edges, 57120 markings/sec, 260 secs
lola: 16243512 markings, 22622827 edges, 56709 markings/sec, 265 secs
lola: 16530640 markings, 23035225 edges, 57426 markings/sec, 270 secs
lola: 16814649 markings, 23451756 edges, 56802 markings/sec, 275 secs
lola: 17102643 markings, 23866846 edges, 57599 markings/sec, 280 secs
lola: 17393342 markings, 24292094 edges, 58140 markings/sec, 285 secs
lola: 17685871 markings, 24722667 edges, 58506 markings/sec, 290 secs
lola: 17979524 markings, 25153586 edges, 58731 markings/sec, 295 secs
lola: 18261616 markings, 25567415 edges, 56418 markings/sec, 300 secs
lola: 18552667 markings, 25991981 edges, 58210 markings/sec, 305 secs
lola: 18834242 markings, 26404388 edges, 56315 markings/sec, 310 secs
lola: 19127985 markings, 26828342 edges, 58749 markings/sec, 315 secs
lola: 19413768 markings, 27253724 edges, 57157 markings/sec, 320 secs
lola: 19701737 markings, 27674431 edges, 57594 markings/sec, 325 secs
lola: 19989466 markings, 28090361 edges, 57546 markings/sec, 330 secs
lola: 20273523 markings, 28506200 edges, 56811 markings/sec, 335 secs
lola: 20561213 markings, 28925095 edges, 57538 markings/sec, 340 secs
lola: 20848492 markings, 29344997 edges, 57456 markings/sec, 345 secs
lola: 21134075 markings, 29768850 edges, 57117 markings/sec, 350 secs
lola: 21416491 markings, 30183773 edges, 56483 markings/sec, 355 secs
lola: 21699550 markings, 30604317 edges, 56612 markings/sec, 360 secs
lola: 21982292 markings, 31027553 edges, 56548 markings/sec, 365 secs
lola: 22265729 markings, 31449943 edges, 56687 markings/sec, 370 secs
lola: 22551085 markings, 31869481 edges, 57071 markings/sec, 375 secs
lola: 22831021 markings, 32284479 edges, 55987 markings/sec, 380 secs
lola: 23118134 markings, 32709988 edges, 57423 markings/sec, 385 secs
lola: 23405016 markings, 33132143 edges, 57376 markings/sec, 390 secs
lola: 23691849 markings, 33552658 edges, 57367 markings/sec, 395 secs
lola: 23980667 markings, 33979920 edges, 57764 markings/sec, 400 secs
lola: 24263756 markings, 34405532 edges, 56618 markings/sec, 405 secs
lola: 24544338 markings, 34827404 edges, 56116 markings/sec, 410 secs
lola: 24831934 markings, 35261384 edges, 57519 markings/sec, 415 secs
lola: 25104481 markings, 35666096 edges, 54509 markings/sec, 420 secs
lola: 25378682 markings, 36077250 edges, 54840 markings/sec, 425 secs
lola: 25658191 markings, 36495616 edges, 55902 markings/sec, 430 secs
lola: 25943442 markings, 36926029 edges, 57050 markings/sec, 435 secs
lola: 26231177 markings, 37355029 edges, 57547 markings/sec, 440 secs
lola: 26523570 markings, 37790254 edges, 58479 markings/sec, 445 secs
lola: 26805329 markings, 38214017 edges, 56352 markings/sec, 450 secs
lola: 27069049 markings, 38606819 edges, 52744 markings/sec, 455 secs
lola: 27331391 markings, 38998325 edges, 52468 markings/sec, 460 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: 0 0 unknown unknown unknown 0 unknown 0 unknown unknown 0 0 unknown unknown unknown unknown
FORMULA Railroad-PT-020-UpperBounds-0 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-1 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-5 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-7 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-10 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-11 0 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA Railroad-PT-020-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494803345810
--------------------
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="Railroad-PT-020"
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/Railroad-PT-020.tgz
mv Railroad-PT-020 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 Railroad-PT-020, 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 r068-csrt-149440963100047"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;