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 S_AutoFlight-PT-96a, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-csrt-149441074200272
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496338996721


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


checking for too many tokens
===========================================================================================
S_AutoFlight-PT-96a: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_AutoFlight-PT-96a @ 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: 4476/65536 symbol table entries, 8 collisions
lola: preprocessing...
lola: finding significant places
lola: 2251 places, 2225 transitions, 1737 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2188 transition conflict sets
lola: TASK
lola: reading formula from AutoFlight-PT-96a-UpperBounds.task
lola: MAX(p1980) : MAX(p2170) : MAX(p1766) : MAX(p334) : MAX(p1177) : MAX(p829) : MAX(p1077) : MAX(p1874) : MAX(p2192) : MAX(p1047) : MAX(p2194) : MAX(p202) : MAX(p586) : MAX(p1177) : MAX(p752) : MAX(p1682)
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(p1980)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 77764 markings, 520133 edges, 15553 markings/sec, 0 secs
lola: 147423 markings, 1087777 edges, 13932 markings/sec, 5 secs
lola: 218994 markings, 1707414 edges, 14314 markings/sec, 10 secs
lola: 287483 markings, 2355978 edges, 13698 markings/sec, 15 secs
lola: 356395 markings, 2990055 edges, 13782 markings/sec, 20 secs
lola: 424273 markings, 3635781 edges, 13576 markings/sec, 25 secs
lola: 490857 markings, 4267019 edges, 13317 markings/sec, 30 secs
lola: 559308 markings, 4913236 edges, 13690 markings/sec, 35 secs
lola: 621498 markings, 5574856 edges, 12438 markings/sec, 40 secs
lola: 687309 markings, 6214397 edges, 13162 markings/sec, 45 secs
lola: 751924 markings, 6827467 edges, 12923 markings/sec, 50 secs
lola: 814002 markings, 7433806 edges, 12416 markings/sec, 55 secs
lola: 875235 markings, 8062421 edges, 12247 markings/sec, 60 secs
lola: 934505 markings, 8701835 edges, 11854 markings/sec, 65 secs
lola: 993944 markings, 9327804 edges, 11888 markings/sec, 70 secs
lola: 1051793 markings, 9967438 edges, 11570 markings/sec, 75 secs
lola: 1109588 markings, 10602919 edges, 11559 markings/sec, 80 secs
lola: 1169810 markings, 11231161 edges, 12044 markings/sec, 85 secs
lola: 1228295 markings, 11863543 edges, 11697 markings/sec, 90 secs
lola: 1277673 markings, 12544154 edges, 9876 markings/sec, 95 secs
lola: 1340189 markings, 13125001 edges, 12503 markings/sec, 100 secs
lola: 1407661 markings, 13768472 edges, 13494 markings/sec, 105 secs
lola: 1471262 markings, 14412087 edges, 12720 markings/sec, 110 secs
lola: 1532866 markings, 15065002 edges, 12321 markings/sec, 115 secs
lola: 1590544 markings, 15731479 edges, 11536 markings/sec, 120 secs
lola: 1654657 markings, 16384356 edges, 12823 markings/sec, 125 secs
lola: 1713835 markings, 17030419 edges, 11836 markings/sec, 130 secs
lola: 1769969 markings, 17644968 edges, 11227 markings/sec, 135 secs
lola: 1827172 markings, 18260475 edges, 11441 markings/sec, 140 secs
lola: 1881236 markings, 18886810 edges, 10813 markings/sec, 145 secs
lola: 1930912 markings, 19561164 edges, 9935 markings/sec, 150 secs
lola: 2000924 markings, 20183894 edges, 14002 markings/sec, 155 secs
lola: 2064960 markings, 20800583 edges, 12807 markings/sec, 160 secs
lola: 2123708 markings, 21394854 edges, 11750 markings/sec, 165 secs
lola: 2180054 markings, 22014363 edges, 11269 markings/sec, 170 secs
lola: 2234229 markings, 22631089 edges, 10835 markings/sec, 175 secs
lola: 2292451 markings, 23228801 edges, 11644 markings/sec, 180 secs
lola: 2348013 markings, 23843762 edges, 11112 markings/sec, 185 secs
lola: 2403516 markings, 24454364 edges, 11101 markings/sec, 190 secs
lola: 2462864 markings, 25097360 edges, 11870 markings/sec, 195 secs
lola: 2520696 markings, 25763399 edges, 11566 markings/sec, 200 secs
lola: 2570617 markings, 26453893 edges, 9984 markings/sec, 205 secs
lola: 2621803 markings, 27117612 edges, 10237 markings/sec, 210 secs
lola: 2672407 markings, 27805617 edges, 10121 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(p2170)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 67715 markings, 521103 edges, 13543 markings/sec, 0 secs
lola: 127996 markings, 1069044 edges, 12056 markings/sec, 5 secs
lola: 185870 markings, 1625108 edges, 11575 markings/sec, 10 secs
lola: 240900 markings, 2186060 edges, 11006 markings/sec, 15 secs
lola: 298955 markings, 2746332 edges, 11611 markings/sec, 20 secs
lola: 360022 markings, 3333144 edges, 12213 markings/sec, 25 secs
lola: 424282 markings, 3979566 edges, 12852 markings/sec, 30 secs
lola: 480030 markings, 4610034 edges, 11150 markings/sec, 35 secs
lola: 534321 markings, 5202052 edges, 10858 markings/sec, 40 secs
lola: 588021 markings, 5800459 edges, 10740 markings/sec, 45 secs
lola: 639479 markings, 6401583 edges, 10292 markings/sec, 50 secs
lola: 697252 markings, 6965228 edges, 11555 markings/sec, 55 secs
lola: 754080 markings, 7549634 edges, 11366 markings/sec, 60 secs
lola: 810372 markings, 8201678 edges, 11258 markings/sec, 65 secs
lola: 867147 markings, 8845404 edges, 11355 markings/sec, 70 secs
lola: 925389 markings, 9500867 edges, 11648 markings/sec, 75 secs
lola: 985177 markings, 10157323 edges, 11958 markings/sec, 80 secs
lola: 1046150 markings, 10778434 edges, 12195 markings/sec, 85 secs
lola: 1104258 markings, 11418125 edges, 11622 markings/sec, 90 secs
lola: 1160879 markings, 12053021 edges, 11324 markings/sec, 95 secs
lola: 1216601 markings, 12700608 edges, 11144 markings/sec, 100 secs
lola: 1273605 markings, 13360576 edges, 11401 markings/sec, 105 secs
lola: 1336017 markings, 13983440 edges, 12482 markings/sec, 110 secs
lola: 1398667 markings, 14618652 edges, 12530 markings/sec, 115 secs
lola: 1457842 markings, 15286571 edges, 11835 markings/sec, 120 secs
lola: 1516100 markings, 15941470 edges, 11652 markings/sec, 125 secs
lola: 1573174 markings, 16575809 edges, 11415 markings/sec, 130 secs
lola: 1626443 markings, 17175046 edges, 10654 markings/sec, 135 secs
lola: 1683131 markings, 17812332 edges, 11338 markings/sec, 140 secs
lola: 1735868 markings, 18443900 edges, 10547 markings/sec, 145 secs
lola: 1784987 markings, 19062217 edges, 9824 markings/sec, 150 secs
lola: 1835597 markings, 19706198 edges, 10122 markings/sec, 155 secs
lola: 1884585 markings, 20317772 edges, 9798 markings/sec, 160 secs
lola: 1932023 markings, 20943792 edges, 9488 markings/sec, 165 secs
lola: 1986719 markings, 21541666 edges, 10939 markings/sec, 170 secs
lola: 2039052 markings, 22153182 edges, 10467 markings/sec, 175 secs
lola: 2086829 markings, 22776753 edges, 9555 markings/sec, 180 secs
lola: 2136179 markings, 23391486 edges, 9870 markings/sec, 185 secs
lola: 2184267 markings, 24012667 edges, 9618 markings/sec, 190 secs
lola: 2232517 markings, 24642163 edges, 9650 markings/sec, 195 secs
lola: 2283875 markings, 25237756 edges, 10272 markings/sec, 200 secs
lola: 2337033 markings, 25861441 edges, 10632 markings/sec, 205 secs
lola: 2390061 markings, 26528106 edges, 10606 markings/sec, 210 secs
lola: 2443331 markings, 27195830 edges, 10654 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(p1766)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 76803 markings, 506952 edges, 15361 markings/sec, 0 secs
lola: 148076 markings, 1097378 edges, 14255 markings/sec, 5 secs
lola: 218516 markings, 1690021 edges, 14088 markings/sec, 10 secs
lola: 285635 markings, 2243294 edges, 13424 markings/sec, 15 secs
lola: 348982 markings, 2814268 edges, 12669 markings/sec, 20 secs
lola: 410069 markings, 3403524 edges, 12217 markings/sec, 25 secs
lola: 474695 markings, 4030201 edges, 12925 markings/sec, 30 secs
lola: 545488 markings, 4635290 edges, 14159 markings/sec, 35 secs
lola: 610103 markings, 5259643 edges, 12923 markings/sec, 40 secs
lola: 671601 markings, 5862525 edges, 12300 markings/sec, 45 secs
lola: 733787 markings, 6456502 edges, 12437 markings/sec, 50 secs
lola: 797560 markings, 7044775 edges, 12755 markings/sec, 55 secs
lola: 862029 markings, 7657331 edges, 12894 markings/sec, 60 secs
lola: 924469 markings, 8263956 edges, 12488 markings/sec, 65 secs
lola: 985026 markings, 8873024 edges, 12111 markings/sec, 70 secs
lola: 1044741 markings, 9485404 edges, 11943 markings/sec, 75 secs
lola: 1101506 markings, 10084508 edges, 11353 markings/sec, 80 secs
lola: 1161403 markings, 10646717 edges, 11979 markings/sec, 85 secs
lola: 1223942 markings, 11193044 edges, 12508 markings/sec, 90 secs
lola: 1282723 markings, 11760478 edges, 11756 markings/sec, 95 secs
lola: 1342481 markings, 12347659 edges, 11952 markings/sec, 100 secs
lola: 1406905 markings, 12954073 edges, 12885 markings/sec, 105 secs
lola: 1467551 markings, 13570818 edges, 12129 markings/sec, 110 secs
lola: 1523558 markings, 14175615 edges, 11201 markings/sec, 115 secs
lola: 1580701 markings, 14810550 edges, 11429 markings/sec, 120 secs
lola: 1636951 markings, 15379113 edges, 11250 markings/sec, 125 secs
lola: 1694744 markings, 15963745 edges, 11559 markings/sec, 130 secs
lola: 1748315 markings, 16563764 edges, 10714 markings/sec, 135 secs
lola: 1802405 markings, 17165353 edges, 10818 markings/sec, 140 secs
lola: 1857221 markings, 17755801 edges, 10963 markings/sec, 145 secs
lola: 1912403 markings, 18329804 edges, 11036 markings/sec, 150 secs
lola: 1966492 markings, 18919927 edges, 10818 markings/sec, 155 secs
lola: 2021447 markings, 19508006 edges, 10991 markings/sec, 160 secs
lola: 2074692 markings, 20106011 edges, 10649 markings/sec, 165 secs
lola: 2126911 markings, 20708547 edges, 10444 markings/sec, 170 secs
lola: 2177533 markings, 21322706 edges, 10124 markings/sec, 175 secs
lola: 2229381 markings, 21929903 edges, 10370 markings/sec, 180 secs
lola: 2285217 markings, 22500128 edges, 11167 markings/sec, 185 secs
lola: 2345899 markings, 23034590 edges, 12136 markings/sec, 190 secs
lola: 2404761 markings, 23612662 edges, 11772 markings/sec, 195 secs
lola: 2462642 markings, 24194843 edges, 11576 markings/sec, 200 secs
lola: 2522718 markings, 24761134 edges, 12015 markings/sec, 205 secs
lola: 2584350 markings, 25382165 edges, 12326 markings/sec, 210 secs
lola: 2643858 markings, 26040765 edges, 11902 markings/sec, 215 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p334)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 75887 markings, 529819 edges, 15177 markings/sec, 0 secs
lola: 140307 markings, 1089251 edges, 12884 markings/sec, 5 secs
lola: 206522 markings, 1684101 edges, 13243 markings/sec, 10 secs
lola: 263679 markings, 2293672 edges, 11431 markings/sec, 15 secs
lola: 331443 markings, 2897895 edges, 13553 markings/sec, 20 secs
lola: 388490 markings, 3506140 edges, 11409 markings/sec, 25 secs
lola: 449400 markings, 4066379 edges, 12182 markings/sec, 30 secs
lola: 502578 markings, 4609042 edges, 10636 markings/sec, 35 secs
lola: 559718 markings, 5192872 edges, 11428 markings/sec, 40 secs
lola: 621083 markings, 5774757 edges, 12273 markings/sec, 45 secs
lola: 679586 markings, 6377847 edges, 11701 markings/sec, 50 secs
lola: 735840 markings, 6976340 edges, 11251 markings/sec, 55 secs
lola: 786827 markings, 7593801 edges, 10197 markings/sec, 60 secs
lola: 842851 markings, 8198823 edges, 11205 markings/sec, 65 secs
lola: 895976 markings, 8834820 edges, 10625 markings/sec, 70 secs
lola: 951306 markings, 9465230 edges, 11066 markings/sec, 75 secs
lola: 1007588 markings, 10094925 edges, 11256 markings/sec, 80 secs
lola: 1058857 markings, 10734143 edges, 10254 markings/sec, 85 secs
lola: 1120592 markings, 11356844 edges, 12347 markings/sec, 90 secs
lola: 1178597 markings, 11951650 edges, 11601 markings/sec, 95 secs
lola: 1240083 markings, 12573414 edges, 12297 markings/sec, 100 secs
lola: 1295778 markings, 13215686 edges, 11139 markings/sec, 105 secs
lola: 1350466 markings, 13845392 edges, 10938 markings/sec, 110 secs
lola: 1406069 markings, 14473673 edges, 11121 markings/sec, 115 secs
lola: 1458264 markings, 15111341 edges, 10439 markings/sec, 120 secs
lola: 1514375 markings, 15725011 edges, 11222 markings/sec, 125 secs
lola: 1567462 markings, 16360973 edges, 10617 markings/sec, 130 secs
lola: 1621997 markings, 17013079 edges, 10907 markings/sec, 135 secs
lola: 1684428 markings, 17592840 edges, 12486 markings/sec, 140 secs
lola: 1740470 markings, 18189825 edges, 11208 markings/sec, 145 secs
lola: 1797549 markings, 18791449 edges, 11416 markings/sec, 150 secs
lola: 1848564 markings, 19403629 edges, 10203 markings/sec, 155 secs
lola: 1904406 markings, 20010054 edges, 11168 markings/sec, 160 secs
lola: 1957964 markings, 20640905 edges, 10712 markings/sec, 165 secs
lola: 2010468 markings, 21267090 edges, 10501 markings/sec, 170 secs
lola: 2066703 markings, 21885852 edges, 11247 markings/sec, 175 secs
lola: 2112975 markings, 22455286 edges, 9254 markings/sec, 180 secs
lola: 2162568 markings, 23090959 edges, 9919 markings/sec, 185 secs
lola: 2213707 markings, 23766434 edges, 10228 markings/sec, 190 secs
lola: 2273283 markings, 24351817 edges, 11915 markings/sec, 195 secs
lola: 2326728 markings, 24898877 edges, 10689 markings/sec, 200 secs
lola: 2382315 markings, 25455910 edges, 11117 markings/sec, 205 secs
lola: 2433863 markings, 26037387 edges, 10310 markings/sec, 210 secs
lola: 2481467 markings, 26622168 edges, 9521 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1177)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 49565 markings, 650840 edges, 9913 markings/sec, 0 secs
lola: 90996 markings, 1335073 edges, 8286 markings/sec, 5 secs
lola: 129996 markings, 2036073 edges, 7800 markings/sec, 10 secs
lola: 170950 markings, 2736650 edges, 8191 markings/sec, 15 secs
lola: 209736 markings, 3445368 edges, 7757 markings/sec, 20 secs
lola: 247280 markings, 4160990 edges, 7509 markings/sec, 25 secs
lola: 285464 markings, 4871845 edges, 7637 markings/sec, 30 secs
lola: 324874 markings, 5575379 edges, 7882 markings/sec, 35 secs
lola: 363011 markings, 6287698 edges, 7627 markings/sec, 40 secs
lola: 398476 markings, 7018717 edges, 7093 markings/sec, 45 secs
lola: 437014 markings, 7727793 edges, 7708 markings/sec, 50 secs
lola: 473446 markings, 8470860 edges, 7286 markings/sec, 55 secs
lola: 508143 markings, 9203723 edges, 6939 markings/sec, 60 secs
lola: 544260 markings, 9928607 edges, 7223 markings/sec, 65 secs
lola: 584314 markings, 10632789 edges, 8011 markings/sec, 70 secs
lola: 622709 markings, 11349188 edges, 7679 markings/sec, 75 secs
lola: 658586 markings, 12081924 edges, 7175 markings/sec, 80 secs
lola: 700921 markings, 12874900 edges, 8467 markings/sec, 85 secs
lola: 740593 markings, 13684892 edges, 7934 markings/sec, 90 secs
lola: 777760 markings, 14483985 edges, 7433 markings/sec, 95 secs
lola: 816505 markings, 15260100 edges, 7749 markings/sec, 100 secs
lola: 854363 markings, 16027065 edges, 7572 markings/sec, 105 secs
lola: 892795 markings, 16820408 edges, 7686 markings/sec, 110 secs
lola: 929892 markings, 17634218 edges, 7419 markings/sec, 115 secs
lola: 967684 markings, 18430565 edges, 7558 markings/sec, 120 secs
lola: 1004114 markings, 19252480 edges, 7286 markings/sec, 125 secs
lola: 1039100 markings, 20073551 edges, 6997 markings/sec, 130 secs
lola: 1078293 markings, 20841528 edges, 7839 markings/sec, 135 secs
lola: 1119917 markings, 21607556 edges, 8325 markings/sec, 140 secs
lola: 1161627 markings, 22381944 edges, 8342 markings/sec, 145 secs
lola: 1201001 markings, 23159776 edges, 7875 markings/sec, 150 secs
lola: 1240734 markings, 23938115 edges, 7947 markings/sec, 155 secs
lola: 1278816 markings, 24725953 edges, 7616 markings/sec, 160 secs
lola: 1314418 markings, 25524714 edges, 7120 markings/sec, 165 secs
lola: 1354469 markings, 26273413 edges, 8010 markings/sec, 170 secs
lola: 1392341 markings, 27044705 edges, 7574 markings/sec, 175 secs
lola: 1428957 markings, 27826108 edges, 7323 markings/sec, 180 secs
lola: 1465511 markings, 28610990 edges, 7311 markings/sec, 185 secs
lola: 1502650 markings, 29418604 edges, 7428 markings/sec, 190 secs
lola: 1537585 markings, 30207854 edges, 6987 markings/sec, 195 secs
lola: 1570874 markings, 31008111 edges, 6658 markings/sec, 200 secs
lola: 1609344 markings, 31773116 edges, 7694 markings/sec, 205 secs
lola: 1648081 markings, 32557021 edges, 7747 markings/sec, 210 secs
lola: 1685413 markings, 33335391 edges, 7466 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p829)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 102412 markings, 478553 edges, 20482 markings/sec, 0 secs
lola: 185271 markings, 1020801 edges, 16572 markings/sec, 5 secs
lola: 268484 markings, 1572481 edges, 16643 markings/sec, 10 secs
lola: 352713 markings, 2133320 edges, 16846 markings/sec, 15 secs
lola: 427342 markings, 2681308 edges, 14926 markings/sec, 20 secs
lola: 499357 markings, 3237358 edges, 14403 markings/sec, 25 secs
lola: 571350 markings, 3794493 edges, 14399 markings/sec, 30 secs
lola: 647422 markings, 4331340 edges, 15214 markings/sec, 35 secs
lola: 721133 markings, 4879492 edges, 14742 markings/sec, 40 secs
lola: 794995 markings, 5448675 edges, 14772 markings/sec, 45 secs
lola: 868186 markings, 6019778 edges, 14638 markings/sec, 50 secs
lola: 945711 markings, 6559255 edges, 15505 markings/sec, 55 secs
lola: 1018306 markings, 7113283 edges, 14519 markings/sec, 60 secs
lola: 1092199 markings, 7687215 edges, 14779 markings/sec, 65 secs
lola: 1164429 markings, 8256357 edges, 14446 markings/sec, 70 secs
lola: 1239937 markings, 8795602 edges, 15102 markings/sec, 75 secs
lola: 1313181 markings, 9338616 edges, 14649 markings/sec, 80 secs
lola: 1384571 markings, 9889967 edges, 14278 markings/sec, 85 secs
lola: 1456138 markings, 10443080 edges, 14313 markings/sec, 90 secs
lola: 1527257 markings, 10997868 edges, 14224 markings/sec, 95 secs
lola: 1594983 markings, 11568797 edges, 13545 markings/sec, 100 secs
lola: 1660868 markings, 12147858 edges, 13177 markings/sec, 105 secs
lola: 1726485 markings, 12730853 edges, 13123 markings/sec, 110 secs
lola: 1798888 markings, 13342344 edges, 14481 markings/sec, 115 secs
lola: 1873758 markings, 13958782 edges, 14974 markings/sec, 120 secs
lola: 1941798 markings, 14561338 edges, 13608 markings/sec, 125 secs
lola: 2007512 markings, 15140919 edges, 13143 markings/sec, 130 secs
lola: 2074074 markings, 15716105 edges, 13312 markings/sec, 135 secs
lola: 2144875 markings, 16286000 edges, 14160 markings/sec, 140 secs
lola: 2215779 markings, 16911091 edges, 14181 markings/sec, 145 secs
lola: 2286032 markings, 17534211 edges, 14051 markings/sec, 150 secs
lola: 2354315 markings, 18210566 edges, 13657 markings/sec, 155 secs
lola: 2439481 markings, 18769821 edges, 17033 markings/sec, 160 secs
lola: 2517828 markings, 19369526 edges, 15669 markings/sec, 165 secs
lola: 2591128 markings, 19934504 edges, 14660 markings/sec, 170 secs
lola: 2661450 markings, 20490249 edges, 14064 markings/sec, 175 secs
lola: 2731493 markings, 21048575 edges, 14009 markings/sec, 180 secs
lola: 2797009 markings, 21628805 edges, 13103 markings/sec, 185 secs
lola: 2866904 markings, 22247337 edges, 13979 markings/sec, 190 secs
lola: 2937200 markings, 22877505 edges, 14059 markings/sec, 195 secs
lola: 3013995 markings, 23476264 edges, 15359 markings/sec, 200 secs
lola: 3085043 markings, 24103046 edges, 14210 markings/sec, 205 secs
lola: 3155026 markings, 24723229 edges, 13997 markings/sec, 210 secs
lola: 3224150 markings, 25347130 edges, 13825 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1077)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 141055 markings, 554010 edges, 28211 markings/sec, 0 secs
lola: 261106 markings, 1164784 edges, 24010 markings/sec, 5 secs
lola: 376647 markings, 1774954 edges, 23108 markings/sec, 10 secs
lola: 495250 markings, 2409441 edges, 23721 markings/sec, 15 secs
lola: 606632 markings, 3063496 edges, 22276 markings/sec, 20 secs
lola: 718345 markings, 3703837 edges, 22343 markings/sec, 25 secs
lola: 829150 markings, 4329432 edges, 22161 markings/sec, 30 secs
lola: 939094 markings, 4982922 edges, 21989 markings/sec, 35 secs
lola: 1010715 markings, 5547485 edges, 14324 markings/sec, 40 secs
lola: 1075394 markings, 6114010 edges, 12936 markings/sec, 45 secs
lola: 1152029 markings, 6686191 edges, 15327 markings/sec, 50 secs
lola: 1264809 markings, 7282979 edges, 22556 markings/sec, 55 secs
lola: 1367923 markings, 7886528 edges, 20623 markings/sec, 60 secs
lola: 1468509 markings, 8503002 edges, 20117 markings/sec, 65 secs
lola: 1569476 markings, 9098234 edges, 20193 markings/sec, 70 secs
lola: 1662572 markings, 9713438 edges, 18619 markings/sec, 75 secs
lola: 1751249 markings, 10329908 edges, 17735 markings/sec, 80 secs
lola: 1857000 markings, 10960541 edges, 21150 markings/sec, 85 secs
lola: 1960757 markings, 11635029 edges, 20751 markings/sec, 90 secs
lola: 2064018 markings, 12323541 edges, 20652 markings/sec, 95 secs
lola: 2129264 markings, 12955590 edges, 13049 markings/sec, 100 secs
lola: 2191251 markings, 13605156 edges, 12397 markings/sec, 105 secs
lola: 2287126 markings, 14237838 edges, 19175 markings/sec, 110 secs
lola: 2400048 markings, 14869053 edges, 22584 markings/sec, 115 secs
lola: 2504073 markings, 15491935 edges, 20805 markings/sec, 120 secs
lola: 2599311 markings, 16075196 edges, 19048 markings/sec, 125 secs
lola: 2694621 markings, 16674392 edges, 19062 markings/sec, 130 secs
lola: 2785890 markings, 17284245 edges, 18254 markings/sec, 135 secs
lola: 2871954 markings, 17890736 edges, 17213 markings/sec, 140 secs
lola: 2967568 markings, 18482621 edges, 19123 markings/sec, 145 secs
lola: 3065634 markings, 19144141 edges, 19613 markings/sec, 150 secs
lola: 3166012 markings, 19808157 edges, 20076 markings/sec, 155 secs
lola: 3230821 markings, 20441461 edges, 12962 markings/sec, 160 secs
lola: 3292629 markings, 21098101 edges, 12362 markings/sec, 165 secs
lola: 3359948 markings, 21725253 edges, 13464 markings/sec, 170 secs
lola: 3428499 markings, 22356074 edges, 13710 markings/sec, 175 secs
lola: 3498315 markings, 23010016 edges, 13963 markings/sec, 180 secs
lola: 3564200 markings, 23644510 edges, 13177 markings/sec, 185 secs
lola: 3670043 markings, 24262071 edges, 21169 markings/sec, 190 secs
lola: 3782147 markings, 24888221 edges, 22421 markings/sec, 195 secs
lola: 3890161 markings, 25521591 edges, 21603 markings/sec, 200 secs
lola: 3994074 markings, 26149838 edges, 20783 markings/sec, 205 secs
lola: 4100120 markings, 26816171 edges, 21209 markings/sec, 210 secs
lola: 4197226 markings, 27454589 edges, 19421 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1874)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 76414 markings, 505044 edges, 15283 markings/sec, 0 secs
lola: 142778 markings, 1058501 edges, 13273 markings/sec, 5 secs
lola: 209320 markings, 1624151 edges, 13308 markings/sec, 10 secs
lola: 282009 markings, 2211754 edges, 14538 markings/sec, 15 secs
lola: 345568 markings, 2781875 edges, 12712 markings/sec, 20 secs
lola: 406199 markings, 3364219 edges, 12126 markings/sec, 25 secs
lola: 466820 markings, 3957250 edges, 12124 markings/sec, 30 secs
lola: 533595 markings, 4532043 edges, 13355 markings/sec, 35 secs
lola: 592518 markings, 5086311 edges, 11785 markings/sec, 40 secs
lola: 650347 markings, 5650298 edges, 11566 markings/sec, 45 secs
lola: 714312 markings, 6282041 edges, 12793 markings/sec, 50 secs
lola: 777955 markings, 6853551 edges, 12729 markings/sec, 55 secs
lola: 838070 markings, 7429496 edges, 12023 markings/sec, 60 secs
lola: 898343 markings, 7999750 edges, 12055 markings/sec, 65 secs
lola: 958060 markings, 8580883 edges, 11943 markings/sec, 70 secs
lola: 1017502 markings, 9183930 edges, 11888 markings/sec, 75 secs
lola: 1072060 markings, 9782915 edges, 10912 markings/sec, 80 secs
lola: 1128242 markings, 10380400 edges, 11236 markings/sec, 85 secs
lola: 1193709 markings, 10927052 edges, 13093 markings/sec, 90 secs
lola: 1258034 markings, 11530971 edges, 12865 markings/sec, 95 secs
lola: 1324231 markings, 12171087 edges, 13239 markings/sec, 100 secs
lola: 1388839 markings, 12777852 edges, 12922 markings/sec, 105 secs
lola: 1448179 markings, 13363942 edges, 11868 markings/sec, 110 secs
lola: 1503494 markings, 13974829 edges, 11063 markings/sec, 115 secs
lola: 1563750 markings, 14629114 edges, 12051 markings/sec, 120 secs
lola: 1628300 markings, 15292483 edges, 12910 markings/sec, 125 secs
lola: 1693922 markings, 15956012 edges, 13124 markings/sec, 130 secs
lola: 1755660 markings, 16641479 edges, 12348 markings/sec, 135 secs
lola: 1816682 markings, 17325700 edges, 12204 markings/sec, 140 secs
lola: 1880910 markings, 17984564 edges, 12846 markings/sec, 145 secs
lola: 1943788 markings, 18657849 edges, 12576 markings/sec, 150 secs
lola: 2005349 markings, 19337256 edges, 12312 markings/sec, 155 secs
lola: 2066282 markings, 20011413 edges, 12187 markings/sec, 160 secs
lola: 2125283 markings, 20694475 edges, 11800 markings/sec, 165 secs
lola: 2182110 markings, 21391000 edges, 11365 markings/sec, 170 secs
lola: 2241062 markings, 22081329 edges, 11790 markings/sec, 175 secs
lola: 2309874 markings, 22716437 edges, 13762 markings/sec, 180 secs
lola: 2377956 markings, 23356642 edges, 13616 markings/sec, 185 secs
lola: 2444083 markings, 24009232 edges, 13225 markings/sec, 190 secs
lola: 2510906 markings, 24647915 edges, 13365 markings/sec, 195 secs
lola: 2576216 markings, 25298207 edges, 13062 markings/sec, 200 secs
lola: 2637867 markings, 25981146 edges, 12330 markings/sec, 205 secs
lola: 2697448 markings, 26652016 edges, 11916 markings/sec, 210 secs
lola: 2760736 markings, 27299702 edges, 12658 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2192)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 78544 markings, 563034 edges, 15709 markings/sec, 0 secs
lola: 146768 markings, 1173001 edges, 13645 markings/sec, 5 secs
lola: 212811 markings, 1792554 edges, 13209 markings/sec, 10 secs
lola: 276680 markings, 2422765 edges, 12774 markings/sec, 15 secs
lola: 342264 markings, 3056393 edges, 13117 markings/sec, 20 secs
lola: 409605 markings, 3684319 edges, 13468 markings/sec, 25 secs
lola: 469813 markings, 4281216 edges, 12042 markings/sec, 30 secs
lola: 528361 markings, 4941907 edges, 11710 markings/sec, 35 secs
lola: 583440 markings, 5525055 edges, 11016 markings/sec, 40 secs
lola: 640213 markings, 6148103 edges, 11355 markings/sec, 45 secs
lola: 693443 markings, 6748915 edges, 10646 markings/sec, 50 secs
lola: 751985 markings, 7316797 edges, 11708 markings/sec, 55 secs
lola: 813819 markings, 7937279 edges, 12367 markings/sec, 60 secs
lola: 871739 markings, 8589860 edges, 11584 markings/sec, 65 secs
lola: 931993 markings, 9243015 edges, 12051 markings/sec, 70 secs
lola: 991539 markings, 9901862 edges, 11909 markings/sec, 75 secs
lola: 1049678 markings, 10577895 edges, 11628 markings/sec, 80 secs
lola: 1114967 markings, 11204378 edges, 13058 markings/sec, 85 secs
lola: 1177875 markings, 11852852 edges, 12582 markings/sec, 90 secs
lola: 1236954 markings, 12514237 edges, 11816 markings/sec, 95 secs
lola: 1295172 markings, 13171002 edges, 11644 markings/sec, 100 secs
lola: 1355026 markings, 13836666 edges, 11971 markings/sec, 105 secs
lola: 1414287 markings, 14484010 edges, 11852 markings/sec, 110 secs
lola: 1477332 markings, 15085543 edges, 12609 markings/sec, 115 secs
lola: 1538597 markings, 15721385 edges, 12253 markings/sec, 120 secs
lola: 1598299 markings, 16367703 edges, 11940 markings/sec, 125 secs
lola: 1656571 markings, 17026221 edges, 11654 markings/sec, 130 secs
lola: 1715470 markings, 17660823 edges, 11780 markings/sec, 135 secs
lola: 1774524 markings, 18300906 edges, 11811 markings/sec, 140 secs
lola: 1832179 markings, 18949053 edges, 11531 markings/sec, 145 secs
lola: 1888889 markings, 19617242 edges, 11342 markings/sec, 150 secs
lola: 1943694 markings, 20289848 edges, 10961 markings/sec, 155 secs
lola: 1996167 markings, 20947807 edges, 10495 markings/sec, 160 secs
lola: 2050600 markings, 21613368 edges, 10887 markings/sec, 165 secs
lola: 2103640 markings, 22276357 edges, 10608 markings/sec, 170 secs
lola: 2160880 markings, 22903998 edges, 11448 markings/sec, 175 secs
lola: 2217236 markings, 23549792 edges, 11271 markings/sec, 180 secs
lola: 2268512 markings, 24209750 edges, 10255 markings/sec, 185 secs
lola: 2319910 markings, 24831356 edges, 10280 markings/sec, 190 secs
lola: 2368672 markings, 25448167 edges, 9752 markings/sec, 195 secs
lola: 2417336 markings, 26062024 edges, 9733 markings/sec, 200 secs
lola: 2469209 markings, 26669612 edges, 10375 markings/sec, 205 secs
lola: 2525124 markings, 27308574 edges, 11183 markings/sec, 210 secs
lola: 2579948 markings, 27962724 edges, 10965 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1047)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 135573 markings, 529457 edges, 27115 markings/sec, 0 secs
lola: 252789 markings, 1120300 edges, 23443 markings/sec, 5 secs
lola: 367218 markings, 1731080 edges, 22886 markings/sec, 10 secs
lola: 485871 markings, 2357862 edges, 23731 markings/sec, 15 secs
lola: 593279 markings, 2984501 edges, 21482 markings/sec, 20 secs
lola: 688707 markings, 3561386 edges, 19086 markings/sec, 25 secs
lola: 795111 markings, 4136457 edges, 21281 markings/sec, 30 secs
lola: 897151 markings, 4744025 edges, 20408 markings/sec, 35 secs
lola: 985209 markings, 5330652 edges, 17612 markings/sec, 40 secs
lola: 1050671 markings, 5886963 edges, 13092 markings/sec, 45 secs
lola: 1114986 markings, 6509971 edges, 12863 markings/sec, 50 secs
lola: 1231134 markings, 7108322 edges, 23230 markings/sec, 55 secs
lola: 1341384 markings, 7741525 edges, 22050 markings/sec, 60 secs
lola: 1435474 markings, 8335650 edges, 18818 markings/sec, 65 secs
lola: 1538691 markings, 8926457 edges, 20643 markings/sec, 70 secs
lola: 1638281 markings, 9547390 edges, 19918 markings/sec, 75 secs
lola: 1734942 markings, 10165167 edges, 19332 markings/sec, 80 secs
lola: 1830941 markings, 10784437 edges, 19200 markings/sec, 85 secs
lola: 1932163 markings, 11429605 edges, 20244 markings/sec, 90 secs
lola: 2032203 markings, 12099613 edges, 20008 markings/sec, 95 secs
lola: 2106371 markings, 12737619 edges, 14834 markings/sec, 100 secs
lola: 2171123 markings, 13383766 edges, 12950 markings/sec, 105 secs
lola: 2248499 markings, 14039663 edges, 15475 markings/sec, 110 secs
lola: 2353555 markings, 14607356 edges, 21011 markings/sec, 115 secs
lola: 2452560 markings, 15191789 edges, 19801 markings/sec, 120 secs
lola: 2542666 markings, 15777166 edges, 18021 markings/sec, 125 secs
lola: 2641522 markings, 16364766 edges, 19771 markings/sec, 130 secs
lola: 2739603 markings, 16979424 edges, 19616 markings/sec, 135 secs
lola: 2842120 markings, 17658282 edges, 20503 markings/sec, 140 secs
lola: 2942520 markings, 18296013 edges, 20080 markings/sec, 145 secs
lola: 3044732 markings, 18959116 edges, 20442 markings/sec, 150 secs
lola: 3143110 markings, 19627831 edges, 19676 markings/sec, 155 secs
lola: 3212625 markings, 20268134 edges, 13903 markings/sec, 160 secs
lola: 3276144 markings, 20908960 edges, 12704 markings/sec, 165 secs
lola: 3338666 markings, 21551551 edges, 12504 markings/sec, 170 secs
lola: 3408934 markings, 22168434 edges, 14054 markings/sec, 175 secs
lola: 3477136 markings, 22794144 edges, 13640 markings/sec, 180 secs
lola: 3542533 markings, 23441936 edges, 13079 markings/sec, 185 secs
lola: 3627467 markings, 24052673 edges, 16987 markings/sec, 190 secs
lola: 3741103 markings, 24654631 edges, 22727 markings/sec, 195 secs
lola: 3849252 markings, 25285531 edges, 21630 markings/sec, 200 secs
lola: 3948997 markings, 25898677 edges, 19949 markings/sec, 205 secs
lola: 4055102 markings, 26536158 edges, 21221 markings/sec, 210 secs
lola: 4151725 markings, 27174497 edges, 19325 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p2194)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 70331 markings, 545716 edges, 14066 markings/sec, 0 secs
lola: 134731 markings, 1141882 edges, 12880 markings/sec, 5 secs
lola: 197717 markings, 1747620 edges, 12597 markings/sec, 10 secs
lola: 259486 markings, 2356274 edges, 12354 markings/sec, 15 secs
lola: 319955 markings, 2969750 edges, 12094 markings/sec, 20 secs
lola: 382510 markings, 3566040 edges, 12511 markings/sec, 25 secs
lola: 442079 markings, 4182543 edges, 11914 markings/sec, 30 secs
lola: 499652 markings, 4819961 edges, 11515 markings/sec, 35 secs
lola: 556043 markings, 5463197 edges, 11278 markings/sec, 40 secs
lola: 610148 markings, 6061049 edges, 10821 markings/sec, 45 secs
lola: 663197 markings, 6634073 edges, 10610 markings/sec, 50 secs
lola: 718934 markings, 7193672 edges, 11147 markings/sec, 55 secs
lola: 774659 markings, 7792755 edges, 11145 markings/sec, 60 secs
lola: 831838 markings, 8430993 edges, 11436 markings/sec, 65 secs
lola: 886540 markings, 9081571 edges, 10940 markings/sec, 70 secs
lola: 941873 markings, 9699287 edges, 11067 markings/sec, 75 secs
lola: 996148 markings, 10263035 edges, 10855 markings/sec, 80 secs
lola: 1050446 markings, 10823349 edges, 10860 markings/sec, 85 secs
lola: 1103516 markings, 11415115 edges, 10614 markings/sec, 90 secs
lola: 1156282 markings, 12001300 edges, 10553 markings/sec, 95 secs
lola: 1208889 markings, 12630845 edges, 10521 markings/sec, 100 secs
lola: 1265923 markings, 13278578 edges, 11407 markings/sec, 105 secs
lola: 1324089 markings, 13871502 edges, 11633 markings/sec, 110 secs
lola: 1384466 markings, 14475678 edges, 12075 markings/sec, 115 secs
lola: 1440112 markings, 15100894 edges, 11129 markings/sec, 120 secs
lola: 1496787 markings, 15721730 edges, 11335 markings/sec, 125 secs
lola: 1548224 markings, 16301545 edges, 10287 markings/sec, 130 secs
lola: 1599647 markings, 16890823 edges, 10285 markings/sec, 135 secs
lola: 1654821 markings, 17492186 edges, 11035 markings/sec, 140 secs
lola: 1712323 markings, 18152842 edges, 11500 markings/sec, 145 secs
lola: 1763435 markings, 18810465 edges, 10222 markings/sec, 150 secs
lola: 1813211 markings, 19421314 edges, 9955 markings/sec, 155 secs
lola: 1866001 markings, 20090471 edges, 10558 markings/sec, 160 secs
lola: 1916599 markings, 20740913 edges, 10120 markings/sec, 165 secs
lola: 1967551 markings, 21325644 edges, 10190 markings/sec, 170 secs
lola: 2018115 markings, 21910512 edges, 10113 markings/sec, 175 secs
lola: 2065266 markings, 22502256 edges, 9430 markings/sec, 180 secs
lola: 2114079 markings, 23112038 edges, 9763 markings/sec, 185 secs
lola: 2163512 markings, 23760891 edges, 9887 markings/sec, 190 secs
lola: 2211544 markings, 24370655 edges, 9606 markings/sec, 195 secs
lola: 2259580 markings, 24984393 edges, 9607 markings/sec, 200 secs
lola: 2311521 markings, 25571351 edges, 10388 markings/sec, 205 secs
lola: 2361782 markings, 26161170 edges, 10052 markings/sec, 210 secs
lola: 2407884 markings, 26769554 edges, 9220 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p202)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 80037 markings, 548632 edges, 16007 markings/sec, 0 secs
lola: 155226 markings, 1180875 edges, 15038 markings/sec, 5 secs
lola: 229795 markings, 1791959 edges, 14914 markings/sec, 10 secs
lola: 301121 markings, 2452098 edges, 14265 markings/sec, 15 secs
lola: 366846 markings, 3074094 edges, 13145 markings/sec, 20 secs
lola: 440123 markings, 3682889 edges, 14655 markings/sec, 25 secs
lola: 510368 markings, 4338409 edges, 14049 markings/sec, 30 secs
lola: 580176 markings, 4963628 edges, 13962 markings/sec, 35 secs
lola: 651078 markings, 5606928 edges, 14180 markings/sec, 40 secs
lola: 718915 markings, 6253402 edges, 13567 markings/sec, 45 secs
lola: 787083 markings, 6851111 edges, 13634 markings/sec, 50 secs
lola: 859808 markings, 7500915 edges, 14545 markings/sec, 55 secs
lola: 929082 markings, 8155958 edges, 13855 markings/sec, 60 secs
lola: 996165 markings, 8831414 edges, 13417 markings/sec, 65 secs
lola: 1061039 markings, 9529438 edges, 12975 markings/sec, 70 secs
lola: 1126006 markings, 10166377 edges, 12993 markings/sec, 75 secs
lola: 1192742 markings, 10844438 edges, 13347 markings/sec, 80 secs
lola: 1257463 markings, 11542549 edges, 12944 markings/sec, 85 secs
lola: 1325577 markings, 12209266 edges, 13623 markings/sec, 90 secs
lola: 1387380 markings, 12852888 edges, 12361 markings/sec, 95 secs
lola: 1444381 markings, 13460791 edges, 11400 markings/sec, 100 secs
lola: 1503381 markings, 14035035 edges, 11800 markings/sec, 105 secs
lola: 1563968 markings, 14676311 edges, 12117 markings/sec, 110 secs
lola: 1632992 markings, 15291272 edges, 13805 markings/sec, 115 secs
lola: 1705048 markings, 15937545 edges, 14411 markings/sec, 120 secs
lola: 1772533 markings, 16584908 edges, 13497 markings/sec, 125 secs
lola: 1837410 markings, 17250116 edges, 12975 markings/sec, 130 secs
lola: 1901766 markings, 17936380 edges, 12871 markings/sec, 135 secs
lola: 1963389 markings, 18572812 edges, 12325 markings/sec, 140 secs
lola: 2030001 markings, 19231940 edges, 13322 markings/sec, 145 secs
lola: 2094673 markings, 19918510 edges, 12934 markings/sec, 150 secs
lola: 2159484 markings, 20588468 edges, 12962 markings/sec, 155 secs
lola: 2225093 markings, 21262387 edges, 13122 markings/sec, 160 secs
lola: 2292596 markings, 21919493 edges, 13501 markings/sec, 165 secs
lola: 2363733 markings, 22559827 edges, 14227 markings/sec, 170 secs
lola: 2430738 markings, 23202529 edges, 13401 markings/sec, 175 secs
lola: 2497067 markings, 23877700 edges, 13266 markings/sec, 180 secs
lola: 2561518 markings, 24548706 edges, 12890 markings/sec, 185 secs
lola: 2621973 markings, 25185126 edges, 12091 markings/sec, 190 secs
lola: 2689137 markings, 25835007 edges, 13433 markings/sec, 195 secs
lola: 2752603 markings, 26510882 edges, 12693 markings/sec, 200 secs
lola: 2817251 markings, 27170150 edges, 12930 markings/sec, 205 secs
lola: 2883214 markings, 27850014 edges, 13193 markings/sec, 210 secs
lola: 2945172 markings, 28526788 edges, 12392 markings/sec, 215 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p586)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 86258 markings, 542821 edges, 17252 markings/sec, 0 secs
lola: 162548 markings, 1143446 edges, 15258 markings/sec, 5 secs
lola: 236403 markings, 1755519 edges, 14771 markings/sec, 10 secs
lola: 312829 markings, 2349780 edges, 15285 markings/sec, 15 secs
lola: 382774 markings, 2972887 edges, 13989 markings/sec, 20 secs
lola: 451850 markings, 3604893 edges, 13815 markings/sec, 25 secs
lola: 523821 markings, 4200679 edges, 14394 markings/sec, 30 secs
lola: 599228 markings, 4824473 edges, 15081 markings/sec, 35 secs
lola: 672098 markings, 5419183 edges, 14574 markings/sec, 40 secs
lola: 743754 markings, 6042236 edges, 14331 markings/sec, 45 secs
lola: 814332 markings, 6679512 edges, 14116 markings/sec, 50 secs
lola: 884937 markings, 7316341 edges, 14121 markings/sec, 55 secs
lola: 950089 markings, 7962593 edges, 13030 markings/sec, 60 secs
lola: 1012660 markings, 8611145 edges, 12514 markings/sec, 65 secs
lola: 1073569 markings, 9244310 edges, 12182 markings/sec, 70 secs
lola: 1143924 markings, 9864582 edges, 14071 markings/sec, 75 secs
lola: 1211171 markings, 10508412 edges, 13449 markings/sec, 80 secs
lola: 1283578 markings, 11106856 edges, 14481 markings/sec, 85 secs
lola: 1355448 markings, 11749811 edges, 14374 markings/sec, 90 secs
lola: 1422077 markings, 12369953 edges, 13326 markings/sec, 95 secs
lola: 1495208 markings, 12969953 edges, 14626 markings/sec, 100 secs
lola: 1567852 markings, 13575294 edges, 14529 markings/sec, 105 secs
lola: 1635846 markings, 14206894 edges, 13599 markings/sec, 110 secs
lola: 1701450 markings, 14819651 edges, 13121 markings/sec, 115 secs
lola: 1772101 markings, 15448017 edges, 14130 markings/sec, 120 secs
lola: 1837368 markings, 16104420 edges, 13053 markings/sec, 125 secs
lola: 1900033 markings, 16743527 edges, 12533 markings/sec, 130 secs
lola: 1967853 markings, 17403702 edges, 13564 markings/sec, 135 secs
lola: 2037827 markings, 18050438 edges, 13995 markings/sec, 140 secs
lola: 2108717 markings, 18696541 edges, 14178 markings/sec, 145 secs
lola: 2176403 markings, 19346673 edges, 13537 markings/sec, 150 secs
lola: 2240773 markings, 20018040 edges, 12874 markings/sec, 155 secs
lola: 2304040 markings, 20682989 edges, 12653 markings/sec, 160 secs
lola: 2367251 markings, 21328173 edges, 12642 markings/sec, 165 secs
lola: 2428006 markings, 22015396 edges, 12151 markings/sec, 170 secs
lola: 2490541 markings, 22718503 edges, 12507 markings/sec, 175 secs
lola: 2551440 markings, 23406313 edges, 12180 markings/sec, 180 secs
lola: 2618782 markings, 24072498 edges, 13468 markings/sec, 185 secs
lola: 2681281 markings, 24749861 edges, 12500 markings/sec, 190 secs
lola: 2750919 markings, 25392522 edges, 13928 markings/sec, 195 secs
lola: 2816701 markings, 26059623 edges, 13156 markings/sec, 200 secs
lola: 2879981 markings, 26737476 edges, 12656 markings/sec, 205 secs
lola: 2949420 markings, 27386318 edges, 13888 markings/sec, 210 secs
lola: 3024702 markings, 28006498 edges, 15056 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1177)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 51914 markings, 689889 edges, 10383 markings/sec, 0 secs
lola: 96725 markings, 1433107 edges, 8962 markings/sec, 5 secs
lola: 138644 markings, 2197941 edges, 8384 markings/sec, 10 secs
lola: 183064 markings, 2947841 edges, 8884 markings/sec, 15 secs
lola: 224625 markings, 3717123 edges, 8312 markings/sec, 20 secs
lola: 263559 markings, 4503751 edges, 7787 markings/sec, 25 secs
lola: 307664 markings, 5256505 edges, 8821 markings/sec, 30 secs
lola: 348663 markings, 6014064 edges, 8200 markings/sec, 35 secs
lola: 388327 markings, 6791088 edges, 7933 markings/sec, 40 secs
lola: 428012 markings, 7554636 edges, 7937 markings/sec, 45 secs
lola: 467204 markings, 8351281 edges, 7838 markings/sec, 50 secs
lola: 505439 markings, 9145941 edges, 7647 markings/sec, 55 secs
lola: 544886 markings, 9939978 edges, 7889 markings/sec, 60 secs
lola: 585584 markings, 10657677 edges, 8140 markings/sec, 65 secs
lola: 626356 markings, 11425255 edges, 8154 markings/sec, 70 secs
lola: 662406 markings, 12156309 edges, 7210 markings/sec, 75 secs
lola: 701375 markings, 12884949 edges, 7794 markings/sec, 80 secs
lola: 738172 markings, 13634953 edges, 7359 markings/sec, 85 secs
lola: 776380 markings, 14454371 edges, 7642 markings/sec, 90 secs
lola: 811939 markings, 15172108 edges, 7112 markings/sec, 95 secs
lola: 848241 markings, 15893410 edges, 7260 markings/sec, 100 secs
lola: 884266 markings, 16634581 edges, 7205 markings/sec, 105 secs
lola: 917814 markings, 17379518 edges, 6710 markings/sec, 110 secs
lola: 953017 markings, 18116067 edges, 7041 markings/sec, 115 secs
lola: 989378 markings, 18933103 edges, 7272 markings/sec, 120 secs
lola: 1023658 markings, 19705151 edges, 6856 markings/sec, 125 secs
lola: 1054823 markings, 20464934 edges, 6233 markings/sec, 130 secs
lola: 1096161 markings, 21151494 edges, 8268 markings/sec, 135 secs
lola: 1135393 markings, 21880217 edges, 7846 markings/sec, 140 secs
lola: 1176697 markings, 22694484 edges, 8261 markings/sec, 145 secs
lola: 1218209 markings, 23492867 edges, 8302 markings/sec, 150 secs
lola: 1258154 markings, 24298283 edges, 7989 markings/sec, 155 secs
lola: 1294331 markings, 25058230 edges, 7235 markings/sec, 160 secs
lola: 1329552 markings, 25795674 edges, 7044 markings/sec, 165 secs
lola: 1366803 markings, 26522253 edges, 7450 markings/sec, 170 secs
lola: 1402419 markings, 27251520 edges, 7123 markings/sec, 175 secs
lola: 1436387 markings, 27992480 edges, 6794 markings/sec, 180 secs
lola: 1471937 markings, 28746305 edges, 7110 markings/sec, 185 secs
lola: 1507951 markings, 29544411 edges, 7203 markings/sec, 190 secs
lola: 1544083 markings, 30365703 edges, 7226 markings/sec, 195 secs
lola: 1576931 markings, 31168556 edges, 6570 markings/sec, 200 secs
lola: 1616287 markings, 31903135 edges, 7871 markings/sec, 205 secs
lola: 1652673 markings, 32645951 edges, 7277 markings/sec, 210 secs
lola: 1688399 markings, 33400888 edges, 7145 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p752)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 79915 markings, 533490 edges, 15983 markings/sec, 0 secs
lola: 149435 markings, 1106440 edges, 13904 markings/sec, 5 secs
lola: 217255 markings, 1693854 edges, 13564 markings/sec, 10 secs
lola: 284193 markings, 2323462 edges, 13388 markings/sec, 15 secs
lola: 350890 markings, 2940935 edges, 13339 markings/sec, 20 secs
lola: 416559 markings, 3567160 edges, 13134 markings/sec, 25 secs
lola: 481787 markings, 4188850 edges, 13046 markings/sec, 30 secs
lola: 548877 markings, 4809392 edges, 13418 markings/sec, 35 secs
lola: 609101 markings, 5430946 edges, 12045 markings/sec, 40 secs
lola: 667769 markings, 6048934 edges, 11734 markings/sec, 45 secs
lola: 733417 markings, 6642458 edges, 13130 markings/sec, 50 secs
lola: 794910 markings, 7259190 edges, 12299 markings/sec, 55 secs
lola: 857373 markings, 7869022 edges, 12493 markings/sec, 60 secs
lola: 916147 markings, 8498389 edges, 11755 markings/sec, 65 secs
lola: 974048 markings, 9126820 edges, 11580 markings/sec, 70 secs
lola: 1032757 markings, 9747599 edges, 11742 markings/sec, 75 secs
lola: 1089334 markings, 10384658 edges, 11315 markings/sec, 80 secs
lola: 1149429 markings, 11003954 edges, 12019 markings/sec, 85 secs
lola: 1207304 markings, 11638750 edges, 11575 markings/sec, 90 secs
lola: 1261012 markings, 12305997 edges, 10742 markings/sec, 95 secs
lola: 1319740 markings, 12942022 edges, 11746 markings/sec, 100 secs
lola: 1385403 markings, 13556173 edges, 13133 markings/sec, 105 secs
lola: 1449229 markings, 14194593 edges, 12765 markings/sec, 110 secs
lola: 1512823 markings, 14851471 edges, 12719 markings/sec, 115 secs
lola: 1572053 markings, 15493279 edges, 11846 markings/sec, 120 secs
lola: 1628925 markings, 16103717 edges, 11374 markings/sec, 125 secs
lola: 1685995 markings, 16723638 edges, 11414 markings/sec, 130 secs
lola: 1739669 markings, 17354060 edges, 10735 markings/sec, 135 secs
lola: 1799460 markings, 17955597 edges, 11958 markings/sec, 140 secs
lola: 1856048 markings, 18579610 edges, 11318 markings/sec, 145 secs
lola: 1907758 markings, 19254687 edges, 10342 markings/sec, 150 secs
lola: 1970009 markings, 19886373 edges, 12450 markings/sec, 155 secs
lola: 2034970 markings, 20512634 edges, 12992 markings/sec, 160 secs
lola: 2098648 markings, 21144491 edges, 12736 markings/sec, 165 secs
lola: 2160522 markings, 21793582 edges, 12375 markings/sec, 170 secs
lola: 2219739 markings, 22465449 edges, 11843 markings/sec, 175 secs
lola: 2282677 markings, 23120083 edges, 12588 markings/sec, 180 secs
lola: 2343915 markings, 23794402 edges, 12248 markings/sec, 185 secs
lola: 2404595 markings, 24464749 edges, 12136 markings/sec, 190 secs
lola: 2466388 markings, 25132686 edges, 12359 markings/sec, 195 secs
lola: 2525736 markings, 25838821 edges, 11870 markings/sec, 200 secs
lola: 2578804 markings, 26553018 edges, 10614 markings/sec, 205 secs
lola: 2631858 markings, 27253691 edges, 10611 markings/sec, 210 secs
lola: 2683297 markings, 27959575 edges, 10288 markings/sec, 215 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 222 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p1682)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 220 bytes per marking, with 23 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: 81372 markings, 539834 edges, 16274 markings/sec, 0 secs
lola: 154542 markings, 1146179 edges, 14634 markings/sec, 5 secs
lola: 226323 markings, 1756124 edges, 14356 markings/sec, 10 secs
lola: 299534 markings, 2358690 edges, 14642 markings/sec, 15 secs
lola: 365829 markings, 2977181 edges, 13259 markings/sec, 20 secs
lola: 432828 markings, 3627030 edges, 13400 markings/sec, 25 secs
lola: 503091 markings, 4263265 edges, 14053 markings/sec, 30 secs
lola: 572711 markings, 4885144 edges, 13924 markings/sec, 35 secs
lola: 638628 markings, 5528676 edges, 13183 markings/sec, 40 secs
lola: 704357 markings, 6183767 edges, 13146 markings/sec, 45 secs
lola: 774288 markings, 6813635 edges, 13986 markings/sec, 50 secs
lola: 840724 markings, 7456178 edges, 13287 markings/sec, 55 secs
lola: 907733 markings, 8094589 edges, 13402 markings/sec, 60 secs
lola: 973535 markings, 8739178 edges, 13160 markings/sec, 65 secs
lola: 1035799 markings, 9396590 edges, 12453 markings/sec, 70 secs
lola: 1099553 markings, 10066030 edges, 12751 markings/sec, 75 secs
lola: 1168549 markings, 10707730 edges, 13799 markings/sec, 80 secs
lola: 1237029 markings, 11323292 edges, 13696 markings/sec, 85 secs
lola: 1303750 markings, 11966349 edges, 13344 markings/sec, 90 secs
lola: 1368762 markings, 12602456 edges, 13002 markings/sec, 95 secs
lola: 1435089 markings, 13233016 edges, 13265 markings/sec, 100 secs
lola: 1496955 markings, 13895635 edges, 12373 markings/sec, 105 secs
lola: 1559357 markings, 14577141 edges, 12480 markings/sec, 110 secs
lola: 1621817 markings, 15230428 edges, 12492 markings/sec, 115 secs
lola: 1686124 markings, 15873767 edges, 12861 markings/sec, 120 secs
lola: 1747172 markings, 16553260 edges, 12210 markings/sec, 125 secs
lola: 1808920 markings, 17241561 edges, 12350 markings/sec, 130 secs
lola: 1872000 markings, 17907636 edges, 12616 markings/sec, 135 secs
lola: 1935845 markings, 18579386 edges, 12769 markings/sec, 140 secs
lola: 1998557 markings, 19261481 edges, 12542 markings/sec, 145 secs
lola: 2059895 markings, 19937721 edges, 12268 markings/sec, 150 secs
lola: 2118598 markings, 20626795 edges, 11741 markings/sec, 155 secs
lola: 2176519 markings, 21309055 edges, 11584 markings/sec, 160 secs
lola: 2232383 markings, 21975293 edges, 11173 markings/sec, 165 secs
lola: 2295685 markings, 22590879 edges, 12660 markings/sec, 170 secs
lola: 2360647 markings, 23182737 edges, 12992 markings/sec, 175 secs
lola: 2420182 markings, 23762623 edges, 11907 markings/sec, 180 secs
lola: 2480101 markings, 24356367 edges, 11984 markings/sec, 185 secs
lola: 2541056 markings, 24946378 edges, 12191 markings/sec, 190 secs
lola: 2599619 markings, 25554635 edges, 11713 markings/sec, 195 secs
lola: 2655892 markings, 26172321 edges, 11255 markings/sec, 200 secs
lola: 2711498 markings, 26794570 edges, 11121 markings/sec, 205 secs
lola: 2770241 markings, 27394185 edges, 11749 markings/sec, 210 secs
lola: 2832952 markings, 28055823 edges, 12542 markings/sec, 215 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 unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
FORMULA AutoFlight-PT-96a-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96a-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96a-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96a-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96a-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96a-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96a-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96a-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96a-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96a-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96a-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96a-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96a-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96a-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96a-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA AutoFlight-PT-96a-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496342536405

--------------------
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="S_AutoFlight-PT-96a"
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/S_AutoFlight-PT-96a.tgz
mv S_AutoFlight-PT-96a 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 S_AutoFlight-PT-96a, 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 r088-csrt-149441074200272"
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 ;