MCC'2020 - Execution of r172-smll-158987827600259

About the Execution of ITS-LoLa for Raft-PT-07

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15793.250	3600000.00	3487568.00	27088.70	TF?TFFFFFFTTFFFF	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r172-smll-1589
Waiting for the VM to be ready (probing ssh)
................................................
==========================
Generated by BenchKit 2-4028
Executing tool itslola
Input is Raft-PT-07, examination is
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-158987827600259
================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 292K
-rw-r--r-- 1 mcc users 2.8K Apr 12 08:14
-rw-r--r-- 1 mcc users 16K Apr 12 08:14
-rw-r--r-- 1 mcc users 2.6K Apr 11 09:10
-rw-r--r-- 1 mcc users 20K Apr 11 09:10
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:47
-rw-r--r-- 1 mcc users 26K Apr 28 14:02
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47
-rw-r--r-- 1 mcc users 16K Apr 28 14:02
-rw-r--r-- 1 mcc users 2.9K Apr 10 14:48
-rw-r--r-- 1 mcc users 15K Apr 10 14:48
-rw-r--r-- 1 mcc users 2.7K Apr 9 21:23
-rw-r--r-- 1 mcc users 18K Apr 9 21:23
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28
-rw-r--r-- 1 mcc users 6 Mar 24 05:38
-rw-r--r-- 1 mcc users 3 Mar 24 05:38
-rw-r--r-- 1 mcc users 6 Mar 24 05:38
-rw-r--r-- 1 mcc users 120K Mar 24 05:38

--------------------
content from stdout:

=== Data for post analysis generated by

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result
FORMULA_NAME Raft-PT-07-CTLCardinality-00
FORMULA_NAME Raft-PT-07-CTLCardinality-01
FORMULA_NAME Raft-PT-07-CTLCardinality-02
FORMULA_NAME Raft-PT-07-CTLCardinality-03
FORMULA_NAME Raft-PT-07-CTLCardinality-04
FORMULA_NAME Raft-PT-07-CTLCardinality-05
FORMULA_NAME Raft-PT-07-CTLCardinality-06
FORMULA_NAME Raft-PT-07-CTLCardinality-07
FORMULA_NAME Raft-PT-07-CTLCardinality-08
FORMULA_NAME Raft-PT-07-CTLCardinality-09
FORMULA_NAME Raft-PT-07-CTLCardinality-10
FORMULA_NAME Raft-PT-07-CTLCardinality-11
FORMULA_NAME Raft-PT-07-CTLCardinality-12
FORMULA_NAME Raft-PT-07-CTLCardinality-13
FORMULA_NAME Raft-PT-07-CTLCardinality-14
FORMULA_NAME Raft-PT-07-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591350977076

bash -c /home/mcc/BenchKit/BenchKit_head.sh
[2020-06-05 09:56:19] [INFO ] Running
[2020-06-05 09:56:19] [INFO ] Parsing
[2020-06-05 09:56:19] [INFO ] Load time
[2020-06-05 09:56:19] [INFO ] Transformed
[2020-06-05 09:56:20] [INFO ] Transformed
[2020-06-05 09:56:20] [INFO ] Found NUPN
[2020-06-05 09:56:20] [INFO ] Parsed
Ensure Unique test removed 30 transitions
Reduce redundant transitions removed 30
Parsed 16 properties from file /home/mcc/executi
Finished random walk after 1725 steps,
[2020-06-05 09:56:20] [INFO ] Initial
[2020-06-05 09:56:20] [INFO ] Flatten
[2020-06-05 09:56:20] [INFO ] Initial
[2020-06-05 09:56:20] [INFO ] Flatten
FORMULA Raft-PT-07-CTLCardinality-15
FORMULA Raft-PT-07-CTLCardinality-13
FORMULA Raft-PT-07-CTLCardinality-12
FORMULA Raft-PT-07-CTLCardinality-09
FORMULA Raft-PT-07-CTLCardinality-08
FORMULA Raft-PT-07-CTLCardinality-07
FORMULA Raft-PT-07-CTLCardinality-06
FORMULA Raft-PT-07-CTLCardinality-05
FORMULA Raft-PT-07-CTLCardinality-04
FORMULA Raft-PT-07-CTLCardinality-01
FORMULA Raft-PT-07-CTLCardinality-00
[2020-06-05 09:56:20] [INFO ] Export
[2020-06-05 09:56:20] [INFO ] Export
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ Raft-PT-07

FORMULA Raft-PT-07-CTLCardinality-03

FORMULA Raft-PT-07-CTLCardinality-11

FORMULA Raft-PT-07-CTLCardinality-14

FORMULA Raft-PT-07-CTLCardinality-10

FORMULA Raft-PT-07-CTLCardinality-02
vrfy: finished
info: timeLeft: 116
rslt: Output for CTLCardinality @ Raft-PT-07

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Jun 5 09:56:21 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 713
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 6
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 892
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "E (F (((1 <= p226))))",
"processed_size": 21,
"rewrites": 7
},
"result":
{
"edges": 4,
"markings": 5,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/ins
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1338
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 3,
"adisj": 3,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (G ((((p199 <= 0)) OR
"processed_size": 79,
"rewrites": 8
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/ins
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 6,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2676
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "E (G ((((p164 <= 0)) OR
"processed_size": 40,
"rewrites": 7
},
"result":
{
"edges": 8,
"markings": 8,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "possible_preservation",
"workflow": "stateequation"
}
}
],
"exit":
{
"error": null,
"memory": 3756,
"runtime": 3454.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "CTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(G(NODEADLOCK)) : TRUE
},
"net":
{
"arcs": 1604,
"conflict_clusters": 19,
"places": 253,
"places_significant": 204,
"singleton_clusters": 0,
"transitions": 412
},
"result":
{
"preliminary_value": "unknown yes yes
"value": "unknown yes yes yes no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 665/268435456 symbol table entries,
lola: preprocessing...
lola: Size of bit vector: 253
lola: finding significant places
lola: 253 places, 412 transitions, 204
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlform
lola: reading pnml
lola: reading formula from CTLCardinality.xml
lola: LP says that atomic proposition
lola: LP says that atomic proposition
lola: LP says that atomic proposition
lola: LP says that atomic proposition
lola: A (G (E (X ((0 <= 0))))) : E (G
lola: rewrite Frontend/Parser/formula_rewrite.
lola: rewrite Frontend/Parser/formula_rewrite.
lola: rewrite Frontend/Parser/formula_rewrite.
lola: rewrite Frontend/Parser/formula_rewrite.
lola: rewrite Frontend/Parser/formula_rewrite.
lola: rewrite Frontend/Parser/formula_rewrite.
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 713 seconds
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 6 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 atomic
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 891 seconds
lola: ========================================
lola: ...considering subproblem: A (G
lola: ========================================
lola: SUBTASK
lola: checking absence of deadlocks
lola: Planning: workflow for deadlock
lola: STORE
lola: using a simple compression encoder
lola: using a prefix tree store (--store=pre
lola: SEARCH (state space)
lola: state space: using reachability
lola: state space: using deadlock preserving
lola: RUNNING
lola: 209666 markings, 492470 edges,
lola: 468721 markings, 1123614 edges,
lola: 721095 markings, 1784159 edges,
lola: 971220 markings, 2468093 edges,
lola: 1212152 markings, 3022694 edges,
lola: 1423881 markings, 3556426 edges,
lola: 1634772 markings, 4156555 edges,
lola: 1842567 markings, 4925066 edges,
lola: 2050940 markings, 5689048 edges,
lola: 2263485 markings, 6434770 edges,
lola: 2478419 markings, 7149001 edges,
lola: 2672426 markings, 7835259 edges,
lola: 2879393 markings, 8566637 edges,
lola: 3093515 markings, 9305519 edges,
lola: 3298667 markings, 10058803 edges,
lola: 3505147 markings, 10824428 edges,
lola: 3711391 markings, 11583974 edges,
lola: 3916154 markings, 12345013 edges,
lola: 4119283 markings, 13088987 edges,
lola: 4315164 markings, 13815105 edges,
lola: 4507198 markings, 14521965 edges,
lola: 4714168 markings, 15287080 edges,
lola: 4914869 markings, 16024058 edges,
lola: 5126716 markings, 16755323 edges,
lola: 5331012 markings, 17488579 edges,
lola: 5534705 markings, 18230039 edges,
lola: 5724096 markings, 18925086 edges,
lola: 5927287 markings, 19683846 edges,
lola: 6117449 markings, 20385349 edges,
lola: 6314657 markings, 21055827 edges,
lola: 6522573 markings, 21790017 edges,
lola: 6729777 markings, 22539241 edges,
lola: 6931583 markings, 23280376 edges,
lola: 7141776 markings, 24032372 edges,
lola: 7342138 markings, 24757131 edges,
lola: 7553797 markings, 25471777 edges,
lola: 7742889 markings, 26166705 edges,
lola: 7947793 markings, 26926537 edges,
lola: 8156463 markings, 27682288 edges,
lola: 8365505 markings, 28386374 edges,
lola: 8558299 markings, 29077163 edges,
lola: 8768950 markings, 29806271 edges,
lola: 8979347 markings, 30529313 edges,
lola: 9186725 markings, 31291778 edges,
lola: 9385246 markings, 32010828 edges,
lola: 9586460 markings, 32714867 edges,
lola: 9796711 markings, 33453347 edges,
lola: 10000301 markings, 34198378 edges,
lola: 10211008 markings, 34913119 edges,
lola: 10420903 markings, 35666009 edges,
lola: 10624639 markings, 36419434 edges,
lola: 10828506 markings, 37176545 edges,
lola: 11032622 markings, 37889624 edges,
lola: 11244890 markings, 38630787 edges,
lola: 11455371 markings, 39379020 edges,
lola: 11657369 markings, 40123606 edges,
lola: 11852993 markings, 40834810 edges,
lola: 12058599 markings, 41586364 edges,
lola: 12263879 markings, 42337218 edges,
lola: 12466986 markings, 43085228 edges,
lola: 12670737 markings, 43838852 edges,
lola: 12875622 markings, 44597534 edges,
lola: 13084659 markings, 45358804 edges,
lola: 13287241 markings, 46113739 edges,
lola: 13490275 markings, 46866259 edges,
lola: 13691281 markings, 47608434 edges,
lola: 13892938 markings, 48353273 edges,
lola: 14084879 markings, 49059948 edges,
lola: 14282191 markings, 49741683 edges,
lola: 14480703 markings, 50446533 edges,
lola: 14683709 markings, 51179771 edges,
lola: 14882449 markings, 51904750 edges,
lola: 15087105 markings, 52636061 edges,
lola: 15288649 markings, 53378249 edges,
lola: 15489945 markings, 54125703 edges,
lola: 15700271 markings, 54896689 edges,
lola: 15909386 markings, 55602784 edges,
lola: 16118910 markings, 56351066 edges,
lola: 16329313 markings, 57108525 edges,
lola: 16542492 markings, 57822268 edges,
lola: 16736948 markings, 58527756 edges,
lola: 16943945 markings, 59287699 edges,
lola: 17151446 markings, 60062143 edges,
lola: 17361121 markings, 60832762 edges,
lola: 17569190 markings, 61590505 edges,
lola: 17777367 markings, 62351058 edges,
lola: 17986607 markings, 63123236 edges,
lola: 18195022 markings, 63890325 edges,
lola: 18407705 markings, 64669915 edges,
lola: 18613777 markings, 65419906 edges,
lola: 18817867 markings, 66171428 edges,
lola: 19025793 markings, 66926285 edges,
lola: 19218383 markings, 67634165 edges,
lola: 19428552 markings, 68379648 edges,
lola: 19639040 markings, 69101568 edges,
lola: 19851656 markings, 69845512 edges,
lola: 20058128 markings, 70596801 edges,
lola: 20263350 markings, 71358340 edges,
lola: 20462731 markings, 72073040 edges,
lola: 20669572 markings, 72817212 edges,
lola: 20857600 markings, 73499363 edges,
lola: 21060891 markings, 74261325 edges,
lola: 21268396 markings, 75016016 edges,
lola: 21461257 markings, 75721348 edges,
lola: 21669276 markings, 76483464 edges,
lola: 21881512 markings, 77245027 edges,
lola: 22092968 markings, 77963091 edges,
lola: 22298903 markings, 78670448 edges,
lola: 22492878 markings, 79384922 edges,
lola: 22696822 markings, 80121342 edges,
lola: 22896555 markings, 80844382 edges,
lola: 23101278 markings, 81603554 edges,
lola: 23305971 markings, 82348881 edges,
lola: 23499631 markings, 83049335 edges,
lola: 23709442 markings, 83783048 edges,
lola: 23905864 markings, 84485576 edges,
lola: 24095877 markings, 85154382 edges,
lola: 24306566 markings, 85888587 edges,
lola: 24505327 markings, 86594419 edges,
lola: 24711582 markings, 87344804 edges,
lola: 24896148 markings, 88023918 edges,
lola: 25101547 markings, 88783822 edges,
lola: 25309325 markings, 89521951 edges,
lola: 25505602 markings, 90248865 edges,
lola: 25709850 markings, 90980844 edges,
lola: 25898704 markings, 91674024 edges,
lola: 26110022 markings, 92425660 edges,
lola: 26304960 markings, 93137528 edges,
lola: 26513083 markings, 93897797 edges,
lola: 26710987 markings, 94606846 edges,
lola: 26913418 markings, 95346528 edges,
lola: 27116676 markings, 96097106 edges,
lola: 27320120 markings, 96846935 edges,
lola: 27512505 markings, 97563240 edges,
lola: 27713452 markings, 98303979 edges,
lola: 27919622 markings, 99025591 edges,
lola: 28119420 markings, 99762492 edges,
lola: 28320397 markings, 100503309 edges,
lola: 28522360 markings, 101247929 edges,
lola: 28729861 markings, 102000060 edges,
lola: 28922788 markings, 102705897 edges,
lola: 29126787 markings, 103458568 edges,
lola: 29333126 markings, 104209962 edges,
lola: 29532747 markings, 104945275 edges,
lola: 29733865 markings, 105686342 edges,
lola: 29936797 markings, 106434731 edges,
lola: 30142640 markings, 107186628 edges,
lola: 30349316 markings, 107948977 edges,
lola: 30562182 markings, 108722974 edges,
lola: 30775490 markings, 109433349 edges,
lola: 30988445 markings, 110208593 edges,
lola: 31200916 markings, 110954793 edges,
lola: 31398296 markings, 111659042 edges,
lola: 31608269 markings, 112420632 edges,
lola: 31816366 markings, 113175148 edges,
lola: 32028496 markings, 113884625 edges,
lola: 32240989 markings, 114633619 edges,
lola: 32450720 markings, 115391063 edges,
lola: 32653686 markings, 116149355 edges,
lola: 32859515 markings, 116904813 edges,
lola: 33052130 markings, 117617362 edges,
lola: 33256717 markings, 118356477 edges,
lola: 33457286 markings, 119095969 edges,
lola: 33658532 markings, 119847679 edges,
lola: 33862113 markings, 120599860 edges,
lola: 34063086 markings, 121349374 edges,
lola: 34255664 markings, 122059096 edges,
lola: 34436632 markings, 122711747 edges,
lola: 34643846 markings, 123453879 edges,
lola: 34850556 markings, 124209785 edges,
lola: 35055843 markings, 124959691 edges,
lola: 35249818 markings, 125677903 edges,
lola: 35454197 markings, 126435616 edges,
lola: 35660536 markings, 127196502 edges,
lola: 35870862 markings, 127962362 edges,
lola: 36076873 markings, 128712867 edges,
lola: 36284025 markings, 129465022 edges,
lola: 36490287 markings, 130229383 edges,
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown
lola: memory consumption: 7076688 KB
lola: time consumption: 894 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication
lola: subprocess 2 will run for 892 seconds
lola: ========================================
lola: ...considering subproblem: E (F
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability
lola: rewrite Frontend/Parser/formula_rewrit
lola: processed formula: E (F (((1
lola: processed formula length: 21
lola: 7 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder
lola: using a prefix tree store (--store=pre
lola: SEARCH (state space)
lola: state space: using reachability
lola: state space: using reachability
lola: built state equation task
lola: RUNNING
lola: state equation task get result
lola: rewrite Frontend/Parser/formula_rewrit
lola: state equation task get result
lola: state equation task get result
lola: formula 0: ((1 <= p226))
lola: state equation task get result
lola: state equation: Generated DNF with 1 literals and
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 3 will run for 1338
lola: ========================================
lola: ...considering subproblem: A (G ((((p199 <= 0)) OR
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: processed formula: A (G ((((p199 <= 0)) OR
lola: processed formula length: 79
lola: 8 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder
lola: using a prefix tree store (--store=pre
lola: SEARCH (state space)
lola: state space: using reachability
lola: state space: using reachability
lola: built state equation task
lola: RUNNING
lola: state equation task get result
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: state equation task get result
lola: state equation task get result
lola: formula 0: (((1 <= p199)) AND
lola: state equation task get result
lola: state equation: Generated DNF with 6 literals and
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 4 will run for 2676
lola: ========================================
lola: ...considering subproblem: E (G ((((p164 <= 0)) OR
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrit
lola: processed formula: E (G ((((p164 <= 0)) OR
lola: processed formula length: 40
lola: 7 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder
lola: using a prefix tree store (--store=pre
lola: SEARCH (state space / EG)
lola: state space: using search routine
lola: state space: using EG preserving
lola: Planning: workflow for reachability
lola: built state equation task
lola: RUNNING
lola: state equation task get result
lola: rewrite Frontend/Parser/formula_rewrit
lola: rewrite Frontend/Parser/formula_rewrit
lola: state equation task get result
lola: state equation task get result
lola: formula 0: (((1 <= p164)) AND
lola: state equation task get result
lola: state equation: Generated DNF with 2 literals and
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate is possibly preserved.
lola: 8 markings, 8 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G
lola: ========================================
lola: SUBTASK
lola: checking absence of deadlocks
lola: Planning: workflow for deadlock
lola: STORE
lola: using a simple compression encoder
lola: using a prefix tree store (--store=pre
lola: SEARCH (state space)
lola: state space: using reachability
lola: state space: using deadlock preserving
lola: RUNNING
lola: 258471 markings, 609437 edges,
lola: 501778 markings, 1212545 edges,
lola: 754449 markings, 1876177 edges,
lola: 1004314 markings, 2542309 edges,
lola: 1232477 markings, 3076578 edges,
lola: 1453852 markings, 3627029 edges,
lola: 1671599 markings, 4292717 edges,
lola: 1879542 markings, 5060613 edges,
lola: 2087911 markings, 5812314 edges,
lola: 2299572 markings, 6555926 edges,
lola: 2515514 markings, 7271632 edges,
lola: 2728964 markings, 8040368 edges,
lola: 2941118 markings, 8776459 edges,
lola: 3141273 markings, 9481235 edges,
lola: 3347099 markings, 10236609 edges,
lola: 3552451 markings, 10998648 edges,
lola: 3758831 markings, 11760989 edges,
lola: 3963960 markings, 12523579 edges,
lola: 4171441 markings, 13279278 edges,
lola: 4375819 markings, 14037957 edges,
lola: 4567856 markings, 14743877 edges,
lola: 4775829 markings, 15516805 edges,
lola: 4978993 markings, 16239250 edges,
lola: 5190718 markings, 16976551 edges,
lola: 5403211 markings, 17745604 edges,
lola: 5607984 markings, 18501504 edges,
lola: 5811606 markings, 19254288 edges,
lola: 6017949 markings, 20019017 edges,
lola: 6210707 markings, 20709771 edges,
lola: 6424046 markings, 21436674 edges,
lola: 6634498 markings, 22189019 edges,
lola: 6838397 markings, 22939672 edges,
lola: 7046007 markings, 23691757 edges,
lola: 7254734 markings, 24440908 edges,
lola: 7455299 markings, 25114427 edges,
lola: 7665055 markings, 25879881 edges,
lola: 7868529 markings, 26632426 edges,
lola: 8075819 markings, 27390633 edges,
lola: 8286374 markings, 28111933 edges,
lola: 8492381 markings, 28847167 edges,
lola: 8702177 markings, 29584518 edges,
lola: 8914310 markings, 30308337 edges,
lola: 9123854 markings, 31065051 edges,
lola: 9333006 markings, 31821391 edges,
lola: 9546370 markings, 32573944 edges,
lola: 9758429 markings, 33313745 edges,
lola: 9964921 markings, 34068880 edges,
lola: 10176589 markings, 34804942 edges,
lola: 10389084 markings, 35549628 edges,
lola: 10595543 markings, 36312296 edges,
lola: 10801145 markings, 37074162 edges,
lola: 11009529 markings, 37815402 edges,
lola: 11223520 markings, 38555882 edges,
lola: 11432049 markings, 39292473 edges,
lola: 11612628 markings, 39956645 edges,
lola: 11818242 markings, 40718463 edges,
lola: 12025980 markings, 41469870 edges,
lola: 12233420 markings, 42224389 edges,
lola: 12436873 markings, 42972903 edges,
lola: 12638629 markings, 43719854 edges,
lola: 12841357 markings, 44469652 edges,
lola: 13050406 markings, 45232772 edges,
lola: 13253899 markings, 45991403 edges,
lola: 13457687 markings, 46745621 edges,
lola: 13661227 markings, 47495592 edges,
lola: 13864783 markings, 48249349 edges,
lola: 14069253 markings, 49004488 edges,
lola: 14279365 markings, 49732318 edges,
lola: 14489760 markings, 50479549 edges,
lola: 14697256 markings, 51226080 edges,
lola: 14904120 markings, 51984313 edges,
lola: 15114345 markings, 52735697 edges,
lola: 15316516 markings, 53482079 edges,
lola: 15520753 markings, 54237583 edges,
lola: 15731381 markings, 55009664 edges,
lola: 15946116 markings, 55736483 edges,
lola: 16160196 markings, 56499629 edges,
lola: 16374955 markings, 57264269 edges,
lola: 16591082 markings, 57993249 edges,
lola: 16796792 markings, 58749292 edges,
lola: 17003788 markings, 59512643 edges,
lola: 17210607 markings, 60281254 edges,
lola: 17420156 markings, 61041289 edges,
lola: 17626373 markings, 61802290 edges,
lola: 17835247 markings, 62560929 edges,
lola: 18042780 markings, 63327705 edges,
lola: 18251788 markings, 64098428 edges,
lola: 18461926 markings, 64870436 edges,
lola: 18665640 markings, 65611267 edges,
lola: 18872286 markings, 66369791 edges,
lola: 19081327 markings, 67130055 edges,
lola: 19288906 markings, 67890232 edges,
lola: 19500377 markings, 68630928 edges,
lola: 19712541 markings, 69360796 edges,
lola: 19925318 markings, 70108117 edges,
lola: 20129787 markings, 70865226 edges,
lola: 20335947 markings, 71626799 edges,
lola: 20547395 markings, 72370637 edges,
lola: 20753622 markings, 73120267 edges,
lola: 20957282 markings, 73875479 edges,
lola: 21166154 markings, 74633944 edges,
lola: 21371828 markings, 75396503 edges,
lola: 21579492 markings, 76157784 edges,
lola: 21790753 markings, 76925683 edges,
lola: 22003511 markings, 77646211 edges,
lola: 22213898 markings, 78375615 edges,
lola: 22421389 markings, 79120040 edges,
lola: 22627636 markings, 79872224 edges,
lola: 22837760 markings, 80629536 edges,
lola: 23043127 markings, 81390747 edges,
lola: 23247461 markings, 82137870 edges,
lola: 23458230 markings, 82899105 edges,
lola: 23670910 markings, 83643547 edges,
lola: 23878325 markings, 84385391 edges,
lola: 24066895 markings, 85063246 edges,
lola: 24279805 markings, 85790536 edges,
lola: 24492545 markings, 86552130 edges,
lola: 24701574 markings, 87307781 edges,
lola: 24906074 markings, 88059921 edges,
lola: 25111471 markings, 88820626 edges,
lola: 25321503 markings, 89568068 edges,
lola: 25526350 markings, 90326822 edges,
lola: 25732646 markings, 91064634 edges,
lola: 25938048 markings, 91816728 edges,
lola: 26149882 markings, 92570034 edges,
lola: 26359753 markings, 93333880 edges,
lola: 26566350 markings, 94094902 edges,
lola: 26775229 markings, 94838070 edges,
lola: 26980256 markings, 95593647 edges,
lola: 27183613 markings, 96343185 edges,
lola: 27386053 markings, 97091433 edges,
lola: 27589434 markings, 97845847 edges,
lola: 27793610 markings, 98590926 edges,
lola: 27999908 markings, 99319375 edges,
lola: 28201116 markings, 100065520 edges,
lola: 28403247 markings, 100809226 edges,
lola: 28606080 markings, 101556371 edges,
lola: 28818003 markings, 102320103 edges,
lola: 29022036 markings, 103073157 edges,
lola: 29225068 markings, 103821786 edges,
lola: 29429538 markings, 104565387 edges,
lola: 29629786 markings, 105303678 edges,
lola: 29832371 markings, 106049800 edges,
lola: 30036082 markings, 106794379 edges,
lola: 30243554 markings, 107559116 edges,
lola: 30454118 markings, 108330151 edges,
lola: 30668201 markings, 109070556 edges,
lola: 30882117 markings, 109822202 edges,
lola: 31097109 markings, 110588133 edges,
lola: 31308235 markings, 111343697 edges,
lola: 31521187 markings, 112104509 edges,
lola: 31729103 markings, 112860034 edges,
lola: 31940219 markings, 113595033 edges,
lola: 32150775 markings, 114328829 edges,
lola: 32364867 markings, 115070515 edges,
lola: 32559466 markings, 115801857 edges,
lola: 32764053 markings, 116556939 edges,
lola: 32966325 markings, 117299129 edges,
lola: 33170809 markings, 118041129 edges,
lola: 33371666 markings, 118779437 edges,
lola: 33572745 markings, 119527423 edges,
lola: 33777000 markings, 120287565 edges,
lola: 33979139 markings, 121037062 edges,
lola: 34183297 markings, 121794275 edges,
lola: 34394083 markings, 122556705 edges,
lola: 34603186 markings, 123304130 edges,
lola: 34806836 markings, 124050706 edges,
lola: 35011498 markings, 124796968 edges,
lola: 35217172 markings, 125557675 edges,
lola: 35422984 markings, 126319818 edges,
lola: 35630202 markings, 127085338 edges,
lola: 35840346 markings, 127847702 edges,
lola: 36047542 markings, 128606726 edges,
lola: 36238144 markings, 129298421 edges,
lola: 36445345 markings, 130061888 edges,
lola: 36639106 markings, 130767082 edges,
lola: 36842449 markings, 131516665 edges,
lola: 37046303 markings, 132269701 edges,
lola: 37253375 markings, 133025092 edges,
lola: 37465063 markings, 133782827 edges,
lola: 37670339 markings, 134538771 edges,
lola: 37859429 markings, 135231134 edges,
lola: 38071175 markings, 135937690 edges,
lola: 38279892 markings, 136686114 edges,
lola: 38488759 markings, 137414285 edges,
lola: 38695194 markings, 138164774 edges,
lola: 38898780 markings, 138920014 edges,
lola: 39103049 markings, 139678755 edges,
lola: 39309661 markings, 140435713 edges,
lola: 39524577 markings, 141189451 edges,
lola: 39737880 markings, 141950318 edges,
lola: 39950709 markings, 142727634 edges,
lola: 40164640 markings, 143447968 edges,
lola: 40377939 markings, 144210723 edges,
lola: 40588883 markings, 144971621 edges,
lola: 40794712 markings, 145730309 edges,
lola: 41000890 markings, 146493948 edges,
lola: 41211553 markings, 147241668 edges,
lola: 41418219 markings, 148006739 edges,
lola: 41622504 markings, 148762910 edges,
lola: 41827484 markings, 149525403 edges,
lola: 42032971 markings, 150278640 edges,
lola: 42240740 markings, 151017077 edges,
lola: 42447006 markings, 151769512 edges,
lola: 42651933 markings, 152526416 edges,
lola: 42854945 markings, 153274121 edges,
lola: 43058875 markings, 154027042 edges,
lola: 43263213 markings, 154785205 edges,
lola: 43471165 markings, 155521964 edges,
lola: 43676386 markings, 156271212 edges,
lola: 43879651 markings, 157020031 edges,
lola: 44082564 markings, 157767803 edges,
lola: 44290047 markings, 158523858 edges,
lola: 44492840 markings, 159274214 edges,
lola: 44698589 markings, 160025855 edges,
lola: 44911569 markings, 160789699 edges,
lola: 45125599 markings, 161525989 edges,
lola: 45335539 markings, 162265625 edges,
lola: 45548608 markings, 162995060 edges,
lola: 45759650 markings, 163737362 edges,
lola: 45967623 markings, 164497020 edges,
lola: 46172259 markings, 165253464 edges,
lola: 46379823 markings, 166003880 edges,
lola: 46584251 markings, 166748727 edges,
lola: 46790270 markings, 167509123 edges,
lola: 46996686 markings, 168269382 edges,
lola: 47200387 markings, 169017735 edges,
lola: 47404935 markings, 169773281 edges,
lola: 47609691 markings, 170527202 edges,
lola: 47813182 markings, 171282124 edges,
lola: 48018052 markings, 172040859 edges,
lola: 48224987 markings, 172788480 edges,
lola: 48429928 markings, 173535799 edges,
lola: 48637657 markings, 174273443 edges,
lola: 48841207 markings, 175020497 edges,
lola: 49046331 markings, 175770277 edges,
lola: 49254253 markings, 176531759 edges,
lola: 49458349 markings, 177282720 edges,
lola: 49667408 markings, 178032639 edges,
lola: 49874252 markings, 178791613 edges,
lola: 50079564 markings, 179543251 edges,
lola: 50284160 markings, 180297960 edges,
lola: 50489206 markings, 181051581 edges,
lola: 50692518 markings, 181805041 edges,
lola: 50900353 markings, 182551976 edges,
lola: 51106982 markings, 183300608 edges,
lola: 51313429 markings, 184049582 edges,
lola: 51517928 markings, 184797791 edges,
lola: 51728315 markings, 185555795 edges,
lola: 51932629 markings, 186297979 edges,
lola: 52140460 markings, 187043301 edges,
lola: 52342277 markings, 187790743 edges,
lola: 52545676 markings, 188537277 edges,
lola: 52748245 markings, 189278766 edges,
lola: 52952504 markings, 190020930 edges,
lola: 53155828 markings, 190774127 edges,
lola: 53360807 markings, 191522701 edges,
lola: 53573281 markings, 192246865 edges,
lola: 53785118 markings, 192981844 edges,
lola: 53992164 markings, 193743304 edges,
lola: 54196902 markings, 194502707 edges,
lola: 54385778 markings, 195200259 edges,
lola: 54587556 markings, 195943150 edges,
lola: 54794972 markings, 196689107 edges,
lola: 54989029 markings, 197393768 edges,
lola: 55193224 markings, 198143621 edges,
lola: 55398443 markings, 198894151 edges,
lola: 55602193 markings, 199640800 edges,
lola: 55809368 markings, 200394836 edges,
lola: 56011919 markings, 201140779 edges,
lola: 56205778 markings, 201851613 edges,
lola: 56409333 markings, 202598229 edges,
lola: 56599320 markings, 203287900 edges,
lola: 56806870 markings, 204046355 edges,
lola: 57012474 markings, 204795330 edges,
lola: 57218541 markings, 205554841 edges,
lola: 57430918 markings, 206315603 edges,
lola: 57619315 markings, 207016117 edges,
lola: 57821438 markings, 207755609 edges,
lola: 58015258 markings, 208462546 edges,
lola: 58211679 markings, 209174722 edges,
lola: 58419634 markings, 209930352 edges,
lola: 58630538 markings, 210679102 edges,
lola: 58831684 markings, 211423182 edges,
lola: 59033679 markings, 212166223 edges,
lola: 59239280 markings, 212919684 edges,
lola: 59440913 markings, 213665212 edges,
lola: 59640403 markings, 214398585 edges,
lola: 59843291 markings, 215143140 edges,
lola: 60035505 markings, 215835915 edges,
lola: 60243097 markings, 216593194 edges,
lola: 60446770 markings, 217345716 edges,
lola: 60655747 markings, 218090437 edges,
lola: 60858793 markings, 218845468 edges,
lola: 61064304 markings, 219600789 edges,
lola: 61274518 markings, 220363851 edges,
lola: 61479938 markings, 221118441 edges,
lola: 61685902 markings, 221869182 edges,
lola: 61891891 markings, 222616893 edges,
lola: 62094387 markings, 223359454 edges,
lola: 62296955 markings, 224108105 edges,
lola: 62503702 markings, 224851368 edges,
lola: 62712891 markings, 225595761 edges,
lola: 62919618 markings, 226360290 edges,
lola: 63128738 markings, 227105306 edges,
lola: 63337586 markings, 227859987 edges,
lola: 63539163 markings, 228604828 edges,
lola: 63743755 markings, 229348637 edges,
lola: 63949261 markings, 230098371 edges,
lola: 64154276 markings, 230847394 edges,
lola: 64356341 markings, 231591836 edges,
lola: 64566289 markings, 232346265 edges,
lola: 64775435 markings, 233111968 edges,
lola: 64982869 markings, 233861877 edges,
lola: 65189454 markings, 234602670 edges,
lola: 65391146 markings, 235347724 edges,
lola: 65592581 markings, 236088922 edges,
lola: 65792977 markings, 236829392 edges,
lola: 65991753 markings, 237571887 edges,
lola: 66195296 markings, 238321476 edges,
lola: 66401833 markings, 239065806 edges,
lola: 66604201 markings, 239819559 edges,
lola: 66808569 markings, 240579664 edges,
lola: 67015538 markings, 241330717 edges,
lola: 67222499 markings, 242090835 edges,
lola: 67438331 markings, 242848475 edges,
lola: 67648833 markings, 243587697 edges,
lola: 67861240 markings, 244320810 edges,
lola: 68065380 markings, 245071402 edges,
lola: 68270600 markings, 245836440 edges,
lola: 68477726 markings, 246600172 edges,
lola: 68690032 markings, 247334267 edges,
lola: 68892946 markings, 248082328 edges,
lola: 69097500 markings, 248838017 edges,
lola: 69303116 markings, 249596195 edges,
lola: 69510512 markings, 250354403 edges,
lola: 69723413 markings, 251129556 edges,
lola: 69932802 markings, 251869598 edges,
lola: 70141524 markings, 252624233 edges,
lola: 70353247 markings, 253356690 edges,
lola: 70566908 markings, 254087992 edges,
lola: 70775756 markings, 254820490 edges,
lola: 70981424 markings, 255580474 edges,
lola: 71185913 markings, 256328691 edges,
lola: 71392808 markings, 257078408 edges,
lola: 71598201 markings, 257823528 edges,
lola: 71801077 markings, 258574739 edges,
lola: 72006287 markings, 259331634 edges,
lola: 72218053 markings, 260076166 edges,
lola: 72429203 markings, 260819208 edges,
lola: 72633547 markings, 261572101 edges,
lola: 72843697 markings, 262331486 edges,
lola: 73053955 markings, 263069139 edges,
lola: 73258930 markings, 263830065 edges,
lola: 73471109 markings, 264549776 edges,
lola: 73676815 markings, 265307610 edges,
lola: 73890516 markings, 266062688 edges,
lola: 74096808 markings, 266827825 edges,
lola: 74300737 markings, 267577295 edges,
lola: 74507019 markings, 268337439 edges,
lola: 74718798 markings, 269104098 edges,
lola: 74927968 markings, 269854941 edges,
lola: 75134901 markings, 270608270 edges,
lola: 75346960 markings, 271374184 edges,
lola: 75555244 markings, 272116222 edges,
lola: 75765856 markings, 272840164 edges,
lola: 75968327 markings, 273598530 edges,
lola: 76172588 markings, 274351948 edges,
lola: 76376901 markings, 275113773 edges,
lola: 76589001 markings, 275865937 edges,
lola: 76791040 markings, 276594062 edges,
lola: 76993406 markings, 277336614 edges,
lola: 77197727 markings, 278090838 edges,
lola: 77405600 markings, 278839711 edges,
lola: 77615599 markings, 279570417 edges,
lola: 77825750 markings, 280297751 edges,
lola: 78036946 markings, 281007081 edges,
lola: 78244829 markings, 281749248 edges,
lola: 78445743 markings, 282495551 edges,
lola: 78655409 markings, 283257055 edges,
lola: 78864630 markings, 284007229 edges,
lola: 79068653 markings, 284757565 edges,
lola: 79268298 markings, 285490639 edges,
lola: 79470104 markings, 286230855 edges,
lola: 79673004 markings, 286987732 edges,
lola: 79880491 markings, 287730376 edges,
lola: 80092304 markings, 288445574 edges,
lola: 80303246 markings, 289200189 edges,
lola: 80515140 markings, 289936321 edges,
lola: 80722406 markings, 290682899 edges,
lola: 80923542 markings, 291424935 edges,
lola: 81125521 markings, 292166526 edges,
lola: 81332962 markings, 292902801 edges,
lola: 81538597 markings, 293638727 edges,
lola: 81739890 markings, 294382837 edges,
lola: 81942645 markings, 295133631 edges,
lola: 82146219 markings, 295873076 edges,
lola: 82353197 markings, 296631133 edges,
lola: 82556374 markings, 297377019 edges,
lola: 82758695 markings, 298124729 edges,
lola: 82961118 markings, 298874798 edges,
lola: 83161934 markings, 299615416 edges,
lola: 83363177 markings, 300356619 edges,
lola: 83563572 markings, 301097158 edges,
lola: 83737103 markings, 301739824 edges,
lola: 83937752 markings, 302477741 edges,
lola: 84140462 markings, 303224768 edges,
lola: 84340868 markings, 303964631 edges,
lola: 84541164 markings, 304708307 edges,
lola: 84745506 markings, 305447270 edges,
lola: 84942680 markings, 306172818 edges,
lola: 85142601 markings, 306909070 edges,
lola: 85341410 markings, 307647636 edges,
lola: 85542341 markings, 308385347 edges,
lola: 85744496 markings, 309131562 edges,
lola: 85936103 markings, 309826952 edges,
lola: 86135614 markings, 310561945 edges,
lola: 86335541 markings, 311299235 edges,
lola: 86537328 markings, 312030969 edges,
lola: 86744181 markings, 312768014 edges,
lola: 86954468 markings, 313510341 edges,
lola: 87159059 markings, 314241195 edges,
lola: 87365918 markings, 314978762 edges,
lola: 87569683 markings, 315719844 edges,
lola: 87772157 markings, 316465923 edges,
lola: 87968663 markings, 317187660 edges,
lola: 88159781 markings, 317889859 edges,
lola: 88372883 markings, 318636075 edges,
lola: 88585227 markings, 319373059 edges,
lola: 88792665 markings, 320123859 edges,
lola: 89000006 markings, 320875276 edges,
lola: 89212793 markings, 321587760 edges,
lola: 89418336 markings, 322352634 edges,
lola: 89631483 markings, 323121848 edges,
lola: 89842385 markings, 323895169 edges,
lola: 90051737 markings, 324651435 edges,
lola: 90260248 markings, 325409974 edges,
lola: 90469086 markings, 326179956 edges,
lola: 90676835 markings, 326935438 edges,
lola: 90880921 markings, 327691016 edges,
lola: 91087644 markings, 328457995 edges,
lola: 91274999 markings, 329150237 edges,
lola: 91481550 markings, 329894231 edges,
lola: 91691846 markings, 330624250 edges,
lola: 91902064 markings, 331343510 edges,
lola: 92105788 markings, 332087229 edges,
lola: 92308207 markings, 332837289 edges,
lola: 92509735 markings, 333574606 edges,
lola: 92704181 markings, 334288770 edges,
lola: 92914133 markings, 335041079 edges,
lola: 93119524 markings, 335784899 edges,
lola: 93319771 markings, 336522368 edges,
lola: 93525688 markings, 337254099 edges,
lola: 93732759 markings, 338003216 edges,
lola: 93935914 markings, 338732411 edges,
lola: 94139739 markings, 339477115 edges,
lola: 94347001 markings, 340225057 edges,
lola: 94555868 markings, 340958841 edges,
lola: 94761334 markings, 341693771 edges,
lola: 94968513 markings, 342402284 edges,
lola: 95174412 markings, 343141005 edges,
lola: 95381907 markings, 343879089 edges,
lola: 95582918 markings, 344615637 edges,
lola: 95784152 markings, 345357076 edges,
lola: 95989192 markings, 346093228 edges,
lola: 96192236 markings, 346837115 edges,
lola: 96392993 markings, 347578601 edges,
lola: 96591354 markings, 348312151 edges,
lola: 96791582 markings, 349053591 edges,
lola: 96997469 markings, 349791675 edges,
lola: 97198036 markings, 350526674 edges,
lola: 97398387 markings, 351258584 edges,
lola: 97599954 markings, 351999834 edges,
lola: 97802847 markings, 352737938 edges,
lola: 98012226 markings, 353482489 edges,
lola: 98223656 markings, 354201162 edges,
lola: 98434146 markings, 354925920 edges,
lola: 98642508 markings, 355682887 edges,
lola: 98847266 markings, 356427171 edges,
lola: 99064110 markings, 357227687 edges,
lola: 99266904 markings, 357976086 edges,
lola: 99473272 markings, 358717978 edges,
lola: 99682278 markings, 359441676 edges,
lola: 99889309 markings, 360188726 edges,
lola: 100097410 markings, 360944529 edges,
lola: 100295634 markings, 361668125 edges,
lola: 100481987 markings, 362337274 edges,
lola: 100685768 markings, 363090568 edges,
lola: 100883333 markings, 363812099 edges,
lola: 101089036 markings, 364554689 edges,
lola: 101297279 markings, 365317705 edges,
lola: 101508772 markings, 366055374 edges,
lola: 101717622 markings, 366775799 edges,
lola: 101926672 markings, 367518016 edges,
lola: 102137132 markings, 368275954 edges,
lola: 102346528 markings, 369033121 edges,
lola: 102553353 markings, 369789018 edges,
lola: 102763639 markings, 370525877 edges,
lola: 102973309 markings, 371282025 edges,
lola: 103176394 markings, 372027976 edges,
lola: 103380096 markings, 372782122 edges,
lola: 103585349 markings, 373538050 edges,
lola: 103789925 markings, 374288788 edges,
lola: 103992385 markings, 375030963 edges,
lola: 104181880 markings, 375723566 edges,
lola: 104388347 markings, 376489015 edges,
lola: 104593643 markings, 377246675 edges,
lola: 104804606 markings, 377976445 edges,
lola: 104935639 markings, 378444226 edges,
lola: 105006684 markings, 378698541 edges,
lola: 105011198 markings, 378715046 edges,
lola: Child process aborted or communication
lola: RESULT
lola:
SUMMARY: unknown yes yes yes no
lola:
preliminary result: unknown yes yes yes no
lola: memory consumption: 3756 KB
lola: time consumption: 3454 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
rslt: finished

--------------------
content from stderr:

87827600259.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... =========================================== CTLCardinality ===================== CTLCardinality.txt CTLCardinality.xml CTLFireability.txt CTLFireability.xml GenericPropertiesDefinition.xml GenericPropertiesVerdict.xml LTLCardinality.txt LTLCardinality.xml LTLFireability.txt LTLFireability.xml ReachabilityCardinality.txt ReachabilityCardinality.xml ReachabilityFireability.txt ReachabilityFireability.xml UpperBounds.txt UpperBounds.xml equiv_col instance iscolored model.pnml BenchKit (invocation template) vector(from text file) 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML] pnml file : /home/mcc/execution/model.pnml of PNML (sax parser for PT used): 151 ms 253 places. 442 transitions. structural information; PT model containing 253 places and 442 transitions in 242 ms. transitions. on/CTLCardinality.xml in 49 ms. including 0 resets, run visited all 4 properties in 41 ms. (steps per millisecond=42 ) state reduction rules for CTL removed 11 formulas. gal took : 138 ms state reduction rules for CTL removed 11 formulas. gal took : 67 ms FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms. to PNML in file /home/mcc/execution/model.sr.pnml took 16 ms. @ 3570 seconds TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT ertion" ((1 <= p180)) OR (((1 <= p184)) AND ((p206 <= 0))))))", ertion" ((1 <= p16)))))", : E(G(**)) : E(F(**)) : A(G(**))" yes no ", most (--timelimit) 0 collisions significant places ula) is always true: (p16 <= 1) is always true: (p226 <= 1) is always true: (p180 <= 1) is always true: (p206 <= 1) ((0 <= 0))) : E (G (E (G ((((p164 <= 0)) OR ((1 <= p16))))))) : E (F (((1 <= p226)))) : A (G ((((p199 <= 0)) OR ((1 <= p180)) OR (((1 <= p184)) AND ((p206 <= 0)))))) k:100 k:130 k:100 k:160 k:148 k:461 at most (--localtimelimit=0) propositions already in its initial state. at most (--localtimelimit=0) (NOT DEADLOCK)) check: search (--findpath=off,--siphontrap=off) (--encoder=simplecompressed) fix) graph (--search=depth) stubborn set method with insertion algorithm(--stubborn=tarjan) 41933 markings/sec, 0 secs 51811 markings/sec, 5 secs 50475 markings/sec, 10 secs 50025 markings/sec, 15 secs 48186 markings/sec, 20 secs 42346 markings/sec, 25 secs 42178 markings/sec, 30 secs 41559 markings/sec, 35 secs 41675 markings/sec, 40 secs 42509 markings/sec, 45 secs 42987 markings/sec, 50 secs 38801 markings/sec, 55 secs 41393 markings/sec, 60 secs 42824 markings/sec, 65 secs 41030 markings/sec, 70 secs 41296 markings/sec, 75 secs 41249 markings/sec, 80 secs 40953 markings/sec, 85 secs 40626 markings/sec, 90 secs 39176 markings/sec, 95 secs 38407 markings/sec, 100 secs 41394 markings/sec, 105 secs 40140 markings/sec, 110 secs 42369 markings/sec, 115 secs 40859 markings/sec, 120 secs 40739 markings/sec, 125 secs 37878 markings/sec, 130 secs 40638 markings/sec, 135 secs 38032 markings/sec, 140 secs 39442 markings/sec, 145 secs 41583 markings/sec, 150 secs 41441 markings/sec, 155 secs 40361 markings/sec, 160 secs 42039 markings/sec, 165 secs 40072 markings/sec, 170 secs 42332 markings/sec, 175 secs 37818 markings/sec, 180 secs 40981 markings/sec, 185 secs 41734 markings/sec, 190 secs 41808 markings/sec, 195 secs 38559 markings/sec, 200 secs 42130 markings/sec, 205 secs 42079 markings/sec, 210 secs 41476 markings/sec, 215 secs 39704 markings/sec, 220 secs 40243 markings/sec, 225 secs 42050 markings/sec, 230 secs 40718 markings/sec, 235 secs 42141 markings/sec, 240 secs 41979 markings/sec, 245 secs 40747 markings/sec, 250 secs 40773 markings/sec, 255 secs 40823 markings/sec, 260 secs 42454 markings/sec, 265 secs 42096 markings/sec, 270 secs 40400 markings/sec, 275 secs 39125 markings/sec, 280 secs 41121 markings/sec, 285 secs 41056 markings/sec, 290 secs 40621 markings/sec, 295 secs 40750 markings/sec, 300 secs 40977 markings/sec, 305 secs 41807 markings/sec, 310 secs 40516 markings/sec, 315 secs 40607 markings/sec, 320 secs 40201 markings/sec, 325 secs 40331 markings/sec, 330 secs 38388 markings/sec, 335 secs 39462 markings/sec, 340 secs 39702 markings/sec, 345 secs 40601 markings/sec, 350 secs 39748 markings/sec, 355 secs 40931 markings/sec, 360 secs 40309 markings/sec, 365 secs 40259 markings/sec, 370 secs 42065 markings/sec, 375 secs 41823 markings/sec, 380 secs 41905 markings/sec, 385 secs 42081 markings/sec, 390 secs 42636 markings/sec, 395 secs 38891 markings/sec, 400 secs 41399 markings/sec, 405 secs 41500 markings/sec, 410 secs 41935 markings/sec, 415 secs 41614 markings/sec, 420 secs 41635 markings/sec, 425 secs 41848 markings/sec, 430 secs 41683 markings/sec, 435 secs 42537 markings/sec, 440 secs 41214 markings/sec, 445 secs 40818 markings/sec, 450 secs 41585 markings/sec, 455 secs 38518 markings/sec, 460 secs 42034 markings/sec, 465 secs 42098 markings/sec, 470 secs 42523 markings/sec, 475 secs 41294 markings/sec, 480 secs 41044 markings/sec, 485 secs 39876 markings/sec, 490 secs 41368 markings/sec, 495 secs 37606 markings/sec, 500 secs 40658 markings/sec, 505 secs 41501 markings/sec, 510 secs 38572 markings/sec, 515 secs 41604 markings/sec, 520 secs 42447 markings/sec, 525 secs 42291 markings/sec, 530 secs 41187 markings/sec, 535 secs 38795 markings/sec, 540 secs 40789 markings/sec, 545 secs 39947 markings/sec, 550 secs 40945 markings/sec, 555 secs 40939 markings/sec, 560 secs 38732 markings/sec, 565 secs 41962 markings/sec, 570 secs 39284 markings/sec, 575 secs 38003 markings/sec, 580 secs 42138 markings/sec, 585 secs 39752 markings/sec, 590 secs 41251 markings/sec, 595 secs 36913 markings/sec, 600 secs 41080 markings/sec, 605 secs 41556 markings/sec, 610 secs 39255 markings/sec, 615 secs 40850 markings/sec, 620 secs 37771 markings/sec, 625 secs 42264 markings/sec, 630 secs 38988 markings/sec, 635 secs 41625 markings/sec, 640 secs 39581 markings/sec, 645 secs 40486 markings/sec, 650 secs 40652 markings/sec, 655 secs 40689 markings/sec, 660 secs 38477 markings/sec, 665 secs 40189 markings/sec, 670 secs 41234 markings/sec, 675 secs 39960 markings/sec, 680 secs 40195 markings/sec, 685 secs 40393 markings/sec, 690 secs 41500 markings/sec, 695 secs 38585 markings/sec, 700 secs 40800 markings/sec, 705 secs 41268 markings/sec, 710 secs 39924 markings/sec, 715 secs 40224 markings/sec, 720 secs 40586 markings/sec, 725 secs 41169 markings/sec, 730 secs 41335 markings/sec, 735 secs 42573 markings/sec, 740 secs 42662 markings/sec, 745 secs 42591 markings/sec, 750 secs 42494 markings/sec, 755 secs 39476 markings/sec, 760 secs 41995 markings/sec, 765 secs 41619 markings/sec, 770 secs 42426 markings/sec, 775 secs 42499 markings/sec, 780 secs 41946 markings/sec, 785 secs 40593 markings/sec, 790 secs 41166 markings/sec, 795 secs 38523 markings/sec, 800 secs 40917 markings/sec, 805 secs 40114 markings/sec, 810 secs 40249 markings/sec, 815 secs 40716 markings/sec, 820 secs 40195 markings/sec, 825 secs 38516 markings/sec, 830 secs 36194 markings/sec, 835 secs 41443 markings/sec, 840 secs 41342 markings/sec, 845 secs 41057 markings/sec, 850 secs 38795 markings/sec, 855 secs 40876 markings/sec, 860 secs 41268 markings/sec, 865 secs 42065 markings/sec, 870 secs 41202 markings/sec, 875 secs 41430 markings/sec, 880 secs 41252 markings/sec, 885 secs unknown unknown problem between parent and child process at most (--localtimelimit=0) (((1 <= p226)))) check: stateequation||search (--findpath=off) e.k:711 <= p226)))) (--encoder=simplecompressed) fix) graph (--search=depth) preserving stubborn set method with insertion algorithm (--stubborn=tarjan) started, id 0 e.k:711 rewrite finished id 0 unparse finished++ id 0 unparse finished id 0 1 conjunctive subformulas seconds at most (--localtimelimit=0) ((1 <= p180)) OR (((1 <= p184)) AND ((p206 <= 0)))))) check: stateequation||search (--findpath=off) e.k:721 e.k:787 ((1 <= p180)) OR (((1 <= p184)) AND ((p206 <= 0)))))) (--encoder=simplecompressed) fix) graph (--search=depth) preserving stubborn set method with insertion algorithm (--stubborn=tarjan) started, id 0 e.k:721 e.k:787 rewrite finished id 0 unparse finished++ id 0 ((p180 <= 0)) AND (((p184 <= 0)) OR ((1 <= p206)))) unparse finished id 0 2 conjunctive subformulas seconds at most (--localtimelimit=0) ((1 <= p16))))) e.k:583 ((1 <= p16))))) (--encoder=simplecompressed) fix) for EG formula (--search=depth) stubborn set method (--stubborn=tarjan) check: stateequation (--findpath=off) started, id 0 e.k:721 e.k:787 rewrite finished id 0 unparse finished++ id 0 ((p16 <= 0))) unparse finished id 0 1 conjunctive subformulas (NOT DEADLOCK)) check: search (--findpath=off,--siphontrap=off) (--encoder=simplecompressed) fix) graph (--search=depth) stubborn set method with insertion algorithm(--stubborn=tarjan) 51694 markings/sec, 0 secs 48661 markings/sec, 5 secs 50534 markings/sec, 10 secs 49973 markings/sec, 15 secs 45633 markings/sec, 20 secs 44275 markings/sec, 25 secs 43549 markings/sec, 30 secs 41589 markings/sec, 35 secs 41674 markings/sec, 40 secs 42332 markings/sec, 45 secs 43188 markings/sec, 50 secs 42690 markings/sec, 55 secs 42431 markings/sec, 60 secs 40031 markings/sec, 65 secs 41165 markings/sec, 70 secs 41070 markings/sec, 75 secs 41276 markings/sec, 80 secs 41026 markings/sec, 85 secs 41496 markings/sec, 90 secs 40876 markings/sec, 95 secs 38407 markings/sec, 100 secs 41595 markings/sec, 105 secs 40633 markings/sec, 110 secs 42345 markings/sec, 115 secs 42499 markings/sec, 120 secs 40955 markings/sec, 125 secs 40724 markings/sec, 130 secs 41269 markings/sec, 135 secs 38552 markings/sec, 140 secs 42668 markings/sec, 145 secs 42090 markings/sec, 150 secs 40780 markings/sec, 155 secs 41522 markings/sec, 160 secs 41745 markings/sec, 165 secs 40113 markings/sec, 170 secs 41951 markings/sec, 175 secs 40695 markings/sec, 180 secs 41458 markings/sec, 185 secs 42111 markings/sec, 190 secs 41201 markings/sec, 195 secs 41959 markings/sec, 200 secs 42427 markings/sec, 205 secs 41909 markings/sec, 210 secs 41830 markings/sec, 215 secs 42673 markings/sec, 220 secs 42412 markings/sec, 225 secs 41298 markings/sec, 230 secs 42334 markings/sec, 235 secs 42499 markings/sec, 240 secs 41292 markings/sec, 245 secs 41120 markings/sec, 250 secs 41677 markings/sec, 255 secs 42798 markings/sec, 260 secs 41706 markings/sec, 265 secs 36116 markings/sec, 270 secs 41123 markings/sec, 275 secs 41548 markings/sec, 280 secs 41488 markings/sec, 285 secs 40691 markings/sec, 290 secs 40351 markings/sec, 295 secs 40546 markings/sec, 300 secs 41810 markings/sec, 305 secs 40699 markings/sec, 310 secs 40758 markings/sec, 315 secs 40708 markings/sec, 320 secs 40711 markings/sec, 325 secs 40894 markings/sec, 330 secs 42022 markings/sec, 335 secs 42079 markings/sec, 340 secs 41499 markings/sec, 345 secs 41373 markings/sec, 350 secs 42045 markings/sec, 355 secs 40434 markings/sec, 360 secs 40847 markings/sec, 365 secs 42126 markings/sec, 370 secs 42947 markings/sec, 375 secs 42816 markings/sec, 380 secs 42952 markings/sec, 385 secs 43225 markings/sec, 390 secs 41142 markings/sec, 395 secs 41399 markings/sec, 400 secs 41364 markings/sec, 405 secs 41910 markings/sec, 410 secs 41243 markings/sec, 415 secs 41775 markings/sec, 420 secs 41507 markings/sec, 425 secs 41802 markings/sec, 430 secs 42028 markings/sec, 435 secs 40743 markings/sec, 440 secs 41329 markings/sec, 445 secs 41808 markings/sec, 450 secs 41516 markings/sec, 455 secs 42294 markings/sec, 460 secs 42433 markings/sec, 465 secs 42555 markings/sec, 470 secs 40894 markings/sec, 475 secs 41232 markings/sec, 480 secs 42290 markings/sec, 485 secs 41245 markings/sec, 490 secs 40732 markings/sec, 495 secs 41774 markings/sec, 500 secs 41135 markings/sec, 505 secs 41533 markings/sec, 510 secs 42252 markings/sec, 515 secs 42552 markings/sec, 520 secs 42077 markings/sec, 525 secs 41498 markings/sec, 530 secs 41249 markings/sec, 535 secs 42025 markings/sec, 540 secs 41073 markings/sec, 545 secs 40867 markings/sec, 550 secs 42154 markings/sec, 555 secs 42536 markings/sec, 560 secs 41483 markings/sec, 565 secs 37714 markings/sec, 570 secs 42582 markings/sec, 575 secs 42548 markings/sec, 580 secs 41806 markings/sec, 585 secs 40900 markings/sec, 590 secs 41079 markings/sec, 595 secs 42006 markings/sec, 600 secs 40969 markings/sec, 605 secs 41259 markings/sec, 610 secs 41080 markings/sec, 615 secs 42367 markings/sec, 620 secs 41974 markings/sec, 625 secs 41319 markings/sec, 630 secs 41776 markings/sec, 635 secs 41005 markings/sec, 640 secs 40671 markings/sec, 645 secs 40488 markings/sec, 650 secs 40676 markings/sec, 655 secs 40835 markings/sec, 660 secs 41260 markings/sec, 665 secs 40242 markings/sec, 670 secs 40426 markings/sec, 675 secs 40567 markings/sec, 680 secs 42385 markings/sec, 685 secs 40807 markings/sec, 690 secs 40606 markings/sec, 695 secs 40894 markings/sec, 700 secs 40050 markings/sec, 705 secs 40517 markings/sec, 710 secs 40742 markings/sec, 715 secs 41494 markings/sec, 720 secs 42113 markings/sec, 725 secs 42817 markings/sec, 730 secs 42783 markings/sec, 735 secs 42998 markings/sec, 740 secs 42225 markings/sec, 745 secs 42590 markings/sec, 750 secs 41583 markings/sec, 755 secs 42223 markings/sec, 760 secs 42111 markings/sec, 765 secs 42818 markings/sec, 770 secs 38920 markings/sec, 775 secs 40917 markings/sec, 780 secs 40454 markings/sec, 785 secs 40897 markings/sec, 790 secs 40171 markings/sec, 795 secs 40216 markings/sec, 800 secs 40851 markings/sec, 805 secs 40428 markings/sec, 810 secs 40832 markings/sec, 815 secs 42157 markings/sec, 820 secs 41821 markings/sec, 825 secs 40730 markings/sec, 830 secs 40932 markings/sec, 835 secs 41135 markings/sec, 840 secs 41162 markings/sec, 845 secs 41444 markings/sec, 850 secs 42029 markings/sec, 855 secs 41439 markings/sec, 860 secs 38120 markings/sec, 865 secs 41440 markings/sec, 870 secs 38752 markings/sec, 875 secs 40669 markings/sec, 880 secs 40771 markings/sec, 885 secs 41414 markings/sec, 890 secs 42338 markings/sec, 895 secs 41055 markings/sec, 900 secs 37818 markings/sec, 905 secs 42349 markings/sec, 910 secs 41743 markings/sec, 915 secs 41773 markings/sec, 920 secs 41287 markings/sec, 925 secs 40717 markings/sec, 930 secs 40854 markings/sec, 935 secs 41322 markings/sec, 940 secs 42983 markings/sec, 945 secs 42661 markings/sec, 950 secs 42566 markings/sec, 955 secs 42786 markings/sec, 960 secs 42660 markings/sec, 965 secs 42189 markings/sec, 970 secs 41166 markings/sec, 975 secs 41236 markings/sec, 980 secs 42133 markings/sec, 985 secs 41333 markings/sec, 990 secs 40857 markings/sec, 995 secs 40996 markings/sec, 1000 secs 41097 markings/sec, 1005 secs 41554 markings/sec, 1010 secs 41253 markings/sec, 1015 secs 40985 markings/sec, 1020 secs 40602 markings/sec, 1025 secs 40786 markings/sec, 1030 secs 40868 markings/sec, 1035 secs 41590 markings/sec, 1040 secs 41044 markings/sec, 1045 secs 40653 markings/sec, 1050 secs 40583 markings/sec, 1055 secs 41497 markings/sec, 1060 secs 40559 markings/sec, 1065 secs 41150 markings/sec, 1070 secs 42596 markings/sec, 1075 secs 42806 markings/sec, 1080 secs 41988 markings/sec, 1085 secs 42614 markings/sec, 1090 secs 42208 markings/sec, 1095 secs 41595 markings/sec, 1100 secs 40927 markings/sec, 1105 secs 41513 markings/sec, 1110 secs 40886 markings/sec, 1115 secs 41204 markings/sec, 1120 secs 41283 markings/sec, 1125 secs 40740 markings/sec, 1130 secs 40910 markings/sec, 1135 secs 40951 markings/sec, 1140 secs 40698 markings/sec, 1145 secs 40974 markings/sec, 1150 secs 41387 markings/sec, 1155 secs 40988 markings/sec, 1160 secs 41546 markings/sec, 1165 secs 40710 markings/sec, 1170 secs 41025 markings/sec, 1175 secs 41584 markings/sec, 1180 secs 40819 markings/sec, 1185 secs 41812 markings/sec, 1190 secs 41369 markings/sec, 1195 secs 41062 markings/sec, 1200 secs 40919 markings/sec, 1205 secs 41009 markings/sec, 1210 secs 40662 markings/sec, 1215 secs 41567 markings/sec, 1220 secs 41326 markings/sec, 1225 secs 41289 markings/sec, 1230 secs 40900 markings/sec, 1235 secs 42077 markings/sec, 1240 secs 40863 markings/sec, 1245 secs 41566 markings/sec, 1250 secs 40363 markings/sec, 1255 secs 40680 markings/sec, 1260 secs 40514 markings/sec, 1265 secs 40852 markings/sec, 1270 secs 40665 markings/sec, 1275 secs 40996 markings/sec, 1280 secs 42495 markings/sec, 1285 secs 42367 markings/sec, 1290 secs 41409 markings/sec, 1295 secs 40948 markings/sec, 1300 secs 37775 markings/sec, 1305 secs 40356 markings/sec, 1310 secs 41483 markings/sec, 1315 secs 38811 markings/sec, 1320 secs 40839 markings/sec, 1325 secs 41044 markings/sec, 1330 secs 40750 markings/sec, 1335 secs 41435 markings/sec, 1340 secs 40510 markings/sec, 1345 secs 38772 markings/sec, 1350 secs 40711 markings/sec, 1355 secs 37997 markings/sec, 1360 secs 41510 markings/sec, 1365 secs 41121 markings/sec, 1370 secs 41213 markings/sec, 1375 secs 42475 markings/sec, 1380 secs 37679 markings/sec, 1385 secs 40425 markings/sec, 1390 secs 38764 markings/sec, 1395 secs 39284 markings/sec, 1400 secs 41591 markings/sec, 1405 secs 42181 markings/sec, 1410 secs 40229 markings/sec, 1415 secs 40399 markings/sec, 1420 secs 41120 markings/sec, 1425 secs 40327 markings/sec, 1430 secs 39898 markings/sec, 1435 secs 40578 markings/sec, 1440 secs 38443 markings/sec, 1445 secs 41518 markings/sec, 1450 secs 40735 markings/sec, 1455 secs 41795 markings/sec, 1460 secs 40609 markings/sec, 1465 secs 41102 markings/sec, 1470 secs 42043 markings/sec, 1475 secs 41084 markings/sec, 1480 secs 41193 markings/sec, 1485 secs 41198 markings/sec, 1490 secs 40499 markings/sec, 1495 secs 40514 markings/sec, 1500 secs 41349 markings/sec, 1505 secs 41838 markings/sec, 1510 secs 41345 markings/sec, 1515 secs 41824 markings/sec, 1520 secs 41770 markings/sec, 1525 secs 40315 markings/sec, 1530 secs 40918 markings/sec, 1535 secs 41101 markings/sec, 1540 secs 41003 markings/sec, 1545 secs 40413 markings/sec, 1550 secs 41990 markings/sec, 1555 secs 41829 markings/sec, 1560 secs 41487 markings/sec, 1565 secs 41317 markings/sec, 1570 secs 40338 markings/sec, 1575 secs 40287 markings/sec, 1580 secs 40079 markings/sec, 1585 secs 39755 markings/sec, 1590 secs 40709 markings/sec, 1595 secs 41307 markings/sec, 1600 secs 40474 markings/sec, 1605 secs 40874 markings/sec, 1610 secs 41394 markings/sec, 1615 secs 41392 markings/sec, 1620 secs 43166 markings/sec, 1625 secs 42100 markings/sec, 1630 secs 42481 markings/sec, 1635 secs 40828 markings/sec, 1640 secs 41044 markings/sec, 1645 secs 41425 markings/sec, 1650 secs 42461 markings/sec, 1655 secs 40583 markings/sec, 1660 secs 40911 markings/sec, 1665 secs 41123 markings/sec, 1670 secs 41479 markings/sec, 1675 secs 42580 markings/sec, 1680 secs 41878 markings/sec, 1685 secs 41744 markings/sec, 1690 secs 42345 markings/sec, 1695 secs 42732 markings/sec, 1700 secs 41770 markings/sec, 1705 secs 41134 markings/sec, 1710 secs 40898 markings/sec, 1715 secs 41379 markings/sec, 1720 secs 41079 markings/sec, 1725 secs 40575 markings/sec, 1730 secs 41042 markings/sec, 1735 secs 42353 markings/sec, 1740 secs 42230 markings/sec, 1745 secs 40869 markings/sec, 1750 secs 42030 markings/sec, 1755 secs 42052 markings/sec, 1760 secs 40995 markings/sec, 1765 secs 42436 markings/sec, 1770 secs 41141 markings/sec, 1775 secs 42740 markings/sec, 1780 secs 41258 markings/sec, 1785 secs 40786 markings/sec, 1790 secs 41256 markings/sec, 1795 secs 42356 markings/sec, 1800 secs 41834 markings/sec, 1805 secs 41387 markings/sec, 1810 secs 42412 markings/sec, 1815 secs 41657 markings/sec, 1820 secs 42122 markings/sec, 1825 secs 40494 markings/sec, 1830 secs 40852 markings/sec, 1835 secs 40863 markings/sec, 1840 secs 42420 markings/sec, 1845 secs 40408 markings/sec, 1850 secs 40473 markings/sec, 1855 secs 40864 markings/sec, 1860 secs 41575 markings/sec, 1865 secs 42000 markings/sec, 1870 secs 42030 markings/sec, 1875 secs 42239 markings/sec, 1880 secs 41577 markings/sec, 1885 secs 40183 markings/sec, 1890 secs 41933 markings/sec, 1895 secs 41844 markings/sec, 1900 secs 40805 markings/sec, 1905 secs 39929 markings/sec, 1910 secs 40361 markings/sec, 1915 secs 40580 markings/sec, 1920 secs 41497 markings/sec, 1925 secs 42363 markings/sec, 1930 secs 42188 markings/sec, 1935 secs 42379 markings/sec, 1940 secs 41453 markings/sec, 1945 secs 40227 markings/sec, 1950 secs 40396 markings/sec, 1955 secs 41488 markings/sec, 1960 secs 41127 markings/sec, 1965 secs 40259 markings/sec, 1970 secs 40551 markings/sec, 1975 secs 40715 markings/sec, 1980 secs 41396 markings/sec, 1985 secs 40635 markings/sec, 1990 secs 40464 markings/sec, 1995 secs 40485 markings/sec, 2000 secs 40163 markings/sec, 2005 secs 40249 markings/sec, 2010 secs 40079 markings/sec, 2015 secs 34706 markings/sec, 2020 secs 40130 markings/sec, 2025 secs 40542 markings/sec, 2030 secs 40081 markings/sec, 2035 secs 40059 markings/sec, 2040 secs 40868 markings/sec, 2045 secs 39435 markings/sec, 2050 secs 39984 markings/sec, 2055 secs 39762 markings/sec, 2060 secs 40186 markings/sec, 2065 secs 40431 markings/sec, 2070 secs 38321 markings/sec, 2075 secs 39902 markings/sec, 2080 secs 39985 markings/sec, 2085 secs 40357 markings/sec, 2090 secs 41371 markings/sec, 2095 secs 42057 markings/sec, 2100 secs 40918 markings/sec, 2105 secs 41372 markings/sec, 2110 secs 40753 markings/sec, 2115 secs 40495 markings/sec, 2120 secs 39301 markings/sec, 2125 secs 38224 markings/sec, 2130 secs 42620 markings/sec, 2135 secs 42469 markings/sec, 2140 secs 41488 markings/sec, 2145 secs 41468 markings/sec, 2150 secs 42557 markings/sec, 2155 secs 41109 markings/sec, 2160 secs 42629 markings/sec, 2165 secs 42180 markings/sec, 2170 secs 41870 markings/sec, 2175 secs 41702 markings/sec, 2180 secs 41768 markings/sec, 2185 secs 41550 markings/sec, 2190 secs 40817 markings/sec, 2195 secs 41345 markings/sec, 2200 secs 37471 markings/sec, 2205 secs 41310 markings/sec, 2210 secs 42059 markings/sec, 2215 secs 42044 markings/sec, 2220 secs 40745 markings/sec, 2225 secs 40484 markings/sec, 2230 secs 40306 markings/sec, 2235 secs 38889 markings/sec, 2240 secs 41990 markings/sec, 2245 secs 41078 markings/sec, 2250 secs 40049 markings/sec, 2255 secs 41183 markings/sec, 2260 secs 41414 markings/sec, 2265 secs 40631 markings/sec, 2270 secs 40765 markings/sec, 2275 secs 41452 markings/sec, 2280 secs 41773 markings/sec, 2285 secs 41093 markings/sec, 2290 secs 41436 markings/sec, 2295 secs 41180 markings/sec, 2300 secs 41499 markings/sec, 2305 secs 40202 markings/sec, 2310 secs 40247 markings/sec, 2315 secs 41008 markings/sec, 2320 secs 40609 markings/sec, 2325 secs 40151 markings/sec, 2330 secs 39672 markings/sec, 2335 secs 40046 markings/sec, 2340 secs 41177 markings/sec, 2345 secs 40113 markings/sec, 2350 secs 40070 markings/sec, 2355 secs 40313 markings/sec, 2360 secs 40579 markings/sec, 2365 secs 41876 markings/sec, 2370 secs 42286 markings/sec, 2375 secs 42098 markings/sec, 2380 secs 41672 markings/sec, 2385 secs 40952 markings/sec, 2390 secs 43369 markings/sec, 2395 secs 40559 markings/sec, 2400 secs 41274 markings/sec, 2405 secs 41801 markings/sec, 2410 secs 41406 markings/sec, 2415 secs 41620 markings/sec, 2420 secs 39645 markings/sec, 2425 secs 37271 markings/sec, 2430 secs 40756 markings/sec, 2435 secs 39513 markings/sec, 2440 secs 41141 markings/sec, 2445 secs 41649 markings/sec, 2450 secs 42299 markings/sec, 2455 secs 41770 markings/sec, 2460 secs 41810 markings/sec, 2465 secs 42092 markings/sec, 2470 secs 41879 markings/sec, 2475 secs 41365 markings/sec, 2480 secs 42057 markings/sec, 2485 secs 41934 markings/sec, 2490 secs 40617 markings/sec, 2495 secs 40740 markings/sec, 2500 secs 41051 markings/sec, 2505 secs 40915 markings/sec, 2510 secs 40492 markings/sec, 2515 secs 37899 markings/sec, 2520 secs 41293 markings/sec, 2525 secs 41059 markings/sec, 2530 secs 42193 markings/sec, 2535 secs 26207 markings/sec, 2540 secs 14209 markings/sec, 2545 secs 903 markings/sec, 2550 secs problem between parent and child process

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="Raft-PT-07"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is Raft-PT-07, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r172-smll-158987827600259"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-07.tgz
mv Raft-PT-07 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;