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-2a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r018-ebro-149436309300443
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1494641469295


Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ DLCshifumi-PT-2a @ 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: 1076/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 188 places, 888 transitions, 109 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 721 transition conflict sets
lola: TASK
lola: reading formula from DLCshifumi-PT-2a-UpperBounds.task
lola: MAX(p61) : MAX(p121) : MAX(p130) : MAX(p74) : MAX(p167) : MAX(p57) : MAX(p147) : MAX(p75) : MAX(p164) : MAX(p113) : MAX(p161) : MAX(p11) : MAX(p82) : MAX(p130) : MAX(p35) : MAX(p68)
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(p61)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 121269 markings, 527432 edges, 24254 markings/sec, 0 secs
lola: 243623 markings, 1078275 edges, 24471 markings/sec, 5 secs
lola: 366226 markings, 1613263 edges, 24521 markings/sec, 10 secs
lola: 487549 markings, 2162503 edges, 24265 markings/sec, 15 secs
lola: 608142 markings, 2719688 edges, 24119 markings/sec, 20 secs
lola: 729031 markings, 3273432 edges, 24178 markings/sec, 25 secs
lola: 850085 markings, 3829967 edges, 24211 markings/sec, 30 secs
lola: 968900 markings, 4382330 edges, 23763 markings/sec, 35 secs
lola: 1088980 markings, 4940379 edges, 24016 markings/sec, 40 secs
lola: 1212642 markings, 5490117 edges, 24732 markings/sec, 45 secs
lola: 1336683 markings, 6035340 edges, 24808 markings/sec, 50 secs
lola: 1459920 markings, 6574301 edges, 24647 markings/sec, 55 secs
lola: 1581769 markings, 7120544 edges, 24370 markings/sec, 60 secs
lola: 1703204 markings, 7664929 edges, 24287 markings/sec, 65 secs
lola: 1824929 markings, 8196817 edges, 24345 markings/sec, 70 secs
lola: 1945990 markings, 8732134 edges, 24212 markings/sec, 75 secs
lola: 2066272 markings, 9278145 edges, 24056 markings/sec, 80 secs
lola: 2187078 markings, 9806336 edges, 24161 markings/sec, 85 secs
lola: 2307328 markings, 10329182 edges, 24050 markings/sec, 90 secs
lola: 2426730 markings, 10869920 edges, 23880 markings/sec, 95 secs
lola: 2546289 markings, 11398838 edges, 23912 markings/sec, 100 secs
lola: 2665699 markings, 11920479 edges, 23882 markings/sec, 105 secs
lola: 2783295 markings, 12447996 edges, 23519 markings/sec, 110 secs
lola: 2901349 markings, 12979741 edges, 23611 markings/sec, 115 secs
lola: 3021546 markings, 13504644 edges, 24039 markings/sec, 120 secs
lola: 3140562 markings, 14041505 edges, 23803 markings/sec, 125 secs
lola: 3260788 markings, 14590810 edges, 24045 markings/sec, 130 secs
lola: 3379821 markings, 15138995 edges, 23807 markings/sec, 135 secs
lola: 3498462 markings, 15681374 edges, 23728 markings/sec, 140 secs
lola: 3617677 markings, 16232025 edges, 23843 markings/sec, 145 secs
lola: 3735757 markings, 16782819 edges, 23616 markings/sec, 150 secs
lola: 3855406 markings, 17335566 edges, 23930 markings/sec, 155 secs
lola: 3974977 markings, 17875337 edges, 23914 markings/sec, 160 secs
lola: 4093965 markings, 18418678 edges, 23798 markings/sec, 165 secs
lola: 4212572 markings, 18962818 edges, 23721 markings/sec, 170 secs
lola: 4331298 markings, 19505186 edges, 23745 markings/sec, 175 secs
lola: 4450263 markings, 20051345 edges, 23793 markings/sec, 180 secs
lola: 4568986 markings, 20600276 edges, 23745 markings/sec, 185 secs
lola: 4687652 markings, 21147506 edges, 23733 markings/sec, 190 secs
lola: 4806295 markings, 21697735 edges, 23729 markings/sec, 195 secs
lola: 4924406 markings, 22251139 edges, 23622 markings/sec, 200 secs
lola: 5042625 markings, 22798229 edges, 23644 markings/sec, 205 secs
lola: 5160625 markings, 23348120 edges, 23600 markings/sec, 210 secs
lola: 5278611 markings, 23898584 edges, 23597 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(p121)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 69418 markings, 496609 edges, 13884 markings/sec, 0 secs
lola: 136793 markings, 1018971 edges, 13475 markings/sec, 5 secs
lola: 203421 markings, 1557038 edges, 13326 markings/sec, 10 secs
lola: 269522 markings, 2069577 edges, 13220 markings/sec, 15 secs
lola: 336590 markings, 2568105 edges, 13414 markings/sec, 20 secs
lola: 402684 markings, 3095365 edges, 13219 markings/sec, 25 secs
lola: 468338 markings, 3637149 edges, 13131 markings/sec, 30 secs
lola: 534047 markings, 4172133 edges, 13142 markings/sec, 35 secs
lola: 599022 markings, 4725094 edges, 12995 markings/sec, 40 secs
lola: 663479 markings, 5271564 edges, 12891 markings/sec, 45 secs
lola: 727893 markings, 5818072 edges, 12883 markings/sec, 50 secs
lola: 792347 markings, 6351192 edges, 12891 markings/sec, 55 secs
lola: 856671 markings, 6892084 edges, 12865 markings/sec, 60 secs
lola: 920903 markings, 7437169 edges, 12846 markings/sec, 65 secs
lola: 984932 markings, 7982022 edges, 12806 markings/sec, 70 secs
lola: 1048571 markings, 8533303 edges, 12728 markings/sec, 75 secs
lola: 1113969 markings, 9021615 edges, 13080 markings/sec, 80 secs
lola: 1179330 markings, 9518595 edges, 13072 markings/sec, 85 secs
lola: 1244826 markings, 10000734 edges, 13099 markings/sec, 90 secs
lola: 1309444 markings, 10498469 edges, 12924 markings/sec, 95 secs
lola: 1373307 markings, 11016363 edges, 12773 markings/sec, 100 secs
lola: 1436978 markings, 11546554 edges, 12734 markings/sec, 105 secs
lola: 1500447 markings, 12077795 edges, 12694 markings/sec, 110 secs
lola: 1564369 markings, 12601973 edges, 12784 markings/sec, 115 secs
lola: 1628203 markings, 13123914 edges, 12767 markings/sec, 120 secs
lola: 1691825 markings, 13653506 edges, 12724 markings/sec, 125 secs
lola: 1755372 markings, 14177194 edges, 12709 markings/sec, 130 secs
lola: 1818748 markings, 14718110 edges, 12675 markings/sec, 135 secs
lola: 1882587 markings, 15261588 edges, 12768 markings/sec, 140 secs
lola: 1946621 markings, 15797014 edges, 12807 markings/sec, 145 secs
lola: 2010501 markings, 16337702 edges, 12776 markings/sec, 150 secs
lola: 2074486 markings, 16876567 edges, 12797 markings/sec, 155 secs
lola: 2138072 markings, 17424090 edges, 12717 markings/sec, 160 secs
lola: 2201616 markings, 17975942 edges, 12709 markings/sec, 165 secs
lola: 2264768 markings, 18540609 edges, 12630 markings/sec, 170 secs
lola: 2328498 markings, 19087359 edges, 12746 markings/sec, 175 secs
lola: 2391815 markings, 19653257 edges, 12663 markings/sec, 180 secs
lola: 2455609 markings, 20198887 edges, 12759 markings/sec, 185 secs
lola: 2519170 markings, 20756061 edges, 12712 markings/sec, 190 secs
lola: 2582599 markings, 21311039 edges, 12686 markings/sec, 195 secs
lola: 2645829 markings, 21873093 edges, 12646 markings/sec, 200 secs
lola: 2709004 markings, 22431677 edges, 12635 markings/sec, 205 secs
lola: 2772314 markings, 22974786 edges, 12662 markings/sec, 210 secs
lola: 2835928 markings, 23516148 edges, 12723 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p130)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p74)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 106423 markings, 440655 edges, 21285 markings/sec, 0 secs
lola: 212439 markings, 878784 edges, 21203 markings/sec, 5 secs
lola: 317976 markings, 1321155 edges, 21107 markings/sec, 10 secs
lola: 422772 markings, 1766088 edges, 20959 markings/sec, 15 secs
lola: 527801 markings, 2196765 edges, 21006 markings/sec, 20 secs
lola: 632423 markings, 2633863 edges, 20924 markings/sec, 25 secs
lola: 736678 markings, 3074505 edges, 20851 markings/sec, 30 secs
lola: 840641 markings, 3518115 edges, 20793 markings/sec, 35 secs
lola: 944303 markings, 3965569 edges, 20732 markings/sec, 40 secs
lola: 1047842 markings, 4408938 edges, 20708 markings/sec, 45 secs
lola: 1154825 markings, 4849596 edges, 21397 markings/sec, 50 secs
lola: 1260467 markings, 5290659 edges, 21128 markings/sec, 55 secs
lola: 1365510 markings, 5731182 edges, 21009 markings/sec, 60 secs
lola: 1469984 markings, 6177782 edges, 20895 markings/sec, 65 secs
lola: 1574090 markings, 6624754 edges, 20821 markings/sec, 70 secs
lola: 1678354 markings, 7059543 edges, 20853 markings/sec, 75 secs
lola: 1782461 markings, 7492533 edges, 20821 markings/sec, 80 secs
lola: 1886406 markings, 7924951 edges, 20789 markings/sec, 85 secs
lola: 1990086 markings, 8364443 edges, 20736 markings/sec, 90 secs
lola: 2093629 markings, 8802804 edges, 20709 markings/sec, 95 secs
lola: 2196868 markings, 9242796 edges, 20648 markings/sec, 100 secs
lola: 2300102 markings, 9682881 edges, 20647 markings/sec, 105 secs
lola: 2403108 markings, 10125494 edges, 20601 markings/sec, 110 secs
lola: 2505866 markings, 10566217 edges, 20552 markings/sec, 115 secs
lola: 2608689 markings, 11009584 edges, 20565 markings/sec, 120 secs
lola: 2711172 markings, 11448920 edges, 20497 markings/sec, 125 secs
lola: 2813821 markings, 11882226 edges, 20530 markings/sec, 130 secs
lola: 2916775 markings, 12307046 edges, 20591 markings/sec, 135 secs
lola: 3019812 markings, 12736592 edges, 20607 markings/sec, 140 secs
lola: 3122071 markings, 13167325 edges, 20452 markings/sec, 145 secs
lola: 3225014 markings, 13593872 edges, 20589 markings/sec, 150 secs
lola: 3327747 markings, 14020742 edges, 20547 markings/sec, 155 secs
lola: 3430633 markings, 14451256 edges, 20577 markings/sec, 160 secs
lola: 3532932 markings, 14885051 edges, 20460 markings/sec, 165 secs
lola: 3635028 markings, 15322696 edges, 20419 markings/sec, 170 secs
lola: 3736904 markings, 15760582 edges, 20375 markings/sec, 175 secs
lola: 3839082 markings, 16193553 edges, 20436 markings/sec, 180 secs
lola: 3942371 markings, 16620432 edges, 20658 markings/sec, 185 secs
lola: 4044983 markings, 17050354 edges, 20522 markings/sec, 190 secs
lola: 4147490 markings, 17481709 edges, 20501 markings/sec, 195 secs
lola: 4249571 markings, 17919250 edges, 20416 markings/sec, 200 secs
lola: 4351765 markings, 18355414 edges, 20439 markings/sec, 205 secs
lola: 4454692 markings, 18783741 edges, 20585 markings/sec, 210 secs
lola: 4556924 markings, 19209633 edges, 20446 markings/sec, 215 secs
lola: 4659311 markings, 19635552 edges, 20477 markings/sec, 220 secs
lola: 4761363 markings, 20069329 edges, 20410 markings/sec, 225 secs
lola: 4863585 markings, 20501371 edges, 20444 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 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p167)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p57)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 96341 markings, 340699 edges, 19268 markings/sec, 0 secs
lola: 194158 markings, 686558 edges, 19563 markings/sec, 5 secs
lola: 291426 markings, 1035987 edges, 19454 markings/sec, 10 secs
lola: 388192 markings, 1387599 edges, 19353 markings/sec, 15 secs
lola: 484830 markings, 1729627 edges, 19328 markings/sec, 20 secs
lola: 581432 markings, 2075445 edges, 19320 markings/sec, 25 secs
lola: 678229 markings, 2426865 edges, 19359 markings/sec, 30 secs
lola: 774705 markings, 2781008 edges, 19295 markings/sec, 35 secs
lola: 871632 markings, 3123218 edges, 19385 markings/sec, 40 secs
lola: 967894 markings, 3467425 edges, 19252 markings/sec, 45 secs
lola: 1064142 markings, 3812923 edges, 19250 markings/sec, 50 secs
lola: 1160849 markings, 4157544 edges, 19341 markings/sec, 55 secs
lola: 1257761 markings, 4503026 edges, 19382 markings/sec, 60 secs
lola: 1353207 markings, 4848516 edges, 19089 markings/sec, 65 secs
lola: 1452106 markings, 5196477 edges, 19780 markings/sec, 70 secs
lola: 1550199 markings, 5544683 edges, 19619 markings/sec, 75 secs
lola: 1647534 markings, 5894793 edges, 19467 markings/sec, 80 secs
lola: 1744381 markings, 6247081 edges, 19369 markings/sec, 85 secs
lola: 1839742 markings, 6584730 edges, 19072 markings/sec, 90 secs
lola: 1936206 markings, 6923483 edges, 19293 markings/sec, 95 secs
lola: 2030918 markings, 7263861 edges, 18942 markings/sec, 100 secs
lola: 2126892 markings, 7615132 edges, 19195 markings/sec, 105 secs
lola: 2223018 markings, 7966118 edges, 19225 markings/sec, 110 secs
lola: 2319667 markings, 8303031 edges, 19330 markings/sec, 115 secs
lola: 2413371 markings, 8637728 edges, 18741 markings/sec, 120 secs
lola: 2509113 markings, 8985644 edges, 19148 markings/sec, 125 secs
lola: 2604339 markings, 9335254 edges, 19045 markings/sec, 130 secs
lola: 2700756 markings, 9672973 edges, 19283 markings/sec, 135 secs
lola: 2795624 markings, 10011370 edges, 18974 markings/sec, 140 secs
lola: 2891484 markings, 10362255 edges, 19172 markings/sec, 145 secs
lola: 2987153 markings, 10712545 edges, 19134 markings/sec, 150 secs
lola: 3081990 markings, 11052016 edges, 18967 markings/sec, 155 secs
lola: 3178190 markings, 11391452 edges, 19240 markings/sec, 160 secs
lola: 3273986 markings, 11736063 edges, 19159 markings/sec, 165 secs
lola: 3369379 markings, 12083833 edges, 19079 markings/sec, 170 secs
lola: 3465210 markings, 12428780 edges, 19166 markings/sec, 175 secs
lola: 3560573 markings, 12763937 edges, 19073 markings/sec, 180 secs
lola: 3655803 markings, 13104675 edges, 19046 markings/sec, 185 secs
lola: 3750831 markings, 13448117 edges, 19006 markings/sec, 190 secs
lola: 3846130 markings, 13792533 edges, 19060 markings/sec, 195 secs
lola: 3941195 markings, 14140590 edges, 19013 markings/sec, 200 secs
lola: 4036232 markings, 14490708 edges, 19007 markings/sec, 205 secs
lola: 4131127 markings, 14839468 edges, 18979 markings/sec, 210 secs
lola: 4225386 markings, 15187026 edges, 18852 markings/sec, 215 secs
lola: 4320290 markings, 15539125 edges, 18981 markings/sec, 220 secs
lola: 4415781 markings, 15875886 edges, 19098 markings/sec, 225 secs
lola: 4511194 markings, 16211219 edges, 19083 markings/sec, 230 secs
lola: 4606270 markings, 16556049 edges, 19015 markings/sec, 235 secs
lola: 4701060 markings, 16906984 edges, 18958 markings/sec, 240 secs
lola: 4796559 markings, 17251418 edges, 19100 markings/sec, 245 secs
lola: 4891483 markings, 17586103 edges, 18985 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 260 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p147)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 288 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p75)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 123195 markings, 536091 edges, 24639 markings/sec, 0 secs
lola: 243939 markings, 1081431 edges, 24149 markings/sec, 5 secs
lola: 366360 markings, 1622016 edges, 24484 markings/sec, 10 secs
lola: 490561 markings, 2164153 edges, 24840 markings/sec, 15 secs
lola: 613300 markings, 2707492 edges, 24548 markings/sec, 20 secs
lola: 735409 markings, 3240304 edges, 24422 markings/sec, 25 secs
lola: 856551 markings, 3771155 edges, 24228 markings/sec, 30 secs
lola: 977387 markings, 4300045 edges, 24167 markings/sec, 35 secs
lola: 1098639 markings, 4829055 edges, 24250 markings/sec, 40 secs
lola: 1220048 markings, 5366274 edges, 24282 markings/sec, 45 secs
lola: 1341543 markings, 5897020 edges, 24299 markings/sec, 50 secs
lola: 1462688 markings, 6429129 edges, 24229 markings/sec, 55 secs
lola: 1583483 markings, 6956944 edges, 24159 markings/sec, 60 secs
lola: 1705534 markings, 7489538 edges, 24410 markings/sec, 65 secs
lola: 1826724 markings, 8025493 edges, 24238 markings/sec, 70 secs
lola: 1947945 markings, 8558350 edges, 24244 markings/sec, 75 secs
lola: 2069112 markings, 9108903 edges, 24233 markings/sec, 80 secs
lola: 2189777 markings, 9656434 edges, 24133 markings/sec, 85 secs
lola: 2309686 markings, 10205748 edges, 23982 markings/sec, 90 secs
lola: 2429817 markings, 10757272 edges, 24026 markings/sec, 95 secs
lola: 2550068 markings, 11307125 edges, 24050 markings/sec, 100 secs
lola: 2670166 markings, 11859361 edges, 24020 markings/sec, 105 secs
lola: 2789884 markings, 12402732 edges, 23944 markings/sec, 110 secs
lola: 2909544 markings, 12945722 edges, 23932 markings/sec, 115 secs
lola: 3029116 markings, 13471361 edges, 23914 markings/sec, 120 secs
lola: 3147614 markings, 14013982 edges, 23700 markings/sec, 125 secs
lola: 3265788 markings, 14549725 edges, 23635 markings/sec, 130 secs
lola: 3385658 markings, 15074206 edges, 23974 markings/sec, 135 secs
lola: 3504933 markings, 15629644 edges, 23855 markings/sec, 140 secs
lola: 3623949 markings, 16187116 edges, 23803 markings/sec, 145 secs
lola: 3743203 markings, 16745080 edges, 23851 markings/sec, 150 secs
lola: 3862583 markings, 17290366 edges, 23876 markings/sec, 155 secs
lola: 3981890 markings, 17827361 edges, 23861 markings/sec, 160 secs
lola: 4101106 markings, 18370781 edges, 23843 markings/sec, 165 secs
lola: 4219804 markings, 18919904 edges, 23740 markings/sec, 170 secs
lola: 4338416 markings, 19467557 edges, 23722 markings/sec, 175 secs
lola: 4457076 markings, 20011839 edges, 23732 markings/sec, 180 secs
lola: 4575812 markings, 20561676 edges, 23747 markings/sec, 185 secs
lola: 4694609 markings, 21116136 edges, 23759 markings/sec, 190 secs
lola: 4812333 markings, 21665371 edges, 23545 markings/sec, 195 secs
lola: 4930554 markings, 22222177 edges, 23644 markings/sec, 200 secs
lola: 5048376 markings, 22779300 edges, 23564 markings/sec, 205 secs
lola: 5166275 markings, 23327282 edges, 23580 markings/sec, 210 secs
lola: 5284100 markings, 23876468 edges, 23565 markings/sec, 215 secs
lola: 5401350 markings, 24427718 edges, 23450 markings/sec, 220 secs
lola: 5518938 markings, 24972801 edges, 23518 markings/sec, 225 secs
lola: 5635903 markings, 25519451 edges, 23393 markings/sec, 230 secs
lola: 5752243 markings, 26069621 edges, 23268 markings/sec, 235 secs
lola: 5870065 markings, 26625167 edges, 23564 markings/sec, 240 secs
lola: 5987908 markings, 27174371 edges, 23569 markings/sec, 245 secs
lola: 6104688 markings, 27725651 edges, 23356 markings/sec, 250 secs
lola: 6222500 markings, 28279097 edges, 23562 markings/sec, 255 secs
lola: 6340071 markings, 28833058 edges, 23514 markings/sec, 260 secs
lola: 6455990 markings, 29379187 edges, 23184 markings/sec, 265 secs
lola: 6572794 markings, 29921468 edges, 23361 markings/sec, 270 secs
lola: 6689518 markings, 30469467 edges, 23345 markings/sec, 275 secs
lola: 6806203 markings, 31020793 edges, 23337 markings/sec, 280 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 288 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p164)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 9 will run for 330 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p113)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 64342 markings, 673731 edges, 12868 markings/sec, 0 secs
lola: 126732 markings, 1369909 edges, 12478 markings/sec, 5 secs
lola: 190220 markings, 2040074 edges, 12698 markings/sec, 10 secs
lola: 252837 markings, 2733570 edges, 12523 markings/sec, 15 secs
lola: 315205 markings, 3439339 edges, 12474 markings/sec, 20 secs
lola: 377248 markings, 4146488 edges, 12409 markings/sec, 25 secs
lola: 439261 markings, 4853352 edges, 12403 markings/sec, 30 secs
lola: 501105 markings, 5564146 edges, 12369 markings/sec, 35 secs
lola: 562738 markings, 6275234 edges, 12327 markings/sec, 40 secs
lola: 623918 markings, 6994089 edges, 12236 markings/sec, 45 secs
lola: 684948 markings, 7720085 edges, 12206 markings/sec, 50 secs
lola: 746019 markings, 8432972 edges, 12214 markings/sec, 55 secs
lola: 807614 markings, 9126443 edges, 12319 markings/sec, 60 secs
lola: 870024 markings, 9795879 edges, 12482 markings/sec, 65 secs
lola: 932071 markings, 10459526 edges, 12409 markings/sec, 70 secs
lola: 993583 markings, 11132120 edges, 12302 markings/sec, 75 secs
lola: 1054656 markings, 11821856 edges, 12215 markings/sec, 80 secs
lola: 1115559 markings, 12515297 edges, 12181 markings/sec, 85 secs
lola: 1176542 markings, 13203336 edges, 12197 markings/sec, 90 secs
lola: 1235170 markings, 13874715 edges, 11726 markings/sec, 95 secs
lola: 1294128 markings, 14557559 edges, 11792 markings/sec, 100 secs
lola: 1353134 markings, 15246338 edges, 11801 markings/sec, 105 secs
lola: 1412275 markings, 15936756 edges, 11828 markings/sec, 110 secs
lola: 1472099 markings, 16636190 edges, 11965 markings/sec, 115 secs
lola: 1532141 markings, 17338517 edges, 12008 markings/sec, 120 secs
lola: 1591868 markings, 18045387 edges, 11945 markings/sec, 125 secs
lola: 1651500 markings, 18745458 edges, 11926 markings/sec, 130 secs
lola: 1710986 markings, 19456463 edges, 11897 markings/sec, 135 secs
lola: 1770339 markings, 20162505 edges, 11871 markings/sec, 140 secs
lola: 1829608 markings, 20869364 edges, 11854 markings/sec, 145 secs
lola: 1889082 markings, 21570571 edges, 11895 markings/sec, 150 secs
lola: 1948354 markings, 22264734 edges, 11854 markings/sec, 155 secs
lola: 2007457 markings, 22957169 edges, 11821 markings/sec, 160 secs
lola: 2066445 markings, 23655475 edges, 11798 markings/sec, 165 secs
lola: 2125335 markings, 24357828 edges, 11778 markings/sec, 170 secs
lola: 2184564 markings, 25059223 edges, 11846 markings/sec, 175 secs
lola: 2243792 markings, 25766545 edges, 11846 markings/sec, 180 secs
lola: 2303059 markings, 26457273 edges, 11853 markings/sec, 185 secs
lola: 2362130 markings, 27155876 edges, 11814 markings/sec, 190 secs
lola: 2421115 markings, 27860942 edges, 11797 markings/sec, 195 secs
lola: 2480026 markings, 28559289 edges, 11782 markings/sec, 200 secs
lola: 2539002 markings, 29268915 edges, 11795 markings/sec, 205 secs
lola: 2598856 markings, 29982010 edges, 11971 markings/sec, 210 secs
lola: 2657812 markings, 30680081 edges, 11791 markings/sec, 215 secs
lola: 2716251 markings, 31369698 edges, 11688 markings/sec, 220 secs
lola: 2775825 markings, 32050148 edges, 11915 markings/sec, 225 secs
lola: 2837385 markings, 32708235 edges, 12312 markings/sec, 230 secs
lola: 2898294 markings, 33371169 edges, 12182 markings/sec, 235 secs
lola: 2958792 markings, 34020713 edges, 12100 markings/sec, 240 secs
lola: 3018735 markings, 34694340 edges, 11989 markings/sec, 245 secs
lola: 3078696 markings, 35370277 edges, 11992 markings/sec, 250 secs
lola: 3138748 markings, 36045689 edges, 12010 markings/sec, 255 secs
lola: 3198292 markings, 36730279 edges, 11909 markings/sec, 260 secs
lola: 3257862 markings, 37419368 edges, 11914 markings/sec, 265 secs
lola: 3317188 markings, 38113744 edges, 11865 markings/sec, 270 secs
lola: 3376524 markings, 38802873 edges, 11867 markings/sec, 275 secs
lola: 3438592 markings, 39459697 edges, 12414 markings/sec, 280 secs
lola: 3499837 markings, 40110325 edges, 12249 markings/sec, 285 secs
lola: 3560522 markings, 40771351 edges, 12137 markings/sec, 290 secs
lola: 3620339 markings, 41445273 edges, 11963 markings/sec, 295 secs
lola: 3680519 markings, 42124276 edges, 12036 markings/sec, 300 secs
lola: 3740373 markings, 42801586 edges, 11971 markings/sec, 305 secs
lola: 3800150 markings, 43484192 edges, 11955 markings/sec, 310 secs
lola: 3859779 markings, 44167556 edges, 11926 markings/sec, 315 secs
lola: 3918929 markings, 44854737 edges, 11830 markings/sec, 320 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 330 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p161)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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 11 will run for 396 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p11)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 85506 markings, 345382 edges, 17101 markings/sec, 0 secs
lola: 170083 markings, 686676 edges, 16915 markings/sec, 5 secs
lola: 254199 markings, 1031550 edges, 16823 markings/sec, 10 secs
lola: 338163 markings, 1380199 edges, 16793 markings/sec, 15 secs
lola: 422328 markings, 1719355 edges, 16833 markings/sec, 20 secs
lola: 505963 markings, 2062048 edges, 16727 markings/sec, 25 secs
lola: 589727 markings, 2408829 edges, 16753 markings/sec, 30 secs
lola: 673320 markings, 2758093 edges, 16719 markings/sec, 35 secs
lola: 756328 markings, 3094641 edges, 16602 markings/sec, 40 secs
lola: 839967 markings, 3435183 edges, 16728 markings/sec, 45 secs
lola: 923594 markings, 3778797 edges, 16725 markings/sec, 50 secs
lola: 1007852 markings, 4121512 edges, 16852 markings/sec, 55 secs
lola: 1092486 markings, 4464599 edges, 16927 markings/sec, 60 secs
lola: 1176664 markings, 4812290 edges, 16836 markings/sec, 65 secs
lola: 1262912 markings, 5159691 edges, 17250 markings/sec, 70 secs
lola: 1348584 markings, 5505543 edges, 17134 markings/sec, 75 secs
lola: 1433634 markings, 5854473 edges, 17010 markings/sec, 80 secs
lola: 1518124 markings, 6205018 edges, 16898 markings/sec, 85 secs
lola: 1602720 markings, 6548994 edges, 16919 markings/sec, 90 secs
lola: 1687269 markings, 6887977 edges, 16910 markings/sec, 95 secs
lola: 1771749 markings, 7233420 edges, 16896 markings/sec, 100 secs
lola: 1855872 markings, 7584034 edges, 16825 markings/sec, 105 secs
lola: 1939920 markings, 7934961 edges, 16810 markings/sec, 110 secs
lola: 2024634 markings, 8274468 edges, 16943 markings/sec, 115 secs
lola: 2108649 markings, 8615396 edges, 16803 markings/sec, 120 secs
lola: 2192574 markings, 8964779 edges, 16785 markings/sec, 125 secs
lola: 2276448 markings, 9315203 edges, 16775 markings/sec, 130 secs
lola: 2361223 markings, 9653724 edges, 16955 markings/sec, 135 secs
lola: 2445498 markings, 9997481 edges, 16855 markings/sec, 140 secs
lola: 2529506 markings, 10347125 edges, 16802 markings/sec, 145 secs
lola: 2613266 markings, 10698029 edges, 16752 markings/sec, 150 secs
lola: 2697187 markings, 11041422 edges, 16784 markings/sec, 155 secs
lola: 2781534 markings, 11381585 edges, 16869 markings/sec, 160 secs
lola: 2865572 markings, 11726586 edges, 16808 markings/sec, 165 secs
lola: 2949233 markings, 12074710 edges, 16732 markings/sec, 170 secs
lola: 3033294 markings, 12420187 edges, 16812 markings/sec, 175 secs
lola: 3115726 markings, 12750967 edges, 16486 markings/sec, 180 secs
lola: 3199651 markings, 13093807 edges, 16785 markings/sec, 185 secs
lola: 3283337 markings, 13438507 edges, 16737 markings/sec, 190 secs
lola: 3367166 markings, 13784640 edges, 16766 markings/sec, 195 secs
lola: 3450894 markings, 14134497 edges, 16746 markings/sec, 200 secs
lola: 3534643 markings, 14487159 edges, 16750 markings/sec, 205 secs
lola: 3618240 markings, 14837170 edges, 16719 markings/sec, 210 secs
lola: 3701952 markings, 15189393 edges, 16742 markings/sec, 215 secs
lola: 3785461 markings, 15542891 edges, 16702 markings/sec, 220 secs
lola: 3869646 markings, 15882019 edges, 16837 markings/sec, 225 secs
lola: 3953425 markings, 16218709 edges, 16756 markings/sec, 230 secs
lola: 4036843 markings, 16564209 edges, 16684 markings/sec, 235 secs
lola: 4120098 markings, 16914776 edges, 16651 markings/sec, 240 secs
lola: 4203970 markings, 17260299 edges, 16774 markings/sec, 245 secs
lola: 4287782 markings, 17597722 edges, 16762 markings/sec, 250 secs
lola: 4371558 markings, 17943817 edges, 16755 markings/sec, 255 secs
lola: 4454808 markings, 18296191 edges, 16650 markings/sec, 260 secs
lola: 4538440 markings, 18642051 edges, 16726 markings/sec, 265 secs
lola: 4621911 markings, 18990369 edges, 16694 markings/sec, 270 secs
lola: 4705419 markings, 19338842 edges, 16702 markings/sec, 275 secs
lola: 4788824 markings, 19690295 edges, 16681 markings/sec, 280 secs
lola: 4871769 markings, 20044749 edges, 16589 markings/sec, 285 secs
lola: 4955132 markings, 20400684 edges, 16673 markings/sec, 290 secs
lola: 5038669 markings, 20749354 edges, 16707 markings/sec, 295 secs
lola: 5122219 markings, 21097635 edges, 16710 markings/sec, 300 secs
lola: 5206212 markings, 21436338 edges, 16799 markings/sec, 305 secs
lola: 5289683 markings, 21777763 edges, 16694 markings/sec, 310 secs
lola: 5372954 markings, 22125984 edges, 16654 markings/sec, 315 secs
lola: 5456298 markings, 22476006 edges, 16669 markings/sec, 320 secs
lola: 5540056 markings, 22821025 edges, 16752 markings/sec, 325 secs
lola: 5623846 markings, 23157726 edges, 16758 markings/sec, 330 secs
lola: 5707357 markings, 23500054 edges, 16702 markings/sec, 335 secs
lola: 5790645 markings, 23843192 edges, 16658 markings/sec, 340 secs
lola: 5873995 markings, 24190433 edges, 16670 markings/sec, 345 secs
lola: 5957555 markings, 24536257 edges, 16712 markings/sec, 350 secs
lola: 6040895 markings, 24886075 edges, 16668 markings/sec, 355 secs
lola: 6125143 markings, 25224511 edges, 16850 markings/sec, 360 secs
lola: 6208763 markings, 25564855 edges, 16724 markings/sec, 365 secs
lola: 6292191 markings, 25912266 edges, 16686 markings/sec, 370 secs
lola: 6375813 markings, 26259434 edges, 16724 markings/sec, 375 secs
lola: 6459967 markings, 26597458 edges, 16831 markings/sec, 380 secs
lola: 6543815 markings, 26940824 edges, 16770 markings/sec, 385 secs
lola: 6627439 markings, 27284231 edges, 16725 markings/sec, 390 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 396 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p82)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 124210 markings, 511748 edges, 24842 markings/sec, 0 secs
lola: 247016 markings, 1042198 edges, 24561 markings/sec, 5 secs
lola: 371970 markings, 1557363 edges, 24991 markings/sec, 10 secs
lola: 495054 markings, 2069102 edges, 24617 markings/sec, 15 secs
lola: 617707 markings, 2583119 edges, 24531 markings/sec, 20 secs
lola: 739224 markings, 3110819 edges, 24303 markings/sec, 25 secs
lola: 860379 markings, 3632588 edges, 24231 markings/sec, 30 secs
lola: 981047 markings, 4158462 edges, 24134 markings/sec, 35 secs
lola: 1101327 markings, 4683307 edges, 24056 markings/sec, 40 secs
lola: 1222799 markings, 5183441 edges, 24294 markings/sec, 45 secs
lola: 1343020 markings, 5692429 edges, 24044 markings/sec, 50 secs
lola: 1463785 markings, 6189297 edges, 24153 markings/sec, 55 secs
lola: 1583474 markings, 6706478 edges, 23938 markings/sec, 60 secs
lola: 1702997 markings, 7218226 edges, 23905 markings/sec, 65 secs
lola: 1822908 markings, 7731801 edges, 23982 markings/sec, 70 secs
lola: 1943664 markings, 8233892 edges, 24151 markings/sec, 75 secs
lola: 2062902 markings, 8750022 edges, 23848 markings/sec, 80 secs
lola: 2182633 markings, 9262498 edges, 23946 markings/sec, 85 secs
lola: 2302991 markings, 9760488 edges, 24072 markings/sec, 90 secs
lola: 2422386 markings, 10277836 edges, 23879 markings/sec, 95 secs
lola: 2541740 markings, 10793122 edges, 23871 markings/sec, 100 secs
lola: 2662249 markings, 11292392 edges, 24102 markings/sec, 105 secs
lola: 2781931 markings, 11802068 edges, 23936 markings/sec, 110 secs
lola: 2900934 markings, 12317238 edges, 23801 markings/sec, 115 secs
lola: 3021654 markings, 12822092 edges, 24144 markings/sec, 120 secs
lola: 3141307 markings, 13330012 edges, 23931 markings/sec, 125 secs
lola: 3260301 markings, 13842802 edges, 23799 markings/sec, 130 secs
lola: 3379387 markings, 14359295 edges, 23817 markings/sec, 135 secs
lola: 3499344 markings, 14872388 edges, 23991 markings/sec, 140 secs
lola: 3619871 markings, 15371553 edges, 24105 markings/sec, 145 secs
lola: 3738683 markings, 15886779 edges, 23762 markings/sec, 150 secs
lola: 3859423 markings, 16383066 edges, 24148 markings/sec, 155 secs
lola: 3978887 markings, 16892057 edges, 23893 markings/sec, 160 secs
lola: 4097808 markings, 17404309 edges, 23784 markings/sec, 165 secs
lola: 4216716 markings, 17921397 edges, 23782 markings/sec, 170 secs
lola: 4334920 markings, 18441917 edges, 23641 markings/sec, 175 secs
lola: 4453772 markings, 18961830 edges, 23770 markings/sec, 180 secs
lola: 4572473 markings, 19485652 edges, 23740 markings/sec, 185 secs
lola: 4690087 markings, 20003433 edges, 23523 markings/sec, 190 secs
lola: 4808338 markings, 20532636 edges, 23650 markings/sec, 195 secs
lola: 4926829 markings, 21058105 edges, 23698 markings/sec, 200 secs
lola: 5044878 markings, 21583839 edges, 23610 markings/sec, 205 secs
lola: 5163487 markings, 22102091 edges, 23722 markings/sec, 210 secs
lola: 5281773 markings, 22623276 edges, 23657 markings/sec, 215 secs
lola: 5399975 markings, 23146939 edges, 23640 markings/sec, 220 secs
lola: 5517804 markings, 23673453 edges, 23566 markings/sec, 225 secs
lola: 5635623 markings, 24190837 edges, 23564 markings/sec, 230 secs
lola: 5753801 markings, 24700803 edges, 23636 markings/sec, 235 secs
lola: 5871477 markings, 25217992 edges, 23535 markings/sec, 240 secs
lola: 5989273 markings, 25736631 edges, 23559 markings/sec, 245 secs
lola: 6106990 markings, 26257514 edges, 23543 markings/sec, 250 secs
lola: 6224415 markings, 26779306 edges, 23485 markings/sec, 255 secs
lola: 6341857 markings, 27298157 edges, 23488 markings/sec, 260 secs
lola: 6459646 markings, 27821247 edges, 23558 markings/sec, 265 secs
lola: 6577229 markings, 28349800 edges, 23517 markings/sec, 270 secs
lola: 6694966 markings, 28869727 edges, 23547 markings/sec, 275 secs
lola: 6812286 markings, 29401338 edges, 23464 markings/sec, 280 secs
lola: 6929439 markings, 29922341 edges, 23431 markings/sec, 285 secs
lola: 7046695 markings, 30440833 edges, 23451 markings/sec, 290 secs
lola: 7163656 markings, 30966670 edges, 23392 markings/sec, 295 secs
lola: 7280809 markings, 31487797 edges, 23431 markings/sec, 300 secs
lola: 7398146 markings, 32009815 edges, 23467 markings/sec, 305 secs
lola: 7515290 markings, 32534545 edges, 23429 markings/sec, 310 secs
lola: 7632463 markings, 33053491 edges, 23435 markings/sec, 315 secs
lola: 7749579 markings, 33572771 edges, 23423 markings/sec, 320 secs
lola: 7866829 markings, 34091074 edges, 23450 markings/sec, 325 secs
lola: 7983065 markings, 34611581 edges, 23247 markings/sec, 330 secs
lola: 8099243 markings, 35135455 edges, 23236 markings/sec, 335 secs
lola: 8214790 markings, 35657836 edges, 23109 markings/sec, 340 secs
lola: 8331010 markings, 36170678 edges, 23244 markings/sec, 345 secs
lola: 8446620 markings, 36695805 edges, 23122 markings/sec, 350 secs
lola: 8562230 markings, 37213363 edges, 23122 markings/sec, 355 secs
lola: 8678059 markings, 37725881 edges, 23166 markings/sec, 360 secs
lola: 8793526 markings, 38244102 edges, 23093 markings/sec, 365 secs
lola: 8909100 markings, 38760504 edges, 23115 markings/sec, 370 secs
lola: 9024735 markings, 39275034 edges, 23127 markings/sec, 375 secs
lola: 9139740 markings, 39801872 edges, 23001 markings/sec, 380 secs
lola: 9254988 markings, 40322899 edges, 23050 markings/sec, 385 secs
lola: 9370515 markings, 40838700 edges, 23105 markings/sec, 390 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 396 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p130)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 14 will run for 594 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p35)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 105353 markings, 447484 edges, 21071 markings/sec, 0 secs
lola: 209261 markings, 888799 edges, 20782 markings/sec, 5 secs
lola: 312739 markings, 1332508 edges, 20696 markings/sec, 10 secs
lola: 415597 markings, 1783608 edges, 20572 markings/sec, 15 secs
lola: 519029 markings, 2222309 edges, 20686 markings/sec, 20 secs
lola: 621797 markings, 2660742 edges, 20554 markings/sec, 25 secs
lola: 724324 markings, 3104995 edges, 20505 markings/sec, 30 secs
lola: 826732 markings, 3550482 edges, 20482 markings/sec, 35 secs
lola: 929644 markings, 3993178 edges, 20582 markings/sec, 40 secs
lola: 1032236 markings, 4428043 edges, 20518 markings/sec, 45 secs
lola: 1134526 markings, 4868102 edges, 20458 markings/sec, 50 secs
lola: 1237379 markings, 5313362 edges, 20571 markings/sec, 55 secs
lola: 1341231 markings, 5756041 edges, 20770 markings/sec, 60 secs
lola: 1444965 markings, 6195927 edges, 20747 markings/sec, 65 secs
lola: 1548608 markings, 6644600 edges, 20729 markings/sec, 70 secs
lola: 1654307 markings, 7091136 edges, 21140 markings/sec, 75 secs
lola: 1758952 markings, 7540057 edges, 20929 markings/sec, 80 secs
lola: 1863006 markings, 7987825 edges, 20811 markings/sec, 85 secs
lola: 1966660 markings, 8438223 edges, 20731 markings/sec, 90 secs
lola: 2070779 markings, 8880969 edges, 20824 markings/sec, 95 secs
lola: 2174555 markings, 9319555 edges, 20755 markings/sec, 100 secs
lola: 2277897 markings, 9763475 edges, 20668 markings/sec, 105 secs
lola: 2381067 markings, 10212360 edges, 20634 markings/sec, 110 secs
lola: 2484125 markings, 10660660 edges, 20612 markings/sec, 115 secs
lola: 2587725 markings, 11102125 edges, 20720 markings/sec, 120 secs
lola: 2690491 markings, 11538051 edges, 20553 markings/sec, 125 secs
lola: 2793054 markings, 11985414 edges, 20513 markings/sec, 130 secs
lola: 2895487 markings, 12429602 edges, 20487 markings/sec, 135 secs
lola: 2998830 markings, 12870730 edges, 20669 markings/sec, 140 secs
lola: 3101995 markings, 13308011 edges, 20633 markings/sec, 145 secs
lola: 3204772 markings, 13756861 edges, 20555 markings/sec, 150 secs
lola: 3307150 markings, 14199376 edges, 20476 markings/sec, 155 secs
lola: 3409498 markings, 14644520 edges, 20470 markings/sec, 160 secs
lola: 3511969 markings, 15082294 edges, 20494 markings/sec, 165 secs
lola: 3614872 markings, 15519904 edges, 20581 markings/sec, 170 secs
lola: 3717273 markings, 15959280 edges, 20480 markings/sec, 175 secs
lola: 3819192 markings, 16406079 edges, 20384 markings/sec, 180 secs
lola: 3921773 markings, 16844732 edges, 20516 markings/sec, 185 secs
lola: 4023945 markings, 17276795 edges, 20434 markings/sec, 190 secs
lola: 4126174 markings, 17715839 edges, 20446 markings/sec, 195 secs
lola: 4228143 markings, 18156035 edges, 20394 markings/sec, 200 secs
lola: 4330377 markings, 18599275 edges, 20447 markings/sec, 205 secs
lola: 4432506 markings, 19044341 edges, 20426 markings/sec, 210 secs
lola: 4534739 markings, 19491297 edges, 20447 markings/sec, 215 secs
lola: 4636774 markings, 19938135 edges, 20407 markings/sec, 220 secs
lola: 4738948 markings, 20385383 edges, 20435 markings/sec, 225 secs
lola: 4840914 markings, 20833268 edges, 20393 markings/sec, 230 secs
lola: 4943304 markings, 21271074 edges, 20478 markings/sec, 235 secs
lola: 5043713 markings, 21695893 edges, 20082 markings/sec, 240 secs
lola: 5144675 markings, 22132347 edges, 20192 markings/sec, 245 secs
lola: 5245396 markings, 22571761 edges, 20144 markings/sec, 250 secs
lola: 5346103 markings, 23014405 edges, 20141 markings/sec, 255 secs
lola: 5447757 markings, 23443565 edges, 20331 markings/sec, 260 secs
lola: 5548715 markings, 23875383 edges, 20192 markings/sec, 265 secs
lola: 5649700 markings, 24313974 edges, 20197 markings/sec, 270 secs
lola: 5751262 markings, 24760024 edges, 20312 markings/sec, 275 secs
lola: 5852937 markings, 25199459 edges, 20335 markings/sec, 280 secs
lola: 5954600 markings, 25645845 edges, 20333 markings/sec, 285 secs
lola: 6055662 markings, 26083709 edges, 20212 markings/sec, 290 secs
lola: 6156615 markings, 26527373 edges, 20191 markings/sec, 295 secs
lola: 6257231 markings, 26973561 edges, 20123 markings/sec, 300 secs
lola: 6358451 markings, 27422416 edges, 20244 markings/sec, 305 secs
lola: 6459899 markings, 27864430 edges, 20290 markings/sec, 310 secs
lola: 6561161 markings, 28308852 edges, 20252 markings/sec, 315 secs
lola: 6663359 markings, 28742618 edges, 20440 markings/sec, 320 secs
lola: 6764903 markings, 29178372 edges, 20309 markings/sec, 325 secs
lola: 6866367 markings, 29614853 edges, 20293 markings/sec, 330 secs
lola: 6967407 markings, 30059276 edges, 20208 markings/sec, 335 secs
lola: 7068267 markings, 30503041 edges, 20172 markings/sec, 340 secs
lola: 7170655 markings, 30936508 edges, 20478 markings/sec, 345 secs
lola: 7272012 markings, 31366877 edges, 20271 markings/sec, 350 secs
lola: 7373266 markings, 31802311 edges, 20251 markings/sec, 355 secs
lola: 7474102 markings, 32240248 edges, 20167 markings/sec, 360 secs
lola: 7575662 markings, 32678536 edges, 20312 markings/sec, 365 secs
lola: 7677581 markings, 33115688 edges, 20384 markings/sec, 370 secs
lola: 7779324 markings, 33546940 edges, 20349 markings/sec, 375 secs
lola: 7880551 markings, 33983140 edges, 20245 markings/sec, 380 secs
lola: 7982316 markings, 34420491 edges, 20353 markings/sec, 385 secs
lola: 8084226 markings, 34863428 edges, 20382 markings/sec, 390 secs
lola: 8185668 markings, 35309468 edges, 20288 markings/sec, 395 secs
lola: 8288148 markings, 35746739 edges, 20496 markings/sec, 400 secs
lola: 8390029 markings, 36181543 edges, 20376 markings/sec, 405 secs
lola: 8492025 markings, 36619278 edges, 20399 markings/sec, 410 secs
lola: 8593786 markings, 37063641 edges, 20352 markings/sec, 415 secs
lola: 8695378 markings, 37506338 edges, 20318 markings/sec, 420 secs
lola: 8796420 markings, 37956559 edges, 20208 markings/sec, 425 secs
lola: 8897531 markings, 38415568 edges, 20222 markings/sec, 430 secs
lola: 8999311 markings, 38865175 edges, 20356 markings/sec, 435 secs
lola: 9100996 markings, 39314369 edges, 20337 markings/sec, 440 secs
lola: 9202510 markings, 39762831 edges, 20303 markings/sec, 445 secs
lola: 9304266 markings, 40203203 edges, 20351 markings/sec, 450 secs
lola: 9405635 markings, 40651781 edges, 20274 markings/sec, 455 secs
lola: 9507019 markings, 41090354 edges, 20277 markings/sec, 460 secs
lola: 9608367 markings, 41529852 edges, 20270 markings/sec, 465 secs
lola: 9710271 markings, 41960515 edges, 20381 markings/sec, 470 secs
lola: 9811348 markings, 42395455 edges, 20215 markings/sec, 475 secs
lola: 9912258 markings, 42832180 edges, 20182 markings/sec, 480 secs
lola: 10012846 markings, 43268682 edges, 20118 markings/sec, 485 secs
lola: 10114297 markings, 43701624 edges, 20290 markings/sec, 490 secs
lola: 10215554 markings, 44133292 edges, 20251 markings/sec, 495 secs
lola: 10316683 markings, 44569773 edges, 20226 markings/sec, 500 secs
lola: 10417627 markings, 45010404 edges, 20189 markings/sec, 505 secs
lola: 10518710 markings, 45449148 edges, 20217 markings/sec, 510 secs
lola: 10619635 markings, 45892716 edges, 20185 markings/sec, 515 secs
lola: 10720291 markings, 46338134 edges, 20131 markings/sec, 520 secs
lola: 10820543 markings, 46782030 edges, 20050 markings/sec, 525 secs
lola: 10921339 markings, 47223522 edges, 20159 markings/sec, 530 secs
lola: 11021690 markings, 47669221 edges, 20070 markings/sec, 535 secs
lola: 11122047 markings, 48112156 edges, 20071 markings/sec, 540 secs
lola: 11222193 markings, 48554168 edges, 20029 markings/sec, 545 secs
lola: 11322514 markings, 49001009 edges, 20064 markings/sec, 550 secs
lola: 11422646 markings, 49447268 edges, 20026 markings/sec, 555 secs
lola: 11522705 markings, 49892581 edges, 20012 markings/sec, 560 secs
lola: 11622731 markings, 50342315 edges, 20005 markings/sec, 565 secs
lola: 11723444 markings, 50786792 edges, 20143 markings/sec, 570 secs
lola: 11823127 markings, 51228383 edges, 19937 markings/sec, 575 secs
lola: 11923428 markings, 51670914 edges, 20060 markings/sec, 580 secs
lola: 12023536 markings, 52112379 edges, 20022 markings/sec, 585 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 594 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p68)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 16 bytes per marking, with 19 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: 124793 markings, 514094 edges, 24959 markings/sec, 0 secs
lola: 247306 markings, 1034923 edges, 24503 markings/sec, 5 secs
lola: 369839 markings, 1540923 edges, 24507 markings/sec, 10 secs
lola: 491338 markings, 2062825 edges, 24300 markings/sec, 15 secs
lola: 612010 markings, 2591281 edges, 24134 markings/sec, 20 secs
lola: 732510 markings, 3115072 edges, 24100 markings/sec, 25 secs
lola: 852750 markings, 3639126 edges, 24048 markings/sec, 30 secs
lola: 972728 markings, 4168440 edges, 23996 markings/sec, 35 secs
lola: 1092469 markings, 4696703 edges, 23948 markings/sec, 40 secs
lola: 1215213 markings, 5212422 edges, 24549 markings/sec, 45 secs
lola: 1338335 markings, 5723820 edges, 24624 markings/sec, 50 secs
lola: 1460415 markings, 6228894 edges, 24416 markings/sec, 55 secs
lola: 1581420 markings, 6742854 edges, 24201 markings/sec, 60 secs
lola: 1702597 markings, 7257395 edges, 24235 markings/sec, 65 secs
lola: 1824768 markings, 7761965 edges, 24434 markings/sec, 70 secs
lola: 1946556 markings, 8271744 edges, 24358 markings/sec, 75 secs
lola: 2067438 markings, 8791866 edges, 24176 markings/sec, 80 secs
lola: 2189124 markings, 9294685 edges, 24337 markings/sec, 85 secs
lola: 2311254 markings, 9797615 edges, 24426 markings/sec, 90 secs
lola: 2431850 markings, 10314050 edges, 24119 markings/sec, 95 secs
lola: 2553432 markings, 10822263 edges, 24316 markings/sec, 100 secs
lola: 2675597 markings, 11327099 edges, 24433 markings/sec, 105 secs
lola: 2796359 markings, 11840654 edges, 24152 markings/sec, 110 secs
lola: 2917084 markings, 12353392 edges, 24145 markings/sec, 115 secs
lola: 3038854 markings, 12859982 edges, 24354 markings/sec, 120 secs
lola: 3159928 markings, 13382715 edges, 24215 markings/sec, 125 secs
lola: 3281225 markings, 13907807 edges, 24259 markings/sec, 130 secs
lola: 3402031 markings, 14433816 edges, 24161 markings/sec, 135 secs
lola: 3522649 markings, 14965648 edges, 24124 markings/sec, 140 secs
lola: 3642884 markings, 15487502 edges, 24047 markings/sec, 145 secs
lola: 3762153 markings, 16010218 edges, 23854 markings/sec, 150 secs
lola: 3881200 markings, 16538869 edges, 23809 markings/sec, 155 secs
lola: 4000335 markings, 17065720 edges, 23827 markings/sec, 160 secs
lola: 4119605 markings, 17596702 edges, 23854 markings/sec, 165 secs
lola: 4239080 markings, 18121877 edges, 23895 markings/sec, 170 secs
lola: 4358828 markings, 18651060 edges, 23950 markings/sec, 175 secs
lola: 4478223 markings, 19186010 edges, 23879 markings/sec, 180 secs
lola: 4598215 markings, 19698817 edges, 23998 markings/sec, 185 secs
lola: 4717456 markings, 20212771 edges, 23848 markings/sec, 190 secs
lola: 4836686 markings, 20731473 edges, 23846 markings/sec, 195 secs
lola: 4955995 markings, 21252504 edges, 23862 markings/sec, 200 secs
lola: 5075049 markings, 21781591 edges, 23811 markings/sec, 205 secs
lola: 5194328 markings, 22313127 edges, 23856 markings/sec, 210 secs
lola: 5313337 markings, 22846261 edges, 23802 markings/sec, 215 secs
lola: 5432303 markings, 23373170 edges, 23793 markings/sec, 220 secs
lola: 5550849 markings, 23905553 edges, 23709 markings/sec, 225 secs
lola: 5669832 markings, 24430562 edges, 23797 markings/sec, 230 secs
lola: 5788643 markings, 24957395 edges, 23762 markings/sec, 235 secs
lola: 5907442 markings, 25480793 edges, 23760 markings/sec, 240 secs
lola: 6026358 markings, 25999120 edges, 23783 markings/sec, 245 secs
lola: 6144665 markings, 26524722 edges, 23661 markings/sec, 250 secs
lola: 6263124 markings, 27049189 edges, 23692 markings/sec, 255 secs
lola: 6381207 markings, 27569416 edges, 23617 markings/sec, 260 secs
lola: 6498829 markings, 28100254 edges, 23524 markings/sec, 265 secs
lola: 6617418 markings, 28621372 edges, 23718 markings/sec, 270 secs
lola: 6735753 markings, 29148822 edges, 23667 markings/sec, 275 secs
lola: 6854237 markings, 29670589 edges, 23697 markings/sec, 280 secs
lola: 6971924 markings, 30200731 edges, 23537 markings/sec, 285 secs
lola: 7090364 markings, 30725050 edges, 23688 markings/sec, 290 secs
lola: 7208787 markings, 31256310 edges, 23685 markings/sec, 295 secs
lola: 7327556 markings, 31779780 edges, 23754 markings/sec, 300 secs
lola: 7445314 markings, 32311916 edges, 23552 markings/sec, 305 secs
lola: 7563095 markings, 32844174 edges, 23556 markings/sec, 310 secs
lola: 7681359 markings, 33372755 edges, 23653 markings/sec, 315 secs
lola: 7798948 markings, 33904217 edges, 23518 markings/sec, 320 secs
lola: 7916343 markings, 34432726 edges, 23479 markings/sec, 325 secs
lola: 8033914 markings, 34958320 edges, 23514 markings/sec, 330 secs
lola: 8150850 markings, 35485362 edges, 23387 markings/sec, 335 secs
lola: 8268429 markings, 36003504 edges, 23516 markings/sec, 340 secs
lola: 8385601 markings, 36519369 edges, 23434 markings/sec, 345 secs
lola: 8502114 markings, 37045844 edges, 23303 markings/sec, 350 secs
lola: 8618758 markings, 37570889 edges, 23329 markings/sec, 355 secs
lola: 8734957 markings, 38100680 edges, 23240 markings/sec, 360 secs
lola: 8851803 markings, 38615517 edges, 23369 markings/sec, 365 secs
lola: 8968842 markings, 39136071 edges, 23408 markings/sec, 370 secs
lola: 9085507 markings, 39664952 edges, 23333 markings/sec, 375 secs
lola: 9202961 markings, 40186189 edges, 23491 markings/sec, 380 secs
lola: 9320258 markings, 40709305 edges, 23459 markings/sec, 385 secs
lola: 9437478 markings, 41240321 edges, 23444 markings/sec, 390 secs
lola: 9555456 markings, 41756883 edges, 23596 markings/sec, 395 secs
lola: 9675230 markings, 42258383 edges, 23955 markings/sec, 400 secs
lola: 9794349 markings, 42754877 edges, 23824 markings/sec, 405 secs
lola: 9913057 markings, 43252168 edges, 23742 markings/sec, 410 secs
lola: 10031443 markings, 43762344 edges, 23677 markings/sec, 415 secs
lola: 10149716 markings, 44276379 edges, 23655 markings/sec, 420 secs
lola: 10268603 markings, 44786774 edges, 23777 markings/sec, 425 secs
lola: 10388369 markings, 45285517 edges, 23953 markings/sec, 430 secs
lola: 10507047 markings, 45795734 edges, 23736 markings/sec, 435 secs
lola: 10624577 markings, 46312193 edges, 23506 markings/sec, 440 secs
lola: 10742350 markings, 46812312 edges, 23555 markings/sec, 445 secs
lola: 10860322 markings, 47306058 edges, 23594 markings/sec, 450 secs
lola: 10978272 markings, 47812651 edges, 23590 markings/sec, 455 secs
lola: 11095807 markings, 48325802 edges, 23507 markings/sec, 460 secs
lola: 11213203 markings, 48840587 edges, 23479 markings/sec, 465 secs
lola: 11330245 markings, 49352903 edges, 23408 markings/sec, 470 secs
lola: 11446584 markings, 49869501 edges, 23268 markings/sec, 475 secs
lola: 11562307 markings, 50400854 edges, 23145 markings/sec, 480 secs
lola: 11679697 markings, 50923068 edges, 23478 markings/sec, 485 secs
lola: 11796780 markings, 51453612 edges, 23417 markings/sec, 490 secs
lola: 11914546 markings, 51978636 edges, 23553 markings/sec, 495 secs
lola: 12031836 markings, 52504527 edges, 23458 markings/sec, 500 secs
lola: 12148782 markings, 53040374 edges, 23389 markings/sec, 505 secs
lola: 12265247 markings, 53565235 edges, 23293 markings/sec, 510 secs
lola: 12382019 markings, 54098274 edges, 23354 markings/sec, 515 secs
lola: 12499550 markings, 54620678 edges, 23506 markings/sec, 520 secs
lola: 12617308 markings, 55148458 edges, 23552 markings/sec, 525 secs
lola: 12734477 markings, 55676931 edges, 23434 markings/sec, 530 secs
lola: 12851672 markings, 56210800 edges, 23439 markings/sec, 535 secs
lola: 12968979 markings, 56740378 edges, 23461 markings/sec, 540 secs
lola: 13085311 markings, 57275411 edges, 23266 markings/sec, 545 secs
lola: 13202507 markings, 57800457 edges, 23439 markings/sec, 550 secs
lola: 13319849 markings, 58327431 edges, 23468 markings/sec, 555 secs
lola: 13437660 markings, 58847492 edges, 23562 markings/sec, 560 secs
lola: 13555446 markings, 59355551 edges, 23557 markings/sec, 565 secs
lola: 13673258 markings, 59867432 edges, 23562 markings/sec, 570 secs
lola: 13790241 markings, 60392064 edges, 23397 markings/sec, 575 secs
lola: 13907774 markings, 60908205 edges, 23507 markings/sec, 580 secs
lola: 14024844 markings, 61437846 edges, 23414 markings/sec, 585 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown unknown 1 unknown 1 unknown 1 unknown 1 unknown 1 unknown unknown 1 unknown unknown
FORMULA DLCshifumi-PT-2a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DLCshifumi-PT-2a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1494645009480

--------------------
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-2a"
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-2a.tgz
mv DLCshifumi-PT-2a 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-2a, 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-149436309300443"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;