About the Execution of LoLA for S_PhaseVariation-PT-D30CS010
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1174.250 | 3541022.00 | 3547608.00 | 14973.80 | ? 1 1 ? ? ? 1 ? 1 1 ? 1 1 1 ? ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-3254
Executing tool lola
Input is S_PhaseVariation-PT-D30CS010, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r128-smll-149441681200137
=====================================================================
--------------------
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 PhaseVariation-PT-D30CS010-UpperBounds-0
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-1
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-10
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-11
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-12
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-13
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-14
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-15
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-2
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-3
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-4
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-5
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-6
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-7
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-8
FORMULA_NAME PhaseVariation-PT-D30CS010-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1496299879982
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
S_PhaseVariation-PT-D30CS010: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
S_PhaseVariation-PT-D30CS010: translating PT formula UpperBounds into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
UpperBounds @ S_PhaseVariation-PT-D30CS010 @ 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: 33679/65536 symbol table entries, 10484 collisions
lola: preprocessing...
lola: finding significant places
lola: 2702 places, 30977 transitions, 1801 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2 transition conflict sets
lola: TASK
lola: reading formula from PhaseVariation-PT-D30CS010-UpperBounds.task
lola: MAX(cell___6_23__A_) : MAX(pool__10_7_) : MAX(pool__9_10_) : MAX(pool__12_24_) : MAX(cell___3_30__A_) : MAX(pool__27_20_) : MAX(pool__23_2_) : MAX(pool__18_27_) : MAX(cell___15_23__A_) : MAX(cell___9_24__B_) : MAX(pool__1_15_) : MAX(cell___6_29__A_) : MAX(cell___1_19__B_) : MAX(cell___16_1__A_) : MAX(pool__1_18_) : MAX(cell___9_6__A_)
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(cell___6_23__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 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: 381 markings, 565 edges, 76 markings/sec, 0 secs
lola: 655 markings, 1617 edges, 55 markings/sec, 5 secs
lola: 919 markings, 2805 edges, 53 markings/sec, 10 secs
lola: 1213 markings, 4128 edges, 59 markings/sec, 15 secs
lola: 1423 markings, 5073 edges, 42 markings/sec, 20 secs
lola: 1692 markings, 6030 edges, 54 markings/sec, 25 secs
lola: 3569 markings, 20382 edges, 375 markings/sec, 30 secs
lola: 6287 markings, 49445 edges, 544 markings/sec, 35 secs
lola: 8988 markings, 79159 edges, 540 markings/sec, 40 secs
lola: 11639 markings, 110895 edges, 530 markings/sec, 45 secs
lola: 14383 markings, 139010 edges, 549 markings/sec, 50 secs
lola: 17108 markings, 167785 edges, 545 markings/sec, 55 secs
lola: 19697 markings, 201636 edges, 518 markings/sec, 60 secs
lola: 22306 markings, 234685 edges, 522 markings/sec, 65 secs
lola: 24907 markings, 267198 edges, 520 markings/sec, 70 secs
lola: 27428 markings, 303286 edges, 504 markings/sec, 75 secs
lola: 30068 markings, 334030 edges, 528 markings/sec, 80 secs
lola: 32760 markings, 363161 edges, 538 markings/sec, 85 secs
lola: 35416 markings, 392592 edges, 531 markings/sec, 90 secs
lola: 38024 markings, 423688 edges, 522 markings/sec, 95 secs
lola: 40717 markings, 451161 edges, 539 markings/sec, 100 secs
lola: 43392 markings, 479615 edges, 535 markings/sec, 105 secs
lola: 45938 markings, 512891 edges, 509 markings/sec, 110 secs
lola: 48507 markings, 545404 edges, 514 markings/sec, 115 secs
lola: 51074 markings, 577796 edges, 513 markings/sec, 120 secs
lola: 53572 markings, 612861 edges, 500 markings/sec, 125 secs
lola: 56092 markings, 647207 edges, 504 markings/sec, 130 secs
lola: 58633 markings, 680684 edges, 508 markings/sec, 135 secs
lola: 61164 markings, 714591 edges, 506 markings/sec, 140 secs
lola: 63609 markings, 751662 edges, 489 markings/sec, 145 secs
lola: 66167 markings, 784775 edges, 512 markings/sec, 150 secs
lola: 68754 markings, 816474 edges, 517 markings/sec, 155 secs
lola: 71232 markings, 852291 edges, 496 markings/sec, 160 secs
lola: 73684 markings, 889289 edges, 490 markings/sec, 165 secs
lola: 76104 markings, 927258 edges, 484 markings/sec, 170 secs
lola: 78516 markings, 965501 edges, 482 markings/sec, 175 secs
lola: 80839 markings, 1006967 edges, 465 markings/sec, 180 secs
lola: 83549 markings, 1034310 edges, 542 markings/sec, 185 secs
lola: 86262 markings, 1061413 edges, 543 markings/sec, 190 secs
lola: 88856 markings, 1093034 edges, 519 markings/sec, 195 secs
lola: 91538 markings, 1121272 edges, 536 markings/sec, 200 secs
lola: 94203 markings, 1150283 edges, 533 markings/sec, 205 secs
lola: 96860 markings, 1179418 edges, 531 markings/sec, 210 secs
lola: 99415 markings, 1212391 edges, 511 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(pool__10_7_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 2 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__9_10_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 3 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__12_24_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 4 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___3_30__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 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: 396 markings, 791 edges, 79 markings/sec, 0 secs
lola: 691 markings, 1490 edges, 59 markings/sec, 5 secs
lola: 997 markings, 2312 edges, 61 markings/sec, 10 secs
lola: 1355 markings, 3198 edges, 72 markings/sec, 15 secs
lola: 1666 markings, 3965 edges, 62 markings/sec, 20 secs
lola: 1922 markings, 4600 edges, 51 markings/sec, 25 secs
lola: 3073 markings, 10198 edges, 230 markings/sec, 30 secs
lola: 5879 markings, 33730 edges, 561 markings/sec, 35 secs
lola: 8663 markings, 58051 edges, 557 markings/sec, 40 secs
lola: 11328 markings, 86695 edges, 533 markings/sec, 45 secs
lola: 14127 markings, 110262 edges, 560 markings/sec, 50 secs
lola: 16930 markings, 133701 edges, 561 markings/sec, 55 secs
lola: 19608 markings, 161605 edges, 536 markings/sec, 60 secs
lola: 22309 markings, 189050 edges, 540 markings/sec, 65 secs
lola: 25013 markings, 216287 edges, 541 markings/sec, 70 secs
lola: 27611 markings, 247455 edges, 520 markings/sec, 75 secs
lola: 30323 markings, 274088 edges, 542 markings/sec, 80 secs
lola: 33119 markings, 297472 edges, 559 markings/sec, 85 secs
lola: 35843 markings, 323514 edges, 545 markings/sec, 90 secs
lola: 38547 markings, 350104 edges, 541 markings/sec, 95 secs
lola: 41343 markings, 373416 edges, 559 markings/sec, 100 secs
lola: 43903 markings, 396292 edges, 512 markings/sec, 105 secs
lola: 46599 markings, 425499 edges, 539 markings/sec, 110 secs
lola: 49328 markings, 453445 edges, 546 markings/sec, 115 secs
lola: 52050 markings, 481679 edges, 544 markings/sec, 120 secs
lola: 54658 markings, 514121 edges, 522 markings/sec, 125 secs
lola: 57306 markings, 545418 edges, 530 markings/sec, 130 secs
lola: 59950 markings, 576800 edges, 529 markings/sec, 135 secs
lola: 62498 markings, 611776 edges, 510 markings/sec, 140 secs
lola: 65081 markings, 645477 edges, 517 markings/sec, 145 secs
lola: 67711 markings, 677448 edges, 526 markings/sec, 150 secs
lola: 70305 markings, 710705 edges, 519 markings/sec, 155 secs
lola: 72819 markings, 747079 edges, 503 markings/sec, 160 secs
lola: 75355 markings, 782676 edges, 507 markings/sec, 165 secs
lola: 77916 markings, 817303 edges, 512 markings/sec, 170 secs
lola: 80365 markings, 856181 edges, 490 markings/sec, 175 secs
lola: 83095 markings, 884553 edges, 546 markings/sec, 180 secs
lola: 85953 markings, 908151 edges, 572 markings/sec, 185 secs
lola: 88711 markings, 935493 edges, 552 markings/sec, 190 secs
lola: 91497 markings, 961723 edges, 557 markings/sec, 195 secs
lola: 94350 markings, 985310 edges, 571 markings/sec, 200 secs
lola: 97122 markings, 1011892 edges, 554 markings/sec, 205 secs
lola: 99835 markings, 1040729 edges, 543 markings/sec, 210 secs
lola: 102576 markings, 1068657 edges, 548 markings/sec, 215 secs
lola: 105275 markings, 1098138 edges, 540 markings/sec, 220 secs
lola: 107929 markings, 1129185 edges, 531 markings/sec, 225 secs
lola: 110776 markings, 1152867 edges, 569 markings/sec, 230 secs
lola: 113598 markings, 1177386 edges, 564 markings/sec, 235 secs
lola: 116296 markings, 1206390 edges, 540 markings/sec, 240 secs
lola: 119138 markings, 1230259 edges, 568 markings/sec, 245 secs
lola: 121976 markings, 1254145 edges, 568 markings/sec, 250 secs
lola: 124687 markings, 1282776 edges, 542 markings/sec, 255 secs
lola: 127427 markings, 1310393 edges, 548 markings/sec, 260 secs
lola: 130167 markings, 1337997 edges, 548 markings/sec, 265 secs
lola: 132787 markings, 1369856 edges, 524 markings/sec, 270 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 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__27_20_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 6 will run for 304 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__23_2_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 7 will run for 337 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__18_27_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 8 will run for 380 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___15_23__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 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: 478 markings, 832 edges, 96 markings/sec, 0 secs
lola: 748 markings, 1372 edges, 54 markings/sec, 5 secs
lola: 961 markings, 1798 edges, 43 markings/sec, 10 secs
lola: 1174 markings, 2224 edges, 43 markings/sec, 15 secs
lola: 1424 markings, 2724 edges, 50 markings/sec, 20 secs
lola: 1740 markings, 3473 edges, 63 markings/sec, 25 secs
lola: 2001 markings, 4180 edges, 52 markings/sec, 30 secs
lola: 2421 markings, 5600 edges, 84 markings/sec, 35 secs
lola: 5014 markings, 28981 edges, 519 markings/sec, 40 secs
lola: 7728 markings, 55252 edges, 543 markings/sec, 45 secs
lola: 10329 markings, 85716 edges, 520 markings/sec, 50 secs
lola: 12980 markings, 114152 edges, 530 markings/sec, 55 secs
lola: 15684 markings, 140592 edges, 541 markings/sec, 60 secs
lola: 18301 markings, 169613 edges, 523 markings/sec, 65 secs
lola: 20865 markings, 200668 edges, 513 markings/sec, 70 secs
lola: 23449 markings, 231008 edges, 517 markings/sec, 75 secs
lola: 26021 markings, 261811 edges, 514 markings/sec, 80 secs
lola: 28499 markings, 296209 edges, 496 markings/sec, 85 secs
lola: 31169 markings, 323135 edges, 534 markings/sec, 90 secs
lola: 33855 markings, 349450 edges, 537 markings/sec, 95 secs
lola: 36445 markings, 379349 edges, 518 markings/sec, 100 secs
lola: 39067 markings, 407835 edges, 524 markings/sec, 105 secs
lola: 41753 markings, 434246 edges, 537 markings/sec, 110 secs
lola: 44373 markings, 463025 edges, 524 markings/sec, 115 secs
lola: 46935 markings, 493926 edges, 512 markings/sec, 120 secs
lola: 49511 markings, 524410 edges, 515 markings/sec, 125 secs
lola: 52089 markings, 554865 edges, 516 markings/sec, 130 secs
lola: 54569 markings, 588842 edges, 496 markings/sec, 135 secs
lola: 57063 markings, 622540 edges, 499 markings/sec, 140 secs
lola: 59562 markings, 656226 edges, 500 markings/sec, 145 secs
lola: 62001 markings, 692119 edges, 488 markings/sec, 150 secs
lola: 64409 markings, 729022 edges, 482 markings/sec, 155 secs
lola: 66896 markings, 763081 edges, 497 markings/sec, 160 secs
lola: 69399 markings, 796461 edges, 501 markings/sec, 165 secs
lola: 71801 markings, 833678 edges, 480 markings/sec, 170 secs
lola: 74198 markings, 871195 edges, 479 markings/sec, 175 secs
lola: 76607 markings, 908175 edges, 482 markings/sec, 180 secs
lola: 78988 markings, 946294 edges, 476 markings/sec, 185 secs
lola: 81269 markings, 988088 edges, 456 markings/sec, 190 secs
lola: 83957 markings, 1013232 edges, 538 markings/sec, 195 secs
lola: 86657 markings, 1039487 edges, 540 markings/sec, 200 secs
lola: 89243 markings, 1069956 edges, 517 markings/sec, 205 secs
lola: 91893 markings, 1097837 edges, 530 markings/sec, 210 secs
lola: 94578 markings, 1124423 edges, 537 markings/sec, 215 secs
lola: 97200 markings, 1153326 edges, 524 markings/sec, 220 secs
lola: 99755 markings, 1184828 edges, 511 markings/sec, 225 secs
lola: 102353 markings, 1214764 edges, 520 markings/sec, 230 secs
lola: 104920 markings, 1245923 edges, 513 markings/sec, 235 secs
lola: 107386 markings, 1280728 edges, 493 markings/sec, 240 secs
lola: 110074 markings, 1307077 edges, 538 markings/sec, 245 secs
lola: 112770 markings, 1333127 edges, 539 markings/sec, 250 secs
lola: 115346 markings, 1363493 edges, 515 markings/sec, 255 secs
lola: 117986 markings, 1391560 edges, 528 markings/sec, 260 secs
lola: 120673 markings, 1417937 edges, 537 markings/sec, 265 secs
lola: 123286 markings, 1446923 edges, 523 markings/sec, 270 secs
lola: 125845 markings, 1477921 edges, 512 markings/sec, 275 secs
lola: 128424 markings, 1508194 edges, 516 markings/sec, 280 secs
lola: 130991 markings, 1538940 edges, 513 markings/sec, 285 secs
lola: 133461 markings, 1573218 edges, 494 markings/sec, 290 secs
lola: 135965 markings, 1606601 edges, 501 markings/sec, 295 secs
lola: 138449 markings, 1640014 edges, 497 markings/sec, 300 secs
lola: 140862 markings, 1675899 edges, 483 markings/sec, 305 secs
lola: 143261 markings, 1712511 edges, 480 markings/sec, 310 secs
lola: 145729 markings, 1746330 edges, 494 markings/sec, 315 secs
lola: 148208 markings, 1779665 edges, 496 markings/sec, 320 secs
lola: 150594 markings, 1816569 edges, 477 markings/sec, 325 secs
lola: 152978 markings, 1853764 edges, 477 markings/sec, 330 secs
lola: 155369 markings, 1890701 edges, 478 markings/sec, 335 secs
lola: 157734 markings, 1928465 edges, 473 markings/sec, 340 secs
lola: 160001 markings, 1970054 edges, 453 markings/sec, 345 secs
lola: 162490 markings, 2003094 edges, 498 markings/sec, 350 secs
lola: 164958 markings, 2036955 edges, 494 markings/sec, 355 secs
lola: 167356 markings, 2073742 edges, 480 markings/sec, 360 secs
lola: 169737 markings, 2110840 edges, 476 markings/sec, 365 secs
lola: 172203 markings, 2144708 edges, 493 markings/sec, 370 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 380 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___9_24__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 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: 377 markings, 376 edges, 75 markings/sec, 0 secs
lola: 647 markings, 797 edges, 54 markings/sec, 5 secs
lola: 901 markings, 1402 edges, 51 markings/sec, 10 secs
lola: 1171 markings, 2544 edges, 54 markings/sec, 15 secs
lola: 1393 markings, 3543 edges, 44 markings/sec, 20 secs
lola: 1598 markings, 4385 edges, 41 markings/sec, 25 secs
lola: 2985 markings, 14640 edges, 277 markings/sec, 30 secs
lola: 5659 markings, 40700 edges, 535 markings/sec, 35 secs
lola: 8293 markings, 68183 edges, 527 markings/sec, 40 secs
lola: 10827 markings, 99490 edges, 507 markings/sec, 45 secs
lola: 13499 markings, 125581 edges, 534 markings/sec, 50 secs
lola: 16176 markings, 151144 edges, 535 markings/sec, 55 secs
lola: 18732 markings, 181383 edges, 511 markings/sec, 60 secs
lola: 21287 markings, 211813 edges, 511 markings/sec, 65 secs
lola: 23848 markings, 241660 edges, 512 markings/sec, 70 secs
lola: 26344 markings, 273740 edges, 499 markings/sec, 75 secs
lola: 28840 markings, 305952 edges, 499 markings/sec, 80 secs
lola: 31531 markings, 332573 edges, 538 markings/sec, 85 secs
lola: 34204 markings, 359670 edges, 535 markings/sec, 90 secs
lola: 36763 markings, 390959 edges, 512 markings/sec, 95 secs
lola: 39484 markings, 417598 edges, 544 markings/sec, 100 secs
lola: 42116 markings, 443068 edges, 526 markings/sec, 105 secs
lola: 44744 markings, 473922 edges, 526 markings/sec, 110 secs
lola: 47366 markings, 505194 edges, 524 markings/sec, 115 secs
lola: 49955 markings, 535281 edges, 518 markings/sec, 120 secs
lola: 52401 markings, 566452 edges, 489 markings/sec, 125 secs
lola: 54788 markings, 600116 edges, 477 markings/sec, 130 secs
lola: 57212 markings, 632918 edges, 485 markings/sec, 135 secs
lola: 59651 markings, 664817 edges, 488 markings/sec, 140 secs
lola: 61992 markings, 700707 edges, 468 markings/sec, 145 secs
lola: 64348 markings, 735865 edges, 471 markings/sec, 150 secs
lola: 66836 markings, 769312 edges, 498 markings/sec, 155 secs
lola: 69311 markings, 803976 edges, 495 markings/sec, 160 secs
lola: 71696 markings, 841870 edges, 477 markings/sec, 165 secs
lola: 74119 markings, 878588 edges, 485 markings/sec, 170 secs
lola: 76535 markings, 915601 edges, 483 markings/sec, 175 secs
lola: 78892 markings, 954860 edges, 471 markings/sec, 180 secs
lola: 81290 markings, 992342 edges, 480 markings/sec, 185 secs
lola: 83983 markings, 1018978 edges, 539 markings/sec, 190 secs
lola: 86657 markings, 1046048 edges, 535 markings/sec, 195 secs
lola: 89225 markings, 1077279 edges, 514 markings/sec, 200 secs
lola: 91915 markings, 1103791 edges, 538 markings/sec, 205 secs
lola: 94616 markings, 1129866 edges, 540 markings/sec, 210 secs
lola: 97203 markings, 1160160 edges, 517 markings/sec, 215 secs
lola: 99773 markings, 1191221 edges, 514 markings/sec, 220 secs
lola: 102372 markings, 1221214 edges, 520 markings/sec, 225 secs
lola: 104908 markings, 1253452 edges, 507 markings/sec, 230 secs
lola: 107419 markings, 1286636 edges, 502 markings/sec, 235 secs
lola: 110101 markings, 1313241 edges, 536 markings/sec, 240 secs
lola: 112773 markings, 1340094 edges, 534 markings/sec, 245 secs
lola: 115344 markings, 1370705 edges, 514 markings/sec, 250 secs
lola: 118023 markings, 1397339 edges, 536 markings/sec, 255 secs
lola: 120707 markings, 1423693 edges, 537 markings/sec, 260 secs
lola: 123296 markings, 1453534 edges, 518 markings/sec, 265 secs
lola: 125862 markings, 1484333 edges, 513 markings/sec, 270 secs
lola: 128441 markings, 1514681 edges, 516 markings/sec, 275 secs
lola: 130985 markings, 1546224 edges, 509 markings/sec, 280 secs
lola: 133440 markings, 1581110 edges, 491 markings/sec, 285 secs
lola: 135939 markings, 1614764 edges, 500 markings/sec, 290 secs
lola: 138453 markings, 1647855 edges, 503 markings/sec, 295 secs
lola: 140862 markings, 1684910 edges, 482 markings/sec, 300 secs
lola: 143308 markings, 1720552 edges, 489 markings/sec, 305 secs
lola: 145796 markings, 1754752 edges, 498 markings/sec, 310 secs
lola: 148268 markings, 1789411 edges, 494 markings/sec, 315 secs
lola: 150632 markings, 1828078 edges, 473 markings/sec, 320 secs
lola: 153073 markings, 1864133 edges, 488 markings/sec, 325 secs
lola: 155489 markings, 1900961 edges, 483 markings/sec, 330 secs
lola: 157839 markings, 1940393 edges, 470 markings/sec, 335 secs
lola: 160203 markings, 1979245 edges, 473 markings/sec, 340 secs
lola: 162681 markings, 2013938 edges, 496 markings/sec, 345 secs
lola: 165160 markings, 2048596 edges, 496 markings/sec, 350 secs
lola: 167548 markings, 2086190 edges, 478 markings/sec, 355 secs
lola: 169927 markings, 2120384 edges, 476 markings/sec, 360 secs
lola: 172325 markings, 2153731 edges, 480 markings/sec, 365 secs
lola: 174688 markings, 2188352 edges, 473 markings/sec, 370 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 380 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__1_15_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 11 will run for 456 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___6_29__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 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: 374 markings, 746 edges, 75 markings/sec, 0 secs
lola: 610 markings, 1359 edges, 47 markings/sec, 5 secs
lola: 873 markings, 2304 edges, 53 markings/sec, 10 secs
lola: 1232 markings, 3516 edges, 72 markings/sec, 15 secs
lola: 1530 markings, 4612 edges, 60 markings/sec, 20 secs
lola: 1764 markings, 5434 edges, 47 markings/sec, 25 secs
lola: 2618 markings, 9792 edges, 171 markings/sec, 30 secs
lola: 5276 markings, 37288 edges, 532 markings/sec, 35 secs
lola: 7959 markings, 63624 edges, 537 markings/sec, 40 secs
lola: 10501 markings, 95458 edges, 508 markings/sec, 45 secs
lola: 13154 markings, 123069 edges, 531 markings/sec, 50 secs
lola: 15780 markings, 151715 edges, 525 markings/sec, 55 secs
lola: 18400 markings, 180259 edges, 524 markings/sec, 60 secs
lola: 20956 markings, 213337 edges, 511 markings/sec, 65 secs
lola: 23555 markings, 246737 edges, 520 markings/sec, 70 secs
lola: 26132 markings, 280778 edges, 515 markings/sec, 75 secs
lola: 28602 markings, 318817 edges, 494 markings/sec, 80 secs
lola: 31347 markings, 346823 edges, 549 markings/sec, 85 secs
lola: 34108 markings, 374067 edges, 552 markings/sec, 90 secs
lola: 36728 markings, 406526 edges, 524 markings/sec, 95 secs
lola: 39453 markings, 435128 edges, 545 markings/sec, 100 secs
lola: 42156 markings, 464514 edges, 541 markings/sec, 105 secs
lola: 44854 markings, 494061 edges, 540 markings/sec, 110 secs
lola: 47453 markings, 527357 edges, 520 markings/sec, 115 secs
lola: 50037 markings, 561142 edges, 517 markings/sec, 120 secs
lola: 52603 markings, 595529 edges, 513 markings/sec, 125 secs
lola: 55084 markings, 633111 edges, 496 markings/sec, 130 secs
lola: 57679 markings, 666600 edges, 519 markings/sec, 135 secs
lola: 60306 markings, 698837 edges, 525 markings/sec, 140 secs
lola: 62811 markings, 735701 edges, 501 markings/sec, 145 secs
lola: 65396 markings, 769447 edges, 517 markings/sec, 150 secs
lola: 67968 markings, 803728 edges, 514 markings/sec, 155 secs
lola: 70528 markings, 838377 edges, 512 markings/sec, 160 secs
lola: 72996 markings, 876442 edges, 494 markings/sec, 165 secs
lola: 75465 markings, 914544 edges, 494 markings/sec, 170 secs
lola: 77956 markings, 951761 edges, 498 markings/sec, 175 secs
lola: 80332 markings, 993249 edges, 475 markings/sec, 180 secs
lola: 82984 markings, 1024260 edges, 530 markings/sec, 185 secs
lola: 85686 markings, 1053671 edges, 540 markings/sec, 190 secs
lola: 88384 markings, 1083247 edges, 540 markings/sec, 195 secs
lola: 91039 markings, 1114303 edges, 531 markings/sec, 200 secs
lola: 93768 markings, 1142625 edges, 546 markings/sec, 205 secs
lola: 96463 markings, 1172248 edges, 539 markings/sec, 210 secs
lola: 99061 markings, 1205428 edges, 520 markings/sec, 215 secs
lola: 101652 markings, 1238890 edges, 518 markings/sec, 220 secs
lola: 104267 markings, 1271394 edges, 523 markings/sec, 225 secs
lola: 106749 markings, 1308824 edges, 496 markings/sec, 230 secs
lola: 109448 markings, 1338261 edges, 540 markings/sec, 235 secs
lola: 112148 markings, 1367536 edges, 540 markings/sec, 240 secs
lola: 114844 markings, 1397112 edges, 539 markings/sec, 245 secs
lola: 117517 markings, 1427389 edges, 535 markings/sec, 250 secs
lola: 120227 markings, 1456318 edges, 542 markings/sec, 255 secs
lola: 122916 markings, 1485965 edges, 538 markings/sec, 260 secs
lola: 125512 markings, 1519196 edges, 519 markings/sec, 265 secs
lola: 128104 markings, 1552454 edges, 518 markings/sec, 270 secs
lola: 130704 markings, 1585457 edges, 520 markings/sec, 275 secs
lola: 133171 markings, 1623432 edges, 493 markings/sec, 280 secs
lola: 135772 markings, 1656388 edges, 520 markings/sec, 285 secs
lola: 138339 markings, 1690678 edges, 513 markings/sec, 290 secs
lola: 140908 markings, 1724920 edges, 514 markings/sec, 295 secs
lola: 143431 markings, 1760799 edges, 505 markings/sec, 300 secs
lola: 146021 markings, 1794113 edges, 518 markings/sec, 305 secs
lola: 148594 markings, 1828028 edges, 515 markings/sec, 310 secs
lola: 151048 markings, 1866482 edges, 491 markings/sec, 315 secs
lola: 153536 markings, 1903595 edges, 498 markings/sec, 320 secs
lola: 156000 markings, 1941549 edges, 493 markings/sec, 325 secs
lola: 158430 markings, 1980711 edges, 486 markings/sec, 330 secs
lola: 160896 markings, 2018633 edges, 493 markings/sec, 335 secs
lola: 163528 markings, 2050634 edges, 526 markings/sec, 340 secs
lola: 166128 markings, 2083726 edges, 520 markings/sec, 345 secs
lola: 168647 markings, 2120018 edges, 504 markings/sec, 350 secs
lola: 171281 markings, 2151866 edges, 527 markings/sec, 355 secs
lola: 173912 markings, 2183730 edges, 526 markings/sec, 360 secs
lola: 176467 markings, 2218504 edges, 511 markings/sec, 365 secs
lola: 178984 markings, 2254765 edges, 503 markings/sec, 370 secs
lola: 181465 markings, 2292183 edges, 496 markings/sec, 375 secs
lola: 183940 markings, 2329938 edges, 495 markings/sec, 380 secs
lola: 186367 markings, 2369457 edges, 485 markings/sec, 385 secs
lola: 188996 markings, 2401453 edges, 526 markings/sec, 390 secs
lola: 191634 markings, 2433124 edges, 528 markings/sec, 395 secs
lola: 194165 markings, 2468813 edges, 506 markings/sec, 400 secs
lola: 196787 markings, 2501029 edges, 524 markings/sec, 405 secs
lola: 199386 markings, 2534120 edges, 520 markings/sec, 410 secs
lola: 201982 markings, 2567221 edges, 519 markings/sec, 415 secs
lola: 204482 markings, 2604051 edges, 500 markings/sec, 420 secs
lola: 206984 markings, 2640663 edges, 500 markings/sec, 425 secs
lola: 209476 markings, 2677650 edges, 498 markings/sec, 430 secs
lola: 211868 markings, 2718464 edges, 478 markings/sec, 435 secs
lola: 214380 markings, 2754783 edges, 502 markings/sec, 440 secs
lola: 216859 markings, 2792444 edges, 496 markings/sec, 445 secs
lola: 219332 markings, 2830220 edges, 495 markings/sec, 450 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 456 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___1_19__B_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 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: 602 markings, 1583 edges, 120 markings/sec, 0 secs
lola: 1020 markings, 3113 edges, 84 markings/sec, 5 secs
lola: 1410 markings, 4543 edges, 78 markings/sec, 10 secs
lola: 1843 markings, 6132 edges, 87 markings/sec, 15 secs
lola: 2138 markings, 7215 edges, 59 markings/sec, 20 secs
lola: 2461 markings, 8274 edges, 65 markings/sec, 25 secs
lola: 4462 markings, 21375 edges, 400 markings/sec, 30 secs
lola: 7194 markings, 46592 edges, 546 markings/sec, 35 secs
lola: 9904 markings, 72633 edges, 542 markings/sec, 40 secs
lola: 12573 markings, 100161 edges, 534 markings/sec, 45 secs
lola: 15334 markings, 124319 edges, 552 markings/sec, 50 secs
lola: 18050 markings, 149655 edges, 543 markings/sec, 55 secs
lola: 20658 markings, 179416 edges, 522 markings/sec, 60 secs
lola: 23255 markings, 209014 edges, 519 markings/sec, 65 secs
lola: 25655 markings, 235073 edges, 480 markings/sec, 70 secs
lola: 27354 markings, 256490 edges, 340 markings/sec, 75 secs
lola: 28972 markings, 280249 edges, 324 markings/sec, 80 secs
lola: 30918 markings, 295081 edges, 389 markings/sec, 85 secs
lola: 32778 markings, 312381 edges, 372 markings/sec, 90 secs
lola: 34661 markings, 328929 edges, 377 markings/sec, 95 secs
lola: 36466 markings, 347555 edges, 361 markings/sec, 100 secs
lola: 38220 markings, 367491 edges, 351 markings/sec, 105 secs
lola: 40130 markings, 383413 edges, 382 markings/sec, 110 secs
lola: 42001 markings, 400278 edges, 374 markings/sec, 115 secs
lola: 43956 markings, 417818 edges, 391 markings/sec, 120 secs
lola: 46490 markings, 447417 edges, 507 markings/sec, 125 secs
lola: 49071 markings, 475291 edges, 516 markings/sec, 130 secs
lola: 51621 markings, 504417 edges, 510 markings/sec, 135 secs
lola: 54130 markings, 534995 edges, 502 markings/sec, 140 secs
lola: 56624 markings, 566255 edges, 499 markings/sec, 145 secs
lola: 59173 markings, 595548 edges, 510 markings/sec, 150 secs
lola: 61706 markings, 625278 edges, 507 markings/sec, 155 secs
lola: 64128 markings, 659269 edges, 484 markings/sec, 160 secs
lola: 66700 markings, 687584 edges, 514 markings/sec, 165 secs
lola: 69259 markings, 716241 edges, 512 markings/sec, 170 secs
lola: 71757 markings, 747333 edges, 500 markings/sec, 175 secs
lola: 74187 markings, 780932 edges, 486 markings/sec, 180 secs
lola: 76609 markings, 814931 edges, 484 markings/sec, 185 secs
lola: 79019 markings, 848993 edges, 482 markings/sec, 190 secs
lola: 81330 markings, 887154 edges, 462 markings/sec, 195 secs
lola: 84013 markings, 911062 edges, 537 markings/sec, 200 secs
lola: 86693 markings, 935071 edges, 536 markings/sec, 205 secs
lola: 89322 markings, 961065 edges, 526 markings/sec, 210 secs
lola: 91970 markings, 986337 edges, 530 markings/sec, 215 secs
lola: 94632 markings, 1010923 edges, 532 markings/sec, 220 secs
lola: 97279 markings, 1036185 edges, 529 markings/sec, 225 secs
lola: 99834 markings, 1065165 edges, 511 markings/sec, 230 secs
lola: 102383 markings, 1094127 edges, 510 markings/sec, 235 secs
lola: 104942 markings, 1122760 edges, 512 markings/sec, 240 secs
lola: 107378 markings, 1156242 edges, 487 markings/sec, 245 secs
lola: 110043 markings, 1180720 edges, 533 markings/sec, 250 secs
lola: 112709 markings, 1205280 edges, 533 markings/sec, 255 secs
lola: 115358 markings, 1230533 edges, 530 markings/sec, 260 secs
lola: 117986 markings, 1256417 edges, 526 markings/sec, 265 secs
lola: 120658 markings, 1280827 edges, 534 markings/sec, 270 secs
lola: 123301 markings, 1306172 edges, 529 markings/sec, 275 secs
lola: 125857 markings, 1334785 edges, 511 markings/sec, 280 secs
lola: 128400 markings, 1363884 edges, 509 markings/sec, 285 secs
lola: 130970 markings, 1391968 edges, 514 markings/sec, 290 secs
lola: 133414 markings, 1424828 edges, 489 markings/sec, 295 secs
lola: 135957 markings, 1453969 edges, 509 markings/sec, 300 secs
lola: 138483 markings, 1483751 edges, 505 markings/sec, 305 secs
lola: 140997 markings, 1513961 edges, 503 markings/sec, 310 secs
lola: 143456 markings, 1546301 edges, 492 markings/sec, 315 secs
lola: 145997 markings, 1575428 edges, 508 markings/sec, 320 secs
lola: 148565 markings, 1603624 edges, 514 markings/sec, 325 secs
lola: 151003 markings, 1636696 edges, 488 markings/sec, 330 secs
lola: 153453 markings, 1669371 edges, 490 markings/sec, 335 secs
lola: 155858 markings, 1703682 edges, 481 markings/sec, 340 secs
lola: 158248 markings, 1738405 edges, 478 markings/sec, 345 secs
lola: 160586 markings, 1775162 edges, 468 markings/sec, 350 secs
lola: 163176 markings, 1802774 edges, 518 markings/sec, 355 secs
lola: 165774 markings, 1830148 edges, 520 markings/sec, 360 secs
lola: 168281 markings, 1860772 edges, 501 markings/sec, 365 secs
lola: 170851 markings, 1889099 edges, 514 markings/sec, 370 secs
lola: 173410 markings, 1917613 edges, 512 markings/sec, 375 secs
lola: 175962 markings, 1946343 edges, 510 markings/sec, 380 secs
lola: 178421 markings, 1978905 edges, 492 markings/sec, 385 secs
lola: 180880 markings, 2011296 edges, 492 markings/sec, 390 secs
lola: 183340 markings, 2043583 edges, 492 markings/sec, 395 secs
lola: 185725 markings, 2078819 edges, 477 markings/sec, 400 secs
lola: 188258 markings, 2108861 edges, 507 markings/sec, 405 secs
lola: 190954 markings, 2138876 edges, 539 markings/sec, 410 secs
lola: 193638 markings, 2169292 edges, 537 markings/sec, 415 secs
lola: 196281 markings, 2201273 edges, 529 markings/sec, 420 secs
lola: 199006 markings, 2230113 edges, 545 markings/sec, 425 secs
lola: 201691 markings, 2260342 edges, 537 markings/sec, 430 secs
lola: 204281 markings, 2294249 edges, 518 markings/sec, 435 secs
lola: 206866 markings, 2328316 edges, 517 markings/sec, 440 secs
lola: 209457 markings, 2362041 edges, 518 markings/sec, 445 secs
lola: 211966 markings, 2398840 edges, 502 markings/sec, 450 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 456 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___16_1__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 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: 582 markings, 1841 edges, 116 markings/sec, 0 secs
lola: 1005 markings, 3392 edges, 85 markings/sec, 5 secs
lola: 1380 markings, 4767 edges, 75 markings/sec, 10 secs
lola: 1818 markings, 6373 edges, 88 markings/sec, 15 secs
lola: 2127 markings, 7506 edges, 62 markings/sec, 20 secs
lola: 2447 markings, 8562 edges, 64 markings/sec, 25 secs
lola: 4457 markings, 21682 edges, 402 markings/sec, 30 secs
lola: 7262 markings, 47635 edges, 561 markings/sec, 35 secs
lola: 10048 markings, 74184 edges, 557 markings/sec, 40 secs
lola: 12799 markings, 102134 edges, 550 markings/sec, 45 secs
lola: 15623 markings, 127246 edges, 565 markings/sec, 50 secs
lola: 18405 markings, 153825 edges, 556 markings/sec, 55 secs
lola: 21093 markings, 184036 edges, 538 markings/sec, 60 secs
lola: 23778 markings, 214310 edges, 537 markings/sec, 65 secs
lola: 26450 markings, 244991 edges, 534 markings/sec, 70 secs
lola: 28986 markings, 280888 edges, 507 markings/sec, 75 secs
lola: 31826 markings, 305361 edges, 568 markings/sec, 80 secs
lola: 34677 markings, 329362 edges, 570 markings/sec, 85 secs
lola: 37374 markings, 359203 edges, 539 markings/sec, 90 secs
lola: 40194 markings, 384409 edges, 564 markings/sec, 95 secs
lola: 43013 markings, 409651 edges, 564 markings/sec, 100 secs
lola: 45756 markings, 437593 edges, 549 markings/sec, 105 secs
lola: 48452 markings, 467471 edges, 539 markings/sec, 110 secs
lola: 51103 markings, 498848 edges, 530 markings/sec, 115 secs
lola: 53744 markings, 530553 edges, 528 markings/sec, 120 secs
lola: 56342 markings, 563939 edges, 520 markings/sec, 125 secs
lola: 59031 markings, 594157 edges, 538 markings/sec, 130 secs
lola: 61689 markings, 625383 edges, 532 markings/sec, 135 secs
lola: 64242 markings, 660602 edges, 511 markings/sec, 140 secs
lola: 66920 markings, 691234 edges, 536 markings/sec, 145 secs
lola: 69628 markings, 720341 edges, 542 markings/sec, 150 secs
lola: 72203 markings, 754644 edges, 515 markings/sec, 155 secs
lola: 74775 markings, 789120 edges, 514 markings/sec, 160 secs
lola: 77298 markings, 825340 edges, 505 markings/sec, 165 secs
lola: 79812 markings, 861775 edges, 503 markings/sec, 170 secs
lola: 82360 markings, 896909 edges, 510 markings/sec, 175 secs
lola: 85192 markings, 921674 edges, 566 markings/sec, 180 secs
lola: 87990 markings, 947619 edges, 560 markings/sec, 185 secs
lola: 90692 markings, 977166 edges, 540 markings/sec, 190 secs
lola: 93520 markings, 1001957 edges, 566 markings/sec, 195 secs
lola: 96352 markings, 1026548 edges, 566 markings/sec, 200 secs
lola: 99009 markings, 1057649 edges, 531 markings/sec, 205 secs
lola: 101708 markings, 1087237 edges, 540 markings/sec, 210 secs
lola: 104401 markings, 1116949 edges, 539 markings/sec, 215 secs
lola: 106993 markings, 1150467 edges, 518 markings/sec, 220 secs
lola: 109751 markings, 1177783 edges, 552 markings/sec, 225 secs
lola: 112538 markings, 1204156 edges, 557 markings/sec, 230 secs
lola: 115322 markings, 1230540 edges, 557 markings/sec, 235 secs
lola: 118088 markings, 1257556 edges, 553 markings/sec, 240 secs
lola: 120890 markings, 1283264 edges, 560 markings/sec, 245 secs
lola: 123667 markings, 1309880 edges, 555 markings/sec, 250 secs
lola: 126342 markings, 1340256 edges, 535 markings/sec, 255 secs
lola: 129022 markings, 1370416 edges, 536 markings/sec, 260 secs
lola: 131676 markings, 1401574 edges, 531 markings/sec, 265 secs
lola: 134220 markings, 1436706 edges, 509 markings/sec, 270 secs
lola: 136897 markings, 1467195 edges, 535 markings/sec, 275 secs
lola: 139606 markings, 1496348 edges, 542 markings/sec, 280 secs
lola: 142178 markings, 1530651 edges, 514 markings/sec, 285 secs
lola: 144846 markings, 1561276 edges, 534 markings/sec, 290 secs
lola: 147492 markings, 1592830 edges, 529 markings/sec, 295 secs
lola: 150137 markings, 1624282 edges, 529 markings/sec, 300 secs
lola: 152676 markings, 1659702 edges, 508 markings/sec, 305 secs
lola: 155220 markings, 1694920 edges, 509 markings/sec, 310 secs
lola: 157748 markings, 1730683 edges, 506 markings/sec, 315 secs
lola: 160161 markings, 1770818 edges, 483 markings/sec, 320 secs
lola: 162884 markings, 1799628 edges, 545 markings/sec, 325 secs
lola: 165600 markings, 1828650 edges, 543 markings/sec, 330 secs
lola: 168241 markings, 1860524 edges, 528 markings/sec, 335 secs
lola: 170933 markings, 1890443 edges, 538 markings/sec, 340 secs
lola: 173619 markings, 1920600 edges, 537 markings/sec, 345 secs
lola: 176300 markings, 1950746 edges, 536 markings/sec, 350 secs
lola: 178883 markings, 1984750 edges, 517 markings/sec, 355 secs
lola: 181466 markings, 2018689 edges, 517 markings/sec, 360 secs
lola: 184023 markings, 2053570 edges, 511 markings/sec, 365 secs
lola: 186478 markings, 2092305 edges, 491 markings/sec, 370 secs
lola: 189212 markings, 2120630 edges, 547 markings/sec, 375 secs
lola: 191930 markings, 2149578 edges, 544 markings/sec, 380 secs
lola: 194560 markings, 2181785 edges, 526 markings/sec, 385 secs
lola: 197260 markings, 2211341 edges, 540 markings/sec, 390 secs
lola: 199944 markings, 2241524 edges, 537 markings/sec, 395 secs
lola: 202621 markings, 2271766 edges, 535 markings/sec, 400 secs
lola: 205202 markings, 2305749 edges, 516 markings/sec, 405 secs
lola: 207782 markings, 2339680 edges, 516 markings/sec, 410 secs
lola: 210335 markings, 2374556 edges, 511 markings/sec, 415 secs
lola: 212794 markings, 2412985 edges, 492 markings/sec, 420 secs
lola: 215389 markings, 2446584 edges, 519 markings/sec, 425 secs
lola: 217965 markings, 2480784 edges, 515 markings/sec, 430 secs
lola: 220494 markings, 2516768 edges, 506 markings/sec, 435 secs
lola: 223034 markings, 2552294 edges, 508 markings/sec, 440 secs
lola: 225602 markings, 2586720 edges, 514 markings/sec, 445 secs
lola: 228150 markings, 2621788 edges, 510 markings/sec, 450 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 456 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(pool__1_18_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using bound preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: ========================================
lola: subprocess 15 will run for 912 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: MAX(cell___9_6__A_)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 7204 bytes per marking, with 0 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: 558 markings, 1805 edges, 112 markings/sec, 0 secs
lola: 956 markings, 3401 edges, 80 markings/sec, 5 secs
lola: 1326 markings, 4886 edges, 74 markings/sec, 10 secs
lola: 1736 markings, 6530 edges, 82 markings/sec, 15 secs
lola: 2052 markings, 7799 edges, 63 markings/sec, 20 secs
lola: 2332 markings, 8851 edges, 56 markings/sec, 25 secs
lola: 3621 markings, 17833 edges, 258 markings/sec, 30 secs
lola: 6289 markings, 45153 edges, 534 markings/sec, 35 secs
lola: 8939 markings, 72960 edges, 530 markings/sec, 40 secs
lola: 11455 markings, 105926 edges, 503 markings/sec, 45 secs
lola: 14137 markings, 132804 edges, 536 markings/sec, 50 secs
lola: 16798 markings, 159977 edges, 532 markings/sec, 55 secs
lola: 19378 markings, 189903 edges, 516 markings/sec, 60 secs
lola: 21904 markings, 221873 edges, 505 markings/sec, 65 secs
lola: 24403 markings, 254871 edges, 500 markings/sec, 70 secs
lola: 26892 markings, 288191 edges, 498 markings/sec, 75 secs
lola: 29310 markings, 324162 edges, 484 markings/sec, 80 secs
lola: 31959 markings, 351617 edges, 530 markings/sec, 85 secs
lola: 34639 markings, 377894 edges, 536 markings/sec, 90 secs
lola: 37182 markings, 409321 edges, 509 markings/sec, 95 secs
lola: 39824 markings, 437018 edges, 528 markings/sec, 100 secs
lola: 42446 markings, 465483 edges, 524 markings/sec, 105 secs
lola: 45060 markings, 494024 edges, 523 markings/sec, 110 secs
lola: 47570 markings, 526712 edges, 502 markings/sec, 115 secs
lola: 50086 markings, 558973 edges, 503 markings/sec, 120 secs
lola: 52598 markings, 591396 edges, 502 markings/sec, 125 secs
lola: 54990 markings, 628313 edges, 478 markings/sec, 130 secs
lola: 57520 markings, 660194 edges, 506 markings/sec, 135 secs
lola: 60021 markings, 693321 edges, 500 markings/sec, 140 secs
lola: 62510 markings, 726616 edges, 498 markings/sec, 145 secs
lola: 64943 markings, 762080 edges, 487 markings/sec, 150 secs
lola: 67463 markings, 794215 edges, 504 markings/sec, 155 secs
lola: 69982 markings, 826350 edges, 504 markings/sec, 160 secs
lola: 72378 markings, 863082 edges, 479 markings/sec, 165 secs
lola: 74802 markings, 898775 edges, 485 markings/sec, 170 secs
lola: 77180 markings, 936208 edges, 476 markings/sec, 175 secs
lola: 79537 markings, 974241 edges, 471 markings/sec, 180 secs
lola: 81876 markings, 1012956 edges, 468 markings/sec, 185 secs
lola: 84522 markings, 1040464 edges, 529 markings/sec, 190 secs
lola: 87199 markings, 1066704 edges, 535 markings/sec, 195 secs
lola: 89733 markings, 1098399 edges, 507 markings/sec, 200 secs
lola: 92376 markings, 1125903 edges, 529 markings/sec, 205 secs
lola: 94992 markings, 1154447 edges, 523 markings/sec, 210 secs
lola: 97607 markings, 1182939 edges, 523 markings/sec, 215 secs
lola: 100115 markings, 1215479 edges, 502 markings/sec, 220 secs
lola: 102630 markings, 1247775 edges, 503 markings/sec, 225 secs
lola: 105133 markings, 1280377 edges, 501 markings/sec, 230 secs
lola: 107522 markings, 1317301 edges, 478 markings/sec, 235 secs
lola: 110171 markings, 1344480 edges, 530 markings/sec, 240 secs
lola: 112806 markings, 1372280 edges, 527 markings/sec, 245 secs
lola: 115405 markings, 1401423 edges, 520 markings/sec, 250 secs
lola: 117998 markings, 1430731 edges, 519 markings/sec, 255 secs
lola: 120626 markings, 1458706 edges, 526 markings/sec, 260 secs
lola: 123237 markings, 1487425 edges, 522 markings/sec, 265 secs
lola: 125752 markings, 1519553 edges, 503 markings/sec, 270 secs
lola: 128253 markings, 1552170 edges, 500 markings/sec, 275 secs
lola: 130789 markings, 1583455 edges, 507 markings/sec, 280 secs
lola: 133214 markings, 1618804 edges, 485 markings/sec, 285 secs
lola: 135705 markings, 1651958 edges, 498 markings/sec, 290 secs
lola: 138196 markings, 1685020 edges, 498 markings/sec, 295 secs
lola: 140682 markings, 1718381 edges, 497 markings/sec, 300 secs
lola: 143087 markings, 1754610 edges, 481 markings/sec, 305 secs
lola: 145599 markings, 1787006 edges, 502 markings/sec, 310 secs
lola: 148133 markings, 1818350 edges, 507 markings/sec, 315 secs
lola: 150574 markings, 1853133 edges, 488 markings/sec, 320 secs
lola: 152974 markings, 1889613 edges, 480 markings/sec, 325 secs
lola: 155351 markings, 1926876 edges, 475 markings/sec, 330 secs
lola: 157642 markings, 1962481 edges, 458 markings/sec, 335 secs
lola: 159994 markings, 2004793 edges, 470 markings/sec, 340 secs
lola: 162615 markings, 2037118 edges, 524 markings/sec, 345 secs
lola: 165227 markings, 2069891 edges, 522 markings/sec, 350 secs
lola: 167822 markings, 2103395 edges, 519 markings/sec, 355 secs
lola: 170398 markings, 2137530 edges, 515 markings/sec, 360 secs
lola: 173025 markings, 2169755 edges, 525 markings/sec, 365 secs
lola: 175624 markings, 2202996 edges, 520 markings/sec, 370 secs
lola: 178129 markings, 2239769 edges, 501 markings/sec, 375 secs
lola: 180630 markings, 2276720 edges, 500 markings/sec, 380 secs
lola: 183142 markings, 2313124 edges, 502 markings/sec, 385 secs
lola: 185583 markings, 2352089 edges, 488 markings/sec, 390 secs
lola: 188135 markings, 2387117 edges, 510 markings/sec, 395 secs
lola: 190750 markings, 2419805 edges, 523 markings/sec, 400 secs
lola: 193347 markings, 2453015 edges, 519 markings/sec, 405 secs
lola: 195886 markings, 2488552 edges, 508 markings/sec, 410 secs
lola: 198520 markings, 2520422 edges, 527 markings/sec, 415 secs
lola: 201147 markings, 2552514 edges, 525 markings/sec, 420 secs
lola: 203661 markings, 2588877 edges, 503 markings/sec, 425 secs
lola: 206186 markings, 2624793 edges, 505 markings/sec, 430 secs
lola: 208666 markings, 2662335 edges, 496 markings/sec, 435 secs
lola: 211138 markings, 2700038 edges, 494 markings/sec, 440 secs
lola: 213566 markings, 2739637 edges, 486 markings/sec, 445 secs
lola: 216071 markings, 2776389 edges, 501 markings/sec, 450 secs
lola: 218574 markings, 2813185 edges, 501 markings/sec, 455 secs
lola: 220982 markings, 2853517 edges, 482 markings/sec, 460 secs
lola: 223486 markings, 2890327 edges, 501 markings/sec, 465 secs
lola: 225965 markings, 2928006 edges, 496 markings/sec, 470 secs
lola: 228441 markings, 2965565 edges, 495 markings/sec, 475 secs
lola: 230826 markings, 3006794 edges, 477 markings/sec, 480 secs
lola: 233210 markings, 3047882 edges, 477 markings/sec, 485 secs
lola: 235598 markings, 3088758 edges, 478 markings/sec, 490 secs
lola: 237935 markings, 3131590 edges, 467 markings/sec, 495 secs
lola: 240468 markings, 3166192 edges, 507 markings/sec, 500 secs
lola: 243134 markings, 3194617 edges, 533 markings/sec, 505 secs
lola: 245775 markings, 3223824 edges, 528 markings/sec, 510 secs
lola: 248362 markings, 3255143 edges, 517 markings/sec, 515 secs
lola: 251049 markings, 3282793 edges, 537 markings/sec, 520 secs
lola: 253743 markings, 3310242 edges, 539 markings/sec, 525 secs
lola: 256250 markings, 3342846 edges, 501 markings/sec, 530 secs
lola: 258838 markings, 3374895 edges, 518 markings/sec, 535 secs
lola: 261405 markings, 3408679 edges, 513 markings/sec, 540 secs
lola: 263965 markings, 3443225 edges, 512 markings/sec, 545 secs
lola: 266565 markings, 3476271 edges, 520 markings/sec, 550 secs
lola: 269288 markings, 3504803 edges, 545 markings/sec, 555 secs
lola: 271978 markings, 3534610 edges, 538 markings/sec, 560 secs
lola: 274612 markings, 3566460 edges, 527 markings/sec, 565 secs
lola: 277346 markings, 3594495 edges, 547 markings/sec, 570 secs
lola: 280075 markings, 3622732 edges, 546 markings/sec, 575 secs
lola: 282654 markings, 3656649 edges, 516 markings/sec, 580 secs
lola: 285270 markings, 3689056 edges, 523 markings/sec, 585 secs
lola: 287860 markings, 3722344 edges, 518 markings/sec, 590 secs
lola: 290404 markings, 3757430 edges, 509 markings/sec, 595 secs
lola: 292949 markings, 3792488 edges, 509 markings/sec, 600 secs
lola: 295530 markings, 3826332 edges, 516 markings/sec, 605 secs
lola: 298094 markings, 3860747 edges, 513 markings/sec, 610 secs
lola: 300579 markings, 3898121 edges, 497 markings/sec, 615 secs
lola: 303168 markings, 3931563 edges, 518 markings/sec, 620 secs
lola: 305787 markings, 3963857 edges, 524 markings/sec, 625 secs
lola: 308282 markings, 4000867 edges, 499 markings/sec, 630 secs
lola: 310774 markings, 4037828 edges, 498 markings/sec, 635 secs
lola: 313222 markings, 4076499 edges, 490 markings/sec, 640 secs
lola: 315659 markings, 4115454 edges, 487 markings/sec, 645 secs
lola: 318062 markings, 4155631 edges, 481 markings/sec, 650 secs
lola: 320798 markings, 4183695 edges, 547 markings/sec, 655 secs
lola: 323548 markings, 4211136 edges, 550 markings/sec, 660 secs
lola: 326144 markings, 4244475 edges, 519 markings/sec, 665 secs
lola: 328880 markings, 4272461 edges, 547 markings/sec, 670 secs
lola: 331598 markings, 4301079 edges, 544 markings/sec, 675 secs
lola: 334266 markings, 4331495 edges, 534 markings/sec, 680 secs
lola: 336868 markings, 4364434 edges, 520 markings/sec, 685 secs
lola: 339436 markings, 4398527 edges, 514 markings/sec, 690 secs
lola: 341990 markings, 4433190 edges, 511 markings/sec, 695 secs
lola: 344520 markings, 4468670 edges, 506 markings/sec, 700 secs
lola: 347252 markings, 4496820 edges, 546 markings/sec, 705 secs
lola: 349987 markings, 4524797 edges, 547 markings/sec, 710 secs
lola: 352570 markings, 4558551 edges, 517 markings/sec, 715 secs
lola: 355310 markings, 4586295 edges, 548 markings/sec, 720 secs
lola: 358049 markings, 4613976 edges, 548 markings/sec, 725 secs
lola: 360690 markings, 4645453 edges, 528 markings/sec, 730 secs
lola: 363297 markings, 4678072 edges, 521 markings/sec, 735 secs
lola: 365862 markings, 4712212 edges, 513 markings/sec, 740 secs
lola: 368414 markings, 4746683 edges, 510 markings/sec, 745 secs
lola: 370916 markings, 4783269 edges, 500 markings/sec, 750 secs
lola: 373506 markings, 4816574 edges, 518 markings/sec, 755 secs
lola: 376108 markings, 4849452 edges, 520 markings/sec, 760 secs
lola: 378578 markings, 4887323 edges, 494 markings/sec, 765 secs
lola: 381174 markings, 4920346 edges, 519 markings/sec, 770 secs
lola: 383741 markings, 4954491 edges, 513 markings/sec, 775 secs
lola: 386302 markings, 4988747 edges, 512 markings/sec, 780 secs
lola: 388759 markings, 5026901 edges, 491 markings/sec, 785 secs
lola: 391225 markings, 5064780 edges, 493 markings/sec, 790 secs
lola: 393692 markings, 5102446 edges, 493 markings/sec, 795 secs
lola: 396046 markings, 5144456 edges, 471 markings/sec, 800 secs
lola: 398645 markings, 5177530 edges, 520 markings/sec, 805 secs
lola: 401245 markings, 5210639 edges, 520 markings/sec, 810 secs
lola: 403843 markings, 5243718 edges, 520 markings/sec, 815 secs
lola: 406407 markings, 5278167 edges, 513 markings/sec, 820 secs
lola: 409035 markings, 5310159 edges, 526 markings/sec, 825 secs
lola: 411631 markings, 5343322 edges, 519 markings/sec, 830 secs
lola: 414136 markings, 5379925 edges, 501 markings/sec, 835 secs
lola: 416645 markings, 5416413 edges, 502 markings/sec, 840 secs
lola: 419138 markings, 5453237 edges, 499 markings/sec, 845 secs
lola: 421596 markings, 5491541 edges, 492 markings/sec, 850 secs
lola: 424118 markings, 5527393 edges, 504 markings/sec, 855 secs
lola: 426739 markings, 5559657 edges, 524 markings/sec, 860 secs
lola: 429334 markings, 5592894 edges, 519 markings/sec, 865 secs
lola: 431858 markings, 5628753 edges, 505 markings/sec, 870 secs
lola: 434488 markings, 5660601 edges, 526 markings/sec, 875 secs
lola: 437122 markings, 5692360 edges, 527 markings/sec, 880 secs
lola: 439646 markings, 5728075 edges, 505 markings/sec, 885 secs
lola: 442167 markings, 5763928 edges, 504 markings/sec, 890 secs
lola: 444642 markings, 5801513 edges, 495 markings/sec, 895 secs
lola: 447111 markings, 5839133 edges, 494 markings/sec, 900 secs
lola: 449525 markings, 5879066 edges, 483 markings/sec, 905 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown 1 1 1 unknown 1 1 1 unknown unknown 1 unknown unknown unknown 1 unknown
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-0 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-4 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-8 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-9 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-11 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-12 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-13 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
FORMULA PhaseVariation-PT-D30CS010-UpperBounds-15 CANNOT_COMPUTE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stdout -----
BK_STOP 1496303421004
--------------------
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_PhaseVariation-PT-D30CS010"
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_PhaseVariation-PT-D30CS010.tgz
mv S_PhaseVariation-PT-D30CS010 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_PhaseVariation-PT-D30CS010, 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 r128-smll-149441681200137"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;