Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-3253
Executing tool lola
Input is S_DES-PT-20b, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r098-ebro-149488455700272
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1496452506937


Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_DES-PT-20b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
S_DES-PT-20b: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_DES-PT-20b @ 3539 seconds
----- Start make result stdout -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 671/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 360 places, 311 transitions, 295 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 408 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-20b-UpperBounds.task
lola: MAX(p51) : MAX(p221) : MAX(p166) : MAX(p10) : MAX(p179) : MAX(p118) : MAX(p235) : MAX(p301) : MAX(p328) : MAX(p84) : MAX(p142) : MAX(p14) : MAX(p264) : MAX(p312) : MAX(p122) : MAX(p306)
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(p51)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 953516 markings, 1091452 edges, 190703 markings/sec, 0 secs
lola: 1828489 markings, 2125700 edges, 174995 markings/sec, 5 secs
lola: 2633716 markings, 3137661 edges, 161045 markings/sec, 10 secs
lola: 3408970 markings, 4115752 edges, 155051 markings/sec, 15 secs
lola: 4161381 markings, 5071320 edges, 150482 markings/sec, 20 secs
lola: 4900634 markings, 5995368 edges, 147851 markings/sec, 25 secs
lola: 5650714 markings, 6951815 edges, 150016 markings/sec, 30 secs
lola: 6350475 markings, 8003078 edges, 139952 markings/sec, 35 secs
lola: 7042275 markings, 9061707 edges, 138360 markings/sec, 40 secs
lola: 7892858 markings, 10109140 edges, 170117 markings/sec, 45 secs
lola: 8754012 markings, 11200494 edges, 172231 markings/sec, 50 secs
lola: 9643854 markings, 12250466 edges, 177968 markings/sec, 55 secs
lola: 10455021 markings, 13169866 edges, 162233 markings/sec, 60 secs
lola: 11302852 markings, 14199599 edges, 169566 markings/sec, 65 secs
lola: 12178970 markings, 15303022 edges, 175224 markings/sec, 70 secs
lola: 12960473 markings, 16250135 edges, 156301 markings/sec, 75 secs
lola: 13787792 markings, 17298853 edges, 165464 markings/sec, 80 secs
lola: 14443351 markings, 18397135 edges, 131112 markings/sec, 85 secs
lola: 15225335 markings, 19497797 edges, 156397 markings/sec, 90 secs
lola: 16041929 markings, 20726555 edges, 163319 markings/sec, 95 secs
lola: 16752207 markings, 21793796 edges, 142056 markings/sec, 100 secs
lola: 17583816 markings, 22881595 edges, 166322 markings/sec, 105 secs
lola: 18303444 markings, 23978722 edges, 143926 markings/sec, 110 secs
lola: 18963437 markings, 24999573 edges, 131999 markings/sec, 115 secs
lola: 19584398 markings, 26172854 edges, 124192 markings/sec, 120 secs
lola: 20298122 markings, 27208484 edges, 142745 markings/sec, 125 secs
lola: 20975092 markings, 28325538 edges, 135394 markings/sec, 130 secs
lola: 21616936 markings, 29409861 edges, 128369 markings/sec, 135 secs
lola: 22411592 markings, 30467420 edges, 158931 markings/sec, 140 secs
lola: 23276853 markings, 31449579 edges, 173052 markings/sec, 145 secs
lola: 23957283 markings, 32611265 edges, 136086 markings/sec, 150 secs
lola: 24598536 markings, 33625932 edges, 128251 markings/sec, 155 secs
lola: 25350100 markings, 34663674 edges, 150313 markings/sec, 160 secs
lola: 26238809 markings, 35789748 edges, 177742 markings/sec, 165 secs
lola: 27036484 markings, 36908970 edges, 159535 markings/sec, 170 secs
lola: 27747019 markings, 38014094 edges, 142107 markings/sec, 175 secs
lola: 28291060 markings, 39088348 edges, 108808 markings/sec, 180 secs
lola: 28882117 markings, 40101188 edges, 118211 markings/sec, 185 secs
lola: 29599236 markings, 41084526 edges, 143424 markings/sec, 190 secs
lola: 30222576 markings, 42212241 edges, 124668 markings/sec, 195 secs
lola: 30827746 markings, 43314621 edges, 121034 markings/sec, 200 secs
lola: 31526229 markings, 44363683 edges, 139697 markings/sec, 205 secs
lola: 32228495 markings, 45475335 edges, 140453 markings/sec, 210 secs
lola: 32824004 markings, 46535170 edges, 119102 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(p221)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1283004 markings, 1344321 edges, 256601 markings/sec, 0 secs
lola: 2405516 markings, 2616608 edges, 224502 markings/sec, 5 secs
lola: 3649559 markings, 3913643 edges, 248809 markings/sec, 10 secs
lola: 4874276 markings, 5172601 edges, 244943 markings/sec, 15 secs
lola: 6105481 markings, 6426919 edges, 246241 markings/sec, 20 secs
lola: 7165141 markings, 7686284 edges, 211932 markings/sec, 25 secs
lola: 8364554 markings, 8995557 edges, 239883 markings/sec, 30 secs
lola: 9455013 markings, 10267662 edges, 218092 markings/sec, 35 secs
lola: 10622069 markings, 11520557 edges, 233411 markings/sec, 40 secs
lola: 11775322 markings, 12755558 edges, 230651 markings/sec, 45 secs
lola: 12959946 markings, 13973873 edges, 236925 markings/sec, 50 secs
lola: 14135461 markings, 15181735 edges, 235103 markings/sec, 55 secs
lola: 15376592 markings, 16466873 edges, 248226 markings/sec, 60 secs
lola: 16600553 markings, 17788082 edges, 244792 markings/sec, 65 secs
lola: 17534553 markings, 19076695 edges, 186800 markings/sec, 70 secs
lola: 18305420 markings, 20347795 edges, 154173 markings/sec, 75 secs
lola: 18859784 markings, 21744538 edges, 110873 markings/sec, 80 secs
lola: 19384756 markings, 22981686 edges, 104994 markings/sec, 85 secs
lola: 20283892 markings, 24229649 edges, 179827 markings/sec, 90 secs
lola: 21227188 markings, 25497653 edges, 188659 markings/sec, 95 secs
lola: 22137987 markings, 26756717 edges, 182160 markings/sec, 100 secs
lola: 23270321 markings, 27991838 edges, 226467 markings/sec, 105 secs
lola: 24442612 markings, 29256425 edges, 234458 markings/sec, 110 secs
lola: 25689116 markings, 30530928 edges, 249301 markings/sec, 115 secs
lola: 26920730 markings, 31795885 edges, 246323 markings/sec, 120 secs
lola: 28089122 markings, 33045496 edges, 233678 markings/sec, 125 secs
lola: 29186351 markings, 34330970 edges, 219446 markings/sec, 130 secs
lola: 30382943 markings, 35636830 edges, 239318 markings/sec, 135 secs
lola: 31574968 markings, 36939809 edges, 238405 markings/sec, 140 secs
lola: 32568333 markings, 38206741 edges, 198673 markings/sec, 145 secs
lola: 33621904 markings, 39461943 edges, 210714 markings/sec, 150 secs
lola: 34455249 markings, 40742950 edges, 166669 markings/sec, 155 secs
lola: 35388669 markings, 41990146 edges, 186684 markings/sec, 160 secs
lola: 36163475 markings, 43261073 edges, 154961 markings/sec, 165 secs
lola: 37076375 markings, 44478482 edges, 182580 markings/sec, 170 secs
lola: 37798656 markings, 45679564 edges, 144456 markings/sec, 175 secs
lola: 38646063 markings, 46864760 edges, 169481 markings/sec, 180 secs
lola: 39425459 markings, 48086573 edges, 155879 markings/sec, 185 secs
lola: 40214005 markings, 49267159 edges, 157709 markings/sec, 190 secs
lola: 41017074 markings, 50447961 edges, 160614 markings/sec, 195 secs
lola: 42212939 markings, 51691542 edges, 239173 markings/sec, 200 secs
lola: 43373256 markings, 52891731 edges, 232063 markings/sec, 205 secs
lola: 44572354 markings, 54116275 edges, 239820 markings/sec, 210 secs
lola: 45794168 markings, 55397746 edges, 244363 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(p166)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1000131 markings, 1168640 edges, 200026 markings/sec, 0 secs
lola: 1832529 markings, 2160307 edges, 166480 markings/sec, 5 secs
lola: 2640897 markings, 3184902 edges, 161674 markings/sec, 10 secs
lola: 3427305 markings, 4176752 edges, 157282 markings/sec, 15 secs
lola: 4182545 markings, 5141427 edges, 151048 markings/sec, 20 secs
lola: 4916916 markings, 6084740 edges, 146874 markings/sec, 25 secs
lola: 5688726 markings, 7047938 edges, 154362 markings/sec, 30 secs
lola: 6385756 markings, 8112055 edges, 139406 markings/sec, 35 secs
lola: 7101173 markings, 9170440 edges, 143083 markings/sec, 40 secs
lola: 7943157 markings, 10249872 edges, 168397 markings/sec, 45 secs
lola: 8817305 markings, 11339348 edges, 174830 markings/sec, 50 secs
lola: 9684862 markings, 12351230 edges, 173511 markings/sec, 55 secs
lola: 10531641 markings, 13298062 edges, 169356 markings/sec, 60 secs
lola: 11390342 markings, 14365276 edges, 171740 markings/sec, 65 secs
lola: 12271988 markings, 15499144 edges, 176329 markings/sec, 70 secs
lola: 13078689 markings, 16438639 edges, 161340 markings/sec, 75 secs
lola: 13839547 markings, 17554138 edges, 152172 markings/sec, 80 secs
lola: 14494323 markings, 18702209 edges, 130955 markings/sec, 85 secs
lola: 15416070 markings, 19829986 edges, 184349 markings/sec, 90 secs
lola: 16111754 markings, 21046296 edges, 139137 markings/sec, 95 secs
lola: 16877006 markings, 22106585 edges, 153050 markings/sec, 100 secs
lola: 17744399 markings, 23237286 edges, 173479 markings/sec, 105 secs
lola: 18322856 markings, 24312024 edges, 115691 markings/sec, 110 secs
lola: 18929383 markings, 25527114 edges, 121305 markings/sec, 115 secs
lola: 19653412 markings, 26590948 edges, 144806 markings/sec, 120 secs
lola: 20314720 markings, 27708022 edges, 132262 markings/sec, 125 secs
lola: 20948043 markings, 28813007 edges, 126665 markings/sec, 130 secs
lola: 21769137 markings, 29899462 edges, 164219 markings/sec, 135 secs
lola: 22663334 markings, 30912548 edges, 178839 markings/sec, 140 secs
lola: 23295555 markings, 32100529 edges, 126444 markings/sec, 145 secs
lola: 23958540 markings, 33124874 edges, 132597 markings/sec, 150 secs
lola: 24791651 markings, 34201955 edges, 166622 markings/sec, 155 secs
lola: 25664953 markings, 35319673 edges, 174660 markings/sec, 160 secs
lola: 26400925 markings, 36475234 edges, 147194 markings/sec, 165 secs
lola: 27078869 markings, 37577286 edges, 135589 markings/sec, 170 secs
lola: 27619627 markings, 38672550 edges, 108152 markings/sec, 175 secs
lola: 28235515 markings, 39701161 edges, 123178 markings/sec, 180 secs
lola: 28828496 markings, 40853719 edges, 118596 markings/sec, 185 secs
lola: 29427855 markings, 41951462 edges, 119872 markings/sec, 190 secs
lola: 30108210 markings, 42978368 edges, 136071 markings/sec, 195 secs
lola: 30781930 markings, 44058947 edges, 134744 markings/sec, 200 secs
lola: 31348731 markings, 45131617 edges, 113360 markings/sec, 205 secs
lola: 32011865 markings, 46177502 edges, 132627 markings/sec, 210 secs
lola: 32799739 markings, 47205579 edges, 157575 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(p10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 621449 markings, 1283510 edges, 124290 markings/sec, 0 secs
lola: 1160609 markings, 2620854 edges, 107832 markings/sec, 5 secs
lola: 1723959 markings, 3899867 edges, 112670 markings/sec, 10 secs
lola: 2278974 markings, 5158958 edges, 111003 markings/sec, 15 secs
lola: 2815865 markings, 6373446 edges, 107378 markings/sec, 20 secs
lola: 3321736 markings, 7629545 edges, 101174 markings/sec, 25 secs
lola: 3868397 markings, 8866239 edges, 109332 markings/sec, 30 secs
lola: 4403255 markings, 10074142 edges, 106972 markings/sec, 35 secs
lola: 4918470 markings, 11235138 edges, 103043 markings/sec, 40 secs
lola: 5402980 markings, 12437234 edges, 96902 markings/sec, 45 secs
lola: 5925184 markings, 13613565 edges, 104441 markings/sec, 50 secs
lola: 6443396 markings, 14781938 edges, 103642 markings/sec, 55 secs
lola: 6934465 markings, 15915666 edges, 98214 markings/sec, 60 secs
lola: 7422854 markings, 17094866 edges, 97678 markings/sec, 65 secs
lola: 7930426 markings, 18234108 edges, 101514 markings/sec, 70 secs
lola: 8423220 markings, 19339013 edges, 98559 markings/sec, 75 secs
lola: 8890959 markings, 20499074 edges, 93548 markings/sec, 80 secs
lola: 9390611 markings, 21621377 edges, 99930 markings/sec, 85 secs
lola: 9877152 markings, 22711379 edges, 97308 markings/sec, 90 secs
lola: 10331493 markings, 23837425 edges, 90868 markings/sec, 95 secs
lola: 10820692 markings, 24933973 edges, 97840 markings/sec, 100 secs
lola: 11287883 markings, 25975040 edges, 93438 markings/sec, 105 secs
lola: 11716479 markings, 27036596 edges, 85719 markings/sec, 110 secs
lola: 12653444 markings, 28173206 edges, 187393 markings/sec, 115 secs
lola: 13665706 markings, 29232611 edges, 202452 markings/sec, 120 secs
lola: 14679034 markings, 30322763 edges, 202666 markings/sec, 125 secs
lola: 15712165 markings, 31433246 edges, 206626 markings/sec, 130 secs
lola: 16715644 markings, 32494277 edges, 200696 markings/sec, 135 secs
lola: 17671058 markings, 33472889 edges, 191083 markings/sec, 140 secs
lola: 18666118 markings, 34530870 edges, 199012 markings/sec, 145 secs
lola: 19638879 markings, 35548174 edges, 194552 markings/sec, 150 secs
lola: 20626869 markings, 36596742 edges, 197598 markings/sec, 155 secs
lola: 21597976 markings, 37614901 edges, 194221 markings/sec, 160 secs
lola: 22326315 markings, 38710433 edges, 145668 markings/sec, 165 secs
lola: 23417878 markings, 39898055 edges, 218313 markings/sec, 170 secs
lola: 24495604 markings, 41069650 edges, 215545 markings/sec, 175 secs
lola: 25559761 markings, 42215879 edges, 212831 markings/sec, 180 secs
lola: 26608468 markings, 43344099 edges, 209741 markings/sec, 185 secs
lola: 27646064 markings, 44463568 edges, 207519 markings/sec, 190 secs
lola: 28542937 markings, 45606824 edges, 179375 markings/sec, 195 secs
lola: 29602197 markings, 46767174 edges, 211852 markings/sec, 200 secs
lola: 30676254 markings, 47933796 edges, 214811 markings/sec, 205 secs
lola: 31744085 markings, 49084282 edges, 213566 markings/sec, 210 secs
lola: 32797529 markings, 50217686 edges, 210689 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(p179)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1032330 markings, 1293347 edges, 206466 markings/sec, 0 secs
lola: 2059422 markings, 2441741 edges, 205418 markings/sec, 5 secs
lola: 2929045 markings, 3595784 edges, 173925 markings/sec, 10 secs
lola: 3848763 markings, 4822047 edges, 183944 markings/sec, 15 secs
lola: 4799494 markings, 6040070 edges, 190146 markings/sec, 20 secs
lola: 5730737 markings, 7233518 edges, 186249 markings/sec, 25 secs
lola: 6690668 markings, 8395040 edges, 191986 markings/sec, 30 secs
lola: 7639380 markings, 9526789 edges, 189742 markings/sec, 35 secs
lola: 8572813 markings, 10619179 edges, 186687 markings/sec, 40 secs
lola: 9455392 markings, 11670515 edges, 176516 markings/sec, 45 secs
lola: 10421469 markings, 12828060 edges, 193215 markings/sec, 50 secs
lola: 11282602 markings, 13971856 edges, 172227 markings/sec, 55 secs
lola: 12275825 markings, 15119534 edges, 198645 markings/sec, 60 secs
lola: 13251035 markings, 16250897 edges, 195042 markings/sec, 65 secs
lola: 14205086 markings, 17353423 edges, 190810 markings/sec, 70 secs
lola: 14851895 markings, 18562567 edges, 129362 markings/sec, 75 secs
lola: 15778815 markings, 19636271 edges, 185384 markings/sec, 80 secs
lola: 16523330 markings, 20761410 edges, 148903 markings/sec, 85 secs
lola: 17450427 markings, 21921858 edges, 185419 markings/sec, 90 secs
lola: 18341859 markings, 23072590 edges, 178286 markings/sec, 95 secs
lola: 19261790 markings, 24227867 edges, 183986 markings/sec, 100 secs
lola: 20180503 markings, 25409507 edges, 183743 markings/sec, 105 secs
lola: 21094154 markings, 26588937 edges, 182730 markings/sec, 110 secs
lola: 22020083 markings, 27721973 edges, 185186 markings/sec, 115 secs
lola: 22960885 markings, 28830781 edges, 188160 markings/sec, 120 secs
lola: 23868954 markings, 29893097 edges, 181614 markings/sec, 125 secs
lola: 24761911 markings, 30955740 edges, 178591 markings/sec, 130 secs
lola: 25705365 markings, 32075316 edges, 188691 markings/sec, 135 secs
lola: 26601774 markings, 33189378 edges, 179282 markings/sec, 140 secs
lola: 27514579 markings, 34281176 edges, 182561 markings/sec, 145 secs
lola: 28364339 markings, 35362064 edges, 169952 markings/sec, 150 secs
lola: 29219886 markings, 36435059 edges, 171109 markings/sec, 155 secs
lola: 30079675 markings, 37496092 edges, 171958 markings/sec, 160 secs
lola: 30925977 markings, 38548814 edges, 169260 markings/sec, 165 secs
lola: 31754230 markings, 39604852 edges, 165651 markings/sec, 170 secs
lola: 32579983 markings, 40642300 edges, 165151 markings/sec, 175 secs
lola: 33446742 markings, 41672038 edges, 173352 markings/sec, 180 secs
lola: 34326686 markings, 42680084 edges, 175989 markings/sec, 185 secs
lola: 35173234 markings, 43721032 edges, 169310 markings/sec, 190 secs
lola: 36086415 markings, 44762058 edges, 182636 markings/sec, 195 secs
lola: 37010171 markings, 45848982 edges, 184751 markings/sec, 200 secs
lola: 37876574 markings, 46862081 edges, 173281 markings/sec, 205 secs
lola: 38813792 markings, 48015142 edges, 187444 markings/sec, 210 secs
lola: 39719238 markings, 49099504 edges, 181089 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(p118)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 906600 markings, 1321907 edges, 181320 markings/sec, 0 secs
lola: 1652387 markings, 2414170 edges, 149157 markings/sec, 5 secs
lola: 2355884 markings, 3426887 edges, 140699 markings/sec, 10 secs
lola: 3138775 markings, 4530868 edges, 156578 markings/sec, 15 secs
lola: 3924814 markings, 5657546 edges, 157208 markings/sec, 20 secs
lola: 4788751 markings, 6729087 edges, 172787 markings/sec, 25 secs
lola: 5525192 markings, 7910803 edges, 147288 markings/sec, 30 secs
lola: 6310025 markings, 9006731 edges, 156967 markings/sec, 35 secs
lola: 7077445 markings, 10157989 edges, 153484 markings/sec, 40 secs
lola: 7845879 markings, 11299552 edges, 153687 markings/sec, 45 secs
lola: 8473620 markings, 12465248 edges, 125548 markings/sec, 50 secs
lola: 9240226 markings, 13585447 edges, 153321 markings/sec, 55 secs
lola: 9929548 markings, 14733849 edges, 137864 markings/sec, 60 secs
lola: 10732273 markings, 15761854 edges, 160545 markings/sec, 65 secs
lola: 11535941 markings, 16824290 edges, 160734 markings/sec, 70 secs
lola: 12239801 markings, 17927074 edges, 140772 markings/sec, 75 secs
lola: 13039227 markings, 18957509 edges, 159885 markings/sec, 80 secs
lola: 13820048 markings, 20050232 edges, 156164 markings/sec, 85 secs
lola: 14615428 markings, 21127487 edges, 159076 markings/sec, 90 secs
lola: 15293088 markings, 22289138 edges, 135532 markings/sec, 95 secs
lola: 15905673 markings, 23456919 edges, 122517 markings/sec, 100 secs
lola: 16596613 markings, 24540166 edges, 138188 markings/sec, 105 secs
lola: 17248242 markings, 25739864 edges, 130326 markings/sec, 110 secs
lola: 17861589 markings, 26876804 edges, 122669 markings/sec, 115 secs
lola: 18685799 markings, 27944433 edges, 164842 markings/sec, 120 secs
lola: 19492181 markings, 28980384 edges, 161276 markings/sec, 125 secs
lola: 20133823 markings, 30112446 edges, 128328 markings/sec, 130 secs
lola: 20753980 markings, 31266257 edges, 124031 markings/sec, 135 secs
lola: 21379707 markings, 32315255 edges, 125145 markings/sec, 140 secs
lola: 22116425 markings, 33358831 edges, 147344 markings/sec, 145 secs
lola: 22831062 markings, 34511622 edges, 142927 markings/sec, 150 secs
lola: 23488809 markings, 35651356 edges, 131549 markings/sec, 155 secs
lola: 24148254 markings, 36757051 edges, 131889 markings/sec, 160 secs
lola: 24748046 markings, 37902123 edges, 119958 markings/sec, 165 secs
lola: 25376191 markings, 38975145 edges, 125629 markings/sec, 170 secs
lola: 26018993 markings, 39978524 edges, 128560 markings/sec, 175 secs
lola: 26762928 markings, 41018059 edges, 148787 markings/sec, 180 secs
lola: 27533142 markings, 42058598 edges, 154043 markings/sec, 185 secs
lola: 28298146 markings, 43133120 edges, 153001 markings/sec, 190 secs
lola: 29011195 markings, 44225660 edges, 142610 markings/sec, 195 secs
lola: 29735882 markings, 45263613 edges, 144937 markings/sec, 200 secs
lola: 30395957 markings, 46435665 edges, 132015 markings/sec, 205 secs
lola: 31004497 markings, 47501545 edges, 121708 markings/sec, 210 secs
lola: 31655483 markings, 48572317 edges, 130197 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(p235)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1221908 markings, 1280044 edges, 244382 markings/sec, 0 secs
lola: 2301774 markings, 2499287 edges, 215973 markings/sec, 5 secs
lola: 3493195 markings, 3730722 edges, 238284 markings/sec, 10 secs
lola: 4644574 markings, 4913933 edges, 230276 markings/sec, 15 secs
lola: 5797198 markings, 6090338 edges, 230525 markings/sec, 20 secs
lola: 6808460 markings, 7283765 edges, 202252 markings/sec, 25 secs
lola: 7936916 markings, 8502499 edges, 225691 markings/sec, 30 secs
lola: 9004765 markings, 9737706 edges, 213570 markings/sec, 35 secs
lola: 10108197 markings, 10911408 edges, 220686 markings/sec, 40 secs
lola: 11164268 markings, 12097333 edges, 211214 markings/sec, 45 secs
lola: 12304488 markings, 13258422 edges, 228044 markings/sec, 50 secs
lola: 13422036 markings, 14414258 edges, 223510 markings/sec, 55 secs
lola: 14584233 markings, 15588180 edges, 232439 markings/sec, 60 secs
lola: 15718173 markings, 16798392 edges, 226788 markings/sec, 65 secs
lola: 16844138 markings, 18014383 edges, 225193 markings/sec, 70 secs
lola: 17471148 markings, 19203483 edges, 125402 markings/sec, 75 secs
lola: 18228705 markings, 20482134 edges, 151511 markings/sec, 80 secs
lola: 18723347 markings, 21778465 edges, 98928 markings/sec, 85 secs
lola: 19318209 markings, 22965991 edges, 118972 markings/sec, 90 secs
lola: 20185618 markings, 24139397 edges, 173482 markings/sec, 95 secs
lola: 21088461 markings, 25354770 edges, 180569 markings/sec, 100 secs
lola: 21941922 markings, 26555212 edges, 170692 markings/sec, 105 secs
lola: 23015955 markings, 27695396 edges, 214807 markings/sec, 110 secs
lola: 24088859 markings, 28852073 edges, 214581 markings/sec, 115 secs
lola: 25224284 markings, 30008531 edges, 227085 markings/sec, 120 secs
lola: 26353094 markings, 31172171 edges, 225762 markings/sec, 125 secs
lola: 27476441 markings, 32316730 edges, 224669 markings/sec, 130 secs
lola: 28426549 markings, 33470958 edges, 190022 markings/sec, 135 secs
lola: 29532531 markings, 34667110 edges, 221196 markings/sec, 140 secs
lola: 30633112 markings, 35848704 edges, 220116 markings/sec, 145 secs
lola: 31616992 markings, 37054422 edges, 196776 markings/sec, 150 secs
lola: 32586539 markings, 38181818 edges, 193909 markings/sec, 155 secs
lola: 33575145 markings, 39326540 edges, 197721 markings/sec, 160 secs
lola: 34296404 markings, 40526504 edges, 144252 markings/sec, 165 secs
lola: 35198152 markings, 41677189 edges, 180350 markings/sec, 170 secs
lola: 35901694 markings, 42873185 edges, 140708 markings/sec, 175 secs
lola: 36811817 markings, 44018752 edges, 182025 markings/sec, 180 secs
lola: 37457875 markings, 45152050 edges, 129212 markings/sec, 185 secs
lola: 38344877 markings, 46274049 edges, 177400 markings/sec, 190 secs
lola: 39009403 markings, 47423375 edges, 132905 markings/sec, 195 secs
lola: 39886370 markings, 48538385 edges, 175393 markings/sec, 200 secs
lola: 40534597 markings, 49665014 edges, 129645 markings/sec, 205 secs
lola: 41345801 markings, 50788290 edges, 162241 markings/sec, 210 secs
lola: 42144939 markings, 51942145 edges, 159828 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(p301)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1184562 markings, 1293148 edges, 236912 markings/sec, 0 secs
lola: 2226086 markings, 2523236 edges, 208305 markings/sec, 5 secs
lola: 3374162 markings, 3732205 edges, 229615 markings/sec, 10 secs
lola: 4424203 markings, 4944360 edges, 210008 markings/sec, 15 secs
lola: 5459265 markings, 6175237 edges, 207012 markings/sec, 20 secs
lola: 6444745 markings, 7404673 edges, 197096 markings/sec, 25 secs
lola: 7482259 markings, 8619341 edges, 207503 markings/sec, 30 secs
lola: 8615104 markings, 9796675 edges, 226569 markings/sec, 35 secs
lola: 9757101 markings, 10974423 edges, 228399 markings/sec, 40 secs
lola: 10871668 markings, 12220428 edges, 222913 markings/sec, 45 secs
lola: 11904740 markings, 13515502 edges, 206614 markings/sec, 50 secs
lola: 12455979 markings, 14914597 edges, 110248 markings/sec, 55 secs
lola: 12960998 markings, 16203704 edges, 101004 markings/sec, 60 secs
lola: 13544982 markings, 17441665 edges, 116797 markings/sec, 65 secs
lola: 14294396 markings, 18654709 edges, 149883 markings/sec, 70 secs
lola: 15031134 markings, 19886222 edges, 147348 markings/sec, 75 secs
lola: 15782337 markings, 21132418 edges, 150241 markings/sec, 80 secs
lola: 16617042 markings, 22338514 edges, 166941 markings/sec, 85 secs
lola: 17563544 markings, 23508229 edges, 189300 markings/sec, 90 secs
lola: 18684728 markings, 24704069 edges, 224237 markings/sec, 95 secs
lola: 19832537 markings, 25896622 edges, 229562 markings/sec, 100 secs
lola: 20791396 markings, 27112358 edges, 191772 markings/sec, 105 secs
lola: 21787736 markings, 28349647 edges, 199268 markings/sec, 110 secs
lola: 22782498 markings, 29583221 edges, 198952 markings/sec, 115 secs
lola: 23683524 markings, 30754097 edges, 180205 markings/sec, 120 secs
lola: 24554920 markings, 31930255 edges, 174279 markings/sec, 125 secs
lola: 25366981 markings, 33152770 edges, 162412 markings/sec, 130 secs
lola: 25936780 markings, 34467798 edges, 113960 markings/sec, 135 secs
lola: 26622320 markings, 35759001 edges, 137108 markings/sec, 140 secs
lola: 27231526 markings, 37050418 edges, 121841 markings/sec, 145 secs
lola: 27900400 markings, 38328291 edges, 133775 markings/sec, 150 secs
lola: 28597228 markings, 39551503 edges, 139366 markings/sec, 155 secs
lola: 29115026 markings, 40755558 edges, 103560 markings/sec, 160 secs
lola: 29737457 markings, 41950363 edges, 124486 markings/sec, 165 secs
lola: 30360135 markings, 43165868 edges, 124536 markings/sec, 170 secs
lola: 30955622 markings, 44379290 edges, 119097 markings/sec, 175 secs
lola: 31682094 markings, 45567545 edges, 145294 markings/sec, 180 secs
lola: 32156644 markings, 46785696 edges, 94910 markings/sec, 185 secs
lola: 32775575 markings, 47968409 edges, 123786 markings/sec, 190 secs
lola: 33402701 markings, 49174612 edges, 125425 markings/sec, 195 secs
lola: 34009260 markings, 50426926 edges, 121312 markings/sec, 200 secs
lola: 34613913 markings, 51682224 edges, 120931 markings/sec, 205 secs
lola: 35231553 markings, 52965147 edges, 123528 markings/sec, 210 secs
lola: 35861004 markings, 54217255 edges, 125890 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(p328)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 624980 markings, 1298023 edges, 124996 markings/sec, 0 secs
lola: 1159721 markings, 2580272 edges, 106948 markings/sec, 5 secs
lola: 1697463 markings, 3901641 edges, 107548 markings/sec, 10 secs
lola: 2264308 markings, 5200128 edges, 113369 markings/sec, 15 secs
lola: 2814218 markings, 6484718 edges, 109982 markings/sec, 20 secs
lola: 3352984 markings, 7768828 edges, 107753 markings/sec, 25 secs
lola: 3892959 markings, 9005527 edges, 107995 markings/sec, 30 secs
lola: 4420056 markings, 10270535 edges, 105419 markings/sec, 35 secs
lola: 4806840 markings, 11706284 edges, 77357 markings/sec, 40 secs
lola: 5101408 markings, 13297998 edges, 58914 markings/sec, 45 secs
lola: 5531058 markings, 14665829 edges, 85930 markings/sec, 50 secs
lola: 5957214 markings, 16017168 edges, 85231 markings/sec, 55 secs
lola: 6399220 markings, 17352124 edges, 88401 markings/sec, 60 secs
lola: 6833598 markings, 18721020 edges, 86876 markings/sec, 65 secs
lola: 7257643 markings, 20083447 edges, 84809 markings/sec, 70 secs
lola: 8011506 markings, 20997287 edges, 150773 markings/sec, 75 secs
lola: 8827394 markings, 21921939 edges, 163178 markings/sec, 80 secs
lola: 9543155 markings, 22822066 edges, 143152 markings/sec, 85 secs
lola: 10312308 markings, 23688778 edges, 153831 markings/sec, 90 secs
lola: 11092679 markings, 24576832 edges, 156074 markings/sec, 95 secs
lola: 11674967 markings, 25723108 edges, 116458 markings/sec, 100 secs
lola: 12146474 markings, 27003095 edges, 94301 markings/sec, 105 secs
lola: 12825273 markings, 27896447 edges, 135760 markings/sec, 110 secs
lola: 13524921 markings, 28642016 edges, 139930 markings/sec, 115 secs
lola: 14189115 markings, 29349050 edges, 132839 markings/sec, 120 secs
lola: 14821927 markings, 30023053 edges, 126562 markings/sec, 125 secs
lola: 15427949 markings, 30808099 edges, 121204 markings/sec, 130 secs
lola: 16178779 markings, 31841988 edges, 150166 markings/sec, 135 secs
lola: 16954782 markings, 32728959 edges, 155201 markings/sec, 140 secs
lola: 17686827 markings, 33689502 edges, 146409 markings/sec, 145 secs
lola: 18375724 markings, 34982253 edges, 137779 markings/sec, 150 secs
lola: 18926655 markings, 36247494 edges, 110186 markings/sec, 155 secs
lola: 19625770 markings, 37297202 edges, 139823 markings/sec, 160 secs
lola: 20398745 markings, 38182514 edges, 154595 markings/sec, 165 secs
lola: 21148126 markings, 39069181 edges, 149876 markings/sec, 170 secs
lola: 21789563 markings, 40265335 edges, 128287 markings/sec, 175 secs
lola: 22361010 markings, 41500247 edges, 114289 markings/sec, 180 secs
lola: 22961017 markings, 42628887 edges, 120001 markings/sec, 185 secs
lola: 23739888 markings, 43502417 edges, 155774 markings/sec, 190 secs
lola: 24477872 markings, 44348975 edges, 147597 markings/sec, 195 secs
lola: 25109378 markings, 45388431 edges, 126301 markings/sec, 200 secs
lola: 25775856 markings, 46571685 edges, 133296 markings/sec, 205 secs
lola: 26228191 markings, 47823534 edges, 90467 markings/sec, 210 secs
lola: 26965432 markings, 48709167 edges, 147448 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(p84)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 660450 markings, 1169916 edges, 132090 markings/sec, 0 secs
lola: 1189049 markings, 2272030 edges, 105720 markings/sec, 5 secs
lola: 1857103 markings, 3242480 edges, 133611 markings/sec, 10 secs
lola: 2424504 markings, 4434422 edges, 113480 markings/sec, 15 secs
lola: 2918694 markings, 5648966 edges, 98838 markings/sec, 20 secs
lola: 3386298 markings, 6820939 edges, 93521 markings/sec, 25 secs
lola: 3867156 markings, 7951309 edges, 96172 markings/sec, 30 secs
lola: 4400033 markings, 9115670 edges, 106575 markings/sec, 35 secs
lola: 4965240 markings, 10222903 edges, 113041 markings/sec, 40 secs
lola: 5635497 markings, 11303550 edges, 134051 markings/sec, 45 secs
lola: 6317107 markings, 12384666 edges, 136322 markings/sec, 50 secs
lola: 6939791 markings, 13484787 edges, 124537 markings/sec, 55 secs
lola: 7532171 markings, 14612709 edges, 118476 markings/sec, 60 secs
lola: 8099776 markings, 15760908 edges, 113521 markings/sec, 65 secs
lola: 8683612 markings, 16873245 edges, 116767 markings/sec, 70 secs
lola: 9224281 markings, 17996667 edges, 108134 markings/sec, 75 secs
lola: 9786207 markings, 19047606 edges, 112385 markings/sec, 80 secs
lola: 10333814 markings, 20154772 edges, 109521 markings/sec, 85 secs
lola: 10874241 markings, 21216758 edges, 108085 markings/sec, 90 secs
lola: 11420364 markings, 22295341 edges, 109225 markings/sec, 95 secs
lola: 11976593 markings, 23325811 edges, 111246 markings/sec, 100 secs
lola: 12671577 markings, 24256973 edges, 138997 markings/sec, 105 secs
lola: 13284192 markings, 25285128 edges, 122523 markings/sec, 110 secs
lola: 13882086 markings, 26263904 edges, 119579 markings/sec, 115 secs
lola: 14463073 markings, 27346919 edges, 116197 markings/sec, 120 secs
lola: 15011573 markings, 28432687 edges, 109700 markings/sec, 125 secs
lola: 15565233 markings, 29460305 edges, 110732 markings/sec, 130 secs
lola: 16238160 markings, 30518418 edges, 134585 markings/sec, 135 secs
lola: 16869325 markings, 31627434 edges, 126233 markings/sec, 140 secs
lola: 17527552 markings, 32763533 edges, 131645 markings/sec, 145 secs
lola: 18172289 markings, 33875526 edges, 128947 markings/sec, 150 secs
lola: 18738390 markings, 35101998 edges, 113220 markings/sec, 155 secs
lola: 19310306 markings, 36272628 edges, 114383 markings/sec, 160 secs
lola: 19893124 markings, 37480095 edges, 116564 markings/sec, 165 secs
lola: 20472518 markings, 38656512 edges, 115879 markings/sec, 170 secs
lola: 20997845 markings, 39823649 edges, 105065 markings/sec, 175 secs
lola: 21567605 markings, 40943014 edges, 113952 markings/sec, 180 secs
lola: 22091083 markings, 42064428 edges, 104696 markings/sec, 185 secs
lola: 22635652 markings, 43214841 edges, 108914 markings/sec, 190 secs
lola: 23172641 markings, 44318795 edges, 107398 markings/sec, 195 secs
lola: 23689134 markings, 45458813 edges, 103299 markings/sec, 200 secs
lola: 24232536 markings, 46534335 edges, 108680 markings/sec, 205 secs
lola: 24997590 markings, 47485082 edges, 153011 markings/sec, 210 secs
lola: 25597584 markings, 48538043 edges, 119999 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(p142)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 786706 markings, 1230208 edges, 157341 markings/sec, 0 secs
lola: 1506850 markings, 2477796 edges, 144029 markings/sec, 5 secs
lola: 2216487 markings, 3679691 edges, 141927 markings/sec, 10 secs
lola: 2918545 markings, 4993311 edges, 140412 markings/sec, 15 secs
lola: 3483663 markings, 6267483 edges, 113024 markings/sec, 20 secs
lola: 4098227 markings, 7542988 edges, 122913 markings/sec, 25 secs
lola: 4752190 markings, 8746026 edges, 130793 markings/sec, 30 secs
lola: 5295479 markings, 10011705 edges, 108658 markings/sec, 35 secs
lola: 5824954 markings, 11272593 edges, 105895 markings/sec, 40 secs
lola: 6335127 markings, 12514062 edges, 102035 markings/sec, 45 secs
lola: 6953048 markings, 13667297 edges, 123584 markings/sec, 50 secs
lola: 7524259 markings, 14838205 edges, 114242 markings/sec, 55 secs
lola: 8095387 markings, 16048966 edges, 114226 markings/sec, 60 secs
lola: 8729200 markings, 17271151 edges, 126763 markings/sec, 65 secs
lola: 9261181 markings, 18592217 edges, 106396 markings/sec, 70 secs
lola: 9748006 markings, 19830270 edges, 97365 markings/sec, 75 secs
lola: 10329777 markings, 21055654 edges, 116354 markings/sec, 80 secs
lola: 10922946 markings, 22294209 edges, 118634 markings/sec, 85 secs
lola: 11468787 markings, 23522978 edges, 109168 markings/sec, 90 secs
lola: 12145944 markings, 24810912 edges, 135431 markings/sec, 95 secs
lola: 12787407 markings, 26113484 edges, 128293 markings/sec, 100 secs
lola: 13411202 markings, 27319347 edges, 124759 markings/sec, 105 secs
lola: 14036822 markings, 28483875 edges, 125124 markings/sec, 110 secs
lola: 14646918 markings, 29700724 edges, 122019 markings/sec, 115 secs
lola: 15297178 markings, 30898754 edges, 130052 markings/sec, 120 secs
lola: 15888542 markings, 32106183 edges, 118273 markings/sec, 125 secs
lola: 16453895 markings, 33393130 edges, 113071 markings/sec, 130 secs
lola: 17010750 markings, 34658568 edges, 111371 markings/sec, 135 secs
lola: 17511936 markings, 35852547 edges, 100237 markings/sec, 140 secs
lola: 18012260 markings, 37087687 edges, 100065 markings/sec, 145 secs
lola: 18538326 markings, 38334807 edges, 105213 markings/sec, 150 secs
lola: 19138666 markings, 39519738 edges, 120068 markings/sec, 155 secs
lola: 19622924 markings, 40803607 edges, 96852 markings/sec, 160 secs
lola: 20096064 markings, 42114141 edges, 94628 markings/sec, 165 secs
lola: 20677741 markings, 43342269 edges, 116335 markings/sec, 170 secs
lola: 21140434 markings, 44589911 edges, 92539 markings/sec, 175 secs
lola: 21699847 markings, 45722171 edges, 111883 markings/sec, 180 secs
lola: 22154263 markings, 46978261 edges, 90883 markings/sec, 185 secs
lola: 22724461 markings, 48153239 edges, 114040 markings/sec, 190 secs
lola: 23217776 markings, 49369410 edges, 98663 markings/sec, 195 secs
lola: 23703737 markings, 50617479 edges, 97192 markings/sec, 200 secs
lola: 24293568 markings, 51809512 edges, 117966 markings/sec, 205 secs
lola: 24948414 markings, 52919102 edges, 130969 markings/sec, 210 secs
lola: 25575440 markings, 54012626 edges, 125405 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(p14)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 633601 markings, 1313017 edges, 126720 markings/sec, 0 secs
lola: 1185542 markings, 2683639 edges, 110388 markings/sec, 5 secs
lola: 1765964 markings, 4005519 edges, 116084 markings/sec, 10 secs
lola: 2337418 markings, 5304302 edges, 114291 markings/sec, 15 secs
lola: 2893992 markings, 6566269 edges, 111315 markings/sec, 20 secs
lola: 3436666 markings, 7800034 edges, 108535 markings/sec, 25 secs
lola: 3959741 markings, 9092285 edges, 104615 markings/sec, 30 secs
lola: 4507237 markings, 10332189 edges, 109499 markings/sec, 35 secs
lola: 5047732 markings, 11556024 edges, 108099 markings/sec, 40 secs
lola: 5568837 markings, 12731352 edges, 104221 markings/sec, 45 secs
lola: 6071236 markings, 13976185 edges, 100480 markings/sec, 50 secs
lola: 6599050 markings, 15169256 edges, 105563 markings/sec, 55 secs
lola: 7120202 markings, 16341372 edges, 104230 markings/sec, 60 secs
lola: 7610828 markings, 17503682 edges, 98125 markings/sec, 65 secs
lola: 8114852 markings, 18693461 edges, 100805 markings/sec, 70 secs
lola: 8615605 markings, 19817219 edges, 100151 markings/sec, 75 secs
lola: 9183164 markings, 20949487 edges, 113512 markings/sec, 80 secs
lola: 10267210 markings, 22113519 edges, 216809 markings/sec, 85 secs
lola: 11270406 markings, 23167477 edges, 200639 markings/sec, 90 secs
lola: 12337782 markings, 24309350 edges, 213475 markings/sec, 95 secs
lola: 13388603 markings, 25447268 edges, 210164 markings/sec, 100 secs
lola: 14377360 markings, 26461264 edges, 197751 markings/sec, 105 secs
lola: 15357293 markings, 27475495 edges, 195987 markings/sec, 110 secs
lola: 16381517 markings, 28573757 edges, 204845 markings/sec, 115 secs
lola: 17368851 markings, 29600309 edges, 197467 markings/sec, 120 secs
lola: 18385387 markings, 30686346 edges, 203307 markings/sec, 125 secs
lola: 19238462 markings, 31716756 edges, 170615 markings/sec, 130 secs
lola: 20188045 markings, 32926588 edges, 189917 markings/sec, 135 secs
lola: 21293486 markings, 34131724 edges, 221088 markings/sec, 140 secs
lola: 22392981 markings, 35314938 edges, 219899 markings/sec, 145 secs
lola: 23477031 markings, 36485392 edges, 216810 markings/sec, 150 secs
lola: 24545547 markings, 37633499 edges, 213703 markings/sec, 155 secs
lola: 25502248 markings, 38796847 edges, 191340 markings/sec, 160 secs
lola: 26536008 markings, 39975123 edges, 206752 markings/sec, 165 secs
lola: 27644601 markings, 41182541 edges, 221719 markings/sec, 170 secs
lola: 28740266 markings, 42358976 edges, 219133 markings/sec, 175 secs
lola: 29820072 markings, 43524448 edges, 215961 markings/sec, 180 secs
lola: 30883179 markings, 44668058 edges, 212621 markings/sec, 185 secs
lola: 31874350 markings, 45817498 edges, 198234 markings/sec, 190 secs
lola: 32815379 markings, 46938660 edges, 188206 markings/sec, 195 secs
lola: 33818286 markings, 48003595 edges, 200581 markings/sec, 200 secs
lola: 34805242 markings, 49054566 edges, 197391 markings/sec, 205 secs
lola: 35785438 markings, 50098981 edges, 196039 markings/sec, 210 secs
lola: 36755173 markings, 51128285 edges, 193947 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(p264)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1134653 markings, 1204982 edges, 226931 markings/sec, 0 secs
lola: 2131737 markings, 2367902 edges, 199417 markings/sec, 5 secs
lola: 3267371 markings, 3539026 edges, 227127 markings/sec, 10 secs
lola: 4381578 markings, 4694547 edges, 222841 markings/sec, 15 secs
lola: 5453451 markings, 5833900 edges, 214375 markings/sec, 20 secs
lola: 6426794 markings, 7001277 edges, 194669 markings/sec, 25 secs
lola: 7402220 markings, 8192971 edges, 195085 markings/sec, 30 secs
lola: 8426728 markings, 9309982 edges, 204902 markings/sec, 35 secs
lola: 9407207 markings, 10442578 edges, 196096 markings/sec, 40 secs
lola: 10482272 markings, 11544608 edges, 215013 markings/sec, 45 secs
lola: 11554730 markings, 12651034 edges, 214492 markings/sec, 50 secs
lola: 12640383 markings, 13787367 edges, 217131 markings/sec, 55 secs
lola: 13707103 markings, 14956757 edges, 213344 markings/sec, 60 secs
lola: 14495661 markings, 16134262 edges, 157712 markings/sec, 65 secs
lola: 15204111 markings, 17341607 edges, 141690 markings/sec, 70 secs
lola: 15724075 markings, 18674704 edges, 103993 markings/sec, 75 secs
lola: 16221230 markings, 19882442 edges, 99431 markings/sec, 80 secs
lola: 16966626 markings, 21026119 edges, 149079 markings/sec, 85 secs
lola: 17734564 markings, 22177704 edges, 153588 markings/sec, 90 secs
lola: 18523155 markings, 23358598 edges, 157718 markings/sec, 95 secs
lola: 19319761 markings, 24496871 edges, 159321 markings/sec, 100 secs
lola: 20279684 markings, 25593030 edges, 191985 markings/sec, 105 secs
lola: 21325708 markings, 26685547 edges, 209205 markings/sec, 110 secs
lola: 22409513 markings, 27805984 edges, 216761 markings/sec, 115 secs
lola: 23468003 markings, 28890228 edges, 211698 markings/sec, 120 secs
lola: 24383106 markings, 30006611 edges, 183021 markings/sec, 125 secs
lola: 25425046 markings, 31148262 edges, 208388 markings/sec, 130 secs
lola: 26457609 markings, 32272986 edges, 206513 markings/sec, 135 secs
lola: 27277311 markings, 33432686 edges, 163940 markings/sec, 140 secs
lola: 28166138 markings, 34519801 edges, 177765 markings/sec, 145 secs
lola: 29068971 markings, 35642480 edges, 180567 markings/sec, 150 secs
lola: 29736674 markings, 36832973 edges, 133541 markings/sec, 155 secs
lola: 30426468 markings, 38012556 edges, 137959 markings/sec, 160 secs
lola: 31170100 markings, 39177396 edges, 148726 markings/sec, 165 secs
lola: 31780511 markings, 40378614 edges, 122082 markings/sec, 170 secs
lola: 32581613 markings, 41530388 edges, 160220 markings/sec, 175 secs
lola: 33090047 markings, 42676690 edges, 101687 markings/sec, 180 secs
lola: 33768047 markings, 43803071 edges, 135600 markings/sec, 185 secs
lola: 34419425 markings, 44953710 edges, 130276 markings/sec, 190 secs
lola: 35077398 markings, 46086464 edges, 131595 markings/sec, 195 secs
lola: 35809673 markings, 47186288 edges, 146455 markings/sec, 200 secs
lola: 36352832 markings, 48324127 edges, 108632 markings/sec, 205 secs
lola: 37043067 markings, 49438022 edges, 138047 markings/sec, 210 secs
lola: 37654568 markings, 50615688 edges, 122300 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p312)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1203568 markings, 1315745 edges, 240714 markings/sec, 0 secs
lola: 2259797 markings, 2566826 edges, 211246 markings/sec, 5 secs
lola: 3447336 markings, 3809064 edges, 237508 markings/sec, 10 secs
lola: 4498853 markings, 5040975 edges, 210303 markings/sec, 15 secs
lola: 5555078 markings, 6283482 edges, 211245 markings/sec, 20 secs
lola: 6555630 markings, 7524818 edges, 200110 markings/sec, 25 secs
lola: 7607952 markings, 8754909 edges, 210464 markings/sec, 30 secs
lola: 8768718 markings, 9960135 edges, 232153 markings/sec, 35 secs
lola: 9916751 markings, 11167963 edges, 229607 markings/sec, 40 secs
lola: 11080663 markings, 12453717 edges, 232782 markings/sec, 45 secs
lola: 12004970 markings, 13742487 edges, 184861 markings/sec, 50 secs
lola: 12525863 markings, 15072808 edges, 104179 markings/sec, 55 secs
lola: 13011797 markings, 16324191 edges, 97187 markings/sec, 60 secs
lola: 13606799 markings, 17526920 edges, 119000 markings/sec, 65 secs
lola: 14317698 markings, 18709755 edges, 142180 markings/sec, 70 secs
lola: 15052933 markings, 19913113 edges, 147047 markings/sec, 75 secs
lola: 15781147 markings, 21131184 edges, 145643 markings/sec, 80 secs
lola: 16605292 markings, 22326325 edges, 164829 markings/sec, 85 secs
lola: 17556880 markings, 23501562 edges, 190318 markings/sec, 90 secs
lola: 18696542 markings, 24716532 edges, 227932 markings/sec, 95 secs
lola: 19865859 markings, 25931148 edges, 233863 markings/sec, 100 secs
lola: 20817657 markings, 27144023 edges, 190360 markings/sec, 105 secs
lola: 21814734 markings, 28378796 edges, 199415 markings/sec, 110 secs
lola: 22802775 markings, 29610431 edges, 197608 markings/sec, 115 secs
lola: 23701799 markings, 30777639 edges, 179805 markings/sec, 120 secs
lola: 24568570 markings, 31946533 edges, 173354 markings/sec, 125 secs
lola: 25366289 markings, 33150837 edges, 159544 markings/sec, 130 secs
lola: 25917923 markings, 34430359 edges, 110327 markings/sec, 135 secs
lola: 26569077 markings, 35695422 edges, 130231 markings/sec, 140 secs
lola: 27194975 markings, 36951202 edges, 125180 markings/sec, 145 secs
lola: 27835268 markings, 38202725 edges, 128059 markings/sec, 150 secs
lola: 28542214 markings, 39410718 edges, 141389 markings/sec, 155 secs
lola: 29029028 markings, 40592146 edges, 97363 markings/sec, 160 secs
lola: 29642970 markings, 41767663 edges, 122788 markings/sec, 165 secs
lola: 30285664 markings, 42958474 edges, 128539 markings/sec, 170 secs
lola: 30840995 markings, 44160297 edges, 111066 markings/sec, 175 secs
lola: 31491858 markings, 45353169 edges, 130173 markings/sec, 180 secs
lola: 32035963 markings, 46539190 edges, 108821 markings/sec, 185 secs
lola: 32640595 markings, 47707855 edges, 120926 markings/sec, 190 secs
lola: 33260925 markings, 48881633 edges, 124066 markings/sec, 195 secs
lola: 33852850 markings, 50112263 edges, 118385 markings/sec, 200 secs
lola: 34451908 markings, 51332577 edges, 119812 markings/sec, 205 secs
lola: 35048460 markings, 52596770 edges, 119310 markings/sec, 210 secs
lola: 35653812 markings, 53848030 edges, 121070 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p122)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 562079 markings, 1367692 edges, 112416 markings/sec, 0 secs
lola: 1158611 markings, 2592901 edges, 119306 markings/sec, 5 secs
lola: 1691646 markings, 3802102 edges, 106607 markings/sec, 10 secs
lola: 2221557 markings, 4976730 edges, 105982 markings/sec, 15 secs
lola: 2747450 markings, 6122950 edges, 105179 markings/sec, 20 secs
lola: 3286555 markings, 7241065 edges, 107821 markings/sec, 25 secs
lola: 3778484 markings, 8359393 edges, 98386 markings/sec, 30 secs
lola: 4268701 markings, 9446373 edges, 98043 markings/sec, 35 secs
lola: 4754352 markings, 10515121 edges, 97130 markings/sec, 40 secs
lola: 5235462 markings, 11570894 edges, 96222 markings/sec, 45 secs
lola: 5730216 markings, 12616712 edges, 98951 markings/sec, 50 secs
lola: 6209875 markings, 13639721 edges, 95932 markings/sec, 55 secs
lola: 6672535 markings, 14654877 edges, 92532 markings/sec, 60 secs
lola: 7123343 markings, 15661832 edges, 90162 markings/sec, 65 secs
lola: 7569240 markings, 16654019 edges, 89179 markings/sec, 70 secs
lola: 8072035 markings, 17689146 edges, 100559 markings/sec, 75 secs
lola: 8593293 markings, 18920376 edges, 104252 markings/sec, 80 secs
lola: 9280922 markings, 19914606 edges, 137526 markings/sec, 85 secs
lola: 9992287 markings, 20911528 edges, 142273 markings/sec, 90 secs
lola: 10739037 markings, 22034129 edges, 149350 markings/sec, 95 secs
lola: 11501825 markings, 23302135 edges, 152558 markings/sec, 100 secs
lola: 12270240 markings, 24507037 edges, 153683 markings/sec, 105 secs
lola: 12924397 markings, 25685100 edges, 130831 markings/sec, 110 secs
lola: 13522632 markings, 26852361 edges, 119647 markings/sec, 115 secs
lola: 14130424 markings, 28024836 edges, 121558 markings/sec, 120 secs
lola: 14745046 markings, 29168287 edges, 122924 markings/sec, 125 secs
lola: 15355482 markings, 30375230 edges, 122087 markings/sec, 130 secs
lola: 15957994 markings, 31567802 edges, 120502 markings/sec, 135 secs
lola: 16597331 markings, 32628541 edges, 127867 markings/sec, 140 secs
lola: 17239838 markings, 33755408 edges, 128501 markings/sec, 145 secs
lola: 17815534 markings, 34922997 edges, 115139 markings/sec, 150 secs
lola: 18380931 markings, 36147004 edges, 113079 markings/sec, 155 secs
lola: 19035015 markings, 37305996 edges, 130817 markings/sec, 160 secs
lola: 19747733 markings, 38559282 edges, 142544 markings/sec, 165 secs
lola: 20403828 markings, 39672621 edges, 131219 markings/sec, 170 secs
lola: 21074744 markings, 40853163 edges, 134183 markings/sec, 175 secs
lola: 21668836 markings, 42048222 edges, 118818 markings/sec, 180 secs
lola: 22273492 markings, 43240294 edges, 120931 markings/sec, 185 secs
lola: 22854099 markings, 44354376 edges, 116121 markings/sec, 190 secs
lola: 23444544 markings, 45399554 edges, 118089 markings/sec, 195 secs
lola: 24119961 markings, 46390246 edges, 135083 markings/sec, 200 secs
lola: 24776671 markings, 47408267 edges, 131342 markings/sec, 205 secs
lola: 25343560 markings, 48555784 edges, 113378 markings/sec, 210 secs
lola: 25931563 markings, 49688762 edges, 117601 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 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(p306)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 40 bytes per marking, with 25 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: 1203761 markings, 1316107 edges, 240752 markings/sec, 0 secs
lola: 2263427 markings, 2574694 edges, 211933 markings/sec, 5 secs
lola: 3434303 markings, 3795304 edges, 234175 markings/sec, 10 secs
lola: 4481690 markings, 5023142 edges, 209477 markings/sec, 15 secs
lola: 5556587 markings, 6286372 edges, 214979 markings/sec, 20 secs
lola: 6574039 markings, 7544191 edges, 203490 markings/sec, 25 secs
lola: 7626459 markings, 8773987 edges, 210484 markings/sec, 30 secs
lola: 8785117 markings, 9977716 edges, 231732 markings/sec, 35 secs
lola: 9923056 markings, 11174334 edges, 227588 markings/sec, 40 secs
lola: 11070246 markings, 12442486 edges, 229438 markings/sec, 45 secs
lola: 12009068 markings, 13751472 edges, 187764 markings/sec, 50 secs
lola: 12547537 markings, 15123738 edges, 107694 markings/sec, 55 secs
lola: 13046495 markings, 16401561 edges, 99792 markings/sec, 60 secs
lola: 13653676 markings, 17636288 edges, 121436 markings/sec, 65 secs
lola: 14415740 markings, 18842647 edges, 152413 markings/sec, 70 secs
lola: 15159254 markings, 20089553 edges, 148703 markings/sec, 75 secs
lola: 15916257 markings, 21343562 edges, 151401 markings/sec, 80 secs
lola: 16812096 markings, 22538516 edges, 179168 markings/sec, 85 secs
lola: 17719039 markings, 23695860 edges, 181389 markings/sec, 90 secs
lola: 18866630 markings, 24895938 edges, 229518 markings/sec, 95 secs
lola: 20007141 markings, 26078518 edges, 228102 markings/sec, 100 secs
lola: 20918190 markings, 27268594 edges, 182210 markings/sec, 105 secs
lola: 21913826 markings, 28492280 edges, 199127 markings/sec, 110 secs
lola: 22888412 markings, 29720842 edges, 194917 markings/sec, 115 secs
lola: 23780525 markings, 30888776 edges, 178423 markings/sec, 120 secs
lola: 24657478 markings, 32068674 edges, 175391 markings/sec, 125 secs
lola: 25418785 markings, 33304730 edges, 152261 markings/sec, 130 secs
lola: 26012533 markings, 34609789 edges, 118750 markings/sec, 135 secs
lola: 26733975 markings, 35883394 edges, 144288 markings/sec, 140 secs
lola: 27297531 markings, 37177998 edges, 112711 markings/sec, 145 secs
lola: 27965215 markings, 38453311 edges, 133537 markings/sec, 150 secs
lola: 28632553 markings, 39659172 edges, 133468 markings/sec, 155 secs
lola: 29166397 markings, 40853752 edges, 106769 markings/sec, 160 secs
lola: 29780738 markings, 42046577 edges, 122868 markings/sec, 165 secs
lola: 30391882 markings, 43256835 edges, 122229 markings/sec, 170 secs
lola: 30998762 markings, 44462201 edges, 121376 markings/sec, 175 secs
lola: 31710155 markings, 45640571 edges, 142279 markings/sec, 180 secs
lola: 32188943 markings, 46846542 edges, 95758 markings/sec, 185 secs
lola: 32807982 markings, 48030306 edges, 123808 markings/sec, 190 secs
lola: 33430649 markings, 49241753 edges, 124533 markings/sec, 195 secs
lola: 34046865 markings, 50493330 edges, 123243 markings/sec, 200 secs
lola: 34648102 markings, 51751264 edges, 120247 markings/sec, 205 secs
lola: 35257921 markings, 53032495 edges, 121964 markings/sec, 210 secs
lola: 35910742 markings, 54283605 edges, 130564 markings/sec, 215 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknownlola:
caught signal User defined signal 1 - aborting LoLA
FORMULA DES-PT-20b-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-1 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-2 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-3 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-5 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-6 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-7 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-10 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-14 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA DES-PT-20b-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----

BK_STOP 1496456046325

--------------------
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_DES-PT-20b"
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_DES-PT-20b.tgz
mv S_DES-PT-20b execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3253"
echo " Executing tool lola"
echo " Input is S_DES-PT-20b, 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 r098-ebro-149488455700272"
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 ;