About the Execution of LoLA for DLCshifumi-PT-3a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1188.320 | 3540233.00 | 3556070.00 | 550.10 | ? 1 ? ? 1 ? ? ? ? ? 1 ? ? ? ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is DLCshifumi-PT-3a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309300461
=====================================================================
--------------------
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 DLCshifumi-PT-3a-UpperBounds-0
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-1
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-10
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-11
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-12
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-13
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-14
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-15
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-2
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-3
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-4
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-5
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-6
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-7
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-8
FORMULA_NAME DLCshifumi-PT-3a-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494643159121
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DLCshifumi-PT-3a @ 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: 3641/65536 symbol table entries, 459 collisions
lola: preprocessing...
lola: finding significant places
lola: 544 places, 3097 transitions, 262 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2600 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-3a-UpperBounds.task
lola: MAX(p295) : MAX(p380) : MAX(p145) : MAX(p122) : MAX(p327) : MAX(p108) : MAX(p183) : MAX(p152) : MAX(p36) : MAX(p278) : MAX(p101) : MAX(p102) : MAX(p502) : MAX(p114) : MAX(p139) : MAX(p70)
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(p295)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 13060 markings, 339237 edges, 2612 markings/sec, 0 secs
lola: 25907 markings, 677552 edges, 2569 markings/sec, 5 secs
lola: 38771 markings, 1020090 edges, 2573 markings/sec, 10 secs
lola: 51634 markings, 1360547 edges, 2573 markings/sec, 15 secs
lola: 64483 markings, 1698122 edges, 2570 markings/sec, 20 secs
lola: 77311 markings, 2037077 edges, 2566 markings/sec, 25 secs
lola: 90107 markings, 2378141 edges, 2559 markings/sec, 30 secs
lola: 102897 markings, 2719061 edges, 2558 markings/sec, 35 secs
lola: 115698 markings, 3058680 edges, 2560 markings/sec, 40 secs
lola: 128432 markings, 3401830 edges, 2547 markings/sec, 45 secs
lola: 141230 markings, 3740558 edges, 2560 markings/sec, 50 secs
lola: 154061 markings, 4077574 edges, 2566 markings/sec, 55 secs
lola: 166828 markings, 4417562 edges, 2553 markings/sec, 60 secs
lola: 179608 markings, 4755959 edges, 2556 markings/sec, 65 secs
lola: 192399 markings, 5090335 edges, 2558 markings/sec, 70 secs
lola: 205162 markings, 5428702 edges, 2553 markings/sec, 75 secs
lola: 217923 markings, 5767027 edges, 2552 markings/sec, 80 secs
lola: 230637 markings, 6107096 edges, 2543 markings/sec, 85 secs
lola: 243361 markings, 6448557 edges, 2545 markings/sec, 90 secs
lola: 256097 markings, 6788721 edges, 2547 markings/sec, 95 secs
lola: 268821 markings, 7127298 edges, 2545 markings/sec, 100 secs
lola: 281519 markings, 7467991 edges, 2540 markings/sec, 105 secs
lola: 294231 markings, 7811104 edges, 2542 markings/sec, 110 secs
lola: 306929 markings, 8152582 edges, 2540 markings/sec, 115 secs
lola: 319624 markings, 8492390 edges, 2539 markings/sec, 120 secs
lola: 332349 markings, 8835411 edges, 2545 markings/sec, 125 secs
lola: 344990 markings, 9180089 edges, 2528 markings/sec, 130 secs
lola: 357695 markings, 9523496 edges, 2541 markings/sec, 135 secs
lola: 370334 markings, 9867475 edges, 2528 markings/sec, 140 secs
lola: 382975 markings, 10208935 edges, 2528 markings/sec, 145 secs
lola: 395671 markings, 10550953 edges, 2539 markings/sec, 150 secs
lola: 408311 markings, 10892375 edges, 2528 markings/sec, 155 secs
lola: 420958 markings, 11236196 edges, 2529 markings/sec, 160 secs
lola: 433623 markings, 11576987 edges, 2533 markings/sec, 165 secs
lola: 446243 markings, 11921054 edges, 2524 markings/sec, 170 secs
lola: 458895 markings, 12262812 edges, 2530 markings/sec, 175 secs
lola: 471609 markings, 12601357 edges, 2543 markings/sec, 180 secs
lola: 484245 markings, 12945419 edges, 2527 markings/sec, 185 secs
lola: 496881 markings, 13286881 edges, 2527 markings/sec, 190 secs
lola: 509499 markings, 13629250 edges, 2524 markings/sec, 195 secs
lola: 522107 markings, 13971786 edges, 2522 markings/sec, 200 secs
lola: 534762 markings, 14311160 edges, 2531 markings/sec, 205 secs
lola: 547499 markings, 14648162 edges, 2547 markings/sec, 210 secs
lola: 560271 markings, 14983867 edges, 2554 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p380)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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 2 will run for 237 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 36 bytes per marking, with 26 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: 25544 markings, 137260 edges, 5109 markings/sec, 0 secs
lola: 51078 markings, 279625 edges, 5107 markings/sec, 5 secs
lola: 76554 markings, 419854 edges, 5095 markings/sec, 10 secs
lola: 102033 markings, 562893 edges, 5096 markings/sec, 15 secs
lola: 127409 markings, 704797 edges, 5075 markings/sec, 20 secs
lola: 152794 markings, 847225 edges, 5077 markings/sec, 25 secs
lola: 178307 markings, 988442 edges, 5103 markings/sec, 30 secs
lola: 203775 markings, 1128932 edges, 5094 markings/sec, 35 secs
lola: 229240 markings, 1271677 edges, 5093 markings/sec, 40 secs
lola: 254648 markings, 1413670 edges, 5082 markings/sec, 45 secs
lola: 280023 markings, 1555530 edges, 5075 markings/sec, 50 secs
lola: 305317 markings, 1701556 edges, 5059 markings/sec, 55 secs
lola: 330704 markings, 1843667 edges, 5077 markings/sec, 60 secs
lola: 356065 markings, 1985628 edges, 5072 markings/sec, 65 secs
lola: 381442 markings, 2126139 edges, 5075 markings/sec, 70 secs
lola: 406753 markings, 2268520 edges, 5062 markings/sec, 75 secs
lola: 432015 markings, 2414675 edges, 5052 markings/sec, 80 secs
lola: 457465 markings, 2555989 edges, 5090 markings/sec, 85 secs
lola: 482854 markings, 2697752 edges, 5078 markings/sec, 90 secs
lola: 508261 markings, 2837887 edges, 5081 markings/sec, 95 secs
lola: 533627 markings, 2980247 edges, 5073 markings/sec, 100 secs
lola: 559004 markings, 3117692 edges, 5075 markings/sec, 105 secs
lola: 584346 markings, 3256698 edges, 5068 markings/sec, 110 secs
lola: 609642 markings, 3399785 edges, 5059 markings/sec, 115 secs
lola: 634855 markings, 3541126 edges, 5043 markings/sec, 120 secs
lola: 660074 markings, 3683654 edges, 5044 markings/sec, 125 secs
lola: 685398 markings, 3824176 edges, 5065 markings/sec, 130 secs
lola: 710631 markings, 3967794 edges, 5047 markings/sec, 135 secs
lola: 736013 markings, 4110165 edges, 5076 markings/sec, 140 secs
lola: 761330 markings, 4252447 edges, 5063 markings/sec, 145 secs
lola: 786706 markings, 4390883 edges, 5075 markings/sec, 150 secs
lola: 811981 markings, 4531099 edges, 5055 markings/sec, 155 secs
lola: 837264 markings, 4672346 edges, 5057 markings/sec, 160 secs
lola: 862513 markings, 4816653 edges, 5050 markings/sec, 165 secs
lola: 887802 markings, 4958819 edges, 5058 markings/sec, 170 secs
lola: 913127 markings, 5099498 edges, 5065 markings/sec, 175 secs
lola: 938465 markings, 5243396 edges, 5068 markings/sec, 180 secs
lola: 963600 markings, 5391040 edges, 5027 markings/sec, 185 secs
lola: 988917 markings, 5532588 edges, 5063 markings/sec, 190 secs
lola: 1014109 markings, 5675215 edges, 5038 markings/sec, 195 secs
lola: 1039523 markings, 5816056 edges, 5083 markings/sec, 200 secs
lola: 1064926 markings, 5957415 edges, 5081 markings/sec, 205 secs
lola: 1090351 markings, 6099835 edges, 5085 markings/sec, 210 secs
lola: 1115719 markings, 6241068 edges, 5074 markings/sec, 215 secs
lola: 1141160 markings, 6379143 edges, 5088 markings/sec, 220 secs
lola: 1166653 markings, 6517593 edges, 5099 markings/sec, 225 secs
lola: 1192118 markings, 6658130 edges, 5093 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 17422 markings, 91571 edges, 3484 markings/sec, 0 secs
lola: 34816 markings, 185620 edges, 3479 markings/sec, 5 secs
lola: 52209 markings, 279485 edges, 3479 markings/sec, 10 secs
lola: 69598 markings, 373700 edges, 3478 markings/sec, 15 secs
lola: 87053 markings, 466887 edges, 3491 markings/sec, 20 secs
lola: 104456 markings, 561388 edges, 3481 markings/sec, 25 secs
lola: 121865 markings, 655262 edges, 3482 markings/sec, 30 secs
lola: 139264 markings, 749512 edges, 3480 markings/sec, 35 secs
lola: 156660 markings, 842649 edges, 3479 markings/sec, 40 secs
lola: 174017 markings, 936056 edges, 3471 markings/sec, 45 secs
lola: 191377 markings, 1030598 edges, 3472 markings/sec, 50 secs
lola: 208742 markings, 1123605 edges, 3473 markings/sec, 55 secs
lola: 226128 markings, 1217918 edges, 3477 markings/sec, 60 secs
lola: 243537 markings, 1311721 edges, 3482 markings/sec, 65 secs
lola: 260894 markings, 1405677 edges, 3471 markings/sec, 70 secs
lola: 278266 markings, 1499404 edges, 3474 markings/sec, 75 secs
lola: 295412 markings, 1595424 edges, 3429 markings/sec, 80 secs
lola: 312754 markings, 1691401 edges, 3468 markings/sec, 85 secs
lola: 330108 markings, 1787202 edges, 3471 markings/sec, 90 secs
lola: 347489 markings, 1880939 edges, 3476 markings/sec, 95 secs
lola: 364686 markings, 1974526 edges, 3439 markings/sec, 100 secs
lola: 381926 markings, 2069823 edges, 3448 markings/sec, 105 secs
lola: 399344 markings, 2163111 edges, 3484 markings/sec, 110 secs
lola: 416737 markings, 2257248 edges, 3479 markings/sec, 115 secs
lola: 434097 markings, 2350638 edges, 3472 markings/sec, 120 secs
lola: 451452 markings, 2445071 edges, 3471 markings/sec, 125 secs
lola: 468796 markings, 2537150 edges, 3469 markings/sec, 130 secs
lola: 485886 markings, 2628791 edges, 3418 markings/sec, 135 secs
lola: 502906 markings, 2721192 edges, 3404 markings/sec, 140 secs
lola: 520077 markings, 2815350 edges, 3434 markings/sec, 145 secs
lola: 537177 markings, 2909493 edges, 3420 markings/sec, 150 secs
lola: 554298 markings, 3001694 edges, 3424 markings/sec, 155 secs
lola: 571408 markings, 3094080 edges, 3422 markings/sec, 160 secs
lola: 588510 markings, 3185874 edges, 3420 markings/sec, 165 secs
lola: 605652 markings, 3279182 edges, 3428 markings/sec, 170 secs
lola: 622826 markings, 3371264 edges, 3435 markings/sec, 175 secs
lola: 639944 markings, 3463993 edges, 3424 markings/sec, 180 secs
lola: 657089 markings, 3558897 edges, 3429 markings/sec, 185 secs
lola: 674213 markings, 3651858 edges, 3425 markings/sec, 190 secs
lola: 691369 markings, 3744185 edges, 3431 markings/sec, 195 secs
lola: 708288 markings, 3835726 edges, 3384 markings/sec, 200 secs
lola: 725430 markings, 3928599 edges, 3428 markings/sec, 205 secs
lola: 742588 markings, 4021240 edges, 3432 markings/sec, 210 secs
lola: 759698 markings, 4113172 edges, 3422 markings/sec, 215 secs
lola: 776841 markings, 4205918 edges, 3429 markings/sec, 220 secs
lola: 793900 markings, 4300897 edges, 3412 markings/sec, 225 secs
lola: 810966 markings, 4393835 edges, 3413 markings/sec, 230 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 237 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p327)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p108)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 17220 markings, 90410 edges, 3444 markings/sec, 0 secs
lola: 34452 markings, 183451 edges, 3446 markings/sec, 5 secs
lola: 51701 markings, 276665 edges, 3450 markings/sec, 10 secs
lola: 68898 markings, 369681 edges, 3439 markings/sec, 15 secs
lola: 86258 markings, 462860 edges, 3472 markings/sec, 20 secs
lola: 103638 markings, 557034 edges, 3476 markings/sec, 25 secs
lola: 121005 markings, 650652 edges, 3473 markings/sec, 30 secs
lola: 138388 markings, 744048 edges, 3477 markings/sec, 35 secs
lola: 155617 markings, 837355 edges, 3446 markings/sec, 40 secs
lola: 172978 markings, 930799 edges, 3472 markings/sec, 45 secs
lola: 190320 markings, 1024985 edges, 3468 markings/sec, 50 secs
lola: 207593 markings, 1117615 edges, 3455 markings/sec, 55 secs
lola: 224806 markings, 1210299 edges, 3443 markings/sec, 60 secs
lola: 242188 markings, 1304823 edges, 3476 markings/sec, 65 secs
lola: 259552 markings, 1397956 edges, 3473 markings/sec, 70 secs
lola: 276922 markings, 1492058 edges, 3474 markings/sec, 75 secs
lola: 294254 markings, 1589283 edges, 3466 markings/sec, 80 secs
lola: 311612 markings, 1685007 edges, 3472 markings/sec, 85 secs
lola: 328952 markings, 1780736 edges, 3468 markings/sec, 90 secs
lola: 346329 markings, 1874682 edges, 3475 markings/sec, 95 secs
lola: 363716 markings, 1969391 edges, 3477 markings/sec, 100 secs
lola: 381044 markings, 2065019 edges, 3466 markings/sec, 105 secs
lola: 398453 markings, 2158183 edges, 3482 markings/sec, 110 secs
lola: 415829 markings, 2252701 edges, 3475 markings/sec, 115 secs
lola: 433148 markings, 2345565 edges, 3464 markings/sec, 120 secs
lola: 450425 markings, 2439817 edges, 3455 markings/sec, 125 secs
lola: 467741 markings, 2531743 edges, 3463 markings/sec, 130 secs
lola: 485060 markings, 2624302 edges, 3464 markings/sec, 135 secs
lola: 502344 markings, 2718061 edges, 3457 markings/sec, 140 secs
lola: 519586 markings, 2812923 edges, 3448 markings/sec, 145 secs
lola: 536852 markings, 2907469 edges, 3453 markings/sec, 150 secs
lola: 554109 markings, 3000642 edges, 3451 markings/sec, 155 secs
lola: 571374 markings, 3093929 edges, 3453 markings/sec, 160 secs
lola: 588488 markings, 3185820 edges, 3423 markings/sec, 165 secs
lola: 605870 markings, 3280284 edges, 3476 markings/sec, 170 secs
lola: 623264 markings, 3373504 edges, 3479 markings/sec, 175 secs
lola: 640620 markings, 3467581 edges, 3471 markings/sec, 180 secs
lola: 657980 markings, 3563778 edges, 3472 markings/sec, 185 secs
lola: 675316 markings, 3658006 edges, 3467 markings/sec, 190 secs
lola: 692656 markings, 3751883 edges, 3468 markings/sec, 195 secs
lola: 709985 markings, 3845350 edges, 3466 markings/sec, 200 secs
lola: 727349 markings, 3939159 edges, 3473 markings/sec, 205 secs
lola: 744557 markings, 4032052 edges, 3442 markings/sec, 210 secs
lola: 761484 markings, 4123562 edges, 3385 markings/sec, 215 secs
lola: 778532 markings, 4215418 edges, 3410 markings/sec, 220 secs
lola: 795462 markings, 4309108 edges, 3386 markings/sec, 225 secs
lola: 812577 markings, 4402742 edges, 3423 markings/sec, 230 secs
lola: 829742 markings, 4495213 edges, 3433 markings/sec, 235 secs
lola: 846988 markings, 4587691 edges, 3449 markings/sec, 240 secs
lola: 864172 markings, 4678708 edges, 3437 markings/sec, 245 secs
lola: 881237 markings, 4772019 edges, 3413 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p183)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 17002 markings, 89409 edges, 3400 markings/sec, 0 secs
lola: 33829 markings, 180006 edges, 3365 markings/sec, 5 secs
lola: 50920 markings, 272599 edges, 3418 markings/sec, 10 secs
lola: 68176 markings, 366101 edges, 3451 markings/sec, 15 secs
lola: 85474 markings, 458857 edges, 3460 markings/sec, 20 secs
lola: 102776 markings, 552529 edges, 3460 markings/sec, 25 secs
lola: 120016 markings, 645240 edges, 3448 markings/sec, 30 secs
lola: 137270 markings, 738643 edges, 3451 markings/sec, 35 secs
lola: 154093 markings, 829455 edges, 3365 markings/sec, 40 secs
lola: 171360 markings, 922718 edges, 3453 markings/sec, 45 secs
lola: 188636 markings, 1015796 edges, 3455 markings/sec, 50 secs
lola: 205897 markings, 1108913 edges, 3452 markings/sec, 55 secs
lola: 223201 markings, 1202169 edges, 3461 markings/sec, 60 secs
lola: 240491 markings, 1296299 edges, 3458 markings/sec, 65 secs
lola: 257798 markings, 1389240 edges, 3461 markings/sec, 70 secs
lola: 275061 markings, 1482522 edges, 3453 markings/sec, 75 secs
lola: 292320 markings, 1578302 edges, 3452 markings/sec, 80 secs
lola: 309594 markings, 1673423 edges, 3455 markings/sec, 85 secs
lola: 326849 markings, 1770248 edges, 3451 markings/sec, 90 secs
lola: 343989 markings, 1862179 edges, 3428 markings/sec, 95 secs
lola: 361416 markings, 1956145 edges, 3485 markings/sec, 100 secs
lola: 378757 markings, 2053867 edges, 3468 markings/sec, 105 secs
lola: 396033 markings, 2146307 edges, 3455 markings/sec, 110 secs
lola: 413390 markings, 2240017 edges, 3471 markings/sec, 115 secs
lola: 430554 markings, 2332472 edges, 3433 markings/sec, 120 secs
lola: 447898 markings, 2426626 edges, 3469 markings/sec, 125 secs
lola: 465265 markings, 2519322 edges, 3473 markings/sec, 130 secs
lola: 482480 markings, 2611657 edges, 3443 markings/sec, 135 secs
lola: 499809 markings, 2705559 edges, 3466 markings/sec, 140 secs
lola: 517134 markings, 2800123 edges, 3465 markings/sec, 145 secs
lola: 534474 markings, 2895862 edges, 3468 markings/sec, 150 secs
lola: 551817 markings, 2989535 edges, 3469 markings/sec, 155 secs
lola: 569148 markings, 3083447 edges, 3466 markings/sec, 160 secs
lola: 586449 markings, 3176716 edges, 3460 markings/sec, 165 secs
lola: 603774 markings, 3269981 edges, 3465 markings/sec, 170 secs
lola: 621066 markings, 3363487 edges, 3458 markings/sec, 175 secs
lola: 638128 markings, 3455979 edges, 3412 markings/sec, 180 secs
lola: 655201 markings, 3550216 edges, 3415 markings/sec, 185 secs
lola: 672081 markings, 3641735 edges, 3376 markings/sec, 190 secs
lola: 689244 markings, 3734765 edges, 3433 markings/sec, 195 secs
lola: 706404 markings, 3827408 edges, 3432 markings/sec, 200 secs
lola: 723582 markings, 3920794 edges, 3436 markings/sec, 205 secs
lola: 740898 markings, 4014001 edges, 3463 markings/sec, 210 secs
lola: 758172 markings, 4106304 edges, 3455 markings/sec, 215 secs
lola: 775194 markings, 4199346 edges, 3404 markings/sec, 220 secs
lola: 792172 markings, 4293145 edges, 3396 markings/sec, 225 secs
lola: 809325 markings, 4386982 edges, 3431 markings/sec, 230 secs
lola: 826562 markings, 4480184 edges, 3447 markings/sec, 235 secs
lola: 843830 markings, 4572308 edges, 3454 markings/sec, 240 secs
lola: 860984 markings, 4663980 edges, 3431 markings/sec, 245 secs
lola: 877696 markings, 4754569 edges, 3342 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p152)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 25294 markings, 143703 edges, 5059 markings/sec, 0 secs
lola: 50485 markings, 291609 edges, 5038 markings/sec, 5 secs
lola: 75317 markings, 436094 edges, 4966 markings/sec, 10 secs
lola: 100408 markings, 584523 edges, 5018 markings/sec, 15 secs
lola: 125424 markings, 731697 edges, 5003 markings/sec, 20 secs
lola: 150382 markings, 878701 edges, 4992 markings/sec, 25 secs
lola: 175459 markings, 1025617 edges, 5015 markings/sec, 30 secs
lola: 200562 markings, 1171900 edges, 5021 markings/sec, 35 secs
lola: 225354 markings, 1318404 edges, 4958 markings/sec, 40 secs
lola: 250389 markings, 1463625 edges, 5007 markings/sec, 45 secs
lola: 275323 markings, 1612102 edges, 4987 markings/sec, 50 secs
lola: 300221 markings, 1763461 edges, 4980 markings/sec, 55 secs
lola: 325231 markings, 1908905 edges, 5002 markings/sec, 60 secs
lola: 350145 markings, 2058795 edges, 4983 markings/sec, 65 secs
lola: 374874 markings, 2202445 edges, 4946 markings/sec, 70 secs
lola: 399842 markings, 2349903 edges, 4994 markings/sec, 75 secs
lola: 424713 markings, 2500371 edges, 4974 markings/sec, 80 secs
lola: 449797 markings, 2648965 edges, 5017 markings/sec, 85 secs
lola: 474833 markings, 2794372 edges, 5007 markings/sec, 90 secs
lola: 499865 markings, 2942312 edges, 5006 markings/sec, 95 secs
lola: 524651 markings, 3086808 edges, 4957 markings/sec, 100 secs
lola: 549625 markings, 3231955 edges, 4995 markings/sec, 105 secs
lola: 574655 markings, 3376941 edges, 5006 markings/sec, 110 secs
lola: 599809 markings, 3524604 edges, 5031 markings/sec, 115 secs
lola: 624841 markings, 3674210 edges, 5006 markings/sec, 120 secs
lola: 649917 markings, 3821871 edges, 5015 markings/sec, 125 secs
lola: 675035 markings, 3969317 edges, 5024 markings/sec, 130 secs
lola: 700163 markings, 4117169 edges, 5026 markings/sec, 135 secs
lola: 725269 markings, 4267803 edges, 5021 markings/sec, 140 secs
lola: 750464 markings, 4418014 edges, 5039 markings/sec, 145 secs
lola: 775691 markings, 4563871 edges, 5045 markings/sec, 150 secs
lola: 800927 markings, 4710175 edges, 5047 markings/sec, 155 secs
lola: 826137 markings, 4857989 edges, 5042 markings/sec, 160 secs
lola: 851280 markings, 5006600 edges, 5029 markings/sec, 165 secs
lola: 876427 markings, 5157495 edges, 5029 markings/sec, 170 secs
lola: 901587 markings, 5306687 edges, 5032 markings/sec, 175 secs
lola: 926811 markings, 5455074 edges, 5045 markings/sec, 180 secs
lola: 951864 markings, 5609672 edges, 5011 markings/sec, 185 secs
lola: 976947 markings, 5760005 edges, 5017 markings/sec, 190 secs
lola: 1001926 markings, 5906876 edges, 4996 markings/sec, 195 secs
lola: 1026841 markings, 6056096 edges, 4983 markings/sec, 200 secs
lola: 1051791 markings, 6200326 edges, 4990 markings/sec, 205 secs
lola: 1076973 markings, 6349274 edges, 5036 markings/sec, 210 secs
lola: 1102212 markings, 6496623 edges, 5048 markings/sec, 215 secs
lola: 1127455 markings, 6643750 edges, 5049 markings/sec, 220 secs
lola: 1152779 markings, 6789483 edges, 5065 markings/sec, 225 secs
lola: 1178175 markings, 6934929 edges, 5079 markings/sec, 230 secs
lola: 1203468 markings, 7083070 edges, 5059 markings/sec, 235 secs
lola: 1228721 markings, 7230920 edges, 5051 markings/sec, 240 secs
lola: 1253867 markings, 7384067 edges, 5029 markings/sec, 245 secs
lola: 1278962 markings, 7533758 edges, 5019 markings/sec, 250 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p36)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 17450 markings, 90057 edges, 3490 markings/sec, 0 secs
lola: 34957 markings, 181959 edges, 3501 markings/sec, 5 secs
lola: 52436 markings, 272603 edges, 3496 markings/sec, 10 secs
lola: 69909 markings, 362700 edges, 3495 markings/sec, 15 secs
lola: 87353 markings, 454410 edges, 3489 markings/sec, 20 secs
lola: 104820 markings, 545282 edges, 3493 markings/sec, 25 secs
lola: 122286 markings, 635979 edges, 3493 markings/sec, 30 secs
lola: 139693 markings, 729493 edges, 3481 markings/sec, 35 secs
lola: 157154 markings, 819672 edges, 3492 markings/sec, 40 secs
lola: 174608 markings, 911523 edges, 3491 markings/sec, 45 secs
lola: 191981 markings, 1001812 edges, 3475 markings/sec, 50 secs
lola: 209398 markings, 1091702 edges, 3483 markings/sec, 55 secs
lola: 226824 markings, 1182812 edges, 3485 markings/sec, 60 secs
lola: 244290 markings, 1274347 edges, 3493 markings/sec, 65 secs
lola: 261736 markings, 1364716 edges, 3489 markings/sec, 70 secs
lola: 279149 markings, 1458681 edges, 3483 markings/sec, 75 secs
lola: 296589 markings, 1548823 edges, 3488 markings/sec, 80 secs
lola: 314028 markings, 1639936 edges, 3488 markings/sec, 85 secs
lola: 331450 markings, 1731843 edges, 3484 markings/sec, 90 secs
lola: 348854 markings, 1824265 edges, 3481 markings/sec, 95 secs
lola: 366142 markings, 1914253 edges, 3458 markings/sec, 100 secs
lola: 383601 markings, 2004247 edges, 3492 markings/sec, 105 secs
lola: 401002 markings, 2095797 edges, 3480 markings/sec, 110 secs
lola: 418397 markings, 2186546 edges, 3479 markings/sec, 115 secs
lola: 435715 markings, 2277851 edges, 3464 markings/sec, 120 secs
lola: 453005 markings, 2369766 edges, 3458 markings/sec, 125 secs
lola: 470252 markings, 2460616 edges, 3449 markings/sec, 130 secs
lola: 487457 markings, 2554187 edges, 3441 markings/sec, 135 secs
lola: 504613 markings, 2650490 edges, 3431 markings/sec, 140 secs
lola: 521804 markings, 2743542 edges, 3438 markings/sec, 145 secs
lola: 538716 markings, 2837065 edges, 3382 markings/sec, 150 secs
lola: 555914 markings, 2929869 edges, 3440 markings/sec, 155 secs
lola: 573212 markings, 3020861 edges, 3460 markings/sec, 160 secs
lola: 590548 markings, 3110937 edges, 3467 markings/sec, 165 secs
lola: 607633 markings, 3201345 edges, 3417 markings/sec, 170 secs
lola: 624970 markings, 3293504 edges, 3467 markings/sec, 175 secs
lola: 642300 markings, 3387324 edges, 3466 markings/sec, 180 secs
lola: 659628 markings, 3480790 edges, 3466 markings/sec, 185 secs
lola: 676936 markings, 3574708 edges, 3462 markings/sec, 190 secs
lola: 694233 markings, 3667754 edges, 3459 markings/sec, 195 secs
lola: 711524 markings, 3761373 edges, 3458 markings/sec, 200 secs
lola: 728870 markings, 3855776 edges, 3469 markings/sec, 205 secs
lola: 746250 markings, 3947771 edges, 3476 markings/sec, 210 secs
lola: 763574 markings, 4042863 edges, 3465 markings/sec, 215 secs
lola: 780885 markings, 4137655 edges, 3462 markings/sec, 220 secs
lola: 798052 markings, 4228831 edges, 3433 markings/sec, 225 secs
lola: 815349 markings, 4319718 edges, 3459 markings/sec, 230 secs
lola: 832540 markings, 4411635 edges, 3438 markings/sec, 235 secs
lola: 849802 markings, 4503375 edges, 3452 markings/sec, 240 secs
lola: 867089 markings, 4597831 edges, 3457 markings/sec, 245 secs
lola: 884458 markings, 4688199 edges, 3474 markings/sec, 250 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 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p278)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 11881 markings, 319060 edges, 2376 markings/sec, 0 secs
lola: 23553 markings, 635746 edges, 2334 markings/sec, 5 secs
lola: 35191 markings, 954526 edges, 2328 markings/sec, 10 secs
lola: 46945 markings, 1272751 edges, 2351 markings/sec, 15 secs
lola: 58663 markings, 1591456 edges, 2344 markings/sec, 20 secs
lola: 70336 markings, 1911104 edges, 2335 markings/sec, 25 secs
lola: 82049 markings, 2232652 edges, 2343 markings/sec, 30 secs
lola: 93749 markings, 2554662 edges, 2340 markings/sec, 35 secs
lola: 105386 markings, 2875669 edges, 2327 markings/sec, 40 secs
lola: 117060 markings, 3195759 edges, 2335 markings/sec, 45 secs
lola: 128721 markings, 3516568 edges, 2332 markings/sec, 50 secs
lola: 140379 markings, 3837987 edges, 2332 markings/sec, 55 secs
lola: 152020 markings, 4160944 edges, 2328 markings/sec, 60 secs
lola: 163660 markings, 4481808 edges, 2328 markings/sec, 65 secs
lola: 175292 markings, 4802857 edges, 2326 markings/sec, 70 secs
lola: 186909 markings, 5125447 edges, 2323 markings/sec, 75 secs
lola: 198533 markings, 5448627 edges, 2325 markings/sec, 80 secs
lola: 210177 markings, 5769589 edges, 2329 markings/sec, 85 secs
lola: 221889 markings, 6086579 edges, 2342 markings/sec, 90 secs
lola: 233567 markings, 6403662 edges, 2336 markings/sec, 95 secs
lola: 245181 markings, 6723149 edges, 2323 markings/sec, 100 secs
lola: 256864 markings, 7038446 edges, 2337 markings/sec, 105 secs
lola: 268493 markings, 7355591 edges, 2326 markings/sec, 110 secs
lola: 280101 markings, 7675145 edges, 2322 markings/sec, 115 secs
lola: 291683 markings, 7992166 edges, 2316 markings/sec, 120 secs
lola: 303242 markings, 8312065 edges, 2312 markings/sec, 125 secs
lola: 314801 markings, 8631148 edges, 2312 markings/sec, 130 secs
lola: 326284 markings, 8945333 edges, 2297 markings/sec, 135 secs
lola: 337505 markings, 9253765 edges, 2244 markings/sec, 140 secs
lola: 349001 markings, 9570795 edges, 2299 markings/sec, 145 secs
lola: 360482 markings, 9886722 edges, 2296 markings/sec, 150 secs
lola: 371924 markings, 10203679 edges, 2288 markings/sec, 155 secs
lola: 383248 markings, 10517378 edges, 2265 markings/sec, 160 secs
lola: 394734 markings, 10836596 edges, 2297 markings/sec, 165 secs
lola: 406066 markings, 11149103 edges, 2266 markings/sec, 170 secs
lola: 417480 markings, 11467666 edges, 2283 markings/sec, 175 secs
lola: 429033 markings, 11785545 edges, 2311 markings/sec, 180 secs
lola: 440373 markings, 12101138 edges, 2268 markings/sec, 185 secs
lola: 451890 markings, 12417509 edges, 2303 markings/sec, 190 secs
lola: 463355 markings, 12734516 edges, 2293 markings/sec, 195 secs
lola: 474740 markings, 13047595 edges, 2277 markings/sec, 200 secs
lola: 485921 markings, 13357510 edges, 2236 markings/sec, 205 secs
lola: 497258 markings, 13670580 edges, 2267 markings/sec, 210 secs
lola: 508574 markings, 13985100 edges, 2263 markings/sec, 215 secs
lola: 519845 markings, 14298283 edges, 2254 markings/sec, 220 secs
lola: 531236 markings, 14616494 edges, 2278 markings/sec, 225 secs
lola: 542672 markings, 14934451 edges, 2287 markings/sec, 230 secs
lola: 554020 markings, 15248208 edges, 2270 markings/sec, 235 secs
lola: 565513 markings, 15566848 edges, 2299 markings/sec, 240 secs
lola: 576930 markings, 15883418 edges, 2283 markings/sec, 245 secs
lola: 588412 markings, 16204631 edges, 2296 markings/sec, 250 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 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p101)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 17226 markings, 90427 edges, 3445 markings/sec, 0 secs
lola: 34494 markings, 184211 edges, 3454 markings/sec, 5 secs
lola: 51788 markings, 277032 edges, 3459 markings/sec, 10 secs
lola: 69061 markings, 370525 edges, 3455 markings/sec, 15 secs
lola: 86448 markings, 463848 edges, 3477 markings/sec, 20 secs
lola: 103817 markings, 558043 edges, 3474 markings/sec, 25 secs
lola: 121212 markings, 651639 edges, 3479 markings/sec, 30 secs
lola: 138581 markings, 745541 edges, 3474 markings/sec, 35 secs
lola: 155865 markings, 838708 edges, 3457 markings/sec, 40 secs
lola: 173148 markings, 931678 edges, 3457 markings/sec, 45 secs
lola: 190422 markings, 1025539 edges, 3455 markings/sec, 50 secs
lola: 207704 markings, 1118276 edges, 3456 markings/sec, 55 secs
lola: 225004 markings, 1211227 edges, 3460 markings/sec, 60 secs
lola: 242297 markings, 1305412 edges, 3459 markings/sec, 65 secs
lola: 259633 markings, 1398511 edges, 3467 markings/sec, 70 secs
lola: 276994 markings, 1492504 edges, 3472 markings/sec, 75 secs
lola: 294302 markings, 1589570 edges, 3462 markings/sec, 80 secs
lola: 311590 markings, 1684784 edges, 3458 markings/sec, 85 secs
lola: 328877 markings, 1780471 edges, 3457 markings/sec, 90 secs
lola: 346234 markings, 1874083 edges, 3471 markings/sec, 95 secs
lola: 363584 markings, 1968675 edges, 3470 markings/sec, 100 secs
lola: 380897 markings, 2064315 edges, 3463 markings/sec, 105 secs
lola: 398270 markings, 2157501 edges, 3475 markings/sec, 110 secs
lola: 415617 markings, 2251531 edges, 3469 markings/sec, 115 secs
lola: 432926 markings, 2344456 edges, 3462 markings/sec, 120 secs
lola: 450216 markings, 2438544 edges, 3458 markings/sec, 125 secs
lola: 467552 markings, 2530630 edges, 3467 markings/sec, 130 secs
lola: 484890 markings, 2623391 edges, 3468 markings/sec, 135 secs
lola: 502216 markings, 2717397 edges, 3465 markings/sec, 140 secs
lola: 519494 markings, 2812430 edges, 3456 markings/sec, 145 secs
lola: 536786 markings, 2907121 edges, 3458 markings/sec, 150 secs
lola: 554078 markings, 3000489 edges, 3458 markings/sec, 155 secs
lola: 571386 markings, 3093961 edges, 3462 markings/sec, 160 secs
lola: 588700 markings, 3186933 edges, 3463 markings/sec, 165 secs
lola: 606070 markings, 3281428 edges, 3474 markings/sec, 170 secs
lola: 623466 markings, 3374485 edges, 3479 markings/sec, 175 secs
lola: 640793 markings, 3468625 edges, 3465 markings/sec, 180 secs
lola: 658152 markings, 3564736 edges, 3472 markings/sec, 185 secs
lola: 675488 markings, 3658918 edges, 3467 markings/sec, 190 secs
lola: 692846 markings, 3752815 edges, 3472 markings/sec, 195 secs
lola: 710182 markings, 3846173 edges, 3467 markings/sec, 200 secs
lola: 727550 markings, 3940155 edges, 3474 markings/sec, 205 secs
lola: 744942 markings, 4033886 edges, 3478 markings/sec, 210 secs
lola: 762265 markings, 4127476 edges, 3465 markings/sec, 215 secs
lola: 779650 markings, 4221912 edges, 3477 markings/sec, 220 secs
lola: 796948 markings, 4317724 edges, 3460 markings/sec, 225 secs
lola: 814278 markings, 4411617 edges, 3466 markings/sec, 230 secs
lola: 831610 markings, 4505354 edges, 3466 markings/sec, 235 secs
lola: 848973 markings, 4598181 edges, 3473 markings/sec, 240 secs
lola: 866296 markings, 4689891 edges, 3465 markings/sec, 245 secs
lola: 883585 markings, 4786056 edges, 3458 markings/sec, 250 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 258 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p102)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 15083 markings, 90457 edges, 3017 markings/sec, 0 secs
lola: 30320 markings, 184837 edges, 3047 markings/sec, 5 secs
lola: 45571 markings, 278648 edges, 3050 markings/sec, 10 secs
lola: 60811 markings, 373065 edges, 3048 markings/sec, 15 secs
lola: 76116 markings, 466492 edges, 3061 markings/sec, 20 secs
lola: 91198 markings, 560121 edges, 3016 markings/sec, 25 secs
lola: 106428 markings, 653982 edges, 3046 markings/sec, 30 secs
lola: 121663 markings, 748069 edges, 3047 markings/sec, 35 secs
lola: 136876 markings, 841587 edges, 3043 markings/sec, 40 secs
lola: 152077 markings, 934861 edges, 3040 markings/sec, 45 secs
lola: 167246 markings, 1029455 edges, 3034 markings/sec, 50 secs
lola: 182434 markings, 1122263 edges, 3038 markings/sec, 55 secs
lola: 197641 markings, 1216455 edges, 3041 markings/sec, 60 secs
lola: 212870 markings, 1310531 edges, 3046 markings/sec, 65 secs
lola: 228071 markings, 1404635 edges, 3040 markings/sec, 70 secs
lola: 243285 markings, 1498069 edges, 3043 markings/sec, 75 secs
lola: 258454 markings, 1595295 edges, 3034 markings/sec, 80 secs
lola: 273567 markings, 1690792 edges, 3023 markings/sec, 85 secs
lola: 288663 markings, 1786034 edges, 3019 markings/sec, 90 secs
lola: 303893 markings, 1879846 edges, 3046 markings/sec, 95 secs
lola: 319127 markings, 1974724 edges, 3047 markings/sec, 100 secs
lola: 334342 markings, 2070687 edges, 3043 markings/sec, 105 secs
lola: 349562 markings, 2163841 edges, 3044 markings/sec, 110 secs
lola: 364691 markings, 2257456 edges, 3026 markings/sec, 115 secs
lola: 379876 markings, 2350938 edges, 3037 markings/sec, 120 secs
lola: 395043 markings, 2445305 edges, 3033 markings/sec, 125 secs
lola: 410266 markings, 2537695 edges, 3045 markings/sec, 130 secs
lola: 425458 markings, 2631370 edges, 3038 markings/sec, 135 secs
lola: 440617 markings, 2724751 edges, 3032 markings/sec, 140 secs
lola: 455710 markings, 2820013 edges, 3019 markings/sec, 145 secs
lola: 470827 markings, 2914063 edges, 3023 markings/sec, 150 secs
lola: 485936 markings, 3007141 edges, 3022 markings/sec, 155 secs
lola: 501036 markings, 3100818 edges, 3020 markings/sec, 160 secs
lola: 516167 markings, 3193942 edges, 3026 markings/sec, 165 secs
lola: 531321 markings, 3287261 edges, 3031 markings/sec, 170 secs
lola: 546030 markings, 3377878 edges, 2942 markings/sec, 175 secs
lola: 561221 markings, 3471641 edges, 3038 markings/sec, 180 secs
lola: 576411 markings, 3568538 edges, 3038 markings/sec, 185 secs
lola: 591588 markings, 3662424 edges, 3035 markings/sec, 190 secs
lola: 606786 markings, 3755932 edges, 3040 markings/sec, 195 secs
lola: 621950 markings, 3849244 edges, 3033 markings/sec, 200 secs
lola: 637142 markings, 3943332 edges, 3038 markings/sec, 205 secs
lola: 652249 markings, 4036539 edges, 3021 markings/sec, 210 secs
lola: 667328 markings, 4129492 edges, 3016 markings/sec, 215 secs
lola: 682428 markings, 4223393 edges, 3020 markings/sec, 220 secs
lola: 697470 markings, 4318709 edges, 3008 markings/sec, 225 secs
lola: 712533 markings, 4411776 edges, 3013 markings/sec, 230 secs
lola: 727609 markings, 4504986 edges, 3015 markings/sec, 235 secs
lola: 742761 markings, 4597517 edges, 3030 markings/sec, 240 secs
lola: 757914 markings, 4689373 edges, 3031 markings/sec, 245 secs
lola: 773050 markings, 4785544 edges, 3027 markings/sec, 250 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 259 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p502)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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 345 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p114)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 17190 markings, 90298 edges, 3438 markings/sec, 0 secs
lola: 34341 markings, 182652 edges, 3430 markings/sec, 5 secs
lola: 51698 markings, 276658 edges, 3471 markings/sec, 10 secs
lola: 69042 markings, 370438 edges, 3469 markings/sec, 15 secs
lola: 86453 markings, 463890 edges, 3482 markings/sec, 20 secs
lola: 103794 markings, 557817 edges, 3468 markings/sec, 25 secs
lola: 121150 markings, 651190 edges, 3471 markings/sec, 30 secs
lola: 138509 markings, 745051 edges, 3472 markings/sec, 35 secs
lola: 155853 markings, 838634 edges, 3469 markings/sec, 40 secs
lola: 173196 markings, 931954 edges, 3469 markings/sec, 45 secs
lola: 190525 markings, 1025914 edges, 3466 markings/sec, 50 secs
lola: 207868 markings, 1118947 edges, 3469 markings/sec, 55 secs
lola: 225225 markings, 1212720 edges, 3471 markings/sec, 60 secs
lola: 242594 markings, 1306789 edges, 3474 markings/sec, 65 secs
lola: 259944 markings, 1400204 edges, 3470 markings/sec, 70 secs
lola: 277298 markings, 1494322 edges, 3471 markings/sec, 75 secs
lola: 294406 markings, 1590107 edges, 3422 markings/sec, 80 secs
lola: 311689 markings, 1685873 edges, 3457 markings/sec, 85 secs
lola: 328925 markings, 1780633 edges, 3447 markings/sec, 90 secs
lola: 346205 markings, 1874009 edges, 3456 markings/sec, 95 secs
lola: 363477 markings, 1968121 edges, 3454 markings/sec, 100 secs
lola: 380721 markings, 2063551 edges, 3449 markings/sec, 105 secs
lola: 398058 markings, 2156277 edges, 3467 markings/sec, 110 secs
lola: 415370 markings, 2250024 edges, 3462 markings/sec, 115 secs
lola: 432642 markings, 2342988 edges, 3454 markings/sec, 120 secs
lola: 449914 markings, 2436918 edges, 3454 markings/sec, 125 secs
lola: 467229 markings, 2528477 edges, 3463 markings/sec, 130 secs
lola: 484526 markings, 2621357 edges, 3459 markings/sec, 135 secs
lola: 501785 markings, 2715245 edges, 3452 markings/sec, 140 secs
lola: 519040 markings, 2809950 edges, 3451 markings/sec, 145 secs
lola: 536349 markings, 2904795 edges, 3462 markings/sec, 150 secs
lola: 553672 markings, 2998367 edges, 3465 markings/sec, 155 secs
lola: 570936 markings, 3091793 edges, 3453 markings/sec, 160 secs
lola: 588124 markings, 3184017 edges, 3438 markings/sec, 165 secs
lola: 605393 markings, 3277625 edges, 3454 markings/sec, 170 secs
lola: 622628 markings, 3370268 edges, 3447 markings/sec, 175 secs
lola: 639814 markings, 3463466 edges, 3437 markings/sec, 180 secs
lola: 657020 markings, 3558687 edges, 3441 markings/sec, 185 secs
lola: 674220 markings, 3651871 edges, 3440 markings/sec, 190 secs
lola: 691584 markings, 3745485 edges, 3473 markings/sec, 195 secs
lola: 708897 markings, 3839388 edges, 3463 markings/sec, 200 secs
lola: 726281 markings, 3933385 edges, 3477 markings/sec, 205 secs
lola: 743673 markings, 4027088 edges, 3478 markings/sec, 210 secs
lola: 761006 markings, 4120689 edges, 3467 markings/sec, 215 secs
lola: 778393 markings, 4214885 edges, 3477 markings/sec, 220 secs
lola: 795686 markings, 4310738 edges, 3459 markings/sec, 225 secs
lola: 813006 markings, 4404906 edges, 3464 markings/sec, 230 secs
lola: 830333 markings, 4498557 edges, 3465 markings/sec, 235 secs
lola: 847660 markings, 4591216 edges, 3465 markings/sec, 240 secs
lola: 864982 markings, 4683218 edges, 3464 markings/sec, 245 secs
lola: 882289 markings, 4777258 edges, 3461 markings/sec, 250 secs
lola: 899533 markings, 4875708 edges, 3449 markings/sec, 255 secs
lola: 916832 markings, 4971103 edges, 3460 markings/sec, 260 secs
lola: 934069 markings, 5066315 edges, 3447 markings/sec, 265 secs
lola: 951292 markings, 5158350 edges, 3445 markings/sec, 270 secs
lola: 968424 markings, 5257292 edges, 3426 markings/sec, 275 secs
lola: 985668 markings, 5350313 edges, 3449 markings/sec, 280 secs
lola: 1002774 markings, 5449780 edges, 3421 markings/sec, 285 secs
lola: 1019978 markings, 5542747 edges, 3441 markings/sec, 290 secs
lola: 1037221 markings, 5635634 edges, 3449 markings/sec, 295 secs
lola: 1054369 markings, 5729535 edges, 3430 markings/sec, 300 secs
lola: 1071561 markings, 5823224 edges, 3438 markings/sec, 305 secs
lola: 1088726 markings, 5916266 edges, 3433 markings/sec, 310 secs
lola: 1105928 markings, 6009180 edges, 3440 markings/sec, 315 secs
lola: 1123137 markings, 6103937 edges, 3442 markings/sec, 320 secs
lola: 1140277 markings, 6198016 edges, 3428 markings/sec, 325 secs
lola: 1157422 markings, 6291710 edges, 3429 markings/sec, 330 secs
lola: 1174566 markings, 6385676 edges, 3429 markings/sec, 335 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 345 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p139)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 25268 markings, 143610 edges, 5054 markings/sec, 0 secs
lola: 50440 markings, 291397 edges, 5034 markings/sec, 5 secs
lola: 75497 markings, 437069 edges, 5011 markings/sec, 10 secs
lola: 100753 markings, 586453 edges, 5051 markings/sec, 15 secs
lola: 125978 markings, 734903 edges, 5045 markings/sec, 20 secs
lola: 151220 markings, 883651 edges, 5048 markings/sec, 25 secs
lola: 176558 markings, 1031723 edges, 5068 markings/sec, 30 secs
lola: 201832 markings, 1178969 edges, 5055 markings/sec, 35 secs
lola: 227093 markings, 1328285 edges, 5052 markings/sec, 40 secs
lola: 252304 markings, 1475752 edges, 5042 markings/sec, 45 secs
lola: 277479 markings, 1624715 edges, 5035 markings/sec, 50 secs
lola: 302523 markings, 1777783 edges, 5009 markings/sec, 55 secs
lola: 327625 markings, 1923283 edges, 5020 markings/sec, 60 secs
lola: 352607 markings, 2072544 edges, 4996 markings/sec, 65 secs
lola: 377632 markings, 2218527 edges, 5005 markings/sec, 70 secs
lola: 402609 markings, 2365839 edges, 4995 markings/sec, 75 secs
lola: 427450 markings, 2518103 edges, 4968 markings/sec, 80 secs
lola: 452501 markings, 2664369 edges, 5010 markings/sec, 85 secs
lola: 477524 markings, 2809790 edges, 5005 markings/sec, 90 secs
lola: 502553 markings, 2957857 edges, 5006 markings/sec, 95 secs
lola: 527555 markings, 3105410 edges, 5000 markings/sec, 100 secs
lola: 552590 markings, 3248846 edges, 5007 markings/sec, 105 secs
lola: 577472 markings, 3392811 edges, 4976 markings/sec, 110 secs
lola: 602440 markings, 3539520 edges, 4994 markings/sec, 115 secs
lola: 627265 markings, 3687960 edges, 4965 markings/sec, 120 secs
lola: 652084 markings, 3835275 edges, 4964 markings/sec, 125 secs
lola: 677040 markings, 3980607 edges, 4991 markings/sec, 130 secs
lola: 701902 markings, 4127584 edges, 4972 markings/sec, 135 secs
lola: 726834 markings, 4277050 edges, 4986 markings/sec, 140 secs
lola: 751841 markings, 4425910 edges, 5001 markings/sec, 145 secs
lola: 776865 markings, 4570606 edges, 5005 markings/sec, 150 secs
lola: 801987 markings, 4716054 edges, 5024 markings/sec, 155 secs
lola: 827086 markings, 4864084 edges, 5020 markings/sec, 160 secs
lola: 852180 markings, 5011820 edges, 5019 markings/sec, 165 secs
lola: 877291 markings, 5162624 edges, 5022 markings/sec, 170 secs
lola: 902393 markings, 5311444 edges, 5020 markings/sec, 175 secs
lola: 927547 markings, 5460179 edges, 5031 markings/sec, 180 secs
lola: 952533 markings, 5613805 edges, 4997 markings/sec, 185 secs
lola: 977628 markings, 5763804 edges, 5019 markings/sec, 190 secs
lola: 1002729 markings, 5911639 edges, 5020 markings/sec, 195 secs
lola: 1027769 markings, 6061443 edges, 5008 markings/sec, 200 secs
lola: 1053080 markings, 6208211 edges, 5062 markings/sec, 205 secs
lola: 1078276 markings, 6357253 edges, 5039 markings/sec, 210 secs
lola: 1103503 markings, 6504060 edges, 5045 markings/sec, 215 secs
lola: 1128755 markings, 6651096 edges, 5050 markings/sec, 220 secs
lola: 1153984 markings, 6796493 edges, 5046 markings/sec, 225 secs
lola: 1179318 markings, 6941943 edges, 5067 markings/sec, 230 secs
lola: 1204560 markings, 7089449 edges, 5048 markings/sec, 235 secs
lola: 1229761 markings, 7236827 edges, 5040 markings/sec, 240 secs
lola: 1254839 markings, 7390279 edges, 5016 markings/sec, 245 secs
lola: 1279894 markings, 7539264 edges, 5011 markings/sec, 250 secs
lola: 1305060 markings, 7688395 edges, 5033 markings/sec, 255 secs
lola: 1330346 markings, 7833314 edges, 5057 markings/sec, 260 secs
lola: 1355571 markings, 7981353 edges, 5045 markings/sec, 265 secs
lola: 1380671 markings, 8129905 edges, 5020 markings/sec, 270 secs
lola: 1405664 markings, 8278656 edges, 4999 markings/sec, 275 secs
lola: 1430724 markings, 8425245 edges, 5012 markings/sec, 280 secs
lola: 1455697 markings, 8571821 edges, 4995 markings/sec, 285 secs
lola: 1480769 markings, 8721882 edges, 5014 markings/sec, 290 secs
lola: 1505905 markings, 8867498 edges, 5027 markings/sec, 295 secs
lola: 1531002 markings, 9016170 edges, 5019 markings/sec, 300 secs
lola: 1556071 markings, 9162058 edges, 5014 markings/sec, 305 secs
lola: 1581244 markings, 9310442 edges, 5035 markings/sec, 310 secs
lola: 1606356 markings, 9457592 edges, 5022 markings/sec, 315 secs
lola: 1631453 markings, 9603055 edges, 5019 markings/sec, 320 secs
lola: 1656598 markings, 9750477 edges, 5029 markings/sec, 325 secs
lola: 1681601 markings, 9900103 edges, 5001 markings/sec, 330 secs
lola: 1706550 markings, 10047168 edges, 4990 markings/sec, 335 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 346 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p70)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 36 bytes per marking, with 26 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: 19057 markings, 112086 edges, 3811 markings/sec, 0 secs
lola: 38288 markings, 227108 edges, 3846 markings/sec, 5 secs
lola: 57260 markings, 341311 edges, 3794 markings/sec, 10 secs
lola: 76215 markings, 455465 edges, 3791 markings/sec, 15 secs
lola: 95143 markings, 568230 edges, 3786 markings/sec, 20 secs
lola: 114338 markings, 684295 edges, 3839 markings/sec, 25 secs
lola: 133484 markings, 798669 edges, 3829 markings/sec, 30 secs
lola: 152838 markings, 915256 edges, 3871 markings/sec, 35 secs
lola: 172216 markings, 1031580 edges, 3876 markings/sec, 40 secs
lola: 191583 markings, 1147306 edges, 3873 markings/sec, 45 secs
lola: 210645 markings, 1261909 edges, 3812 markings/sec, 50 secs
lola: 229990 markings, 1378222 edges, 3869 markings/sec, 55 secs
lola: 249384 markings, 1494436 edges, 3879 markings/sec, 60 secs
lola: 268769 markings, 1610632 edges, 3877 markings/sec, 65 secs
lola: 288174 markings, 1726755 edges, 3881 markings/sec, 70 secs
lola: 307508 markings, 1843873 edges, 3867 markings/sec, 75 secs
lola: 326835 markings, 1961948 edges, 3865 markings/sec, 80 secs
lola: 346181 markings, 2079800 edges, 3869 markings/sec, 85 secs
lola: 365502 markings, 2199441 edges, 3864 markings/sec, 90 secs
lola: 384842 markings, 2315529 edges, 3868 markings/sec, 95 secs
lola: 404254 markings, 2431731 edges, 3882 markings/sec, 100 secs
lola: 423589 markings, 2549466 edges, 3867 markings/sec, 105 secs
lola: 442945 markings, 2666492 edges, 3871 markings/sec, 110 secs
lola: 462315 markings, 2783356 edges, 3874 markings/sec, 115 secs
lola: 481672 markings, 2899730 edges, 3871 markings/sec, 120 secs
lola: 501015 markings, 3016169 edges, 3869 markings/sec, 125 secs
lola: 520380 markings, 3130983 edges, 3873 markings/sec, 130 secs
lola: 539743 markings, 3246798 edges, 3873 markings/sec, 135 secs
lola: 559066 markings, 3363024 edges, 3865 markings/sec, 140 secs
lola: 578388 markings, 3479721 edges, 3864 markings/sec, 145 secs
lola: 597488 markings, 3597177 edges, 3820 markings/sec, 150 secs
lola: 616712 markings, 3712075 edges, 3845 markings/sec, 155 secs
lola: 635935 markings, 3827835 edges, 3845 markings/sec, 160 secs
lola: 655146 markings, 3943046 edges, 3842 markings/sec, 165 secs
lola: 674454 markings, 4058703 edges, 3862 markings/sec, 170 secs
lola: 693776 markings, 4174140 edges, 3864 markings/sec, 175 secs
lola: 712821 markings, 4288911 edges, 3809 markings/sec, 180 secs
lola: 732144 markings, 4406012 edges, 3865 markings/sec, 185 secs
lola: 751441 markings, 4523499 edges, 3859 markings/sec, 190 secs
lola: 770740 markings, 4639906 edges, 3860 markings/sec, 195 secs
lola: 790041 markings, 4755503 edges, 3860 markings/sec, 200 secs
lola: 809326 markings, 4871248 edges, 3857 markings/sec, 205 secs
lola: 828649 markings, 4987445 edges, 3865 markings/sec, 210 secs
lola: 847985 markings, 5103620 edges, 3867 markings/sec, 215 secs
lola: 867258 markings, 5219234 edges, 3855 markings/sec, 220 secs
lola: 886566 markings, 5336570 edges, 3862 markings/sec, 225 secs
lola: 905746 markings, 5454008 edges, 3836 markings/sec, 230 secs
lola: 924995 markings, 5569455 edges, 3850 markings/sec, 235 secs
lola: 944138 markings, 5684556 edges, 3829 markings/sec, 240 secs
lola: 963388 markings, 5799124 edges, 3850 markings/sec, 245 secs
lola: 982676 markings, 5913340 edges, 3858 markings/sec, 250 secs
lola: 1001862 markings, 6033580 edges, 3837 markings/sec, 255 secs
lola: 1021096 markings, 6150954 edges, 3847 markings/sec, 260 secs
lola: 1040385 markings, 6268289 edges, 3858 markings/sec, 265 secs
lola: 1059674 markings, 6385585 edges, 3858 markings/sec, 270 secs
lola: 1078897 markings, 6502907 edges, 3845 markings/sec, 275 secs
lola: 1098189 markings, 6622460 edges, 3858 markings/sec, 280 secs
lola: 1117371 markings, 6742367 edges, 3836 markings/sec, 285 secs
lola: 1136619 markings, 6860204 edges, 3850 markings/sec, 290 secs
lola: 1155947 markings, 6976569 edges, 3866 markings/sec, 295 secs
lola: 1175241 markings, 7092606 edges, 3859 markings/sec, 300 secs
lola: 1194449 markings, 7210745 edges, 3842 markings/sec, 305 secs
lola: 1213745 markings, 7326400 edges, 3859 markings/sec, 310 secs
lola: 1233055 markings, 7441534 edges, 3862 markings/sec, 315 secs
lola: 1252314 markings, 7559968 edges, 3852 markings/sec, 320 secs
lola: 1271605 markings, 7675525 edges, 3858 markings/sec, 325 secs
lola: 1290834 markings, 7792910 edges, 3846 markings/sec, 330 secs
lola: 1310032 markings, 7909017 edges, 3840 markings/sec, 335 secs
lola: 1329304 markings, 8025798 edges, 3854 markings/sec, 340 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown 1 unknown unknown 1 unknown unknown unknown unknown unknown unknown unknown 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
FORMULA DLCshifumi-PT-3a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-3a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494646699354
--------------------
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="DLCshifumi-PT-3a"
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/DLCshifumi-PT-3a.tgz
mv DLCshifumi-PT-3a execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is DLCshifumi-PT-3a, 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 r018-ebro-149436309300461"
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 ;