About the Execution of LoLA for AutoFlight-PT-48b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1412.610 | 3539698.00 | 3550191.00 | 217.50 | ? ? ? ? 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-3254
Executing tool lola
Input is AutoFlight-PT-48b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r008-csrt-149436126100263
=====================================================================
--------------------
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 AutoFlight-PT-48b-UpperBounds-0
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-1
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-10
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-11
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-12
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-13
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-14
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-15
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-2
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-3
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-4
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-5
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-6
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-7
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-8
FORMULA_NAME AutoFlight-PT-48b-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1494603692624
Time: 3600 - MCC
----- Start make prepare stdout -----
checking for too many tokens
----- Start make result stdout -----
UpperBounds @ AutoFlight-PT-48b @ 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: 7886/65536 symbol table entries, 1706 collisions
lola: preprocessing...
lola: finding significant places
lola: 3950 places, 3936 transitions, 3692 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4350 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-48b-UpperBounds.task
lola: MAX(p2780) : MAX(p2118) : MAX(p2648) : MAX(p3846) : MAX(p1357) : MAX(p2625) : MAX(p2543) : MAX(p2044) : MAX(p1316) : MAX(p1416) : MAX(p2899) : MAX(p2915) : MAX(p2453) : MAX(p1636) : MAX(p932) : MAX(p1383)
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(p2780)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 82566 markings, 243431 edges, 16513 markings/sec, 0 secs
lola: 164315 markings, 514203 edges, 16350 markings/sec, 5 secs
lola: 237660 markings, 805371 edges, 14669 markings/sec, 10 secs
lola: 305838 markings, 1087453 edges, 13636 markings/sec, 15 secs
lola: 374615 markings, 1367825 edges, 13755 markings/sec, 20 secs
lola: 438720 markings, 1642100 edges, 12821 markings/sec, 25 secs
lola: 502772 markings, 1916304 edges, 12810 markings/sec, 30 secs
lola: 568362 markings, 2183764 edges, 13118 markings/sec, 35 secs
lola: 637105 markings, 2465496 edges, 13749 markings/sec, 40 secs
lola: 706899 markings, 2747140 edges, 13959 markings/sec, 45 secs
lola: 774067 markings, 3034780 edges, 13434 markings/sec, 50 secs
lola: 840386 markings, 3319565 edges, 13264 markings/sec, 55 secs
lola: 910399 markings, 3601017 edges, 14003 markings/sec, 60 secs
lola: 979586 markings, 3887035 edges, 13837 markings/sec, 65 secs
lola: 1049112 markings, 4171028 edges, 13905 markings/sec, 70 secs
lola: 1116489 markings, 4460891 edges, 13475 markings/sec, 75 secs
lola: 1184944 markings, 4746038 edges, 13691 markings/sec, 80 secs
lola: 1254870 markings, 5030208 edges, 13985 markings/sec, 85 secs
lola: 1322969 markings, 5315531 edges, 13620 markings/sec, 90 secs
lola: 1385967 markings, 5608175 edges, 12600 markings/sec, 95 secs
lola: 1444299 markings, 5913603 edges, 11666 markings/sec, 100 secs
lola: 1502879 markings, 6221141 edges, 11716 markings/sec, 105 secs
lola: 1570451 markings, 6510634 edges, 13514 markings/sec, 110 secs
lola: 1639332 markings, 6799373 edges, 13776 markings/sec, 115 secs
lola: 1709541 markings, 7083873 edges, 14042 markings/sec, 120 secs
lola: 1776590 markings, 7364799 edges, 13410 markings/sec, 125 secs
lola: 1843579 markings, 7652127 edges, 13398 markings/sec, 130 secs
lola: 1912686 markings, 7935251 edges, 13821 markings/sec, 135 secs
lola: 1981324 markings, 8218867 edges, 13728 markings/sec, 140 secs
lola: 2051454 markings, 8502334 edges, 14026 markings/sec, 145 secs
lola: 2119986 markings, 8793483 edges, 13706 markings/sec, 150 secs
lola: 2187950 markings, 9085779 edges, 13593 markings/sec, 155 secs
lola: 2248575 markings, 9387457 edges, 12125 markings/sec, 160 secs
lola: 2306415 markings, 9690322 edges, 11568 markings/sec, 165 secs
lola: 2363867 markings, 9982239 edges, 11490 markings/sec, 170 secs
lola: 2422334 markings, 10283145 edges, 11693 markings/sec, 175 secs
lola: 2479513 markings, 10576200 edges, 11436 markings/sec, 180 secs
lola: 2536741 markings, 10869152 edges, 11446 markings/sec, 185 secs
lola: 2594733 markings, 11165773 edges, 11598 markings/sec, 190 secs
lola: 2655292 markings, 11478202 edges, 12112 markings/sec, 195 secs
lola: 2716708 markings, 11789597 edges, 12283 markings/sec, 200 secs
lola: 2774985 markings, 12089544 edges, 11655 markings/sec, 205 secs
lola: 2834198 markings, 12395302 edges, 11843 markings/sec, 210 secs
lola: 2894556 markings, 12700605 edges, 12072 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(p2118)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 95030 markings, 271759 edges, 19006 markings/sec, 0 secs
lola: 182479 markings, 551754 edges, 17490 markings/sec, 5 secs
lola: 262856 markings, 852987 edges, 16075 markings/sec, 10 secs
lola: 349008 markings, 1130429 edges, 17230 markings/sec, 15 secs
lola: 428416 markings, 1420827 edges, 15882 markings/sec, 20 secs
lola: 512227 markings, 1701135 edges, 16762 markings/sec, 25 secs
lola: 594674 markings, 1988083 edges, 16489 markings/sec, 30 secs
lola: 677439 markings, 2280884 edges, 16553 markings/sec, 35 secs
lola: 766512 markings, 2569270 edges, 17815 markings/sec, 40 secs
lola: 845899 markings, 2872498 edges, 15877 markings/sec, 45 secs
lola: 939432 markings, 3152908 edges, 18707 markings/sec, 50 secs
lola: 1017138 markings, 3465695 edges, 15541 markings/sec, 55 secs
lola: 1111344 markings, 3733749 edges, 18841 markings/sec, 60 secs
lola: 1208559 markings, 4008938 edges, 19443 markings/sec, 65 secs
lola: 1301358 markings, 4301757 edges, 18560 markings/sec, 70 secs
lola: 1394628 markings, 4591428 edges, 18654 markings/sec, 75 secs
lola: 1473302 markings, 4884011 edges, 15735 markings/sec, 80 secs
lola: 1552234 markings, 5176254 edges, 15786 markings/sec, 85 secs
lola: 1631553 markings, 5467433 edges, 15864 markings/sec, 90 secs
lola: 1709585 markings, 5758287 edges, 15606 markings/sec, 95 secs
lola: 1787607 markings, 6045092 edges, 15604 markings/sec, 100 secs
lola: 1865085 markings, 6332872 edges, 15496 markings/sec, 105 secs
lola: 1944766 markings, 6623616 edges, 15936 markings/sec, 110 secs
lola: 2024712 markings, 6912304 edges, 15989 markings/sec, 115 secs
lola: 2101844 markings, 7207640 edges, 15426 markings/sec, 120 secs
lola: 2177221 markings, 7484584 edges, 15075 markings/sec, 125 secs
lola: 2251801 markings, 7762326 edges, 14916 markings/sec, 130 secs
lola: 2326382 markings, 8039535 edges, 14916 markings/sec, 135 secs
lola: 2409401 markings, 8328926 edges, 16604 markings/sec, 140 secs
lola: 2488376 markings, 8623136 edges, 15795 markings/sec, 145 secs
lola: 2565607 markings, 8915154 edges, 15446 markings/sec, 150 secs
lola: 2644105 markings, 9194802 edges, 15700 markings/sec, 155 secs
lola: 2720451 markings, 9481012 edges, 15269 markings/sec, 160 secs
lola: 2795088 markings, 9766397 edges, 14927 markings/sec, 165 secs
lola: 2875323 markings, 10053575 edges, 16047 markings/sec, 170 secs
lola: 2954133 markings, 10349280 edges, 15762 markings/sec, 175 secs
lola: 3031089 markings, 10638410 edges, 15391 markings/sec, 180 secs
lola: 3111501 markings, 10929266 edges, 16082 markings/sec, 185 secs
lola: 3187494 markings, 11211393 edges, 15199 markings/sec, 190 secs
lola: 3261213 markings, 11489620 edges, 14744 markings/sec, 195 secs
lola: 3340519 markings, 11772835 edges, 15861 markings/sec, 200 secs
lola: 3429076 markings, 12082622 edges, 17711 markings/sec, 205 secs
lola: 3516350 markings, 12387831 edges, 17455 markings/sec, 210 secs
lola: 3605187 markings, 12698930 edges, 17767 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(p2648)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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(p3846)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 184509 markings, 303405 edges, 36902 markings/sec, 0 secs
lola: 351759 markings, 630878 edges, 33450 markings/sec, 5 secs
lola: 521988 markings, 958018 edges, 34046 markings/sec, 10 secs
lola: 692619 markings, 1290039 edges, 34126 markings/sec, 15 secs
lola: 852976 markings, 1615710 edges, 32071 markings/sec, 20 secs
lola: 1034458 markings, 1929779 edges, 36296 markings/sec, 25 secs
lola: 1194032 markings, 2261818 edges, 31915 markings/sec, 30 secs
lola: 1354118 markings, 2598975 edges, 32017 markings/sec, 35 secs
lola: 1529990 markings, 2918948 edges, 35174 markings/sec, 40 secs
lola: 1701125 markings, 3244736 edges, 34227 markings/sec, 45 secs
lola: 1854189 markings, 3580713 edges, 30613 markings/sec, 50 secs
lola: 2018498 markings, 3896568 edges, 32862 markings/sec, 55 secs
lola: 2201015 markings, 4213050 edges, 36503 markings/sec, 60 secs
lola: 2357209 markings, 4567281 edges, 31239 markings/sec, 65 secs
lola: 2525451 markings, 4897877 edges, 33648 markings/sec, 70 secs
lola: 2701279 markings, 5191666 edges, 35166 markings/sec, 75 secs
lola: 2846390 markings, 5512483 edges, 29022 markings/sec, 80 secs
lola: 2999092 markings, 5829056 edges, 30540 markings/sec, 85 secs
lola: 3166335 markings, 6130375 edges, 33449 markings/sec, 90 secs
lola: 3328581 markings, 6437467 edges, 32449 markings/sec, 95 secs
lola: 3475011 markings, 6763564 edges, 29286 markings/sec, 100 secs
lola: 3639982 markings, 7083797 edges, 32994 markings/sec, 105 secs
lola: 3816889 markings, 7373171 edges, 35381 markings/sec, 110 secs
lola: 3995170 markings, 7670962 edges, 35656 markings/sec, 115 secs
lola: 4162701 markings, 7983517 edges, 33506 markings/sec, 120 secs
lola: 4329450 markings, 8294271 edges, 33350 markings/sec, 125 secs
lola: 4504078 markings, 8620071 edges, 34926 markings/sec, 130 secs
lola: 4679900 markings, 8945851 edges, 35164 markings/sec, 135 secs
lola: 4842954 markings, 9267341 edges, 32611 markings/sec, 140 secs
lola: 5002888 markings, 9598735 edges, 31987 markings/sec, 145 secs
lola: 5168199 markings, 9931950 edges, 33062 markings/sec, 150 secs
lola: 5326837 markings, 10256825 edges, 31728 markings/sec, 155 secs
lola: 5489293 markings, 10583559 edges, 32491 markings/sec, 160 secs
lola: 5648821 markings, 10907664 edges, 31906 markings/sec, 165 secs
lola: 5805532 markings, 11238442 edges, 31342 markings/sec, 170 secs
lola: 5965835 markings, 11562666 edges, 32061 markings/sec, 175 secs
lola: 6129959 markings, 11885680 edges, 32825 markings/sec, 180 secs
lola: 6285054 markings, 12210600 edges, 31019 markings/sec, 185 secs
lola: 6437333 markings, 12531157 edges, 30456 markings/sec, 190 secs
lola: 6603363 markings, 12862839 edges, 33206 markings/sec, 195 secs
lola: 6761340 markings, 13199399 edges, 31595 markings/sec, 200 secs
lola: 6929184 markings, 13525033 edges, 33569 markings/sec, 205 secs
lola: 7087350 markings, 13852233 edges, 31633 markings/sec, 210 secs
lola: 7242852 markings, 14176113 edges, 31100 markings/sec, 215 secs
lola: 7405292 markings, 14501614 edges, 32488 markings/sec, 220 secs
lola: 7563918 markings, 14825896 edges, 31725 markings/sec, 225 secs
lola: 7719306 markings, 15145767 edges, 31078 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(p1357)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 88485 markings, 274425 edges, 17697 markings/sec, 0 secs
lola: 168945 markings, 556668 edges, 16092 markings/sec, 5 secs
lola: 251870 markings, 842120 edges, 16585 markings/sec, 10 secs
lola: 336066 markings, 1121767 edges, 16839 markings/sec, 15 secs
lola: 413704 markings, 1381163 edges, 15528 markings/sec, 20 secs
lola: 496122 markings, 1653746 edges, 16484 markings/sec, 25 secs
lola: 585696 markings, 1923913 edges, 17915 markings/sec, 30 secs
lola: 665721 markings, 2195900 edges, 16005 markings/sec, 35 secs
lola: 744253 markings, 2479863 edges, 15706 markings/sec, 40 secs
lola: 821630 markings, 2764014 edges, 15475 markings/sec, 45 secs
lola: 902491 markings, 3055649 edges, 16172 markings/sec, 50 secs
lola: 980962 markings, 3344685 edges, 15694 markings/sec, 55 secs
lola: 1057502 markings, 3623239 edges, 15308 markings/sec, 60 secs
lola: 1136257 markings, 3903744 edges, 15751 markings/sec, 65 secs
lola: 1213047 markings, 4183391 edges, 15358 markings/sec, 70 secs
lola: 1289788 markings, 4460406 edges, 15348 markings/sec, 75 secs
lola: 1367930 markings, 4752533 edges, 15628 markings/sec, 80 secs
lola: 1447295 markings, 5041149 edges, 15873 markings/sec, 85 secs
lola: 1529175 markings, 5334796 edges, 16376 markings/sec, 90 secs
lola: 1618157 markings, 5641447 edges, 17796 markings/sec, 95 secs
lola: 1703008 markings, 5938779 edges, 16970 markings/sec, 100 secs
lola: 1783724 markings, 6232876 edges, 16143 markings/sec, 105 secs
lola: 1862438 markings, 6522367 edges, 15743 markings/sec, 110 secs
lola: 1940694 markings, 6808639 edges, 15651 markings/sec, 115 secs
lola: 2016309 markings, 7086027 edges, 15123 markings/sec, 120 secs
lola: 2091610 markings, 7363053 edges, 15060 markings/sec, 125 secs
lola: 2169293 markings, 7645058 edges, 15537 markings/sec, 130 secs
lola: 2252568 markings, 7939012 edges, 16655 markings/sec, 135 secs
lola: 2332191 markings, 8229445 edges, 15925 markings/sec, 140 secs
lola: 2409478 markings, 8513738 edges, 15457 markings/sec, 145 secs
lola: 2484908 markings, 8789762 edges, 15086 markings/sec, 150 secs
lola: 2560623 markings, 9066706 edges, 15143 markings/sec, 155 secs
lola: 2636623 markings, 9346550 edges, 15200 markings/sec, 160 secs
lola: 2714764 markings, 9630998 edges, 15628 markings/sec, 165 secs
lola: 2798639 markings, 9928543 edges, 16775 markings/sec, 170 secs
lola: 2880816 markings, 10227241 edges, 16435 markings/sec, 175 secs
lola: 2961894 markings, 10525115 edges, 16216 markings/sec, 180 secs
lola: 3044845 markings, 10827779 edges, 16590 markings/sec, 185 secs
lola: 3123687 markings, 11116210 edges, 15768 markings/sec, 190 secs
lola: 3202458 markings, 11404378 edges, 15754 markings/sec, 195 secs
lola: 3286640 markings, 11709118 edges, 16836 markings/sec, 200 secs
lola: 3375793 markings, 12015611 edges, 17831 markings/sec, 205 secs
lola: 3466703 markings, 12324229 edges, 18182 markings/sec, 210 secs
lola: 3556390 markings, 12628727 edges, 17937 markings/sec, 215 secs
lola: 3641111 markings, 12929396 edges, 16944 markings/sec, 220 secs
lola: 3725423 markings, 13231954 edges, 16862 markings/sec, 225 secs
lola: 3806573 markings, 13531590 edges, 16230 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 238 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2625)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 6 will run for 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2543)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 88441 markings, 260183 edges, 17688 markings/sec, 0 secs
lola: 174729 markings, 533007 edges, 17258 markings/sec, 5 secs
lola: 257434 markings, 794046 edges, 16541 markings/sec, 10 secs
lola: 340084 markings, 1054773 edges, 16530 markings/sec, 15 secs
lola: 421878 markings, 1313968 edges, 16359 markings/sec, 20 secs
lola: 503721 markings, 1572895 edges, 16369 markings/sec, 25 secs
lola: 584833 markings, 1828840 edges, 16222 markings/sec, 30 secs
lola: 666352 markings, 2111311 edges, 16304 markings/sec, 35 secs
lola: 739913 markings, 2417819 edges, 14712 markings/sec, 40 secs
lola: 813951 markings, 2724222 edges, 14808 markings/sec, 45 secs
lola: 887082 markings, 3029379 edges, 14626 markings/sec, 50 secs
lola: 960926 markings, 3336380 edges, 14769 markings/sec, 55 secs
lola: 1033916 markings, 3639088 edges, 14598 markings/sec, 60 secs
lola: 1107308 markings, 3945087 edges, 14678 markings/sec, 65 secs
lola: 1180210 markings, 4248113 edges, 14580 markings/sec, 70 secs
lola: 1254234 markings, 4549255 edges, 14805 markings/sec, 75 secs
lola: 1329203 markings, 4847866 edges, 14994 markings/sec, 80 secs
lola: 1401821 markings, 5151973 edges, 14524 markings/sec, 85 secs
lola: 1476154 markings, 5453687 edges, 14867 markings/sec, 90 secs
lola: 1547750 markings, 5760067 edges, 14319 markings/sec, 95 secs
lola: 1622686 markings, 6057751 edges, 14987 markings/sec, 100 secs
lola: 1689842 markings, 6350002 edges, 13431 markings/sec, 105 secs
lola: 1760553 markings, 6636844 edges, 14142 markings/sec, 110 secs
lola: 1827461 markings, 6922226 edges, 13382 markings/sec, 115 secs
lola: 1898881 markings, 7203282 edges, 14284 markings/sec, 120 secs
lola: 1967707 markings, 7489431 edges, 13765 markings/sec, 125 secs
lola: 2037018 markings, 7777526 edges, 13862 markings/sec, 130 secs
lola: 2106461 markings, 8065735 edges, 13889 markings/sec, 135 secs
lola: 2175933 markings, 8354185 edges, 13894 markings/sec, 140 secs
lola: 2247187 markings, 8638758 edges, 14251 markings/sec, 145 secs
lola: 2314439 markings, 8930149 edges, 13450 markings/sec, 150 secs
lola: 2384842 markings, 9215991 edges, 14081 markings/sec, 155 secs
lola: 2452484 markings, 9505155 edges, 13528 markings/sec, 160 secs
lola: 2526814 markings, 9783316 edges, 14866 markings/sec, 165 secs
lola: 2602067 markings, 10059409 edges, 15051 markings/sec, 170 secs
lola: 2671442 markings, 10348177 edges, 13875 markings/sec, 175 secs
lola: 2740664 markings, 10636125 edges, 13844 markings/sec, 180 secs
lola: 2809836 markings, 10923414 edges, 13834 markings/sec, 185 secs
lola: 2879468 markings, 11213341 edges, 13926 markings/sec, 190 secs
lola: 2949313 markings, 11503312 edges, 13969 markings/sec, 195 secs
lola: 3018976 markings, 11792522 edges, 13933 markings/sec, 200 secs
lola: 3090161 markings, 12077644 edges, 14237 markings/sec, 205 secs
lola: 3157499 markings, 12369095 edges, 13468 markings/sec, 210 secs
lola: 3223357 markings, 12663379 edges, 13172 markings/sec, 215 secs
lola: 3286039 markings, 12987780 edges, 12536 markings/sec, 220 secs
lola: 3351268 markings, 13323877 edges, 13046 markings/sec, 225 secs
lola: 3416694 markings, 13656013 edges, 13085 markings/sec, 230 secs
lola: 3480184 markings, 13988771 edges, 12698 markings/sec, 235 secs
lola: 3546947 markings, 14325411 edges, 13353 markings/sec, 240 secs
lola: 3611113 markings, 14663561 edges, 12833 markings/sec, 245 secs
lola: 3677392 markings, 15005126 edges, 13256 markings/sec, 250 secs
lola: 3740850 markings, 15334119 edges, 12692 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2044)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 97616 markings, 280471 edges, 19523 markings/sec, 0 secs
lola: 188521 markings, 572050 edges, 18181 markings/sec, 5 secs
lola: 273663 markings, 881773 edges, 17028 markings/sec, 10 secs
lola: 359698 markings, 1178256 edges, 17207 markings/sec, 15 secs
lola: 449418 markings, 1472220 edges, 17944 markings/sec, 20 secs
lola: 526317 markings, 1764002 edges, 15380 markings/sec, 25 secs
lola: 613373 markings, 2034120 edges, 17411 markings/sec, 30 secs
lola: 688065 markings, 2325857 edges, 14938 markings/sec, 35 secs
lola: 782021 markings, 2607360 edges, 18791 markings/sec, 40 secs
lola: 862314 markings, 2929295 edges, 16059 markings/sec, 45 secs
lola: 958400 markings, 3219361 edges, 19217 markings/sec, 50 secs
lola: 1038006 markings, 3537756 edges, 15921 markings/sec, 55 secs
lola: 1138310 markings, 3805685 edges, 20061 markings/sec, 60 secs
lola: 1237935 markings, 4103144 edges, 19925 markings/sec, 65 secs
lola: 1335652 markings, 4408515 edges, 19543 markings/sec, 70 secs
lola: 1428061 markings, 4709879 edges, 18482 markings/sec, 75 secs
lola: 1511918 markings, 5024478 edges, 16771 markings/sec, 80 secs
lola: 1594346 markings, 5334754 edges, 16486 markings/sec, 85 secs
lola: 1678915 markings, 5641521 edges, 16914 markings/sec, 90 secs
lola: 1762288 markings, 5941676 edges, 16675 markings/sec, 95 secs
lola: 1841062 markings, 6241172 edges, 15755 markings/sec, 100 secs
lola: 1923416 markings, 6543415 edges, 16471 markings/sec, 105 secs
lola: 2006018 markings, 6841325 edges, 16520 markings/sec, 110 secs
lola: 2084576 markings, 7142606 edges, 15712 markings/sec, 115 secs
lola: 2165951 markings, 7437906 edges, 16275 markings/sec, 120 secs
lola: 2245208 markings, 7736956 edges, 15851 markings/sec, 125 secs
lola: 2326277 markings, 8039147 edges, 16214 markings/sec, 130 secs
lola: 2411584 markings, 8341023 edges, 17061 markings/sec, 135 secs
lola: 2494126 markings, 8641454 edges, 16508 markings/sec, 140 secs
lola: 2573111 markings, 8937923 edges, 15797 markings/sec, 145 secs
lola: 2653477 markings, 9233753 edges, 16073 markings/sec, 150 secs
lola: 2733202 markings, 9529625 edges, 15945 markings/sec, 155 secs
lola: 2812433 markings, 9826748 edges, 15846 markings/sec, 160 secs
lola: 2893633 markings, 10123763 edges, 16240 markings/sec, 165 secs
lola: 2975046 markings, 10422740 edges, 16283 markings/sec, 170 secs
lola: 3056610 markings, 10728610 edges, 16313 markings/sec, 175 secs
lola: 3134262 markings, 11017877 edges, 15530 markings/sec, 180 secs
lola: 3216179 markings, 11314791 edges, 16383 markings/sec, 185 secs
lola: 3292129 markings, 11599197 edges, 15190 markings/sec, 190 secs
lola: 3375868 markings, 11896300 edges, 16748 markings/sec, 195 secs
lola: 3464813 markings, 12207681 edges, 17789 markings/sec, 200 secs
lola: 3549688 markings, 12504602 edges, 16975 markings/sec, 205 secs
lola: 3634097 markings, 12800018 edges, 16882 markings/sec, 210 secs
lola: 3716715 markings, 13090490 edges, 16524 markings/sec, 215 secs
lola: 3793834 markings, 13377030 edges, 15424 markings/sec, 220 secs
lola: 3872635 markings, 13663901 edges, 15760 markings/sec, 225 secs
lola: 3948779 markings, 13945520 edges, 15229 markings/sec, 230 secs
lola: 4026296 markings, 14229727 edges, 15503 markings/sec, 235 secs
lola: 4102347 markings, 14509873 edges, 15210 markings/sec, 240 secs
lola: 4177759 markings, 14788744 edges, 15082 markings/sec, 245 secs
lola: 4254583 markings, 15071920 edges, 15365 markings/sec, 250 secs
lola: 4331157 markings, 15351739 edges, 15315 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1316)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 135290 markings, 283692 edges, 27058 markings/sec, 0 secs
lola: 254804 markings, 586847 edges, 23903 markings/sec, 5 secs
lola: 378582 markings, 885752 edges, 24756 markings/sec, 10 secs
lola: 504842 markings, 1180745 edges, 25252 markings/sec, 15 secs
lola: 632807 markings, 1475148 edges, 25593 markings/sec, 20 secs
lola: 751170 markings, 1782576 edges, 23673 markings/sec, 25 secs
lola: 873071 markings, 2084857 edges, 24380 markings/sec, 30 secs
lola: 997539 markings, 2383847 edges, 24894 markings/sec, 35 secs
lola: 1132161 markings, 2674115 edges, 26924 markings/sec, 40 secs
lola: 1269091 markings, 2973730 edges, 27386 markings/sec, 45 secs
lola: 1399346 markings, 3274450 edges, 26051 markings/sec, 50 secs
lola: 1523439 markings, 3582230 edges, 24819 markings/sec, 55 secs
lola: 1642734 markings, 3887762 edges, 23859 markings/sec, 60 secs
lola: 1764838 markings, 4192800 edges, 24421 markings/sec, 65 secs
lola: 1878365 markings, 4495010 edges, 22705 markings/sec, 70 secs
lola: 2001651 markings, 4801038 edges, 24657 markings/sec, 75 secs
lola: 2121073 markings, 5107672 edges, 23884 markings/sec, 80 secs
lola: 2246616 markings, 5426053 edges, 25109 markings/sec, 85 secs
lola: 2363169 markings, 5742346 edges, 23311 markings/sec, 90 secs
lola: 2495059 markings, 6069661 edges, 26378 markings/sec, 95 secs
lola: 2619125 markings, 6386220 edges, 24813 markings/sec, 100 secs
lola: 2742760 markings, 6700517 edges, 24727 markings/sec, 105 secs
lola: 2864534 markings, 7013653 edges, 24355 markings/sec, 110 secs
lola: 2990468 markings, 7335743 edges, 25187 markings/sec, 115 secs
lola: 3112495 markings, 7647954 edges, 24405 markings/sec, 120 secs
lola: 3237761 markings, 7963383 edges, 25053 markings/sec, 125 secs
lola: 3350712 markings, 8274934 edges, 22590 markings/sec, 130 secs
lola: 3484813 markings, 8605373 edges, 26820 markings/sec, 135 secs
lola: 3620882 markings, 8940370 edges, 27214 markings/sec, 140 secs
lola: 3750504 markings, 9261689 edges, 25924 markings/sec, 145 secs
lola: 3877173 markings, 9582592 edges, 25334 markings/sec, 150 secs
lola: 4001352 markings, 9899425 edges, 24836 markings/sec, 155 secs
lola: 4126749 markings, 10216905 edges, 25079 markings/sec, 160 secs
lola: 4247062 markings, 10530940 edges, 24063 markings/sec, 165 secs
lola: 4371864 markings, 10847050 edges, 24960 markings/sec, 170 secs
lola: 4494656 markings, 11163199 edges, 24558 markings/sec, 175 secs
lola: 4617998 markings, 11476116 edges, 24668 markings/sec, 180 secs
lola: 4735578 markings, 11789167 edges, 23516 markings/sec, 185 secs
lola: 4868616 markings, 12117167 edges, 26608 markings/sec, 190 secs
lola: 4999481 markings, 12440714 edges, 26173 markings/sec, 195 secs
lola: 5124960 markings, 12757660 edges, 25096 markings/sec, 200 secs
lola: 5249350 markings, 13078565 edges, 24878 markings/sec, 205 secs
lola: 5372386 markings, 13390708 edges, 24607 markings/sec, 210 secs
lola: 5493144 markings, 13705402 edges, 24152 markings/sec, 215 secs
lola: 5615028 markings, 14013648 edges, 24377 markings/sec, 220 secs
lola: 5732317 markings, 14314986 edges, 23458 markings/sec, 225 secs
lola: 5848012 markings, 14608750 edges, 23139 markings/sec, 230 secs
lola: 5958666 markings, 14905476 edges, 22131 markings/sec, 235 secs
lola: 6085206 markings, 15217277 edges, 25308 markings/sec, 240 secs
lola: 6213990 markings, 15536439 edges, 25757 markings/sec, 245 secs
lola: 6339361 markings, 15855417 edges, 25074 markings/sec, 250 secs
lola: 6463916 markings, 16172212 edges, 24911 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1416)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 100891 markings, 267464 edges, 20178 markings/sec, 0 secs
lola: 188707 markings, 554695 edges, 17563 markings/sec, 5 secs
lola: 269039 markings, 852520 edges, 16066 markings/sec, 10 secs
lola: 368476 markings, 1140847 edges, 19887 markings/sec, 15 secs
lola: 448606 markings, 1437890 edges, 16026 markings/sec, 20 secs
lola: 534898 markings, 1727381 edges, 17258 markings/sec, 25 secs
lola: 627195 markings, 2019536 edges, 18459 markings/sec, 30 secs
lola: 708446 markings, 2319259 edges, 16250 markings/sec, 35 secs
lola: 795111 markings, 2635660 edges, 17333 markings/sec, 40 secs
lola: 874406 markings, 2936632 edges, 15859 markings/sec, 45 secs
lola: 940997 markings, 3249212 edges, 13318 markings/sec, 50 secs
lola: 1008858 markings, 3561592 edges, 13572 markings/sec, 55 secs
lola: 1087505 markings, 3865224 edges, 15729 markings/sec, 60 secs
lola: 1158352 markings, 4189299 edges, 14169 markings/sec, 65 secs
lola: 1227182 markings, 4512779 edges, 13766 markings/sec, 70 secs
lola: 1310995 markings, 4838182 edges, 16763 markings/sec, 75 secs
lola: 1385045 markings, 5173578 edges, 14810 markings/sec, 80 secs
lola: 1452668 markings, 5491233 edges, 13525 markings/sec, 85 secs
lola: 1532417 markings, 5789577 edges, 15950 markings/sec, 90 secs
lola: 1610588 markings, 6092629 edges, 15634 markings/sec, 95 secs
lola: 1682216 markings, 6429265 edges, 14326 markings/sec, 100 secs
lola: 1752292 markings, 6739552 edges, 14015 markings/sec, 105 secs
lola: 1830178 markings, 7043584 edges, 15577 markings/sec, 110 secs
lola: 1900213 markings, 7372418 edges, 14007 markings/sec, 115 secs
lola: 1970102 markings, 7691389 edges, 13978 markings/sec, 120 secs
lola: 2048975 markings, 7995915 edges, 15775 markings/sec, 125 secs
lola: 2117847 markings, 8313875 edges, 13774 markings/sec, 130 secs
lola: 2189385 markings, 8650074 edges, 14308 markings/sec, 135 secs
lola: 2275794 markings, 8966216 edges, 17282 markings/sec, 140 secs
lola: 2355771 markings, 9291454 edges, 15995 markings/sec, 145 secs
lola: 2423569 markings, 9608559 edges, 13560 markings/sec, 150 secs
lola: 2495620 markings, 9918050 edges, 14410 markings/sec, 155 secs
lola: 2571798 markings, 10225296 edges, 15236 markings/sec, 160 secs
lola: 2643059 markings, 10560198 edges, 14252 markings/sec, 165 secs
lola: 2718535 markings, 10888766 edges, 15095 markings/sec, 170 secs
lola: 2800101 markings, 11217152 edges, 16313 markings/sec, 175 secs
lola: 2871881 markings, 11554499 edges, 14356 markings/sec, 180 secs
lola: 2949185 markings, 11882796 edges, 15461 markings/sec, 185 secs
lola: 3035966 markings, 12205771 edges, 17356 markings/sec, 190 secs
lola: 3111590 markings, 12538733 edges, 15125 markings/sec, 195 secs
lola: 3183937 markings, 12878804 edges, 14469 markings/sec, 200 secs
lola: 3268555 markings, 13210998 edges, 16924 markings/sec, 205 secs
lola: 3343173 markings, 13546065 edges, 14924 markings/sec, 210 secs
lola: 3415017 markings, 13883747 edges, 14369 markings/sec, 215 secs
lola: 3492956 markings, 14187477 edges, 15588 markings/sec, 220 secs
lola: 3566719 markings, 14515454 edges, 14753 markings/sec, 225 secs
lola: 3631087 markings, 14817770 edges, 12874 markings/sec, 230 secs
lola: 3712482 markings, 15132943 edges, 16279 markings/sec, 235 secs
lola: 3798317 markings, 15463211 edges, 17167 markings/sec, 240 secs
lola: 3871089 markings, 15805202 edges, 14554 markings/sec, 245 secs
lola: 3943668 markings, 16125375 edges, 14516 markings/sec, 250 secs
lola: 4021780 markings, 16432344 edges, 15622 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2899)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 90913 markings, 219720 edges, 18183 markings/sec, 0 secs
lola: 183803 markings, 461255 edges, 18578 markings/sec, 5 secs
lola: 270600 markings, 707439 edges, 17359 markings/sec, 10 secs
lola: 351356 markings, 937597 edges, 16151 markings/sec, 15 secs
lola: 435406 markings, 1176195 edges, 16810 markings/sec, 20 secs
lola: 516474 markings, 1406527 edges, 16214 markings/sec, 25 secs
lola: 598845 markings, 1639987 edges, 16474 markings/sec, 30 secs
lola: 683431 markings, 1876617 edges, 16917 markings/sec, 35 secs
lola: 765548 markings, 2107412 edges, 16423 markings/sec, 40 secs
lola: 847615 markings, 2338390 edges, 16413 markings/sec, 45 secs
lola: 931855 markings, 2571050 edges, 16848 markings/sec, 50 secs
lola: 1014990 markings, 2797383 edges, 16627 markings/sec, 55 secs
lola: 1102590 markings, 3026158 edges, 17520 markings/sec, 60 secs
lola: 1184197 markings, 3308512 edges, 16321 markings/sec, 65 secs
lola: 1261529 markings, 3582564 edges, 15466 markings/sec, 70 secs
lola: 1332403 markings, 3854627 edges, 14175 markings/sec, 75 secs
lola: 1400332 markings, 4115018 edges, 13586 markings/sec, 80 secs
lola: 1471463 markings, 4388311 edges, 14226 markings/sec, 85 secs
lola: 1540724 markings, 4655403 edges, 13852 markings/sec, 90 secs
lola: 1608291 markings, 4914576 edges, 13513 markings/sec, 95 secs
lola: 1676178 markings, 5175499 edges, 13577 markings/sec, 100 secs
lola: 1746431 markings, 5442223 edges, 14051 markings/sec, 105 secs
lola: 1815393 markings, 5706041 edges, 13792 markings/sec, 110 secs
lola: 1883852 markings, 5965696 edges, 13692 markings/sec, 115 secs
lola: 1952218 markings, 6225889 edges, 13673 markings/sec, 120 secs
lola: 2023807 markings, 6495796 edges, 14318 markings/sec, 125 secs
lola: 2099458 markings, 6777320 edges, 15130 markings/sec, 130 secs
lola: 2178300 markings, 7065200 edges, 15768 markings/sec, 135 secs
lola: 2258085 markings, 7334817 edges, 15957 markings/sec, 140 secs
lola: 2336318 markings, 7608430 edges, 15647 markings/sec, 145 secs
lola: 2410573 markings, 7890265 edges, 14851 markings/sec, 150 secs
lola: 2484351 markings, 8173384 edges, 14756 markings/sec, 155 secs
lola: 2557092 markings, 8453321 edges, 14548 markings/sec, 160 secs
lola: 2627554 markings, 8723875 edges, 14092 markings/sec, 165 secs
lola: 2698023 markings, 8994598 edges, 14094 markings/sec, 170 secs
lola: 2765684 markings, 9254915 edges, 13532 markings/sec, 175 secs
lola: 2834095 markings, 9515334 edges, 13682 markings/sec, 180 secs
lola: 2902116 markings, 9774268 edges, 13604 markings/sec, 185 secs
lola: 2970206 markings, 10033349 edges, 13618 markings/sec, 190 secs
lola: 3038274 markings, 10292481 edges, 13614 markings/sec, 195 secs
lola: 3107109 markings, 10552154 edges, 13767 markings/sec, 200 secs
lola: 3176220 markings, 10809900 edges, 13822 markings/sec, 205 secs
lola: 3245108 markings, 11065388 edges, 13778 markings/sec, 210 secs
lola: 3319866 markings, 11318581 edges, 14952 markings/sec, 215 secs
lola: 3393009 markings, 11575188 edges, 14629 markings/sec, 220 secs
lola: 3465807 markings, 11838184 edges, 14560 markings/sec, 225 secs
lola: 3536254 markings, 12108572 edges, 14089 markings/sec, 230 secs
lola: 3603932 markings, 12368341 edges, 13536 markings/sec, 235 secs
lola: 3671899 markings, 12629409 edges, 13593 markings/sec, 240 secs
lola: 3739518 markings, 12889858 edges, 13524 markings/sec, 245 secs
lola: 3807339 markings, 13150226 edges, 13564 markings/sec, 250 secs
lola: 3880899 markings, 13431687 edges, 14712 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2915)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 96865 markings, 234480 edges, 19373 markings/sec, 0 secs
lola: 190506 markings, 479213 edges, 18728 markings/sec, 5 secs
lola: 277730 markings, 727571 edges, 17445 markings/sec, 10 secs
lola: 366590 markings, 980165 edges, 17772 markings/sec, 15 secs
lola: 455583 markings, 1233263 edges, 17799 markings/sec, 20 secs
lola: 544708 markings, 1486119 edges, 17825 markings/sec, 25 secs
lola: 634389 markings, 1739256 edges, 17936 markings/sec, 30 secs
lola: 723661 markings, 1990182 edges, 17854 markings/sec, 35 secs
lola: 814969 markings, 2246613 edges, 18262 markings/sec, 40 secs
lola: 906034 markings, 2500510 edges, 18213 markings/sec, 45 secs
lola: 998097 markings, 2751101 edges, 18413 markings/sec, 50 secs
lola: 1091807 markings, 2995991 edges, 18742 markings/sec, 55 secs
lola: 1173665 markings, 3271595 edges, 16372 markings/sec, 60 secs
lola: 1253055 markings, 3549772 edges, 15878 markings/sec, 65 secs
lola: 1327172 markings, 3834522 edges, 14823 markings/sec, 70 secs
lola: 1402189 markings, 4122180 edges, 15003 markings/sec, 75 secs
lola: 1477198 markings, 4410949 edges, 15002 markings/sec, 80 secs
lola: 1551642 markings, 4697583 edges, 14889 markings/sec, 85 secs
lola: 1626305 markings, 4983394 edges, 14933 markings/sec, 90 secs
lola: 1701122 markings, 5270050 edges, 14963 markings/sec, 95 secs
lola: 1775223 markings, 5552303 edges, 14820 markings/sec, 100 secs
lola: 1848132 markings, 5830329 edges, 14582 markings/sec, 105 secs
lola: 1921488 markings, 6109436 edges, 14671 markings/sec, 110 secs
lola: 1995667 markings, 6390909 edges, 14836 markings/sec, 115 secs
lola: 2071477 markings, 6673321 edges, 15162 markings/sec, 120 secs
lola: 2148068 markings, 6957274 edges, 15318 markings/sec, 125 secs
lola: 2229094 markings, 7233135 edges, 16205 markings/sec, 130 secs
lola: 2307971 markings, 7509608 edges, 15775 markings/sec, 135 secs
lola: 2385003 markings, 7791754 edges, 15406 markings/sec, 140 secs
lola: 2459167 markings, 8076714 edges, 14833 markings/sec, 145 secs
lola: 2533123 markings, 8361272 edges, 14791 markings/sec, 150 secs
lola: 2605414 markings, 8639498 edges, 14458 markings/sec, 155 secs
lola: 2675968 markings, 8909818 edges, 14111 markings/sec, 160 secs
lola: 2750990 markings, 9197258 edges, 15004 markings/sec, 165 secs
lola: 2824531 markings, 9479007 edges, 14708 markings/sec, 170 secs
lola: 2893586 markings, 9741419 edges, 13811 markings/sec, 175 secs
lola: 2962587 markings, 10004126 edges, 13800 markings/sec, 180 secs
lola: 3032967 markings, 10271771 edges, 14076 markings/sec, 185 secs
lola: 3110266 markings, 10564739 edges, 15460 markings/sec, 190 secs
lola: 3187217 markings, 10850975 edges, 15390 markings/sec, 195 secs
lola: 3264103 markings, 11136659 edges, 15377 markings/sec, 200 secs
lola: 3347526 markings, 11415743 edges, 16685 markings/sec, 205 secs
lola: 3429172 markings, 11701401 edges, 16329 markings/sec, 210 secs
lola: 3507196 markings, 11997066 edges, 15605 markings/sec, 215 secs
lola: 3583545 markings, 12290464 edges, 15270 markings/sec, 220 secs
lola: 3657919 markings, 12575961 edges, 14875 markings/sec, 225 secs
lola: 3730224 markings, 12854557 edges, 14461 markings/sec, 230 secs
lola: 3802644 markings, 13131282 edges, 14484 markings/sec, 235 secs
lola: 3874500 markings, 13407993 edges, 14371 markings/sec, 240 secs
lola: 3949450 markings, 13692637 edges, 14990 markings/sec, 245 secs
lola: 4024813 markings, 13980839 edges, 15073 markings/sec, 250 secs
lola: 4101542 markings, 14272551 edges, 15346 markings/sec, 255 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 262 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2453)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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 349 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1636)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 92366 markings, 262676 edges, 18473 markings/sec, 0 secs
lola: 174245 markings, 531475 edges, 16376 markings/sec, 5 secs
lola: 251016 markings, 812238 edges, 15354 markings/sec, 10 secs
lola: 342860 markings, 1103135 edges, 18369 markings/sec, 15 secs
lola: 426582 markings, 1416077 edges, 16744 markings/sec, 20 secs
lola: 515001 markings, 1713521 edges, 17684 markings/sec, 25 secs
lola: 604720 markings, 2012819 edges, 17944 markings/sec, 30 secs
lola: 687870 markings, 2325219 edges, 16630 markings/sec, 35 secs
lola: 784172 markings, 2612669 edges, 19260 markings/sec, 40 secs
lola: 862939 markings, 2931663 edges, 15753 markings/sec, 45 secs
lola: 950013 markings, 3181985 edges, 17415 markings/sec, 50 secs
lola: 1020127 markings, 3475941 edges, 14023 markings/sec, 55 secs
lola: 1112247 markings, 3735960 edges, 18424 markings/sec, 60 secs
lola: 1206710 markings, 4003564 edges, 18893 markings/sec, 65 secs
lola: 1296778 markings, 4287142 edges, 18014 markings/sec, 70 secs
lola: 1394959 markings, 4592690 edges, 19636 markings/sec, 75 secs
lola: 1479764 markings, 4910124 edges, 16961 markings/sec, 80 secs
lola: 1566622 markings, 5222805 edges, 17372 markings/sec, 85 secs
lola: 1650219 markings, 5530217 edges, 16719 markings/sec, 90 secs
lola: 1726182 markings, 5817174 edges, 15193 markings/sec, 95 secs
lola: 1802838 markings, 6096489 edges, 15331 markings/sec, 100 secs
lola: 1884429 markings, 6395883 edges, 16318 markings/sec, 105 secs
lola: 1965896 markings, 6701098 edges, 16293 markings/sec, 110 secs
lola: 2048367 markings, 7008720 edges, 16494 markings/sec, 115 secs
lola: 2130873 markings, 7310296 edges, 16501 markings/sec, 120 secs
lola: 2212387 markings, 7621819 edges, 16303 markings/sec, 125 secs
lola: 2292365 markings, 7918450 edges, 15996 markings/sec, 130 secs
lola: 2378998 markings, 8215483 edges, 17327 markings/sec, 135 secs
lola: 2461287 markings, 8522741 edges, 16458 markings/sec, 140 secs
lola: 2543517 markings, 8826527 edges, 16446 markings/sec, 145 secs
lola: 2626205 markings, 9129226 edges, 16538 markings/sec, 150 secs
lola: 2705665 markings, 9435365 edges, 15892 markings/sec, 155 secs
lola: 2782903 markings, 9721589 edges, 15448 markings/sec, 160 secs
lola: 2863006 markings, 10000763 edges, 16021 markings/sec, 165 secs
lola: 2937189 markings, 10283824 edges, 14837 markings/sec, 170 secs
lola: 3011597 markings, 10564850 edges, 14882 markings/sec, 175 secs
lola: 3088904 markings, 10841994 edges, 15461 markings/sec, 180 secs
lola: 3162268 markings, 11122747 edges, 14673 markings/sec, 185 secs
lola: 3237252 markings, 11396923 edges, 14997 markings/sec, 190 secs
lola: 3314621 markings, 11680764 edges, 15474 markings/sec, 195 secs
lola: 3405152 markings, 11999085 edges, 18106 markings/sec, 200 secs
lola: 3493643 markings, 12308629 edges, 17698 markings/sec, 205 secs
lola: 3582925 markings, 12621166 edges, 17856 markings/sec, 210 secs
lola: 3666323 markings, 12912793 edges, 16680 markings/sec, 215 secs
lola: 3745782 markings, 13200293 edges, 15892 markings/sec, 220 secs
lola: 3823326 markings, 13483713 edges, 15509 markings/sec, 225 secs
lola: 3900285 markings, 13765555 edges, 15392 markings/sec, 230 secs
lola: 3985020 markings, 14080323 edges, 16947 markings/sec, 235 secs
lola: 4070739 markings, 14393160 edges, 17144 markings/sec, 240 secs
lola: 4154446 markings, 14700995 edges, 16741 markings/sec, 245 secs
lola: 4237763 markings, 15006031 edges, 16663 markings/sec, 250 secs
lola: 4311892 markings, 15283672 edges, 14826 markings/sec, 255 secs
lola: 4389026 markings, 15566288 edges, 15427 markings/sec, 260 secs
lola: 4464993 markings, 15842919 edges, 15193 markings/sec, 265 secs
lola: 4540406 markings, 16121603 edges, 15083 markings/sec, 270 secs
lola: 4623633 markings, 16430464 edges, 16645 markings/sec, 275 secs
lola: 4707738 markings, 16736026 edges, 16821 markings/sec, 280 secs
lola: 4799170 markings, 17061581 edges, 18286 markings/sec, 285 secs
lola: 4892466 markings, 17387723 edges, 18659 markings/sec, 290 secs
lola: 4979537 markings, 17700606 edges, 17414 markings/sec, 295 secs
lola: 5064872 markings, 18015111 edges, 17067 markings/sec, 300 secs
lola: 5147910 markings, 18326488 edges, 16608 markings/sec, 305 secs
lola: 5234766 markings, 18637857 edges, 17371 markings/sec, 310 secs
lola: 5318186 markings, 18948245 edges, 16684 markings/sec, 315 secs
lola: 5401164 markings, 19253614 edges, 16596 markings/sec, 320 secs
lola: 5486240 markings, 19566343 edges, 17015 markings/sec, 325 secs
lola: 5569411 markings, 19874358 edges, 16634 markings/sec, 330 secs
lola: 5651772 markings, 20177985 edges, 16472 markings/sec, 335 secs
lola: 5734929 markings, 20480560 edges, 16631 markings/sec, 340 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 350 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p932)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 92274 markings, 223025 edges, 18455 markings/sec, 0 secs
lola: 180820 markings, 452712 edges, 17709 markings/sec, 5 secs
lola: 264423 markings, 689452 edges, 16721 markings/sec, 10 secs
lola: 348965 markings, 930297 edges, 16908 markings/sec, 15 secs
lola: 436194 markings, 1177724 edges, 17446 markings/sec, 20 secs
lola: 523768 markings, 1426991 edges, 17515 markings/sec, 25 secs
lola: 611533 markings, 1675136 edges, 17553 markings/sec, 30 secs
lola: 697968 markings, 1917803 edges, 17287 markings/sec, 35 secs
lola: 782039 markings, 2154548 edges, 16814 markings/sec, 40 secs
lola: 866565 markings, 2390904 edges, 16905 markings/sec, 45 secs
lola: 953176 markings, 2628546 edges, 17322 markings/sec, 50 secs
lola: 1046195 markings, 2881656 edges, 18604 markings/sec, 55 secs
lola: 1131827 markings, 3124585 edges, 17126 markings/sec, 60 secs
lola: 1210445 markings, 3400431 edges, 15724 markings/sec, 65 secs
lola: 1287123 markings, 3680016 edges, 15336 markings/sec, 70 secs
lola: 1361586 markings, 3966704 edges, 14893 markings/sec, 75 secs
lola: 1434989 markings, 4248518 edges, 14681 markings/sec, 80 secs
lola: 1508115 markings, 4530414 edges, 14625 markings/sec, 85 secs
lola: 1577613 markings, 4796347 edges, 13900 markings/sec, 90 secs
lola: 1646888 markings, 5061999 edges, 13855 markings/sec, 95 secs
lola: 1715872 markings, 5325823 edges, 13797 markings/sec, 100 secs
lola: 1789141 markings, 5605258 edges, 14654 markings/sec, 105 secs
lola: 1863447 markings, 5888669 edges, 14861 markings/sec, 110 secs
lola: 1938064 markings, 6171606 edges, 14923 markings/sec, 115 secs
lola: 2013215 markings, 6456038 edges, 15030 markings/sec, 120 secs
lola: 2084034 markings, 6719515 edges, 14164 markings/sec, 125 secs
lola: 2154660 markings, 6982008 edges, 14125 markings/sec, 130 secs
lola: 2229964 markings, 7236147 edges, 15061 markings/sec, 135 secs
lola: 2303077 markings, 7492341 edges, 14623 markings/sec, 140 secs
lola: 2374872 markings, 7752937 edges, 14359 markings/sec, 145 secs
lola: 2448865 markings, 8037678 edges, 14799 markings/sec, 150 secs
lola: 2522349 markings, 8320074 edges, 14697 markings/sec, 155 secs
lola: 2596171 markings, 8603374 edges, 14764 markings/sec, 160 secs
lola: 2669552 markings, 8884719 edges, 14676 markings/sec, 165 secs
lola: 2742554 markings, 9166000 edges, 14600 markings/sec, 170 secs
lola: 2815617 markings, 9444824 edges, 14613 markings/sec, 175 secs
lola: 2888776 markings, 9723771 edges, 14632 markings/sec, 180 secs
lola: 2963383 markings, 10007715 edges, 14921 markings/sec, 185 secs
lola: 3038248 markings, 10292447 edges, 14973 markings/sec, 190 secs
lola: 3113590 markings, 10576371 edges, 15068 markings/sec, 195 secs
lola: 3189473 markings, 10859233 edges, 15177 markings/sec, 200 secs
lola: 3265455 markings, 11141450 edges, 15196 markings/sec, 205 secs
lola: 3347276 markings, 11414907 edges, 16364 markings/sec, 210 secs
lola: 3426536 markings, 11692202 edges, 15852 markings/sec, 215 secs
lola: 3502488 markings, 11979584 edges, 15190 markings/sec, 220 secs
lola: 3577040 markings, 12265409 edges, 14910 markings/sec, 225 secs
lola: 3650805 markings, 12549315 edges, 14753 markings/sec, 230 secs
lola: 3724929 markings, 12834197 edges, 14825 markings/sec, 235 secs
lola: 3798975 markings, 13117354 edges, 14809 markings/sec, 240 secs
lola: 3873114 markings, 13402708 edges, 14828 markings/sec, 245 secs
lola: 3948359 markings, 13689409 edges, 15049 markings/sec, 250 secs
lola: 4022990 markings, 13973401 edges, 14926 markings/sec, 255 secs
lola: 4098199 markings, 14259585 edges, 15042 markings/sec, 260 secs
lola: 4172694 markings, 14541984 edges, 14899 markings/sec, 265 secs
lola: 4248817 markings, 14826306 edges, 15225 markings/sec, 270 secs
lola: 4321078 markings, 15095606 edges, 14452 markings/sec, 275 secs
lola: 4395497 markings, 15352846 edges, 14884 markings/sec, 280 secs
lola: 4469536 markings, 15610993 edges, 14808 markings/sec, 285 secs
lola: 4542785 markings, 15869713 edges, 14650 markings/sec, 290 secs
lola: 4611959 markings, 16134554 edges, 13835 markings/sec, 295 secs
lola: 4684772 markings, 16414652 edges, 14563 markings/sec, 300 secs
lola: 4759461 markings, 16701411 edges, 14938 markings/sec, 305 secs
lola: 4835446 markings, 16993248 edges, 15197 markings/sec, 310 secs
lola: 4911371 markings, 17284892 edges, 15185 markings/sec, 315 secs
lola: 4987527 markings, 17576261 edges, 15231 markings/sec, 320 secs
lola: 5063680 markings, 17866761 edges, 15231 markings/sec, 325 secs
lola: 5140208 markings, 18157657 edges, 15306 markings/sec, 330 secs
lola: 5216411 markings, 18448471 edges, 15241 markings/sec, 335 secs
lola: 5292820 markings, 18737076 edges, 15282 markings/sec, 340 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 350 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1383)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 464 bytes per marking, with 20 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: 193672 markings, 320836 edges, 38734 markings/sec, 0 secs
lola: 370032 markings, 664131 edges, 35272 markings/sec, 5 secs
lola: 544593 markings, 1009888 edges, 34912 markings/sec, 10 secs
lola: 716114 markings, 1344258 edges, 34304 markings/sec, 15 secs
lola: 893021 markings, 1692399 edges, 35381 markings/sec, 20 secs
lola: 1087659 markings, 2017129 edges, 38928 markings/sec, 25 secs
lola: 1244225 markings, 2373147 edges, 31313 markings/sec, 30 secs
lola: 1416691 markings, 2721455 edges, 34493 markings/sec, 35 secs
lola: 1609250 markings, 3048943 edges, 38512 markings/sec, 40 secs
lola: 1770411 markings, 3404199 edges, 32232 markings/sec, 45 secs
lola: 1940224 markings, 3750611 edges, 33963 markings/sec, 50 secs
lola: 2132251 markings, 4082966 edges, 38405 markings/sec, 55 secs
lola: 2300731 markings, 4438614 edges, 33696 markings/sec, 60 secs
lola: 2470359 markings, 4790044 edges, 33926 markings/sec, 65 secs
lola: 2653341 markings, 5113724 edges, 36596 markings/sec, 70 secs
lola: 2821562 markings, 5452846 edges, 33644 markings/sec, 75 secs
lola: 2982177 markings, 5796521 edges, 32123 markings/sec, 80 secs
lola: 3162326 markings, 6124532 edges, 36030 markings/sec, 85 secs
lola: 3334208 markings, 6452727 edges, 34376 markings/sec, 90 secs
lola: 3491480 markings, 6796775 edges, 31454 markings/sec, 95 secs
lola: 3665892 markings, 7125779 edges, 34882 markings/sec, 100 secs
lola: 3858434 markings, 7443945 edges, 38508 markings/sec, 105 secs
lola: 4049255 markings, 7773600 edges, 38164 markings/sec, 110 secs
lola: 4235228 markings, 8118055 edges, 37195 markings/sec, 115 secs
lola: 4422936 markings, 8468881 edges, 37542 markings/sec, 120 secs
lola: 4608453 markings, 8813074 edges, 37103 markings/sec, 125 secs
lola: 4776451 markings, 9138106 edges, 33600 markings/sec, 130 secs
lola: 4944837 markings, 9476845 edges, 33677 markings/sec, 135 secs
lola: 5112627 markings, 9821536 edges, 33558 markings/sec, 140 secs
lola: 5283925 markings, 10162923 edges, 34260 markings/sec, 145 secs
lola: 5451524 markings, 10509514 edges, 33520 markings/sec, 150 secs
lola: 5619508 markings, 10851628 edges, 33597 markings/sec, 155 secs
lola: 5788920 markings, 11195139 edges, 33882 markings/sec, 160 secs
lola: 5955328 markings, 11541878 edges, 33282 markings/sec, 165 secs
lola: 6124300 markings, 11874501 edges, 33794 markings/sec, 170 secs
lola: 6287880 markings, 12217281 edges, 32716 markings/sec, 175 secs
lola: 6450539 markings, 12554697 edges, 32532 markings/sec, 180 secs
lola: 6620305 markings, 12907280 edges, 33953 markings/sec, 185 secs
lola: 6793211 markings, 13258488 edges, 34581 markings/sec, 190 secs
lola: 6963065 markings, 13600376 edges, 33971 markings/sec, 195 secs
lola: 7130011 markings, 13937793 edges, 33389 markings/sec, 200 secs
lola: 7294794 markings, 14274117 edges, 32957 markings/sec, 205 secs
lola: 7458799 markings, 14615173 edges, 32801 markings/sec, 210 secs
lola: 7628599 markings, 14957869 edges, 33960 markings/sec, 215 secs
lola: 7791331 markings, 15294690 edges, 32546 markings/sec, 220 secs
lola: 7958639 markings, 15632960 edges, 33462 markings/sec, 225 secs
lola: 8108449 markings, 15962900 edges, 29962 markings/sec, 230 secs
lola: 8277087 markings, 16313646 edges, 33728 markings/sec, 235 secs
lola: 8446691 markings, 16659412 edges, 33921 markings/sec, 240 secs
lola: 8618211 markings, 17004815 edges, 34304 markings/sec, 245 secs
lola: 8787980 markings, 17348037 edges, 33954 markings/sec, 250 secs
lola: 8952523 markings, 17689678 edges, 32909 markings/sec, 255 secs
lola: 9120645 markings, 18031510 edges, 33624 markings/sec, 260 secs
lola: 9290605 markings, 18374978 edges, 33992 markings/sec, 265 secs
lola: 9451038 markings, 18708763 edges, 32087 markings/sec, 270 secs
lola: 9615803 markings, 19041382 edges, 32953 markings/sec, 275 secs
lola: 9773508 markings, 19372184 edges, 31541 markings/sec, 280 secs
lola: 9941583 markings, 19715418 edges, 33615 markings/sec, 285 secs
lola: 10112070 markings, 20059920 edges, 34097 markings/sec, 290 secs
lola: 10267830 markings, 20383240 edges, 31152 markings/sec, 295 secs
lola: 10412438 markings, 20676659 edges, 28922 markings/sec, 300 secs
lola: 10554063 markings, 20966491 edges, 28325 markings/sec, 305 secs
lola: 10696029 markings, 21261893 edges, 28393 markings/sec, 310 secs
lola: 10847600 markings, 21567457 edges, 30314 markings/sec, 315 secs
lola: 10997678 markings, 21868021 edges, 30016 markings/sec, 320 secs
lola: 11143741 markings, 22172006 edges, 29213 markings/sec, 325 secs
lola: 11294928 markings, 22472329 edges, 30237 markings/sec, 330 secs
lola: 11443806 markings, 22812950 edges, 29776 markings/sec, 335 secs
lola: 11619541 markings, 23163219 edges, 35147 markings/sec, 340 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 unknown 1 unknown unknown unknown unknown unknown unknown 1 unknown unknown unknown
FORMULA AutoFlight-PT-48b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-48b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1494607232322
--------------------
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="AutoFlight-PT-48b"
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/AutoFlight-PT-48b.tgz
mv AutoFlight-PT-48b execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool lola"
echo " Input is AutoFlight-PT-48b, 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 r008-csrt-149436126100263"
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 ;