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)
...................
/home/mcc/execution
total 3.6M
-rw-r--r-- 1 mcc users 7.1K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 99K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 295K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 10K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 52K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 155K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 29K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 121 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 359 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 102K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 298K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 10 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 2.5M May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is BridgeAndVehicles-PT-V20P20N50, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r028-ebro-152646306300303
=====================================================================

--------------------
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 BridgeAndVehicles-PT-V20P20N50-UpperBounds-00
FORMULA_NAME BridgeAndVehicles-PT-V20P20N50-UpperBounds-01
FORMULA_NAME BridgeAndVehicles-PT-V20P20N50-UpperBounds-02
FORMULA_NAME BridgeAndVehicles-PT-V20P20N50-UpperBounds-03
FORMULA_NAME BridgeAndVehicles-PT-V20P20N50-UpperBounds-04
FORMULA_NAME BridgeAndVehicles-PT-V20P20N50-UpperBounds-05
FORMULA_NAME BridgeAndVehicles-PT-V20P20N50-UpperBounds-06
FORMULA_NAME BridgeAndVehicles-PT-V20P20N50-UpperBounds-07
FORMULA_NAME BridgeAndVehicles-PT-V20P20N50-UpperBounds-08
FORMULA_NAME BridgeAndVehicles-PT-V20P20N50-UpperBounds-09
FORMULA_NAME BridgeAndVehicles-PT-V20P20N50-UpperBounds-10
FORMULA_NAME BridgeAndVehicles-PT-V20P20N50-UpperBounds-11
FORMULA_NAME BridgeAndVehicles-PT-V20P20N50-UpperBounds-12
FORMULA_NAME BridgeAndVehicles-PT-V20P20N50-UpperBounds-13
FORMULA_NAME BridgeAndVehicles-PT-V20P20N50-UpperBounds-14
FORMULA_NAME BridgeAndVehicles-PT-V20P20N50-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1526564858199

info: Time: 3600 - MCC
===========================================================================================
prep: translating BridgeAndVehicles-PT-V20P20N50 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating BridgeAndVehicles-PT-V20P20N50 formula UpperBounds into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking UpperBounds @ BridgeAndVehicles-PT-V20P20N50 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 2336/65536 symbol table entries, 26 collisions
lola: preprocessing...
lola: Size of bit vector: 3456
lola: finding significant places
lola: 108 places, 2228 transitions, 101 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2453 transition conflict sets
lola: TASK
lola: reading formula from BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: place invariant simplifies atomic proposition
lola: before: (NB_ATTENTE_B_10 + NB_ATTENTE_B_11 + NB_ATTENTE_B_12 + NB_ATTENTE_B_13 + NB_ATTENTE_B_14 + NB_ATTENTE_B_15 + NB_ATTENTE_B_16 + NB_ATTENTE_B_17 + NB_ATTENTE_B_18 + NB_ATTENTE_B_19 + NB_ATTENTE_B_20 + NB_ATTENTE_B_0 + NB_ATTENTE_B_1 + NB_ATTENTE_B_2 + NB_ATTENTE_B_3 + NB_ATTENTE_B_4 + NB_ATTENTE_B_5 + NB_ATTENTE_B_6 + NB_ATTENTE_B_7 + NB_ATTENTE_B_8 + NB_ATTENTE_B_9 <= 0)
lola: after: (1 <= 0)
lola: always false
lola: MAX(0) : MAX(SORTI_A) : MAX(ROUTE_A) : MAX(SUR_PONT_A) : MAX(SUR_PONT_B) : MAX(ROUTE_A) : MAX(SUR_PONT_A) : MAX(SORTI_B) : MAX(COMPTEUR_30) : MAX(CHOIX_2) : MAX(NB_ATTENTE_B_10) : MAX(NB_ATTENTE_B_12) : MAX(COMPTEUR_29) : MAX(NB_ATTENTE_B_18) : MAX(CHOIX_2) : MAX(ATTENTE_A)
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(0)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(0)
lola: processed formula length: 6
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V20P20N50-UpperBounds-0 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SORTI_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SORTI_A)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 81 markings, 80 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V20P20N50-UpperBounds-1 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ROUTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ROUTE_A)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V20P20N50-UpperBounds-2 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_A)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 61 markings, 60 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V20P20N50-UpperBounds-3 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_B)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 64 markings, 63 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V20P20N50-UpperBounds-4 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ROUTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ROUTE_A)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 0 markings, 0 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V20P20N50-UpperBounds-5 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SUR_PONT_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SUR_PONT_A)
lola: processed formula length: 15
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 61 markings, 60 edges

FORMULA BridgeAndVehicles-PT-V20P20N50-UpperBounds-6 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(SORTI_B)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(SORTI_B)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 20
lola: SUBRESULT
lola: result: 20
lola: produced by: state space
lola: The maximum value of the given expression is 20
lola: 84 markings, 83 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V20P20N50-UpperBounds-7 20 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(COMPTEUR_30)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(COMPTEUR_30)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: 6593 markings, 14371 edges, 1319 markings/sec, 0 secs
lola: 13667 markings, 29767 edges, 1415 markings/sec, 5 secs
lola: 21466 markings, 46038 edges, 1560 markings/sec, 10 secs
lola: 30390 markings, 68884 edges, 1785 markings/sec, 15 secs
lola: 39465 markings, 92540 edges, 1815 markings/sec, 20 secs
lola: 48079 markings, 114847 edges, 1723 markings/sec, 25 secs
lola: 58129 markings, 142034 edges, 2010 markings/sec, 30 secs
lola: 68579 markings, 168853 edges, 2090 markings/sec, 35 secs
lola: 77204 markings, 188341 edges, 1725 markings/sec, 40 secs
lola: 86062 markings, 212628 edges, 1772 markings/sec, 45 secs
lola: 92854 markings, 228538 edges, 1358 markings/sec, 50 secs
lola: 101282 markings, 250571 edges, 1686 markings/sec, 55 secs
lola: 109537 markings, 271985 edges, 1651 markings/sec, 60 secs
lola: 119044 markings, 297311 edges, 1901 markings/sec, 65 secs
lola: 127439 markings, 318011 edges, 1679 markings/sec, 70 secs
lola: 137077 markings, 342094 edges, 1928 markings/sec, 75 secs
lola: 147730 markings, 366719 edges, 2131 markings/sec, 80 secs
lola: 154428 markings, 381949 edges, 1340 markings/sec, 85 secs
lola: 163326 markings, 406165 edges, 1780 markings/sec, 90 secs
lola: 170081 markings, 422055 edges, 1351 markings/sec, 95 secs
lola: 178141 markings, 443898 edges, 1612 markings/sec, 100 secs
lola: 185485 markings, 460636 edges, 1469 markings/sec, 105 secs
lola: 194023 markings, 482647 edges, 1708 markings/sec, 110 secs
lola: 202478 markings, 504150 edges, 1691 markings/sec, 115 secs
lola: 210817 markings, 525064 edges, 1668 markings/sec, 120 secs
lola: 219119 markings, 545464 edges, 1660 markings/sec, 125 secs
lola: 227751 markings, 566877 edges, 1726 markings/sec, 130 secs
lola: 237256 markings, 589871 edges, 1901 markings/sec, 135 secs
lola: 247361 markings, 613196 edges, 2021 markings/sec, 140 secs
lola: 254926 markings, 629647 edges, 1513 markings/sec, 145 secs
lola: 261906 markings, 645776 edges, 1396 markings/sec, 150 secs
lola: 270516 markings, 669564 edges, 1722 markings/sec, 155 secs
lola: 277498 markings, 685856 edges, 1396 markings/sec, 160 secs
lola: 284165 markings, 701728 edges, 1333 markings/sec, 165 secs
lola: 293015 markings, 724884 edges, 1770 markings/sec, 170 secs
lola: 299768 markings, 740821 edges, 1351 markings/sec, 175 secs
lola: 308504 markings, 763261 edges, 1747 markings/sec, 180 secs
lola: 316348 markings, 783729 edges, 1569 markings/sec, 185 secs
lola: 324048 markings, 801395 edges, 1540 markings/sec, 190 secs
lola: 332594 markings, 822738 edges, 1709 markings/sec, 195 secs
lola: 341061 markings, 843631 edges, 1693 markings/sec, 200 secs
lola: 349482 markings, 864036 edges, 1684 markings/sec, 205 secs
lola: 357879 markings, 884246 edges, 1679 markings/sec, 210 secs
lola: 367141 markings, 906385 edges, 1852 markings/sec, 215 secs
lola: 377233 markings, 929887 edges, 2018 markings/sec, 220 secs
lola: 385603 markings, 947960 edges, 1674 markings/sec, 225 secs
lola: 392401 markings, 963645 edges, 1360 markings/sec, 230 secs
lola: 399719 markings, 981124 edges, 1464 markings/sec, 235 secs
lola: 408056 markings, 1003869 edges, 1667 markings/sec, 240 secs
lola: 415134 markings, 1020320 edges, 1416 markings/sec, 245 secs
lola: 421794 markings, 1036080 edges, 1332 markings/sec, 250 secs
lola: 430730 markings, 1059968 edges, 1787 markings/sec, 255 secs
lola: 437570 markings, 1075681 edges, 1368 markings/sec, 260 secs
lola: 444399 markings, 1092067 edges, 1366 markings/sec, 265 secs
lola: 453343 markings, 1114855 edges, 1789 markings/sec, 270 secs
lola: 460194 markings, 1131027 edges, 1370 markings/sec, 275 secs
lola: 469012 markings, 1153389 edges, 1764 markings/sec, 280 secs
lola: 476078 markings, 1170297 edges, 1413 markings/sec, 285 secs
lola: 484527 markings, 1191101 edges, 1690 markings/sec, 290 secs
lola: 493096 markings, 1212262 edges, 1714 markings/sec, 295 secs
lola: 501048 markings, 1231709 edges, 1590 markings/sec, 300 secs
lola: 509182 markings, 1251520 edges, 1627 markings/sec, 305 secs
lola: 517999 markings, 1272304 edges, 1763 markings/sec, 310 secs
lola: 526604 markings, 1292322 edges, 1721 markings/sec, 315 secs
lola: 535934 markings, 1314389 edges, 1866 markings/sec, 320 secs
lola: 546078 markings, 1336684 edges, 2029 markings/sec, 325 secs
lola: 552843 markings, 1351634 edges, 1353 markings/sec, 330 secs
lola: 559539 markings, 1367254 edges, 1339 markings/sec, 335 secs
lola: 566467 markings, 1383332 edges, 1386 markings/sec, 340 secs
lola: 575020 markings, 1406870 edges, 1711 markings/sec, 345 secs
lola: 582495 markings, 1424541 edges, 1495 markings/sec, 350 secs
lola: 588873 markings, 1439525 edges, 1276 markings/sec, 355 secs
lola: 595459 markings, 1455366 edges, 1317 markings/sec, 360 secs
lola: 604455 markings, 1479312 edges, 1799 markings/sec, 365 secs
lola: 611428 markings, 1495236 edges, 1395 markings/sec, 370 secs
lola: 618061 markings, 1510986 edges, 1327 markings/sec, 375 secs
lola: 626822 markings, 1534127 edges, 1752 markings/sec, 380 secs
lola: 633924 markings, 1550360 edges, 1420 markings/sec, 385 secs
lola: 640777 markings, 1566638 edges, 1371 markings/sec, 390 secs
lola: 649859 markings, 1589653 edges, 1816 markings/sec, 395 secs
lola: 656745 markings, 1605788 edges, 1377 markings/sec, 400 secs
lola: 665698 markings, 1628362 edges, 1791 markings/sec, 405 secs
lola: 672692 markings, 1644653 edges, 1399 markings/sec, 410 secs
lola: 681562 markings, 1666472 edges, 1774 markings/sec, 415 secs
lola: 689449 markings, 1686091 edges, 1577 markings/sec, 420 secs
lola: 697451 markings, 1704476 edges, 1600 markings/sec, 425 secs
lola: 706138 markings, 1725299 edges, 1737 markings/sec, 430 secs
lola: 714721 markings, 1745773 edges, 1717 markings/sec, 435 secs
lola: 723400 markings, 1766359 edges, 1736 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 20 20 20 20 20 20 20 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 56424 KB
lola: time consumption: 448 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CHOIX_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CHOIX_2)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 17001 markings, 36943 edges, 3400 markings/sec, 30 secs
lola: 31318 markings, 69069 edges, 2863 markings/sec, 35 secs
lola: 43565 markings, 98817 edges, 2449 markings/sec, 40 secs
lola: 56129 markings, 129188 edges, 2513 markings/sec, 45 secs
lola: 68187 markings, 157331 edges, 2412 markings/sec, 50 secs
lola: 81201 markings, 187719 edges, 2603 markings/sec, 55 secs
lola: 90206 markings, 209137 edges, 1801 markings/sec, 60 secs
lola: 102661 markings, 240129 edges, 2491 markings/sec, 65 secs
lola: 113814 markings, 266840 edges, 2231 markings/sec, 70 secs
lola: 125030 markings, 293717 edges, 2243 markings/sec, 75 secs
lola: 135693 markings, 319005 edges, 2133 markings/sec, 80 secs
lola: 146732 markings, 343529 edges, 2208 markings/sec, 85 secs
lola: 159317 markings, 374777 edges, 2517 markings/sec, 90 secs
lola: 166413 markings, 391691 edges, 1419 markings/sec, 95 secs
lola: 177678 markings, 420035 edges, 2253 markings/sec, 100 secs
lola: 188617 markings, 447378 edges, 2188 markings/sec, 105 secs
lola: 199266 markings, 473808 edges, 2130 markings/sec, 110 secs
lola: 209687 markings, 499479 edges, 2084 markings/sec, 115 secs
lola: 220020 markings, 524741 edges, 2067 markings/sec, 120 secs
lola: 229714 markings, 548119 edges, 1939 markings/sec, 125 secs
lola: 239482 markings, 571111 edges, 1954 markings/sec, 130 secs
lola: 249780 markings, 594306 edges, 2060 markings/sec, 135 secs
lola: 261769 markings, 624160 edges, 2398 markings/sec, 140 secs
lola: 268623 markings, 641029 edges, 1371 markings/sec, 145 secs
lola: 278698 markings, 666491 edges, 2015 markings/sec, 150 secs
lola: 288777 markings, 691812 edges, 2016 markings/sec, 155 secs
lola: 300108 markings, 721050 edges, 2266 markings/sec, 160 secs
lola: 309627 markings, 744764 edges, 1904 markings/sec, 165 secs
lola: 319433 markings, 769091 edges, 1961 markings/sec, 170 secs
lola: 329242 markings, 793426 edges, 1962 markings/sec, 175 secs
lola: 338789 markings, 817011 edges, 1909 markings/sec, 180 secs
lola: 348315 markings, 840479 edges, 1905 markings/sec, 185 secs
lola: 357017 markings, 861364 edges, 1740 markings/sec, 190 secs
lola: 366254 markings, 883640 edges, 1847 markings/sec, 195 secs
lola: 374666 markings, 902689 edges, 1682 markings/sec, 200 secs
lola: 385151 markings, 927249 edges, 2097 markings/sec, 205 secs
lola: 397567 markings, 958705 edges, 2483 markings/sec, 210 secs
lola: 403954 markings, 974465 edges, 1277 markings/sec, 215 secs
lola: 412227 markings, 994906 edges, 1655 markings/sec, 220 secs
lola: 423911 markings, 1025689 edges, 2337 markings/sec, 225 secs
lola: 431889 markings, 1045077 edges, 1596 markings/sec, 230 secs
lola: 443565 markings, 1075589 edges, 2335 markings/sec, 235 secs
lola: 451745 markings, 1095539 edges, 1636 markings/sec, 240 secs
lola: 461552 markings, 1120533 edges, 1961 markings/sec, 245 secs
lola: 471240 markings, 1145131 edges, 1938 markings/sec, 250 secs
lola: 479863 markings, 1166053 edges, 1725 markings/sec, 255 secs
lola: 488783 markings, 1188124 edges, 1784 markings/sec, 260 secs
lola: 498022 markings, 1211160 edges, 1848 markings/sec, 265 secs
lola: 506705 markings, 1232514 edges, 1737 markings/sec, 270 secs
lola: 514963 markings, 1252499 edges, 1652 markings/sec, 275 secs
lola: 524048 markings, 1274792 edges, 1817 markings/sec, 280 secs
lola: 532079 markings, 1293547 edges, 1606 markings/sec, 285 secs
lola: 539560 markings, 1310378 edges, 1496 markings/sec, 290 secs
lola: 549988 markings, 1334983 edges, 2086 markings/sec, 295 secs
lola: 562394 markings, 1366321 edges, 2481 markings/sec, 300 secs
lola: 570964 markings, 1388079 edges, 1714 markings/sec, 305 secs
lola: 576148 markings, 1399865 edges, 1037 markings/sec, 310 secs
lola: 586177 markings, 1425672 edges, 2006 markings/sec, 315 secs
lola: 598007 markings, 1457128 edges, 2366 markings/sec, 320 secs
lola: 604626 markings, 1472437 edges, 1324 markings/sec, 325 secs
lola: 615296 markings, 1500713 edges, 2134 markings/sec, 330 secs
lola: 623794 markings, 1521613 edges, 1700 markings/sec, 335 secs
lola: 633317 markings, 1545780 edges, 1905 markings/sec, 340 secs
lola: 642682 markings, 1569429 edges, 1873 markings/sec, 345 secs
lola: 651304 markings, 1590906 edges, 1724 markings/sec, 350 secs
lola: 660186 markings, 1613026 edges, 1776 markings/sec, 355 secs
lola: 669275 markings, 1635916 edges, 1818 markings/sec, 360 secs
lola: 676889 markings, 1654068 edges, 1523 markings/sec, 365 secs
lola: 686557 markings, 1678377 edges, 1934 markings/sec, 370 secs
lola: 694729 markings, 1698839 edges, 1634 markings/sec, 375 secs
lola: 702508 markings, 1717349 edges, 1556 markings/sec, 380 secs
lola: 710475 markings, 1736694 edges, 1593 markings/sec, 385 secs
lola: 718729 markings, 1756879 edges, 1651 markings/sec, 390 secs
lola: 726182 markings, 1774142 edges, 1491 markings/sec, 395 secs
lola: 733773 markings, 1791552 edges, 1518 markings/sec, 400 secs
lola: 740548 markings, 1806583 edges, 1355 markings/sec, 405 secs
lola: 750944 markings, 1830951 edges, 2079 markings/sec, 410 secs
lola: 763318 markings, 1862329 edges, 2475 markings/sec, 415 secs
lola: 774251 markings, 1890513 edges, 2187 markings/sec, 420 secs
lola: 779220 markings, 1902269 edges, 994 markings/sec, 425 secs
lola: 785175 markings, 1916089 edges, 1191 markings/sec, 430 secs
lola: 795629 markings, 1943693 edges, 2091 markings/sec, 435 secs
lola: 807434 markings, 1975245 edges, 2361 markings/sec, 440 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 20 20 20 20 20 20 20 unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 60648 KB
lola: time consumption: 894 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_10)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_10)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 15 markings, 14 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V20P20N50-UpperBounds-10 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 535 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_12)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_12)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 17 markings, 16 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V20P20N50-UpperBounds-11 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 669 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(COMPTEUR_29)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(COMPTEUR_29)
lola: processed formula length: 16
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: 6651 markings, 14456 edges, 1330 markings/sec, 0 secs
lola: 13585 markings, 29550 edges, 1387 markings/sec, 5 secs
lola: 21137 markings, 45425 edges, 1510 markings/sec, 10 secs
lola: 29730 markings, 66901 edges, 1719 markings/sec, 15 secs
lola: 38563 markings, 89868 edges, 1767 markings/sec, 20 secs
lola: 47002 markings, 111898 edges, 1688 markings/sec, 25 secs
lola: 56461 markings, 137403 edges, 1892 markings/sec, 30 secs
lola: 66726 markings, 164405 edges, 2053 markings/sec, 35 secs
lola: 75857 markings, 185246 edges, 1826 markings/sec, 40 secs
lola: 84528 markings, 208805 edges, 1734 markings/sec, 45 secs
lola: 91209 markings, 224594 edges, 1336 markings/sec, 50 secs
lola: 99499 markings, 246347 edges, 1658 markings/sec, 55 secs
lola: 107724 markings, 267674 edges, 1645 markings/sec, 60 secs
lola: 115899 markings, 288526 edges, 1635 markings/sec, 65 secs
lola: 125083 markings, 312331 edges, 1837 markings/sec, 70 secs
lola: 133931 markings, 334358 edges, 1770 markings/sec, 75 secs
lola: 143978 markings, 358694 edges, 2009 markings/sec, 80 secs
lola: 152037 markings, 376411 edges, 1612 markings/sec, 85 secs
lola: 159644 markings, 395798 edges, 1521 markings/sec, 90 secs
lola: 167586 markings, 416155 edges, 1588 markings/sec, 95 secs
lola: 174112 markings, 431516 edges, 1305 markings/sec, 100 secs
lola: 182591 markings, 453847 edges, 1696 markings/sec, 105 secs
lola: 190867 markings, 475493 edges, 1655 markings/sec, 110 secs
lola: 197705 markings, 491449 edges, 1368 markings/sec, 115 secs
lola: 206042 markings, 512584 edges, 1667 markings/sec, 120 secs
lola: 214350 markings, 533260 edges, 1662 markings/sec, 125 secs
lola: 223291 markings, 556173 edges, 1788 markings/sec, 130 secs
lola: 231645 markings, 576046 edges, 1671 markings/sec, 135 secs
lola: 241187 markings, 598963 edges, 1908 markings/sec, 140 secs
lola: 250947 markings, 620661 edges, 1952 markings/sec, 145 secs
lola: 257599 markings, 635840 edges, 1330 markings/sec, 150 secs
lola: 265070 markings, 654692 edges, 1494 markings/sec, 155 secs
lola: 273281 markings, 676109 edges, 1642 markings/sec, 160 secs
lola: 279676 markings, 690959 edges, 1279 markings/sec, 165 secs
lola: 287223 markings, 710893 edges, 1509 markings/sec, 170 secs
lola: 294964 markings, 729388 edges, 1548 markings/sec, 175 secs
lola: 302435 markings, 748702 edges, 1494 markings/sec, 180 secs
lola: 310195 markings, 767256 edges, 1552 markings/sec, 185 secs
lola: 318729 markings, 789070 edges, 1707 markings/sec, 190 secs
lola: 325439 markings, 804751 edges, 1342 markings/sec, 195 secs
lola: 333856 markings, 825756 edges, 1683 markings/sec, 200 secs
lola: 342221 markings, 846312 edges, 1673 markings/sec, 205 secs
lola: 350535 markings, 866449 edges, 1663 markings/sec, 210 secs
lola: 359497 markings, 888517 edges, 1792 markings/sec, 215 secs
lola: 368350 markings, 909413 edges, 1771 markings/sec, 220 secs
lola: 378017 markings, 931595 edges, 1933 markings/sec, 225 secs
lola: 385980 markings, 948749 edges, 1593 markings/sec, 230 secs
lola: 392651 markings, 964257 edges, 1334 markings/sec, 235 secs
lola: 399884 markings, 981672 edges, 1447 markings/sec, 240 secs
lola: 407798 markings, 1003208 edges, 1583 markings/sec, 245 secs
lola: 414834 markings, 1019546 edges, 1407 markings/sec, 250 secs
lola: 421256 markings, 1034980 edges, 1284 markings/sec, 255 secs
lola: 429868 markings, 1057873 edges, 1722 markings/sec, 260 secs
lola: 436795 markings, 1073913 edges, 1385 markings/sec, 265 secs
lola: 443443 markings, 1089644 edges, 1330 markings/sec, 270 secs
lola: 452122 markings, 1112030 edges, 1736 markings/sec, 275 secs
lola: 458776 markings, 1127677 edges, 1331 markings/sec, 280 secs
lola: 467533 markings, 1149943 edges, 1751 markings/sec, 285 secs
lola: 474301 markings, 1165891 edges, 1354 markings/sec, 290 secs
lola: 482844 markings, 1187131 edges, 1709 markings/sec, 295 secs
lola: 490911 markings, 1207244 edges, 1613 markings/sec, 300 secs
lola: 498305 markings, 1224371 edges, 1479 markings/sec, 305 secs
lola: 506725 markings, 1244844 edges, 1684 markings/sec, 310 secs
lola: 515124 markings, 1264980 edges, 1680 markings/sec, 315 secs
lola: 524164 markings, 1286877 edges, 1808 markings/sec, 320 secs
lola: 533097 markings, 1307714 edges, 1787 markings/sec, 325 secs
lola: 542645 markings, 1329434 edges, 1910 markings/sec, 330 secs
lola: 550597 markings, 1346571 edges, 1590 markings/sec, 335 secs
lola: 557226 markings, 1361850 edges, 1326 markings/sec, 340 secs
lola: 564025 markings, 1377661 edges, 1360 markings/sec, 345 secs
lola: 572550 markings, 1400880 edges, 1705 markings/sec, 350 secs
lola: 579962 markings, 1419010 edges, 1482 markings/sec, 355 secs
lola: 586434 markings, 1433817 edges, 1294 markings/sec, 360 secs
lola: 592848 markings, 1449055 edges, 1283 markings/sec, 365 secs
lola: 600404 markings, 1468868 edges, 1511 markings/sec, 370 secs
lola: 608671 markings, 1488771 edges, 1653 markings/sec, 375 secs
lola: 615065 markings, 1503947 edges, 1279 markings/sec, 380 secs
lola: 621959 markings, 1520683 edges, 1379 markings/sec, 385 secs
lola: 630758 markings, 1542974 edges, 1760 markings/sec, 390 secs
lola: 637278 markings, 1558321 edges, 1304 markings/sec, 395 secs
lola: 645479 markings, 1579447 edges, 1640 markings/sec, 400 secs
lola: 652670 markings, 1596122 edges, 1438 markings/sec, 405 secs
lola: 659401 markings, 1612258 edges, 1346 markings/sec, 410 secs
lola: 668142 markings, 1633902 edges, 1748 markings/sec, 415 secs
lola: 675244 markings, 1651080 edges, 1420 markings/sec, 420 secs
lola: 683595 markings, 1671171 edges, 1670 markings/sec, 425 secs
lola: 691858 markings, 1691765 edges, 1653 markings/sec, 430 secs
lola: 699194 markings, 1708683 edges, 1467 markings/sec, 435 secs
lola: 707580 markings, 1728742 edges, 1677 markings/sec, 440 secs
lola: 716005 markings, 1748693 edges, 1685 markings/sec, 445 secs
lola: 724951 markings, 1770175 edges, 1789 markings/sec, 450 secs
lola: 733727 markings, 1790569 edges, 1755 markings/sec, 455 secs
lola: 743055 markings, 1811836 edges, 1866 markings/sec, 460 secs
lola: 751122 markings, 1829083 edges, 1613 markings/sec, 465 secs
lola: 757705 markings, 1844145 edges, 1317 markings/sec, 470 secs
lola: 764445 markings, 1859703 edges, 1348 markings/sec, 475 secs
lola: 771291 markings, 1875805 edges, 1369 markings/sec, 480 secs
lola: 779817 markings, 1899347 edges, 1705 markings/sec, 485 secs
lola: 787572 markings, 1917999 edges, 1551 markings/sec, 490 secs
lola: 793858 markings, 1932595 edges, 1257 markings/sec, 495 secs
lola: 800399 markings, 1947973 edges, 1308 markings/sec, 500 secs
lola: 806923 markings, 1963797 edges, 1305 markings/sec, 505 secs
lola: 816267 markings, 1988681 edges, 1869 markings/sec, 510 secs
lola: 823002 markings, 2004070 edges, 1347 markings/sec, 515 secs
lola: 829550 markings, 2019577 edges, 1310 markings/sec, 520 secs
lola: 837102 markings, 2039098 edges, 1510 markings/sec, 525 secs
lola: 845640 markings, 2059713 edges, 1708 markings/sec, 530 secs
lola: 852225 markings, 2075102 edges, 1317 markings/sec, 535 secs
lola: 858967 markings, 2091275 edges, 1348 markings/sec, 540 secs
lola: 868154 markings, 2114626 edges, 1837 markings/sec, 545 secs
lola: 874826 markings, 2130234 edges, 1334 markings/sec, 550 secs
lola: 882686 markings, 2150391 edges, 1572 markings/sec, 555 secs
lola: 890676 markings, 2168933 edges, 1598 markings/sec, 560 secs
lola: 897513 markings, 2184878 edges, 1367 markings/sec, 565 secs
lola: 906314 markings, 2206790 edges, 1760 markings/sec, 570 secs
lola: 913332 markings, 2223074 edges, 1404 markings/sec, 575 secs
lola: 921994 markings, 2244383 edges, 1732 markings/sec, 580 secs
lola: 929816 markings, 2263346 edges, 1564 markings/sec, 585 secs
lola: 937657 markings, 2281496 edges, 1568 markings/sec, 590 secs
lola: 946126 markings, 2301882 edges, 1694 markings/sec, 595 secs
lola: 954559 markings, 2321901 edges, 1687 markings/sec, 600 secs
lola: 962976 markings, 2341611 edges, 1683 markings/sec, 605 secs
lola: 971845 markings, 2362480 edges, 1774 markings/sec, 610 secs
lola: 980834 markings, 2383063 edges, 1798 markings/sec, 615 secs
lola: 989625 markings, 2402180 edges, 1758 markings/sec, 620 secs
lola: 996105 markings, 2416765 edges, 1296 markings/sec, 625 secs
lola: 1002754 markings, 2432071 edges, 1330 markings/sec, 630 secs
lola: 1009626 markings, 2447900 edges, 1374 markings/sec, 635 secs
lola: 1016422 markings, 2464071 edges, 1359 markings/sec, 640 secs
lola: 1024818 markings, 2487509 edges, 1679 markings/sec, 645 secs
lola: 1032663 markings, 2506786 edges, 1569 markings/sec, 650 secs
lola: 1039297 markings, 2521759 edges, 1327 markings/sec, 655 secs
lola: 1045603 markings, 2536850 edges, 1261 markings/sec, 660 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 20 20 20 20 20 20 20 unknown unknown 1 1 unknown unknown unknown unknown
lola: memory consumption: 68412 KB
lola: time consumption: 1563 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 669 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(NB_ATTENTE_B_18)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(NB_ATTENTE_B_18)
lola: processed formula length: 20
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: Structural Bound: 1
lola: SUBRESULT
lola: result: 1
lola: produced by: state space
lola: The maximum value of the given expression is 1
lola: 23 markings, 22 edges
lola: ========================================

FORMULA BridgeAndVehicles-PT-V20P20N50-UpperBounds-13 1 TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1003 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(CHOIX_2)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(CHOIX_2)
lola: processed formula length: 12
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 17014 markings, 36975 edges, 3403 markings/sec, 30 secs
lola: 31358 markings, 69159 edges, 2869 markings/sec, 35 secs
lola: 43694 markings, 99206 edges, 2467 markings/sec, 40 secs
lola: 56337 markings, 129747 edges, 2529 markings/sec, 45 secs
lola: 68386 markings, 157757 edges, 2410 markings/sec, 50 secs
lola: 81518 markings, 188577 edges, 2626 markings/sec, 55 secs
lola: 90383 markings, 209594 edges, 1773 markings/sec, 60 secs
lola: 102907 markings, 240634 edges, 2505 markings/sec, 65 secs
lola: 114147 markings, 267678 edges, 2248 markings/sec, 70 secs
lola: 125524 markings, 295002 edges, 2275 markings/sec, 75 secs
lola: 136096 markings, 319828 edges, 2114 markings/sec, 80 secs
lola: 147411 markings, 345152 edges, 2263 markings/sec, 85 secs
lola: 159634 markings, 375513 edges, 2445 markings/sec, 90 secs
lola: 167169 markings, 393606 edges, 1507 markings/sec, 95 secs
lola: 178434 markings, 421957 edges, 2253 markings/sec, 100 secs
lola: 189118 markings, 448615 edges, 2137 markings/sec, 105 secs
lola: 199661 markings, 474792 edges, 2109 markings/sec, 110 secs
lola: 210207 markings, 500763 edges, 2109 markings/sec, 115 secs
lola: 220327 markings, 525427 edges, 2024 markings/sec, 120 secs
lola: 230073 markings, 548858 edges, 1949 markings/sec, 125 secs
lola: 239913 markings, 572144 edges, 1968 markings/sec, 130 secs
lola: 249949 markings, 594683 edges, 2007 markings/sec, 135 secs
lola: 262295 markings, 625552 edges, 2469 markings/sec, 140 secs
lola: 268904 markings, 641659 edges, 1322 markings/sec, 145 secs
lola: 279110 markings, 667610 edges, 2041 markings/sec, 150 secs
lola: 289315 markings, 693236 edges, 2041 markings/sec, 155 secs
lola: 300498 markings, 721916 edges, 2237 markings/sec, 160 secs
lola: 310171 markings, 746249 edges, 1935 markings/sec, 165 secs
lola: 320139 markings, 770887 edges, 1994 markings/sec, 170 secs
lola: 329811 markings, 794859 edges, 1934 markings/sec, 175 secs
lola: 339504 markings, 818828 edges, 1939 markings/sec, 180 secs
lola: 349196 markings, 842634 edges, 1938 markings/sec, 185 secs
lola: 357828 markings, 863412 edges, 1726 markings/sec, 190 secs
lola: 367071 markings, 885478 edges, 1849 markings/sec, 195 secs
lola: 375334 markings, 904085 edges, 1653 markings/sec, 200 secs
lola: 386568 markings, 930770 edges, 2247 markings/sec, 205 secs
lola: 399304 markings, 963456 edges, 2547 markings/sec, 210 secs
lola: 404672 markings, 976130 edges, 1074 markings/sec, 215 secs
lola: 413602 markings, 998511 edges, 1786 markings/sec, 220 secs
lola: 425036 markings, 1028373 edges, 2287 markings/sec, 225 secs
lola: 433385 markings, 1048968 edges, 1670 markings/sec, 230 secs
lola: 444342 markings, 1077379 edges, 2191 markings/sec, 235 secs
lola: 453161 markings, 1099289 edges, 1764 markings/sec, 240 secs
lola: 462203 markings, 1121957 edges, 1808 markings/sec, 245 secs
lola: 472844 markings, 1149173 edges, 2128 markings/sec, 250 secs
lola: 481209 markings, 1169576 edges, 1673 markings/sec, 255 secs
lola: 489932 markings, 1190939 edges, 1745 markings/sec, 260 secs
lola: 498830 markings, 1212911 edges, 1780 markings/sec, 265 secs
lola: 507574 markings, 1234458 edges, 1749 markings/sec, 270 secs
lola: 516401 markings, 1256221 edges, 1765 markings/sec, 275 secs
lola: 524849 markings, 1276600 edges, 1690 markings/sec, 280 secs
lola: 533249 markings, 1296239 edges, 1680 markings/sec, 285 secs
lola: 540405 markings, 1312086 edges, 1431 markings/sec, 290 secs
lola: 551589 markings, 1338940 edges, 2237 markings/sec, 295 secs
lola: 563688 markings, 1369818 edges, 2420 markings/sec, 300 secs
lola: 571538 markings, 1389473 edges, 1570 markings/sec, 305 secs
lola: 576878 markings, 1401513 edges, 1068 markings/sec, 310 secs
lola: 587145 markings, 1428350 edges, 2053 markings/sec, 315 secs
lola: 598535 markings, 1458198 edges, 2278 markings/sec, 320 secs
lola: 605632 markings, 1475027 edges, 1419 markings/sec, 325 secs
lola: 616369 markings, 1503447 edges, 2147 markings/sec, 330 secs
lola: 624295 markings, 1522635 edges, 1585 markings/sec, 335 secs
lola: 634352 markings, 1548435 edges, 2011 markings/sec, 340 secs
lola: 643183 markings, 1570499 edges, 1766 markings/sec, 345 secs
lola: 652455 markings, 1593900 edges, 1854 markings/sec, 350 secs
lola: 660689 markings, 1614152 edges, 1647 markings/sec, 355 secs
lola: 670367 markings, 1638943 edges, 1936 markings/sec, 360 secs
lola: 677663 markings, 1656056 edges, 1459 markings/sec, 365 secs
lola: 687064 markings, 1679537 edges, 1880 markings/sec, 370 secs
lola: 695896 markings, 1701699 edges, 1766 markings/sec, 375 secs
lola: 703456 markings, 1719830 edges, 1512 markings/sec, 380 secs
lola: 711414 markings, 1739092 edges, 1592 markings/sec, 385 secs
lola: 719658 markings, 1759016 edges, 1649 markings/sec, 390 secs
lola: 726655 markings, 1775184 edges, 1399 markings/sec, 395 secs
lola: 734653 markings, 1793653 edges, 1600 markings/sec, 400 secs
lola: 741129 markings, 1807770 edges, 1295 markings/sec, 405 secs
lola: 752218 markings, 1834321 edges, 2218 markings/sec, 410 secs
lola: 764304 markings, 1864994 edges, 2417 markings/sec, 415 secs
lola: 774631 markings, 1891434 edges, 2065 markings/sec, 420 secs
lola: 779696 markings, 1903286 edges, 1013 markings/sec, 425 secs
lola: 786159 markings, 1918693 edges, 1293 markings/sec, 430 secs
lola: 796488 markings, 1946030 edges, 2066 markings/sec, 435 secs
lola: 808087 markings, 1976674 edges, 2320 markings/sec, 440 secs
lola: 813336 markings, 1988398 edges, 1050 markings/sec, 445 secs
lola: 823387 markings, 2014419 edges, 2010 markings/sec, 450 secs
lola: 834879 markings, 2045056 edges, 2298 markings/sec, 455 secs
lola: 840153 markings, 2056732 edges, 1055 markings/sec, 460 secs
lola: 850387 markings, 2083152 edges, 2047 markings/sec, 465 secs
lola: 860232 markings, 2108315 edges, 1969 markings/sec, 470 secs
lola: 866591 markings, 2123388 edges, 1272 markings/sec, 475 secs
lola: 877060 markings, 2150942 edges, 2094 markings/sec, 480 secs
lola: 883646 markings, 2166177 edges, 1317 markings/sec, 485 secs
lola: 893347 markings, 2191056 edges, 1940 markings/sec, 490 secs
lola: 900662 markings, 2208675 edges, 1463 markings/sec, 495 secs
lola: 909696 markings, 2231417 edges, 1807 markings/sec, 500 secs
lola: 916464 markings, 2247375 edges, 1354 markings/sec, 505 secs
lola: 925968 markings, 2271518 edges, 1901 markings/sec, 510 secs
lola: 932442 markings, 2286825 edges, 1295 markings/sec, 515 secs
lola: 939989 markings, 2305145 edges, 1509 markings/sec, 520 secs
lola: 948159 markings, 2325103 edges, 1634 markings/sec, 525 secs
lola: 955682 markings, 2343255 edges, 1505 markings/sec, 530 secs
lola: 962731 markings, 2359829 edges, 1410 markings/sec, 535 secs
lola: 970454 markings, 2377897 edges, 1545 markings/sec, 540 secs
lola: 976929 markings, 2392482 edges, 1295 markings/sec, 545 secs
lola: 982713 markings, 2404906 edges, 1157 markings/sec, 550 secs
lola: 994563 markings, 2433581 edges, 2370 markings/sec, 555 secs
lola: 1006516 markings, 2464161 edges, 2391 markings/sec, 560 secs
lola: 1018597 markings, 2495157 edges, 2416 markings/sec, 565 secs
lola: 1023204 markings, 2506309 edges, 921 markings/sec, 570 secs
lola: 1028412 markings, 2518295 edges, 1042 markings/sec, 575 secs
lola: 1036235 markings, 2537591 edges, 1565 markings/sec, 580 secs
lola: 1047016 markings, 2566335 edges, 2156 markings/sec, 585 secs
lola: 1058428 markings, 2596661 edges, 2282 markings/sec, 590 secs
lola: 1063640 markings, 2608539 edges, 1042 markings/sec, 595 secs
lola: 1071373 markings, 2627675 edges, 1547 markings/sec, 600 secs
lola: 1082080 markings, 2656131 edges, 2141 markings/sec, 605 secs
lola: 1091815 markings, 2681011 edges, 1947 markings/sec, 610 secs
lola: 1096751 markings, 2692218 edges, 987 markings/sec, 615 secs
lola: 1106156 markings, 2716307 edges, 1881 markings/sec, 620 secs
lola: 1117609 markings, 2746980 edges, 2291 markings/sec, 625 secs
lola: 1122883 markings, 2758784 edges, 1055 markings/sec, 630 secs
lola: 1130809 markings, 2778295 edges, 1585 markings/sec, 635 secs
lola: 1141932 markings, 2807830 edges, 2225 markings/sec, 640 secs
lola: 1147252 markings, 2819644 edges, 1064 markings/sec, 645 secs
lola: 1155469 markings, 2840234 edges, 1643 markings/sec, 650 secs
lola: 1165047 markings, 2864486 edges, 1916 markings/sec, 655 secs
lola: 1170312 markings, 2876513 edges, 1053 markings/sec, 660 secs
lola: 1180320 markings, 2902484 edges, 2002 markings/sec, 665 secs
lola: 1186375 markings, 2916468 edges, 1211 markings/sec, 670 secs
lola: 1194994 markings, 2938304 edges, 1724 markings/sec, 675 secs
lola: 1201589 markings, 2953915 edges, 1319 markings/sec, 680 secs
lola: 1210026 markings, 2975288 edges, 1687 markings/sec, 685 secs
lola: 1215784 markings, 2988379 edges, 1152 markings/sec, 690 secs
lola: 1224289 markings, 3009478 edges, 1701 markings/sec, 695 secs
lola: 1231427 markings, 3027038 edges, 1428 markings/sec, 700 secs
lola: 1237772 markings, 3041574 edges, 1269 markings/sec, 705 secs
lola: 1244614 markings, 3057647 edges, 1368 markings/sec, 710 secs
lola: 1252087 markings, 3075356 edges, 1495 markings/sec, 715 secs
lola: 1258280 markings, 3089411 edges, 1239 markings/sec, 720 secs
lola: 1264218 markings, 3102718 edges, 1188 markings/sec, 725 secs
lola: 1271816 markings, 3119301 edges, 1520 markings/sec, 730 secs
lola: 1283378 markings, 3148131 edges, 2312 markings/sec, 735 secs
lola: 1295078 markings, 3178233 edges, 2340 markings/sec, 740 secs
lola: 1307492 markings, 3210691 edges, 2483 markings/sec, 745 secs
lola: 1312136 markings, 3221710 edges, 929 markings/sec, 750 secs
lola: 1317411 markings, 3234084 edges, 1055 markings/sec, 755 secs
lola: 1322116 markings, 3244764 edges, 941 markings/sec, 760 secs
lola: 1331485 markings, 3269059 edges, 1874 markings/sec, 765 secs
lola: 1342432 markings, 3298586 edges, 2189 markings/sec, 770 secs
lola: 1353721 markings, 3328228 edges, 2258 markings/sec, 775 secs
lola: 1358973 markings, 3340563 edges, 1050 markings/sec, 780 secs
lola: 1363919 markings, 3351768 edges, 989 markings/sec, 785 secs
lola: 1374087 markings, 3378431 edges, 2034 markings/sec, 790 secs
lola: 1385039 markings, 3408011 edges, 2190 markings/sec, 795 secs
lola: 1393407 markings, 3428992 edges, 1674 markings/sec, 800 secs
lola: 1398235 markings, 3440072 edges, 966 markings/sec, 805 secs
lola: 1406018 markings, 3459565 edges, 1557 markings/sec, 810 secs
lola: 1417054 markings, 3488926 edges, 2207 markings/sec, 815 secs
lola: 1425560 markings, 3510316 edges, 1701 markings/sec, 820 secs
lola: 1430373 markings, 3521427 edges, 963 markings/sec, 825 secs
lola: 1438416 markings, 3541367 edges, 1609 markings/sec, 830 secs
lola: 1449095 markings, 3570000 edges, 2136 markings/sec, 835 secs
lola: 1455755 markings, 3585817 edges, 1332 markings/sec, 840 secs
lola: 1461169 markings, 3598272 edges, 1083 markings/sec, 845 secs
lola: 1471316 markings, 3624883 edges, 2029 markings/sec, 850 secs
lola: 1479261 markings, 3644617 edges, 1589 markings/sec, 855 secs
lola: 1484083 markings, 3655545 edges, 964 markings/sec, 860 secs
lola: 1493746 markings, 3680450 edges, 1933 markings/sec, 865 secs
lola: 1501152 markings, 3698561 edges, 1481 markings/sec, 870 secs
lola: 1506222 markings, 3710169 edges, 1014 markings/sec, 875 secs
lola: 1516529 markings, 3737133 edges, 2061 markings/sec, 880 secs
lola: 1521707 markings, 3748968 edges, 1036 markings/sec, 885 secs
lola: 1529092 markings, 3767188 edges, 1477 markings/sec, 890 secs
lola: 1536263 markings, 3784794 edges, 1434 markings/sec, 895 secs
lola: 1542712 markings, 3800378 edges, 1290 markings/sec, 900 secs
lola: 1549981 markings, 3818225 edges, 1454 markings/sec, 905 secs
lola: 1557231 markings, 3836223 edges, 1450 markings/sec, 910 secs
lola: 1562907 markings, 3849301 edges, 1135 markings/sec, 915 secs
lola: 1570416 markings, 3867398 edges, 1502 markings/sec, 920 secs
lola: 1577350 markings, 3883694 edges, 1387 markings/sec, 925 secs
lola: 1583789 markings, 3898658 edges, 1288 markings/sec, 930 secs
lola: 1589690 markings, 3912334 edges, 1180 markings/sec, 935 secs
lola: 1595249 markings, 3925039 edges, 1112 markings/sec, 940 secs
lola: 1600829 markings, 3937476 edges, 1116 markings/sec, 945 secs
lola: 1610491 markings, 3959539 edges, 1932 markings/sec, 950 secs
lola: 1621641 markings, 3987680 edges, 2230 markings/sec, 955 secs
lola: 1634362 markings, 4020442 edges, 2544 markings/sec, 960 secs
lola: 1646269 markings, 4051866 edges, 2381 markings/sec, 965 secs
lola: 1650896 markings, 4062751 edges, 925 markings/sec, 970 secs
lola: 1656050 markings, 4075178 edges, 1031 markings/sec, 975 secs
lola: 1660783 markings, 4086120 edges, 947 markings/sec, 980 secs
lola: 1666704 markings, 4099893 edges, 1184 markings/sec, 985 secs
lola: 1676823 markings, 4126827 edges, 2024 markings/sec, 990 secs
lola: 1688034 markings, 4157006 edges, 2242 markings/sec, 995 secs
lola: local time limit reached - aborting
lola:
preliminary result: 1 20 20 20 20 20 20 20 unknown unknown 1 1 unknown 1 unknown unknown
lola: memory consumption: 93648 KB
lola: time consumption: 2566 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1004 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: MAX(ATTENTE_A)
lola: ========================================
lola: SUBTASK
lola: computing bound of an expression
lola: processed formula: MAX(ATTENTE_A)
lola: processed formula length: 14
lola: 0 rewrites
lola: closed formula file BridgeAndVehicles-PT-V20P20N50-UpperBounds.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
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: 0 markings, 0 edges, 0 markings/sec, 0 secs
lola: 0 markings, 0 edges, 0 markings/sec, 5 secs
lola: 0 markings, 0 edges, 0 markings/sec, 10 secs
lola: 0 markings, 0 edges, 0 markings/sec, 15 secs
lola: 0 markings, 0 edges, 0 markings/sec, 20 secs
lola: 0 markings, 0 edges, 0 markings/sec, 25 secs
lola: Structural Bound: 4294967295
lola: 25129 markings, 39973 edges, 5026 markings/sec, 30 secs
lola: 47957 markings, 74903 edges, 4566 markings/sec, 35 secs
lola: 51709 markings, 81249 edges, 750 markings/sec, 40 secs
lola: 58500 markings, 97864 edges, 1358 markings/sec, 45 secs
lola: 65058 markings, 108869 edges, 1312 markings/sec, 50 secs
lola: 68798 markings, 115207 edges, 748 markings/sec, 55 secs
lola: 72585 markings, 121380 edges, 757 markings/sec, 60 secs
lola: 76335 markings, 127635 edges, 750 markings/sec, 65 secs
lola: 82683 markings, 142863 edges, 1270 markings/sec, 70 secs
lola: 88522 markings, 156607 edges, 1168 markings/sec, 75 secs
lola: 92444 markings, 163083 edges, 784 markings/sec, 80 secs
lola: 98146 markings, 175923 edges, 1140 markings/sec, 85 secs
lola: 103571 markings, 187738 edges, 1085 markings/sec, 90 secs
lola: 108713 markings, 198591 edges, 1028 markings/sec, 95 secs
lola: 113684 markings, 208691 edges, 994 markings/sec, 100 secs
lola: 119209 markings, 220584 edges, 1105 markings/sec, 105 secs
lola: 124784 markings, 232127 edges, 1115 markings/sec, 110 secs
lola: 128614 markings, 240706 edges, 766 markings/sec, 115 secs
lola: 130485 markings, 247014 edges, 374 markings/sec, 120 secs
lola: 136546 markings, 263967 edges, 1212 markings/sec, 125 secs
lola: 142857 markings, 275156 edges, 1262 markings/sec, 130 secs
lola: 146599 markings, 281486 edges, 748 markings/sec, 135 secs
lola: 151465 markings, 289627 edges, 973 markings/sec, 140 secs
lola: 154926 markings, 297714 edges, 692 markings/sec, 145 secs
lola: 156799 markings, 303972 edges, 375 markings/sec, 150 secs
lola: 160214 markings, 310186 edges, 683 markings/sec, 155 secs
lola: 163662 markings, 316349 edges, 690 markings/sec, 160 secs
lola: 165541 markings, 322678 edges, 376 markings/sec, 165 secs
lola: 170949 markings, 337812 edges, 1082 markings/sec, 170 secs
lola: 174695 markings, 344074 edges, 749 markings/sec, 175 secs
lola: 176892 markings, 350316 edges, 439 markings/sec, 180 secs
lola: 181774 markings, 364201 edges, 976 markings/sec, 185 secs
lola: 185524 markings, 370436 edges, 750 markings/sec, 190 secs
lola: 187451 markings, 376621 edges, 385 markings/sec, 195 secs
lola: 192631 markings, 389427 edges, 1036 markings/sec, 200 secs
lola: 195461 markings, 395629 edges, 566 markings/sec, 205 secs
lola: 199858 markings, 407405 edges, 879 markings/sec, 210 secs
lola: 202848 markings, 413614 edges, 598 markings/sec, 215 secs
lola: 207153 markings, 424523 edges, 861 markings/sec, 220 secs
lola: 209681 markings, 430689 edges, 506 markings/sec, 225 secs
lola: 214129 markings, 440751 edges, 890 markings/sec, 230 secs
lola: 218129 markings, 450107 edges, 800 markings/sec, 235 secs
lola: 221716 markings, 458717 edges, 717 markings/sec, 240 secs
lola: 225023 markings, 466926 edges, 661 markings/sec, 245 secs
lola: 228913 markings, 475887 edges, 778 markings/sec, 250 secs
lola: 232927 markings, 484616 edges, 803 markings/sec, 255 secs
lola: 234860 markings, 490994 edges, 387 markings/sec, 260 secs
lola: 238721 markings, 503496 edges, 772 markings/sec, 265 secs
lola: 243353 markings, 514354 edges, 926 markings/sec, 270 secs
lola: 249812 markings, 525845 edges, 1292 markings/sec, 275 secs
lola: 253560 markings, 532196 edges, 750 markings/sec, 280 secs
lola: 258447 markings, 540446 edges, 977 markings/sec, 285 secs
lola: 262631 markings, 549649 edges, 837 markings/sec, 290 secs
lola: 264503 markings, 555961 edges, 374 markings/sec, 295 secs
lola: 268320 markings, 564170 edges, 763 markings/sec, 300 secs
lola: 271755 markings, 572065 edges, 687 markings/sec, 305 secs
lola: 273628 markings, 578397 edges, 375 markings/sec, 310 secs
lola: 276595 markings, 584594 edges, 593 markings/sec, 315 secs
lola: 280297 markings, 590750 edges, 740 markings/sec, 320 secs
lola: 282362 markings, 597015 edges, 413 markings/sec, 325 secs
lola: 284262 markings, 603204 edges, 380 markings/sec, 330 secs
lola: 286138 markings, 609532 edges, 375 markings/sec, 335 secs
lola: 291693 markings, 624611 edges, 1111 markings/sec, 340 secs
lola: 295449 markings, 630875 edges, 751 markings/sec, 345 secs
lola: 297519 markings, 637138 edges, 414 markings/sec, 350 secs
lola: 299421 markings, 643356 edges, 380 markings/sec, 355 secs
lola: 302982 markings, 654888 edges, 712 markings/sec, 360 secs
lola: 307350 markings, 663487 edges, 874 markings/sec, 365 secs
lola: 310030 markings, 669701 edges, 536 markings/sec, 370 secs
lola: 311928 markings, 675912 edges, 380 markings/sec, 375 secs
lola: 315910 markings, 688526 edges, 796 markings/sec, 380 secs
lola: 319670 markings, 694848 edges, 752 markings/sec, 385 secs
lola: 321823 markings, 701049 edges, 431 markings/sec, 390 secs
lola: 323720 markings, 707269 edges, 379 markings/sec, 395 secs
lola: 328693 markings, 719035 edges, 995 markings/sec, 400 secs
lola: 331110 markings, 725150 edges, 483 markings/sec, 405 secs
lola: 333007 markings, 731297 edges, 379 markings/sec, 410 secs
lola: 337968 markings, 742111 edges, 992 markings/sec, 415 secs
lola: 339873 markings, 748354 edges, 381 markings/sec, 420 secs
lola: 344000 markings, 758412 edges, 825 markings/sec, 425 secs
lola: 346245 markings, 764576 edges, 449 markings/sec, 430 secs
lola: 350266 markings, 773906 edges, 804 markings/sec, 435 secs
lola: 352977 markings, 782506 edges, 542 markings/sec, 440 secs
lola: 355833 markings, 788776 edges, 571 markings/sec, 445 secs
lola: 359151 markings, 796912 edges, 664 markings/sec, 450 secs
lola: 362189 markings, 804638 edges, 608 markings/sec, 455 secs
lola: 365660 markings, 812834 edges, 694 markings/sec, 460 secs
lola: 368951 markings, 820503 edges, 658 markings/sec, 465 secs
lola: 370995 markings, 826903 edges, 409 markings/sec, 470 secs
lola: 373696 markings, 835572 edges, 540 markings/sec, 475 secs
lola: 378990 markings, 849803 edges, 1059 markings/sec, 480 secs
lola: 383409 markings, 859245 edges, 884 markings/sec, 485 secs
lola: 389393 markings, 868537 edges, 1197 markings/sec, 490 secs
lola: 393133 markings, 874826 edges, 748 markings/sec, 495 secs
lola: 399647 markings, 886596 edges, 1303 markings/sec, 500 secs
lola: 402133 markings, 893601 edges, 497 markings/sec, 505 secs
lola: 403980 markings, 899712 edges, 369 markings/sec, 510 secs
lola: 408487 markings, 908942 edges, 901 markings/sec, 515 secs
lola: 412056 markings, 917101 edges, 714 markings/sec, 520 secs
lola: 413909 markings, 923370 edges, 371 markings/sec, 525 secs
lola: 416672 markings, 930266 edges, 553 markings/sec, 530 secs
lola: 420500 markings, 938360 edges, 766 markings/sec, 535 secs
lola: 423247 markings, 945358 edges, 549 markings/sec, 540 secs
lola: 425096 markings, 951590 edges, 370 markings/sec, 545 secs
lola: 428170 markings, 957694 edges, 615 markings/sec, 550 secs
lola: 431830 markings, 963762 edges, 732 markings/sec, 555 secs
lola: 433761 markings, 969998 edges, 386 markings/sec, 560 secs
lola: 435640 markings, 976125 edges, 376 markings/sec, 565 secs
lola: 437499 markings, 982374 edges, 372 markings/sec, 570 secs
lola: 439380 markings, 988516 edges, 376 markings/sec, 575 secs
lola: 442204 markings, 997640 edges, 565 markings/sec, 580 secs
lola: 447395 markings, 1009750 edges, 1038 markings/sec, 585 secs
lola: 450732 markings, 1015853 edges, 667 markings/sec, 590 secs
lola: 452593 markings, 1022107 edges, 372 markings/sec, 595 secs
lola: 454475 markings, 1028285 edges, 376 markings/sec, 600 secs
lola: 456356 markings, 1034417 edges, 376 markings/sec, 605 secs
lola: 458230 markings, 1040610 edges, 375 markings/sec, 610 secs
lola: 463960 markings, 1054499 edges, 1146 markings/sec, 615 secs
lola: 466986 markings, 1060706 edges, 605 markings/sec, 620 secs
lola: 468879 markings, 1066883 edges, 379 markings/sec, 625 secs
lola: 470757 markings, 1073085 edges, 376 markings/sec, 630 secs
lola: 472644 markings, 1079363 edges, 377 markings/sec, 635 secs
lola: 477735 markings, 1092068 edges, 1018 markings/sec, 640 secs
lola: 480697 markings, 1098239 edges, 592 markings/sec, 645 secs
lola: 482591 markings, 1104433 edges, 379 markings/sec, 650 secs
lola: 484485 markings, 1110627 edges, 379 markings/sec, 655 secs
lola: 488492 markings, 1122282 edges, 801 markings/sec, 660 secs
lola: 491911 markings, 1128514 edges, 684 markings/sec, 665 secs
lola: 493808 markings, 1134720 edges, 379 markings/sec, 670 secs
lola: 495705 markings, 1140931 edges, 379 markings/sec, 675 secs
lola: 499991 markings, 1151732 edges, 857 markings/sec, 680 secs
lola: 502575 markings, 1157909 edges, 517 markings/sec, 685 secs
lola: 504484 markings, 1164066 edges, 382 markings/sec, 690 secs
lola: 508322 markings, 1174089 edges, 768 markings/sec, 695 secs
lola: 510869 markings, 1180230 edges, 509 markings/sec, 700 secs
lola: 512767 markings, 1186431 edges, 380 markings/sec, 705 secs
lola: 516817 markings, 1195723 edges, 810 markings/sec, 710 secs
lola: 518700 markings, 1201791 edges, 377 markings/sec, 715 secs
lola: 522362 markings, 1210458 edges, 732 markings/sec, 720 secs
lola: 524945 markings, 1218526 edges, 517 markings/sec, 725 secs
lola: 527610 markings, 1224707 edges, 533 markings/sec, 730 secs
lola: 530666 markings, 1232391 edges, 611 markings/sec, 735 secs
lola: 533479 markings, 1239674 edges, 563 markings/sec, 740 secs
lola: 536585 markings, 1247181 edges, 621 markings/sec, 745 secs
lola: 539521 markings, 1254170 edges, 587 markings/sec, 750 secs
lola: 541444 markings, 1260531 edges, 385 markings/sec, 755 secs
lola: 545248 markings, 1272837 edges, 761 markings/sec, 760 secs
lola: 549437 markings, 1283500 edges, 838 markings/sec, 765 secs
lola: 552744 markings, 1291307 edges, 661 markings/sec, 770 secs
lola: 560036 markings, 1302821 edges, 1458 markings/sec, 775 secs
lola: 563770 markings, 1309153 edges, 747 markings/sec, 780 secs
lola: 569309 markings, 1318892 edges, 1108 markings/sec, 785 secs
lola: 574183 markings, 1329189 edges, 975 markings/sec, 790 secs
lola: 576056 markings, 1335543 edges, 375 markings/sec, 795 secs
lola: 579221 markings, 1343180 edges, 633 markings/sec, 800 secs
lola: 583920 markings, 1353013 edges, 940 markings/sec, 805 secs
lola: 586945 markings, 1360710 edges, 605 markings/sec, 810 secs
lola: 588778 markings, 1366886 edges, 367 markings/sec, 815 secs
lola: 591949 markings, 1374426 edges, 634 markings/sec, 820 secs
lola: 595801 markings, 1382807 edges, 770 markings/sec, 825 secs
lola: 599111 markings, 1390526 edges, 662 markings/sec, 830 secs
lola: 600991 markings, 1396872 edges, 376 markings/sec, 835 secs
lola: 603473 markings, 1403489 edges, 496 markings/sec, 840 secs
lola: 606874 markings, 1410990 edges, 680 markings/sec, 845 secs
lola: 610283 markings, 1418495 edges, 682 markings/sec, 850 secs
lola: 612476 markings, 1424994 edges, 439 markings/sec, 855 secs
lola: 614330 markings, 1431168 edges, 371 markings/sec, 860 secs
lola: 617889 markings, 1437341 edges, 712 markings/sec, 865 secs
lola: 621162 markings, 1443448 edges, 655 markings/sec, 870 secs
lola: 623020 markings, 1449697 edges, 372 markings/sec, 875 secs
lola: 624898 markings, 1455832 edges, 376 markings/sec, 880 secs
lola: 626753 markings, 1461986 edges, 371 markings/sec, 885 secs
lola: 628630 markings, 1468213 edges, 375 markings/sec, 890 secs
lola: 630506 markings, 1474327 edges, 375 markings/sec, 895 secs
lola: 632364 markings, 1480580 edges, 372 markings/sec, 900 secs
lola: 637737 markings, 1495462 edges, 1075 markings/sec, 905 secs
lola: 641443 markings, 1501697 edges, 741 markings/sec, 910 secs
lola: 643737 markings, 1507851 edges, 459 markings/sec, 915 secs
lola: 645613 markings, 1513966 edges, 375 markings/sec, 920 secs
lola: 647467 markings, 1520129 edges, 371 markings/sec, 925 secs
lola: 649341 markings, 1526334 edges, 375 markings/sec, 930 secs
lola: 651206 markings, 1532427 edges, 373 markings/sec, 935 secs
lola: 654631 markings, 1543507 edges, 685 markings/sec, 940 secs
lola: 658838 markings, 1552239 edges, 841 markings/sec, 945 secs
lola: 661738 markings, 1558235 edges, 580 markings/sec, 950 secs
lola: 663600 markings, 1564309 edges, 372 markings/sec, 955 secs
lola: 665420 markings, 1570361 edges, 364 markings/sec, 960 secs
lola: 667284 markings, 1576515 edges, 373 markings/sec, 965 secs
lola: 669149 markings, 1582633 edges, 373 markings/sec, 970 secs
lola: 673587 markings, 1595147 edges, 888 markings/sec, 975 secs
lola: 677149 markings, 1601178 edges, 712 markings/sec, 980 secs
lola: 679006 markings, 1607260 edges, 371 markings/sec, 985 secs
lola: 680865 markings, 1613397 edges, 372 markings/sec, 990 secs
lola: 682729 markings, 1619521 edges, 373 markings/sec, 995 secs
lola: time limit reached - aborting
lola:
preliminary result: 1 20 20 20 20 20 20 20 unknown unknown 1 1 unknown 1 unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: 1 20 20 20 20 20 20 20 unknown unknown 1 1 unknown 1 unknown unknown

preliminary result: 1 20 20 20 20 20 20 20 unknown unknown 1 1 unknown 1 unknown unknown
lola: local time limit reached - aborting
lola:
preliminary result: 1 20 20 20 20 20 20 20 unknown unknown 1 1 unknown 1 unknown unknown
lola: memory consumption: 55632 KB
lola: time consumption: 3570 seconds
lola: memory consumption: 55764 KB
lola: time consumption: 3570 seconds
lola: Child process aborted or communication problem between parent and child process
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: 1 20 20 20 20 20 20 20 unknown unknown 1 1 unknown 1 unknown unknown
lola:
preliminary result: 1 20 20 20 20 20 20 20 unknown unknown 1 1 unknown 1 unknown unknown
lola: memory consumption: 27204 KB
lola: time consumption: 3570 seconds

BK_STOP 1526568428719

--------------------
content from 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="BridgeAndVehicles-PT-V20P20N50"
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/BridgeAndVehicles-PT-V20P20N50.tgz
mv BridgeAndVehicles-PT-V20P20N50 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is BridgeAndVehicles-PT-V20P20N50, 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 r028-ebro-152646306300303"
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 ;