MCC'2021- Execution of r284-smll-162123894300053

About the Execution of 2020-gold for TokenRing-PT-020

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
4487.403	3600000.00	3637513.00	10892.40	FTTTFFTFTT??FT?F	normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2021-inpu
Waiting for the VM to be
................................
==========
Generated by BenchKit 2-4028
Executing tool gold2020
Input is TokenRing-PT-020,
Time confinement is
Memory confinement
Number of cores is 4
Run identifier is r284-smll-
================================

--------------------
preparation of the directory
/home/mcc/execution
total 80M
-rw-r--r-- 1 mcc users 731K May
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 9.2M May
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 4.2K May
-rw-r--r-- 1 mcc users 6.6K May
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users 6.0M May

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

=== Data for post analysis

The expected result is
BOOL_VECTOR

here is the order used
FORMULA_NAME TokenRing-PT-020-00
FORMULA_NAME TokenRing-PT-020-01
FORMULA_NAME TokenRing-PT-020-02
FORMULA_NAME TokenRing-PT-020-03
FORMULA_NAME TokenRing-PT-020-04
FORMULA_NAME TokenRing-PT-020-05
FORMULA_NAME TokenRing-PT-020-06
FORMULA_NAME TokenRing-PT-020-07
FORMULA_NAME TokenRing-PT-020-08
FORMULA_NAME TokenRing-PT-020-09
FORMULA_NAME TokenRing-PT-020-10
FORMULA_NAME TokenRing-PT-020-11
FORMULA_NAME TokenRing-PT-020-12
FORMULA_NAME TokenRing-PT-020-13
FORMULA_NAME TokenRing-PT-020-14
FORMULA_NAME TokenRing-PT-020-15

=== Now, execution of the

BK_START 1621414066521

bash -c /home/mcc/BenchKit/BenchKit_head.sh
[2021-05-19 08:47:48] [INFO
[2021-05-19 08:47:48] [INFO
[2021-05-19 08:47:49] [INFO
[2021-05-19 08:47:49] [INFO
[2021-05-19 08:47:49] [INFO
[2021-05-19 08:47:49] [INFO
[2021-05-19 08:47:49] [INFO
Parsed 16 properties from
Working with output stream
Incomplete random walk after 100000
// Phase 1: matrix 8421
[2021-05-19 08:47:51] [INFO
[2021-05-19 08:47:51] [INFO
[2021-05-19 08:47:51] [INFO
[2021-05-19 08:47:58] [INFO
[2021-05-19 08:47:58] [INFO
[2021-05-19 08:47:59] [INFO
Successfully simplified
[2021-05-19 08:48:00] [INFO
[2021-05-19 08:48:00] [INFO
FORMULA TokenRing-PT-020-15
FORMULA TokenRing-PT-020-09
FORMULA TokenRing-PT-020-07
FORMULA TokenRing-PT-020-06
FORMULA TokenRing-PT-020-04
FORMULA TokenRing-PT-020-03
FORMULA TokenRing-PT-020-02
FORMULA TokenRing-PT-020-01
FORMULA TokenRing-PT-020-00
[2021-05-19 08:48:00] [INFO
[2021-05-19 08:48:00] [INFO
[2021-05-19 08:48:00] [INFO
[2021-05-19 08:48:00] [INFO
[2021-05-19 08:48:00] [INFO
[2021-05-19 08:48:06] [INFO
[2021-05-19 08:48:06] [INFO
[2021-05-19 08:48:06] [INFO
[2021-05-19 08:48:08] [INFO
[2021-05-19 08:48:08] [INFO
FORMULA TokenRing-PT-020-13
FORMULA TokenRing-PT-020-08
FORMULA TokenRing-PT-020-05
[2021-05-19 08:48:08] [INFO
[2021-05-19 08:48:08] [INFO
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality

FORMULA TokenRing-PT-020-12
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLCardinality

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unkn
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,for
],
"starttime": "Wed May
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit":
"localtimelimit": 890
},
"exit":
{
"localtimelimitreached":
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 6,
"adisj": 3,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references":
"unfir": 0,
"visible_places": 4,
"visible_transitions":
},
"processed": "X
"processed_size": 122,
"rewrites": 22
},
"result":
{
"edges": 502,
"markings": 502,
"produced_by":
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder":
"type": "prefix"
},
"stubborn":
{
"type": "no
},
"type": "product
},
"type": "LTL",
"workflow": "product
}
}
],
"exit":
{
"error": null,
"memory": 228584,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "G(F(*))
},
"net":
{
"arcs": 33684,
"conflict_clusters": 1,
"places": 441,
"places_significant": 420,
"singleton_clusters": 0,
"transitions": 8421
},
"result":
{
"interim_value": "unknown
"preliminary_value":
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from
lola: reading pnml
lola: PNML file contains
lola: finished parsing
lola: closed net file
lola: 8862/268435456
lola: preprocessing...
lola: Size of bit vector: 441
lola: finding significant
lola: 441 places, 8421
lola: compute conflict clusters
lola: computed conflict
lola: Computing conflicting
lola: Computing back
lola: TASK
lola: Reading formula
lola: reading pnml
lola: reading formula
lola: LP says that atomic
lola: LP says that atomic
lola: LP says that atomic
lola: LP says that atomic
lola: LP says that atomic
lola: LP says that atomic
lola: LP says that atomic
lola: LP says that atomic
lola: LP says that atomic
lola: LP says that atomic
lola: LP says that atomic
lola: LP says that atomic
lola: LP says that atomic
lola: (X (X (((1 <= p270))))
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: rewrite Frontend/Parser/
lola: computing a collection
lola: RUNNING
lola: subprocess 0 will
lola: ========================
lola: ...considering
lola: ========================
lola: SUBTASK
lola: checking LTL
lola: transforming
lola: processed formula:
lola: processed formula
lola: 22 rewrites
lola: closed formula
lola: the resulting
lola: STORE
lola: using a simple
lola: using a prefix
lola: Formula contains
lola: Formula contains
lola: SEARCH
lola: RUNNING
lola: 166186 markings,
lola: 326767 markings,
lola: 470622 markings,
lola: 621614 markings,
lola: 777708 markings,
lola: 939388 markings,
lola: 1097953 markings,
lola: 1247255 markings,
lola: 1379173 markings,
lola: 1524773 markings,
lola: 1665861 markings,
lola: 1796539 markings,
lola: 1927009 markings,
lola: 2069007 markings,
lola: 2197881 markings,
lola: 2343730 markings,
lola: 2493199 markings,
lola: 2642979 markings,
lola: 2786133 markings,
lola: 2935351 markings,
lola: 3075042 markings,
lola: 3211123 markings,
lola: 3339090 markings,
lola: 3463298 markings,
lola: 3598024 markings,
lola: 3732731 markings,
lola: 3861455 markings,
lola: 3981854 markings,
lola: 4098964 markings,
lola: 4247693 markings,
lola: 4384069 markings,
lola: 4513596 markings,
lola: 4638147 markings,
lola: 4765676 markings,
lola: 4896180 markings,
lola: 5050351 markings,
lola: 5201244 markings,
lola: 5340579 markings,
lola: 5476935 markings,
lola: 5617351 markings,
lola: 5755723 markings,
lola: 5905234 markings,
lola: 6047254 markings,
lola: 6180365 markings,
lola: 6314411 markings,
lola: 6454248 markings,
lola: 6582334 markings,
lola: 6714784 markings,
lola: 6843447 markings,
lola: 6963008 markings,
lola: 7085791 markings,
lola: 7206029 markings,
lola: 7330932 markings,
lola: 7460226 markings,
lola: 7595680 markings,
lola: 7723946 markings,
lola: 7859059 markings,
lola: 7986893 markings,
lola: 8111131 markings,
lola: 8239555 markings,
lola: 8362397 markings,
lola: 8484147 markings,
lola: 8600748 markings,
lola: 8712508 markings,
lola: 8822585 markings,
lola: 8938406 markings,
lola: 9056068 markings,
lola: 9182167 markings,
lola: 9308214 markings,
lola: 9426206 markings,
lola: 9539486 markings,
lola: 9674611 markings,
lola: 9809543 markings,
lola: 9935751 markings,
lola: 10067852 markings,
lola: 10190989 markings,
lola: 10307939 markings,
lola: 10444778 markings,
lola: 10576704 markings,
lola: 10736386 markings,
lola: 10880511 markings,
lola: 11025547 markings,
lola: 11179922 markings,
lola: 11327266 markings,
lola: 11458064 markings,
lola: 11592808 markings,
lola: 11713868 markings,
lola: 11846887 markings,
lola: 11982603 markings,
lola: 12124708 markings,
lola: 12265612 markings,
lola: 12397989 markings,
lola: 12519993 markings,
lola: 12653987 markings,
lola: 12789957 markings,
lola: 12920771 markings,
lola: 13044980 markings,
lola: 13164958 markings,
lola: 13285189 markings,
lola: 13395800 markings,
lola: 13514002 markings,
lola: 13628607 markings,
lola: 13760037 markings,
lola: 13898559 markings,
lola: 14037208 markings,
lola: 14177008 markings,
lola: 14309412 markings,
lola: 14428341 markings,
lola: 14555605 markings,
lola: 14682328 markings,
lola: 14801288 markings,
lola: 14922873 markings,
lola: 15039828 markings,
lola: 15148639 markings,
lola: 15264602 markings,
lola: 15383307 markings,
lola: 15501662 markings,
lola: 15614015 markings,
lola: 15717188 markings,
lola: 15817001 markings,
lola: 15949608 markings,
lola: 16071920 markings,
lola: 16193242 markings,
lola: 16304697 markings,
lola: 16423817 markings,
lola: 16533982 markings,
lola: 16683311 markings,
lola: 16816930 markings,
lola: 16950424 markings,
lola: 17085901 markings,
lola: 17221002 markings,
lola: 17345722 markings,
lola: 17472601 markings,
lola: 17597521 markings,
lola: 17712118 markings,
lola: 17826470 markings,
lola: 17948210 markings,
lola: 18080914 markings,
lola: 18207435 markings,
lola: 18331223 markings,
lola: 18445385 markings,
lola: 18566569 markings,
lola: 18690835 markings,
lola: 18806863 markings,
lola: 18921880 markings,
lola: 19034483 markings,
lola: 19143448 markings,
lola: 19248328 markings,
lola: 19355872 markings,
lola: 19479321 markings,
lola: 19594742 markings,
lola: 19718789 markings,
lola: 19838358 markings,
lola: 19955219 markings,
lola: 20067317 markings,
lola: 20171409 markings,
lola: 20286054 markings,
lola: 20394869 markings,
lola: 20505651 markings,
lola: 20609149 markings,
lola: 20707059 markings,
lola: 20814887 markings,
lola: 20929563 markings,
lola: 21039328 markings,
lola: 21145096 markings,
lola: 21245747 markings,
lola: 21373893 markings,
lola: 21492332 markings,
lola: 21614817 markings,
lola: 21727167 markings,
lola: 21847425 markings,
lola: 21960404 markings,
lola: 22070070 markings,
lola: 22186671 markings,
lola: 22310765 markings,
lola: 22435832 markings,
lola: 22590560 markings,
lola: local time limit
lola:
preliminary result: unknown
lola: caught signal User
lola:
preliminary result: unknown
lola: memory consumption:
lola: time consumption:
lola: print data as
lola: writing JSON
lola: closed JSON file
lola: Child process aborted
lola: subprocess 1 will
lola: ========================
lola: ...considering
lola: ========================
lola: SUBTASK
lola: checking LTL
lola: transforming
lola: processed formula:
lola: processed formula
lola: 22 rewrites
lola: closed formula
lola: the resulting
lola: STORE
lola: using a simple
lola: using a prefix
lola: Formula contains
lola: Formula contains
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by:
lola: The net does
lola: 502 markings, 502 edges
lola: ========================
lola: subprocess 2 will
lola: ========================
lola: ...considering
lola: ========================
lola: SUBTASK
lola: checking a Boolean
lola: RUNNING
lola: subprocess 2
lola: ======================
lola: ...considering
lola: ======================
lola: SUBTASK
lola: checking eventual
lola: rewrite Frontend/Par
lola: rewrite Frontend/Par
lola: processed formula:
lola: processed formula
lola: 24 rewrites
lola: closed formula
lola: STORE
lola: using a simple
lola: using a prefix
lola: SEARCH (state
lola: state space:
lola: state space:
lola: RUNNING
lola: 3392 markings,
lola: 6853 markings,
lola: 10444 markings,
lola: 13973 markings,
lola: 17405 markings,
lola: 20909 markings,
lola: 24278 markings,
lola: 27658 markings,
lola: 31198 markings,
lola: 34672 markings,
lola: 38155 markings,
lola: 41566 markings,
lola: 45115 markings,
lola: 48557 markings,
lola: 52025 markings,
lola: 55423 markings,
lola: 58773 markings,
lola: 62213 markings,
lola: 65664 markings,
lola: 69086 markings,
lola: 72612 markings,
lola: 76098 markings,
lola: 79548 markings,
lola: 83068 markings,
lola: 86400 markings,
lola: 89781 markings,
lola: 93208 markings,
lola: 96655 markings,
lola: 100067 markings,
lola: 103500 markings,
lola: 106932 markings,
lola: 110337 markings,
lola: 113724 markings,
lola: 117134 markings,
lola: 120555 markings,
lola: 123946 markings,
lola: 127374 markings,
lola: 130678 markings,
lola: 134011 markings,
lola: 137352 markings,
lola: 140637 markings,
lola: 143959 markings,
lola: 147140 markings,
lola: 150147 markings,
lola: 153439 markings,
lola: 156835 markings,
lola: 160228 markings,
lola: 163718 markings,
lola: 167152 markings,
lola: 170531 markings,
lola: 173793 markings,
lola: 177260 markings,
lola: 180732 markings,
lola: 184155 markings,
lola: 187658 markings,
lola: 191210 markings,
lola: 194833 markings,
lola: 198214 markings,
lola: 201689 markings,
lola: 204995 markings,
lola: 208306 markings,
lola: 211651 markings,
lola: 215015 markings,
lola: 218424 markings,
lola: 221886 markings,
lola: 225375 markings,
lola: 228971 markings,
lola: 232632 markings,
lola: 236047 markings,
lola: 239385 markings,
lola: 242768 markings,
lola: 246202 markings,
lola: 249679 markings,
lola: 253145 markings,
lola: 256594 markings,
lola: 260045 markings,
lola: 263352 markings,
lola: 266660 markings,
lola: 269982 markings,
lola: 273261 markings,
lola: 276528 markings,
lola: 279701 markings,
lola: 283045 markings,
lola: 286365 markings,
lola: 289728 markings,
lola: 292974 markings,
lola: 296319 markings,
lola: 299680 markings,
lola: 303049 markings,
lola: 306411 markings,
lola: 309844 markings,
lola: 313222 markings,
lola: 316684 markings,
lola: 320165 markings,
lola: 323565 markings,
lola: 326988 markings,
lola: 330512 markings,
lola: 333932 markings,
lola: 337436 markings,
lola: 340886 markings,
lola: 344382 markings,
lola: 347836 markings,
lola: 351296 markings,
lola: 354882 markings,
lola: 358462 markings,
lola: 361910 markings,
lola: 365193 markings,
lola: 368543 markings,
lola: 371935 markings,
lola: 375470 markings,
lola: 379095 markings,
lola: 382710 markings,
lola: 386090 markings,
lola: 389401 markings,
lola: 392710 markings,
lola: 396055 markings,
lola: 399450 markings,
lola: 402815 markings,
lola: 406209 markings,
lola: 409604 markings,
lola: 413085 markings,
lola: 416508 markings,
lola: 419946 markings,
lola: 423390 markings,
lola: 426900 markings,
lola: 430429 markings,
lola: 433838 markings,
lola: 437278 markings,
lola: 440678 markings,
lola: 444056 markings,
lola: 447467 markings,
lola: 450908 markings,
lola: 454427 markings,
lola: 457883 markings,
lola: 461277 markings,
lola: 464545 markings,
lola: 467868 markings,
lola: 471238 markings,
lola: 474656 markings,
lola: 478067 markings,
lola: 481248 markings,
lola: 484539 markings,
lola: 487829 markings,
lola: 491116 markings,
lola: 494456 markings,
lola: 497816 markings,
lola: 501110 markings,
lola: 504376 markings,
lola: 507408 markings,
lola: 510732 markings,
lola: 514061 markings,
lola: 517420 markings,
lola: 520835 markings,
lola: 524264 markings,
lola: 527728 markings,
lola: 531259 markings,
lola: 534941 markings,
lola: 538382 markings,
lola: 541902 markings,
lola: 545450 markings,
lola: 548990 markings,
lola: 552519 markings,
lola: 556011 markings,
lola: 559305 markings,
lola: 562601 markings,
lola: 565910 markings,
lola: 569191 markings,
lola: 572490 markings,
lola: 575825 markings,
lola: 579123 markings,
lola: 582449 markings,
lola: 585726 markings,
lola: 589013 markings,
lola: 592313 markings,
lola: 595633 markings,
lola: 598951 markings,
lola: 602248 markings,
lola: 605560 markings,
lola: 608889 markings,
lola: 612220 markings,
lola: 615584 markings,
lola: 618928 markings,
lola: 622253 markings,
lola: 625591 markings,
lola: 629013 markings,
lola: 632450 markings,
lola: 635771 markings,
lola: 639137 markings,
lola: 642343 markings,
lola: 645664 markings,
lola: 648885 markings,
lola: 652237 markings,
lola: 655628 markings,
lola: 658970 markings,
lola: 662342 markings,
lola: 665698 markings,
lola: 669043 markings,
lola: 672474 markings,
lola: 675870 markings,
lola: 679304 markings,
lola: 682748 markings,
lola: 686264 markings,
lola: 689643 markings,
lola: 692968 markings,
lola: 696255 markings,
lola: 699604 markings,
lola: 702919 markings,
lola: 706337 markings,
lola: 709779 markings,
lola: 713165 markings,
lola: 716652 markings,
lola: 720043 markings,
lola: 723423 markings,
lola: 726904 markings,
lola: 730344 markings,
lola: 733777 markings,
lola: 737204 markings,
lola: 740733 markings,
lola: 744114 markings,
lola: 747537 markings,
lola: 750956 markings,
lola: 754401 markings,
lola: 757831 markings,
lola: 761210 markings,
lola: 764605 markings,
lola: 768032 markings,
lola: 771459 markings,
lola: 774856 markings,
lola: 778285 markings,
lola: 781746 markings,
lola: 785304 markings,
lola: 788895 markings,
lola: 792391 markings,
lola: 795942 markings,
lola: 799580 markings,
lola: 802980 markings,
lola: 806541 markings,
lola: 810059 markings,
lola: 813389 markings,
lola: 816790 markings,
lola: 820111 markings,
lola: 823463 markings,
lola: 826955 markings,
lola: 830561 markings,
lola: 834311 markings,
lola: 837932 markings,
lola: 841351 markings,
lola: 844779 markings,
lola: 848129 markings,
lola: 851525 markings,
lola: 855115 markings,
lola: 858549 markings,
lola: 861985 markings,
lola: 865433 markings,
lola: 868880 markings,
lola: 872315 markings,
lola: 875793 markings,
lola: 879084 markings,
lola: 882377 markings,
lola: 885669 markings,
lola: 888997 markings,
lola: 892305 markings,
lola: 895653 markings,
lola: 898983 markings,
lola: 902341 markings,
lola: 905700 markings,
lola: local time limit
lola:
preliminary result: unknown
lola: caught signal User
lola:
preliminary result: unknown
lola: memory consumption:
lola: time consumption:
lola: print data as
lola: writing JSON
lola: closed JSON file
lola: memory consumption:
lola: time consumption:
lola: print data
lola: writing JSON
lola: closed JSON
lola: Child process aborted
lola: subprocess 3 will
lola: ========================
lola: ...considering
lola: ========================
lola: SUBTASK
lola: checking fairness
lola: fairness not
lola: transforming
lola: processed formula:
lola: processed formula
lola: 22 rewrites
lola: closed formula
lola: the resulting
lola: STORE
lola: using a simple
lola: using a prefix
lola: using ltl preserving
lola: using ltl preserving
lola: SEARCH
lola: RUNNING
lola: 3476 markings,
lola: 6891 markings,
lola: 10452 markings,
lola: 14069 markings,
lola: 17507 markings,
lola: 20939 markings,
lola: 24351 markings,
lola: 27723 markings,
lola: 31122 markings,
lola: 34509 markings,
lola: 37893 markings,
lola: 41288 markings,
lola: 44702 markings,
lola: 48015 markings,
lola: 51431 markings,
lola: 54896 markings,
lola: 58425 markings,
lola: 61831 markings,
lola: 65289 markings,
lola: 68789 markings,
lola: 72276 markings,
lola: 75850 markings,
lola: 79356 markings,
lola: 82846 markings,
lola: 86312 markings,
lola: 89723 markings,
lola: 93222 markings,
lola: 96590 markings,
lola: 99976 markings,
lola: 103403 markings,
lola: 106845 markings,
lola: 110215 markings,
lola: 113271 markings,
lola: 116633 markings,
lola: 120015 markings,
lola: 123460 markings,
lola: 126910 markings,
lola: 130427 markings,
lola: 133796 markings,
lola: 137156 markings,
lola: 140498 markings,
lola: 143815 markings,
lola: 147049 markings,
lola: 149632 markings,
lola: 153002 markings,
lola: 156364 markings,
lola: 159896 markings,
lola: 163310 markings,
lola: 166713 markings,
lola: 169452 markings,
lola: 172714 markings,
lola: 176070 markings,
lola: 179437 markings,
lola: 181849 markings,
lola: 185340 markings,
lola: 188735 markings,
lola: 192127 markings,
lola: 195505 markings,
lola: 198181 markings,
lola: 200338 markings,
lola: 203829 markings,
lola: 207414 markings,
lola: 210818 markings,
lola: 214191 markings,
lola: 217105 markings,
lola: 220062 markings,
lola: 223507 markings,
lola: 226892 markings,
lola: 229825 markings,
lola: 231879 markings,
lola: 235300 markings,
lola: 238701 markings,
lola: 242142 markings,
lola: 245522 markings,
lola: 248886 markings,
lola: 252291 markings,
lola: 255599 markings,
lola: 258994 markings,
lola: 262346 markings,
lola: 265723 markings,
lola: 269114 markings,
lola: 272559 markings,
lola: 275942 markings,
lola: 279390 markings,
lola: 282813 markings,
lola: 286205 markings,
lola: 289596 markings,
lola: 292981 markings,
lola: 296368 markings,
lola: 299635 markings,
lola: 302582 markings,
lola: 305955 markings,
lola: 309357 markings,
lola: 312709 markings,
lola: 315621 markings,
lola: 318851 markings,
lola: 322212 markings,
lola: 325560 markings,
lola: 328900 markings,
lola: 330776 markings,
lola: 333299 markings,
lola: 336711 markings,
lola: 340123 markings,
lola: 342978 markings,
lola: 346364 markings,
lola: 349698 markings,
lola: 352182 markings,
lola: 355184 markings,
lola: 358679 markings,
lola: 361619 markings,
lola: 364800 markings,
lola: 368159 markings,
lola: 371287 markings,
lola: 374531 markings,
lola: 377810 markings,
lola: 381098 markings,
lola: 384537 markings,
lola: 387975 markings,
lola: 391411 markings,
lola: 394074 markings,
lola: 396204 markings,
lola: 399321 markings,
lola: 402775 markings,
lola: 406267 markings,
lola: 409711 markings,
lola: 413162 markings,
lola: 416517 markings,
lola: 419894 markings,
lola: 423331 markings,
lola: 426835 markings,
lola: 430248 markings,
lola: 433629 markings,
lola: 436996 markings,
lola: 439813 markings,
lola: 443106 markings,
lola: 446446 markings,
lola: 449456 markings,
lola: 452241 markings,
lola: 455359 markings,
lola: 458353 markings,
lola: 461432 markings,
lola: 464529 markings,
lola: 467793 markings,
lola: 471155 markings,
lola: 473318 markings,
lola: 476050 markings,
lola: 479472 markings,
lola: 482912 markings,
lola: 486335 markings,
lola: 488904 markings,
lola: 491749 markings,
lola: 494203 markings,
lola: 496989 markings,
lola: 500592 markings,
lola: 504023 markings,
lola: 507483 markings,
lola: 510591 markings,
lola: 513530 markings,
lola: 516345 markings,
lola: 519037 markings,
lola: 521609 markings,
lola: 523862 markings,
lola: 526600 markings,
lola: 529289 markings,
lola: 532392 markings,
lola: 535236 markings,
lola: 537767 markings,
lola: 541045 markings,
lola: 543862 markings,
lola: 547271 markings,
lola: 550431 markings,
lola: 553211 markings,
lola: 555727 markings,
lola: 559107 markings,
lola: 562469 markings,
lola: 565508 markings,
lola: 568297 markings,
lola: 570532 markings,
lola: 573176 markings,
lola: 576267 markings,
lola: 578531 markings,
lola: 581394 markings,
lola: 584302 markings,
lola: 587720 markings,
lola: 590929 markings,
lola: 594204 markings,
lola: 597447 markings,
lola: 600657 markings,
lola: 603660 markings,
lola: 606877 markings,
lola: 610364 markings,
lola: 613879 markings,
lola: 617298 markings,
lola: 620783 markings,
lola: 623871 markings,
lola: 626783 markings,
lola: 629555 markings,
lola: 632337 markings,
lola: 635210 markings,
lola: 638762 markings,
lola: 642249 markings,
lola: 645689 markings,
lola: 648682 markings,
lola: 651568 markings,
lola: 654915 markings,
lola: 658137 markings,
lola: 661287 markings,
lola: 664169 markings,
lola: 666902 markings,
lola: 670201 markings,
lola: 673782 markings,
lola: 676939 markings,
lola: 680328 markings,
lola: 683716 markings,
lola: 687120 markings,
lola: 690581 markings,
lola: 693748 markings,
lola: 697044 markings,
lola: 700256 markings,
lola: 703581 markings,
lola: 707082 markings,
lola: 710422 markings,
lola: 713851 markings,
lola: 717242 markings,
lola: 720643 markings,
lola: 724032 markings,
lola: 727406 markings,
lola: 730763 markings,
lola: 733912 markings,
lola: 736621 markings,
lola: 740006 markings,
lola: 743405 markings,
lola: 746771 markings,
lola: 749399 markings,
lola: 752013 markings,
lola: 755392 markings,
lola: 758772 markings,
lola: 762126 markings,
lola: 764474 markings,
lola: 765863 markings,
lola: 769235 markings,
lola: 772649 markings,
lola: 775550 markings,
lola: 778622 markings,
lola: 781973 markings,
lola: 785189 markings,
lola: 786841 markings,
lola: 790080 markings,
lola: 793128 markings,
lola: 796307 markings,
lola: 799301 markings,
lola: 802469 markings,
lola: 805609 markings,
lola: 808971 markings,
lola: 811620 markings,
lola: 813887 markings,
lola: 817163 markings,
lola: 820440 markings,
lola: 823831 markings,
lola: 827229 markings,
lola: 830320 markings,
lola: 833393 markings,
lola: 836625 markings,
lola: 839982 markings,
lola: 843311 markings,
lola: 846645 markings,
lola: time limit reached
lola:
preliminary result: unknown
lola: lola: caught signal

preliminary result: unknown
lola:
preliminary result: unknown
lola: memory consumption:
lola: time consumption:
lola: print data as
lola: writing JSON
lola: closed JSON file
lola: Child process aborted
lola: ========================
lola: lola: memory consumption:
...considering subproblem:
lola: time consumption:
===============================
lola: print data as
SUBTASK
lola: checking LTL
lola: transforming
lola: writing JSON to
lola: closed JSON file
lola: processed formula:
lola: processed formula
lola: 22 rewrites
lola: closed formula
lola: caught signal User
rslt: finished
TIME LIMIT: Killed by timeout
MemTotal: 16427332 kB
MemFree: 15823608 kB
After kill :
MemTotal: 16427332 kB
MemFree: 15823372 kB

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

t.r284-smll-162123894300053.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 ready (probing ssh) ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... =========================================================== examination is LTLCardinality 3600 seconds is 16384 MBytes 162123894300053 ===================================== to be used: 5 16:58 CTLCardinality.txt 3.6M May 10 09:44 CTLCardinality.xml 5 16:58 CTLFireability.txt 33M May 10 09:44 CTLFireability.xml 6 14:48 GenericPropertiesDefinition.xml 6 14:48 GenericPropertiesVerdict.xml 258K Mar 28 16:46 LTLCardinality.txt 896K Mar 28 16:46 LTLCardinality.xml 1.8M Mar 28 16:46 LTLFireability.txt 4.8M Mar 28 16:46 LTLFireability.xml 197K Mar 27 14:14 ReachabilityCardinality.txt 623K Mar 27 14:14 ReachabilityCardinality.xml 5.0M Mar 25 20:17 ReachabilityFireability.txt 14M Mar 25 20:17 ReachabilityFireability.xml 50K Mar 22 08:16 UpperBounds.txt 121K Mar 22 08:16 UpperBounds.xml 5 May 5 16:52 equiv_col 4 May 5 16:52 instance 6 May 5 16:52 iscolored 5 16:52 model.pnml generated by BenchKit (invocation template) a vector of booleans to build the result vector(from text file) tool begins 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML] ] Parsing pnml file : /home/mcc/execution/model.pnml ] Load time of PNML (sax parser for PT used): 637 ms ] Transformed 441 places. ] Transformed 8421 transitions. ] Found NUPN structural information; ] Parsed PT model containing 441 places and 8421 transitions in 754 ms. file /home/mcc/execution/LTLCardinality.xml in 253 ms. class java.io.PrintStream steps, including 0 resets, run finished after 981 ms. (steps per millisecond=101 ) properties seen :[1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1] rows 441 cols ] Computed 21 place invariants in 56 ms ] [Real]Absence check using 21 positive place invariants in 52 ms returned sat ] [Real]Adding state equation constraints to refine reachable states. ] [Real]Absence check using state equation in 6619 ms returned sat ] Solution in real domain found non-integer solution. ] [Nat]Absence check using 21 positive place invariants in 23 ms returned unsat 1 atomic propositions for a total of 1 simplifications. ] Initial state reduction rules for CTL removed 9 formulas. ] Flatten gal took : 699 ms FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE ] Applying decomposition ] Initial state reduction rules for CTL removed 3 formulas. ] Flatten gal took : 393 ms ] Decomposing Gal with order ] Rewriting arrays to variables to allow decomposition. ] Removed a total of 7980 redundant transitions. ] Initial state reduction rules for CTL removed 3 formulas. ] Flatten gal took : 5136 ms ] Fuse similar labels procedure discarded/fused a total of 8400 labels/synchronizations in 1642 ms. ] Initial state reduction rules for CTL removed 3 formulas. TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE ] Export to MCC properties in file /home/mcc/execution/LTLCardinality.sr.xml took 6 ms. ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 103 ms. @ TokenRing-PT-020 @ 3570 seconds FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT @ TokenRing-PT-020 own-linux-gnu", mulastat,net" 19 08:48:10 2021 true, false 0, 0 (F ((G ((((p332 <= 0)) OR ((1 <= p93)))) AND ((((p372 <= 0)) OR ((1 <= p11))) AND (((p332 <= 0)) OR ((1 <= p93)))))))", "LTL model checker", "simple compression", (formula contains X operator)" automaton/dfs" automaton" : G((F((X(F(**)) AND **)) AND (X(F(*)) OR (X(F(**)) AND **)))) : X(F((G(**) AND (** AND **)))) : (F(**) OR X(G(**)))" unknown no unknown ", "unknown unknown no unknown " 3570 seconds at most (--timelimit) model.pnml place/transition net model.pnml symbol table entries, 0 collisions places transitions, 420 significant places clusters sets conflicting sets in XML format (--xmlformula) from LTLCardinality.xml proposition is always true: (p270 <= 1) proposition is always true: (p270 <= 1) proposition is always true: (p368 <= 1) proposition is always true: (p277 <= 1) proposition is always true: (p194 <= 1) proposition is always true: (p317 <= 1) proposition is always true: (p93 <= 1) proposition is always true: (p136 <= 1) proposition is always true: (p93 <= 1) proposition is always true: (p11 <= 1) proposition is always true: (p93 <= 1) proposition is always true: (p85 <= 1) proposition is always true: (p420 <= 1) U (F (((1 <= p270))) U NOT(F (G ((((p283 <= 0)) OR ((1 <= p368)))))))) : G ((F (NOT(X ((((p220 <= 0)) OR ((1 <= p277)))))) U (X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317)))))) : F ((((((p332 <= 0)) OR ((1 <= p93))) U ((((p228 <= 0)) OR ((1 <= p136))) U (1 <= 0))) OR X (F (((G ((((p332 <= 0)) OR ((1 <= p93)))) AND (((p372 <= 0)) OR ((1 <= p11)))) AND (((p332 <= 0)) OR ((1 <= p93)))))))) : (((1 <= 0) U ((0 <= 0) U ((1 <= p85)))) OR G (X ((((p31 <= 0)) OR ((1 <= p420)))))) formula_rewrite.k:332 formula_rewrite.k:329 formula_rewrite.k:297 formula_rewrite.k:425 formula_rewrite.k:425 formula_rewrite.k:335 formula_rewrite.k:297 formula_rewrite.k:356 formula_rewrite.k:437 formula_rewrite.k:522 formula_rewrite.k:98 formula_rewrite.k:180 formula_rewrite.k:180 formula_rewrite.k:251 formula_rewrite.k:122 formula_rewrite.k:356 formula_rewrite.k:347 formula_rewrite.k:98 formula_rewrite.k:100 formula_rewrite.k:169 formula_rewrite.k:185 formula_rewrite.k:353 of formulas run for 890 seconds at most (--localtimelimit=0) ================ subproblem: G ((F ((X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317))))) AND (X (F ((((1 <= p220)) AND ((p277 <= 0))))) OR (X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317))))))) ================ LTL-Formula into a Büchi-Automaton G ((F ((X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317))))) AND (X (F ((((1 <= p220)) AND ((p277 <= 0))))) OR (X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317))))))) length: 184 file LTLCardinality.xml Büchi automaton has 5 states compression encoder (--encoder=simplecompressed) tree store (--store=prefix) X operator; stubborn sets not applicable X operator; stubborn sets not applicable 775095 edges, 33237 markings/sec, 0 secs 1675154 edges, 32116 markings/sec, 5 secs 2546061 edges, 28771 markings/sec, 10 secs 3445998 edges, 30198 markings/sec, 15 secs 4340945 edges, 31219 markings/sec, 20 secs 5222674 edges, 32336 markings/sec, 25 secs 6115405 edges, 31713 markings/sec, 30 secs 7008268 edges, 29860 markings/sec, 35 secs 7895775 edges, 26384 markings/sec, 40 secs 8806116 edges, 29120 markings/sec, 45 secs 9722490 edges, 28218 markings/sec, 50 secs 10650988 edges, 26136 markings/sec, 55 secs 11586832 edges, 26094 markings/sec, 60 secs 12485338 edges, 28400 markings/sec, 65 secs 13401858 edges, 25775 markings/sec, 70 secs 14305169 edges, 29170 markings/sec, 75 secs 15202220 edges, 29894 markings/sec, 80 secs 16097922 edges, 29956 markings/sec, 85 secs 17012910 edges, 28631 markings/sec, 90 secs 17901965 edges, 29844 markings/sec, 95 secs 18813606 edges, 27938 markings/sec, 100 secs 19720368 edges, 27216 markings/sec, 105 secs 20646869 edges, 25593 markings/sec, 110 secs 21573424 edges, 24842 markings/sec, 115 secs 22488207 edges, 26945 markings/sec, 120 secs 23402436 edges, 26941 markings/sec, 125 secs 24325297 edges, 25745 markings/sec, 130 secs 25256325 edges, 24080 markings/sec, 135 secs 26191249 edges, 23422 markings/sec, 140 secs 27082886 edges, 29746 markings/sec, 145 secs 27995981 edges, 27275 markings/sec, 150 secs 28922664 edges, 25905 markings/sec, 155 secs 29850603 edges, 24910 markings/sec, 160 secs 30764496 edges, 25506 markings/sec, 165 secs 31676957 edges, 26101 markings/sec, 170 secs 32580429 edges, 30834 markings/sec, 175 secs 33484117 edges, 30179 markings/sec, 180 secs 34412532 edges, 27867 markings/sec, 185 secs 35340504 edges, 27271 markings/sec, 190 secs 36261000 edges, 28083 markings/sec, 195 secs 37188973 edges, 27674 markings/sec, 200 secs 38079071 edges, 29902 markings/sec, 205 secs 38987603 edges, 28404 markings/sec, 210 secs 39917206 edges, 26622 markings/sec, 215 secs 40856352 edges, 26809 markings/sec, 220 secs 41763738 edges, 27967 markings/sec, 225 secs 42685269 edges, 25617 markings/sec, 230 secs 43606827 edges, 26490 markings/sec, 235 secs 44537486 edges, 25733 markings/sec, 240 secs 45482036 edges, 23912 markings/sec, 245 secs 46424832 edges, 24557 markings/sec, 250 secs 47364798 edges, 24048 markings/sec, 255 secs 48310249 edges, 24981 markings/sec, 260 secs 49233546 edges, 25859 markings/sec, 265 secs 50157829 edges, 27091 markings/sec, 270 secs 51090165 edges, 25653 markings/sec, 275 secs 52003302 edges, 27023 markings/sec, 280 secs 52916106 edges, 25567 markings/sec, 285 secs 53847357 edges, 24848 markings/sec, 290 secs 54765742 edges, 25685 markings/sec, 295 secs 55683681 edges, 24568 markings/sec, 300 secs 56611266 edges, 24350 markings/sec, 305 secs 57529723 edges, 23320 markings/sec, 310 secs 58464510 edges, 22352 markings/sec, 315 secs 59411333 edges, 22015 markings/sec, 320 secs 60344040 edges, 23164 markings/sec, 325 secs 61280106 edges, 23532 markings/sec, 330 secs 62175784 edges, 25220 markings/sec, 335 secs 63068149 edges, 25209 markings/sec, 340 secs 63968224 edges, 23598 markings/sec, 345 secs 64879254 edges, 22656 markings/sec, 350 secs 65778290 edges, 27025 markings/sec, 355 secs 66676865 edges, 26986 markings/sec, 360 secs 67591813 edges, 25242 markings/sec, 365 secs 68498464 edges, 26420 markings/sec, 370 secs 69421414 edges, 24627 markings/sec, 375 secs 70342599 edges, 23390 markings/sec, 380 secs 71245474 edges, 27368 markings/sec, 385 secs 72154139 edges, 26385 markings/sec, 390 secs 73036834 edges, 31936 markings/sec, 395 secs 73936601 edges, 28825 markings/sec, 400 secs 74834675 edges, 29007 markings/sec, 405 secs 75718821 edges, 30875 markings/sec, 410 secs 76613042 edges, 29469 markings/sec, 415 secs 77528219 edges, 26160 markings/sec, 420 secs 78430255 edges, 26949 markings/sec, 425 secs 79348239 edges, 24212 markings/sec, 430 secs 80249560 edges, 26604 markings/sec, 435 secs 81138150 edges, 27143 markings/sec, 440 secs 82025244 edges, 28421 markings/sec, 445 secs 82915188 edges, 28181 markings/sec, 450 secs 83837474 edges, 26475 markings/sec, 455 secs 84756245 edges, 24401 markings/sec, 460 secs 85656265 edges, 26799 markings/sec, 465 secs 86560867 edges, 27194 markings/sec, 470 secs 87463770 edges, 26163 markings/sec, 475 secs 88379137 edges, 24842 markings/sec, 480 secs 89307783 edges, 23996 markings/sec, 485 secs 90210531 edges, 24046 markings/sec, 490 secs 91129210 edges, 22122 markings/sec, 495 secs 92045067 edges, 23640 markings/sec, 500 secs 92959570 edges, 22921 markings/sec, 505 secs 93857355 edges, 26286 markings/sec, 510 secs 94759169 edges, 27704 markings/sec, 515 secs 95680363 edges, 27730 markings/sec, 520 secs 96592328 edges, 27960 markings/sec, 525 secs 97510950 edges, 26481 markings/sec, 530 secs 98443312 edges, 23786 markings/sec, 535 secs 99315043 edges, 25453 markings/sec, 540 secs 100217719 edges, 25345 markings/sec, 545 secs 101113213 edges, 23792 markings/sec, 550 secs 102019617 edges, 24317 markings/sec, 555 secs 102935171 edges, 23391 markings/sec, 560 secs 103862424 edges, 21762 markings/sec, 565 secs 104774275 edges, 23193 markings/sec, 570 secs 105653522 edges, 23741 markings/sec, 575 secs 106568160 edges, 23671 markings/sec, 580 secs 107482118 edges, 22471 markings/sec, 585 secs 108359647 edges, 20635 markings/sec, 590 secs 109251648 edges, 19963 markings/sec, 595 secs 110152840 edges, 26521 markings/sec, 600 secs 111054566 edges, 24462 markings/sec, 605 secs 111987995 edges, 24264 markings/sec, 610 secs 112920809 edges, 22291 markings/sec, 615 secs 113835105 edges, 23824 markings/sec, 620 secs 114764323 edges, 22033 markings/sec, 625 secs 115663905 edges, 29866 markings/sec, 630 secs 116599795 edges, 26724 markings/sec, 635 secs 117518761 edges, 26699 markings/sec, 640 secs 118428972 edges, 27095 markings/sec, 645 secs 119327509 edges, 27020 markings/sec, 650 secs 120253888 edges, 24944 markings/sec, 655 secs 121167995 edges, 25376 markings/sec, 660 secs 122083273 edges, 24984 markings/sec, 665 secs 123016908 edges, 22919 markings/sec, 670 secs 123952053 edges, 22870 markings/sec, 675 secs 124876455 edges, 24348 markings/sec, 680 secs 125775259 edges, 26541 markings/sec, 685 secs 126689506 edges, 25304 markings/sec, 690 secs 127618973 edges, 24758 markings/sec, 695 secs 128562236 edges, 22832 markings/sec, 700 secs 129487223 edges, 24237 markings/sec, 705 secs 130400558 edges, 24853 markings/sec, 710 secs 131335866 edges, 23206 markings/sec, 715 secs 132263283 edges, 23003 markings/sec, 720 secs 133189465 edges, 22521 markings/sec, 725 secs 134124766 edges, 21793 markings/sec, 730 secs 135070496 edges, 20976 markings/sec, 735 secs 135991765 edges, 21509 markings/sec, 740 secs 136908454 edges, 24690 markings/sec, 745 secs 137845807 edges, 23084 markings/sec, 750 secs 138755541 edges, 24809 markings/sec, 755 secs 139675652 edges, 23914 markings/sec, 760 secs 140591191 edges, 23372 markings/sec, 765 secs 141507821 edges, 22420 markings/sec, 770 secs 142441474 edges, 20818 markings/sec, 775 secs 143352792 edges, 22929 markings/sec, 780 secs 144286863 edges, 21763 markings/sec, 785 secs 145213350 edges, 22156 markings/sec, 790 secs 146147686 edges, 20700 markings/sec, 795 secs 147087588 edges, 19582 markings/sec, 800 secs 148013997 edges, 21566 markings/sec, 805 secs 148917783 edges, 22935 markings/sec, 810 secs 149797746 edges, 21953 markings/sec, 815 secs 150656074 edges, 21154 markings/sec, 820 secs 151541237 edges, 20130 markings/sec, 825 secs 152427566 edges, 25629 markings/sec, 830 secs 153306195 edges, 23688 markings/sec, 835 secs 154206319 edges, 24497 markings/sec, 840 secs 155120690 edges, 22470 markings/sec, 845 secs 156025231 edges, 24052 markings/sec, 850 secs 156941217 edges, 22596 markings/sec, 855 secs 157852578 edges, 21933 markings/sec, 860 secs 158752367 edges, 23320 markings/sec, 865 secs 159657803 edges, 24819 markings/sec, 870 secs 160562446 edges, 25013 markings/sec, 875 secs 161420699 edges, 30946 markings/sec, 880 secs reached - aborting unknown unknown unknown defined signal 2 - aborting LoLA unknown unknown unknown 3804724 KB 900 seconds JSON (--json) to LTLCardinality.json LTLCardinality.json or communication problem between parent and child process run for 890 seconds at most (--localtimelimit=0) ================ subproblem: X (F ((G ((((p332 <= 0)) OR ((1 <= p93)))) AND ((((p372 <= 0)) OR ((1 <= p11))) AND (((p332 <= 0)) OR ((1 <= p93))))))) ================ LTL-Formula into a Büchi-Automaton X (F ((G ((((p332 <= 0)) OR ((1 <= p93)))) AND ((((p372 <= 0)) OR ((1 <= p11))) AND (((p332 <= 0)) OR ((1 <= p93))))))) length: 122 file LTLCardinality.xml Büchi automaton has 3 states compression encoder (--encoder=simplecompressed) tree store (--store=prefix) X operator; stubborn sets not applicable X operator; stubborn sets not applicable LTL model checker not satisfy the given formula (language of the product automaton is nonempty). ================ run for 1335 seconds at most (--localtimelimit=0) ================ subproblem: (F (((1 <= p85))) OR X (G ((((p31 <= 0)) OR ((1 <= p420)))))) ================ combination of formulas will run for 1335 seconds at most (--localtimelimit=0) ================== subproblem: F (((1 <= p85))) ================== occurrence ser/formula_rewrite.k:750 ser/formula_rewrite.k:787 ((p85 <= 0)) length: 12 file LTLCardinality.xml compression encoder (--encoder=simplecompressed) tree store (--store=prefix) space / EG) using search routine for EG formula (--search=depth) using EG preserving stubborn set method (--stubborn=tarjan) 8623 edges, 678 markings/sec, 0 secs 21085 edges, 692 markings/sec, 5 secs 32695 edges, 718 markings/sec, 10 secs 44748 edges, 706 markings/sec, 15 secs 56757 edges, 686 markings/sec, 20 secs 69433 edges, 701 markings/sec, 25 secs 84349 edges, 674 markings/sec, 30 secs 100180 edges, 676 markings/sec, 35 secs 116161 edges, 708 markings/sec, 40 secs 131291 edges, 695 markings/sec, 45 secs 146219 edges, 697 markings/sec, 50 secs 162217 edges, 682 markings/sec, 55 secs 176662 edges, 710 markings/sec, 60 secs 188367 edges, 688 markings/sec, 65 secs 200460 edges, 694 markings/sec, 70 secs 213435 edges, 680 markings/sec, 75 secs 228042 edges, 670 markings/sec, 80 secs 243617 edges, 688 markings/sec, 85 secs 259072 edges, 690 markings/sec, 90 secs 274818 edges, 684 markings/sec, 95 secs 289075 edges, 705 markings/sec, 100 secs 304405 edges, 697 markings/sec, 105 secs 316898 edges, 690 markings/sec, 110 secs 329823 edges, 704 markings/sec, 115 secs 343520 edges, 666 markings/sec, 120 secs 359247 edges, 676 markings/sec, 125 secs 375619 edges, 685 markings/sec, 130 secs 392006 edges, 689 markings/sec, 135 secs 406984 edges, 682 markings/sec, 140 secs 421868 edges, 687 markings/sec, 145 secs 435811 edges, 686 markings/sec, 150 secs 451338 edges, 681 markings/sec, 155 secs 467224 edges, 677 markings/sec, 160 secs 483294 edges, 682 markings/sec, 165 secs 498963 edges, 684 markings/sec, 170 secs 514217 edges, 678 markings/sec, 175 secs 530681 edges, 686 markings/sec, 180 secs 548706 edges, 661 markings/sec, 185 secs 567178 edges, 667 markings/sec, 190 secs 585721 edges, 668 markings/sec, 195 secs 603897 edges, 657 markings/sec, 200 secs 622577 edges, 664 markings/sec, 205 secs 640603 edges, 636 markings/sec, 210 secs 657819 edges, 601 markings/sec, 215 secs 676422 edges, 658 markings/sec, 220 secs 695520 edges, 679 markings/sec, 225 secs 714347 edges, 679 markings/sec, 230 secs 731659 edges, 698 markings/sec, 235 secs 749064 edges, 687 markings/sec, 240 secs 768175 edges, 676 markings/sec, 245 secs 786294 edges, 652 markings/sec, 250 secs 803068 edges, 693 markings/sec, 255 secs 819214 edges, 694 markings/sec, 260 secs 838139 edges, 685 markings/sec, 265 secs 855819 edges, 701 markings/sec, 270 secs 872393 edges, 710 markings/sec, 275 secs 887303 edges, 725 markings/sec, 280 secs 898812 edges, 676 markings/sec, 285 secs 910361 edges, 695 markings/sec, 290 secs 923870 edges, 661 markings/sec, 295 secs 938079 edges, 662 markings/sec, 300 secs 952614 edges, 669 markings/sec, 305 secs 967494 edges, 673 markings/sec, 310 secs 982792 edges, 682 markings/sec, 315 secs 998405 edges, 692 markings/sec, 320 secs 1014139 edges, 698 markings/sec, 325 secs 1029823 edges, 719 markings/sec, 330 secs 1045321 edges, 732 markings/sec, 335 secs 1058779 edges, 683 markings/sec, 340 secs 1072566 edges, 668 markings/sec, 345 secs 1086804 edges, 677 markings/sec, 350 secs 1102030 edges, 687 markings/sec, 355 secs 1117104 edges, 695 markings/sec, 360 secs 1132361 edges, 693 markings/sec, 365 secs 1147546 edges, 690 markings/sec, 370 secs 1162485 edges, 690 markings/sec, 375 secs 1177955 edges, 661 markings/sec, 380 secs 1193416 edges, 662 markings/sec, 385 secs 1209195 edges, 664 markings/sec, 390 secs 1224810 edges, 656 markings/sec, 395 secs 1241467 edges, 653 markings/sec, 400 secs 1258412 edges, 635 markings/sec, 405 secs 1274919 edges, 669 markings/sec, 410 secs 1292362 edges, 664 markings/sec, 415 secs 1309446 edges, 673 markings/sec, 420 secs 1325564 edges, 649 markings/sec, 425 secs 1342709 edges, 669 markings/sec, 430 secs 1360036 edges, 672 markings/sec, 435 secs 1378170 edges, 674 markings/sec, 440 secs 1396369 edges, 672 markings/sec, 445 secs 1414250 edges, 687 markings/sec, 450 secs 1433070 edges, 676 markings/sec, 455 secs 1451315 edges, 692 markings/sec, 460 secs 1469901 edges, 696 markings/sec, 465 secs 1487870 edges, 680 markings/sec, 470 secs 1506394 edges, 685 markings/sec, 475 secs 1525267 edges, 705 markings/sec, 480 secs 1543025 edges, 684 markings/sec, 485 secs 1561882 edges, 701 markings/sec, 490 secs 1580037 edges, 690 markings/sec, 495 secs 1598787 edges, 699 markings/sec, 500 secs 1617019 edges, 691 markings/sec, 505 secs 1635300 edges, 692 markings/sec, 510 secs 1654207 edges, 717 markings/sec, 515 secs 1671681 edges, 716 markings/sec, 520 secs 1683815 edges, 690 markings/sec, 525 secs 1697286 edges, 657 markings/sec, 530 secs 1712287 edges, 670 markings/sec, 535 secs 1727384 edges, 678 markings/sec, 540 secs 1742650 edges, 707 markings/sec, 545 secs 1757585 edges, 725 markings/sec, 550 secs 1772992 edges, 723 markings/sec, 555 secs 1787361 edges, 676 markings/sec, 560 secs 1803742 edges, 662 markings/sec, 565 secs 1820480 edges, 662 markings/sec, 570 secs 1837240 edges, 669 markings/sec, 575 secs 1853842 edges, 679 markings/sec, 580 secs 1870549 edges, 673 markings/sec, 585 secs 1887717 edges, 679 markings/sec, 590 secs 1904805 edges, 679 markings/sec, 595 secs 1922841 edges, 696 markings/sec, 600 secs 1940252 edges, 685 markings/sec, 605 secs 1958065 edges, 688 markings/sec, 610 secs 1975725 edges, 689 markings/sec, 615 secs 1992707 edges, 702 markings/sec, 620 secs 2010262 edges, 706 markings/sec, 625 secs 2027617 edges, 682 markings/sec, 630 secs 2045303 edges, 688 markings/sec, 635 secs 2063054 edges, 680 markings/sec, 640 secs 2080759 edges, 676 markings/sec, 645 secs 2098457 edges, 682 markings/sec, 650 secs 2116097 edges, 688 markings/sec, 655 secs 2133223 edges, 704 markings/sec, 660 secs 2146631 edges, 691 markings/sec, 665 secs 2160514 edges, 679 markings/sec, 670 secs 2175729 edges, 654 markings/sec, 675 secs 2191373 edges, 665 markings/sec, 680 secs 2207233 edges, 674 markings/sec, 685 secs 2223418 edges, 684 markings/sec, 690 secs 2239426 edges, 682 markings/sec, 695 secs 2254390 edges, 636 markings/sec, 700 secs 2272940 edges, 658 markings/sec, 705 secs 2291603 edges, 658 markings/sec, 710 secs 2310332 edges, 657 markings/sec, 715 secs 2328680 edges, 668 markings/sec, 720 secs 2345359 edges, 672 markings/sec, 725 secs 2362636 edges, 659 markings/sec, 730 secs 2381145 edges, 653 markings/sec, 735 secs 2398415 edges, 606 markings/sec, 740 secs 2415602 edges, 665 markings/sec, 745 secs 2433588 edges, 666 markings/sec, 750 secs 2452553 edges, 672 markings/sec, 755 secs 2470008 edges, 683 markings/sec, 760 secs 2489252 edges, 686 markings/sec, 765 secs 2507488 edges, 693 markings/sec, 770 secs 2526380 edges, 706 markings/sec, 775 secs 2545393 edges, 736 markings/sec, 780 secs 2563443 edges, 688 markings/sec, 785 secs 2581928 edges, 704 markings/sec, 790 secs 2600810 edges, 710 markings/sec, 795 secs 2619610 edges, 708 markings/sec, 800 secs 2638139 edges, 706 markings/sec, 805 secs 2655606 edges, 698 markings/sec, 810 secs 2672708 edges, 659 markings/sec, 815 secs 2689967 edges, 659 markings/sec, 820 secs 2707413 edges, 662 markings/sec, 825 secs 2727090 edges, 656 markings/sec, 830 secs 2745634 edges, 660 markings/sec, 835 secs 2763768 edges, 667 markings/sec, 840 secs 2783168 edges, 660 markings/sec, 845 secs 2802551 edges, 665 markings/sec, 850 secs 2822700 edges, 655 markings/sec, 855 secs 2842615 edges, 657 markings/sec, 860 secs 2862193 edges, 660 markings/sec, 865 secs 2880988 edges, 664 markings/sec, 870 secs 2900636 edges, 664 markings/sec, 875 secs 2920726 edges, 659 markings/sec, 880 secs 2940873 edges, 662 markings/sec, 885 secs 2960926 edges, 666 markings/sec, 890 secs 2981382 edges, 666 markings/sec, 895 secs 3000020 edges, 673 markings/sec, 900 secs 3019685 edges, 669 markings/sec, 905 secs 3039756 edges, 665 markings/sec, 910 secs 3060330 edges, 668 markings/sec, 915 secs 3079138 edges, 684 markings/sec, 920 secs 3098448 edges, 687 markings/sec, 925 secs 3118727 edges, 664 markings/sec, 930 secs 3138212 edges, 673 markings/sec, 935 secs 3156897 edges, 641 markings/sec, 940 secs 3177148 edges, 664 markings/sec, 945 secs 3196516 edges, 644 markings/sec, 950 secs 3217018 edges, 670 markings/sec, 955 secs 3237259 edges, 678 markings/sec, 960 secs 3257447 edges, 668 markings/sec, 965 secs 3277636 edges, 674 markings/sec, 970 secs 3297569 edges, 671 markings/sec, 975 secs 3317998 edges, 669 markings/sec, 980 secs 3338498 edges, 686 markings/sec, 985 secs 3359840 edges, 679 markings/sec, 990 secs 3381332 edges, 687 markings/sec, 995 secs 3401936 edges, 689 markings/sec, 1000 secs 3423798 edges, 703 markings/sec, 1005 secs 3444838 edges, 676 markings/sec, 1010 secs 3463781 edges, 665 markings/sec, 1015 secs 3483945 edges, 657 markings/sec, 1020 secs 3503924 edges, 670 markings/sec, 1025 secs 3523913 edges, 663 markings/sec, 1030 secs 3544553 edges, 684 markings/sec, 1035 secs 3566199 edges, 688 markings/sec, 1040 secs 3587595 edges, 677 markings/sec, 1045 secs 3609364 edges, 697 markings/sec, 1050 secs 3628539 edges, 678 markings/sec, 1055 secs 3648642 edges, 676 markings/sec, 1060 secs 3669093 edges, 696 markings/sec, 1065 secs 3690273 edges, 688 markings/sec, 1070 secs 3711504 edges, 687 markings/sec, 1075 secs 3732640 edges, 685 markings/sec, 1080 secs 3754535 edges, 706 markings/sec, 1085 secs 3773958 edges, 676 markings/sec, 1090 secs 3794188 edges, 685 markings/sec, 1095 secs 3815206 edges, 684 markings/sec, 1100 secs 3836466 edges, 689 markings/sec, 1105 secs 3857124 edges, 686 markings/sec, 1110 secs 3877204 edges, 676 markings/sec, 1115 secs 3898008 edges, 679 markings/sec, 1120 secs 3919190 edges, 685 markings/sec, 1125 secs 3940690 edges, 685 markings/sec, 1130 secs 3961149 edges, 679 markings/sec, 1135 secs 3981411 edges, 686 markings/sec, 1140 secs 4002441 edges, 692 markings/sec, 1145 secs 4024116 edges, 712 markings/sec, 1150 secs 4045581 edges, 718 markings/sec, 1155 secs 4066197 edges, 699 markings/sec, 1160 secs 4086614 edges, 710 markings/sec, 1165 secs 4103037 edges, 728 markings/sec, 1170 secs 4114833 edges, 680 markings/sec, 1175 secs 4126555 edges, 712 markings/sec, 1180 secs 4139196 edges, 704 markings/sec, 1185 secs 4151949 edges, 666 markings/sec, 1190 secs 4166401 edges, 680 markings/sec, 1195 secs 4182064 edges, 664 markings/sec, 1200 secs 4197769 edges, 670 markings/sec, 1205 secs 4213821 edges, 698 markings/sec, 1210 secs 4229738 edges, 721 markings/sec, 1215 secs 4245010 edges, 750 markings/sec, 1220 secs 4258285 edges, 724 markings/sec, 1225 secs 4271038 edges, 684 markings/sec, 1230 secs 4285731 edges, 686 markings/sec, 1235 secs 4301233 edges, 670 markings/sec, 1240 secs 4317093 edges, 679 markings/sec, 1245 secs 4333542 edges, 718 markings/sec, 1250 secs 4346870 edges, 687 markings/sec, 1255 secs 4362430 edges, 687 markings/sec, 1260 secs 4378361 edges, 690 markings/sec, 1265 secs 4394247 edges, 689 markings/sec, 1270 secs 4409807 edges, 687 markings/sec, 1275 secs 4425380 edges, 696 markings/sec, 1280 secs 4441343 edges, 658 markings/sec, 1285 secs 4459696 edges, 659 markings/sec, 1290 secs 4477106 edges, 658 markings/sec, 1295 secs 4495041 edges, 666 markings/sec, 1300 secs 4513053 edges, 662 markings/sec, 1305 secs 4531127 edges, 670 markings/sec, 1310 secs 4549208 edges, 666 markings/sec, 1315 secs 4567902 edges, 672 markings/sec, 1320 secs 4585783 edges, 672 markings/sec, 1325 secs reached - aborting unknown no unknown defined signal 1 - aborting LoLA unknown no unknown 292380 KB 2235 seconds JSON (--json) to LTLCardinality.json LTLCardinality.json 292380 KB 2235 seconds as JSON (--json) to LTLCardinality.json file LTLCardinality.json or communication problem between parent and child process run for 1335 seconds at most (--localtimelimit=0) ================ subproblem: G (F ((((1 <= p283)) AND ((p368 <= 0))))) ================ yet implemented, converting to LTL... LTL-Formula into a Büchi-Automaton G (F ((((1 <= p283)) AND ((p368 <= 0))))) length: 41 file LTLCardinality.xml Büchi automaton has 2 states compression encoder (--encoder=simplecompressed) tree store (--store=prefix) stubborn set method with deletion algorithm (--stubborn=deletion) stubborn set method with insertion algorithm(--stubborn=tarjan) 9872 edges, 695 markings/sec, 0 secs 24189 edges, 683 markings/sec, 5 secs 39480 edges, 712 markings/sec, 10 secs 54553 edges, 723 markings/sec, 15 secs 69280 edges, 688 markings/sec, 20 secs 81445 edges, 686 markings/sec, 25 secs 96652 edges, 682 markings/sec, 30 secs 111261 edges, 674 markings/sec, 35 secs 125320 edges, 680 markings/sec, 40 secs 139497 edges, 677 markings/sec, 45 secs 156459 edges, 677 markings/sec, 50 secs 175078 edges, 679 markings/sec, 55 secs 193205 edges, 683 markings/sec, 60 secs 210941 edges, 663 markings/sec, 65 secs 229040 edges, 683 markings/sec, 70 secs 247456 edges, 693 markings/sec, 75 secs 265219 edges, 706 markings/sec, 80 secs 282526 edges, 681 markings/sec, 85 secs 299149 edges, 692 markings/sec, 90 secs 319378 edges, 700 markings/sec, 95 secs 337273 edges, 697 markings/sec, 100 secs 356966 edges, 715 markings/sec, 105 secs 374819 edges, 701 markings/sec, 110 secs 393362 edges, 698 markings/sec, 115 secs 411313 edges, 693 markings/sec, 120 secs 425298 edges, 682 markings/sec, 125 secs 440750 edges, 700 markings/sec, 130 secs 457946 edges, 674 markings/sec, 135 secs 475449 edges, 677 markings/sec, 140 secs 493549 edges, 685 markings/sec, 145 secs 510961 edges, 688 markings/sec, 150 secs 527758 edges, 674 markings/sec, 155 secs 541025 edges, 611 markings/sec, 160 secs 556294 edges, 672 markings/sec, 165 secs 572730 edges, 676 markings/sec, 170 secs 589854 edges, 689 markings/sec, 175 secs 607539 edges, 690 markings/sec, 180 secs 625179 edges, 703 markings/sec, 185 secs 642697 edges, 674 markings/sec, 190 secs 661312 edges, 672 markings/sec, 195 secs 683075 edges, 668 markings/sec, 200 secs 703639 edges, 663 markings/sec, 205 secs 723359 edges, 647 markings/sec, 210 secs 738122 edges, 517 markings/sec, 215 secs 756911 edges, 674 markings/sec, 220 secs 774435 edges, 672 markings/sec, 225 secs 788645 edges, 706 markings/sec, 230 secs 805350 edges, 683 markings/sec, 235 secs 822634 edges, 681 markings/sec, 240 secs 835965 edges, 548 markings/sec, 245 secs 853502 edges, 652 markings/sec, 250 secs 873452 edges, 671 markings/sec, 255 secs 894436 edges, 673 markings/sec, 260 secs 908881 edges, 482 markings/sec, 265 secs 928006 edges, 698 markings/sec, 270 secs 946284 edges, 679 markings/sec, 275 secs 964953 edges, 678 markings/sec, 280 secs 986127 edges, 676 markings/sec, 285 secs 1002763 edges, 535 markings/sec, 290 secs 1016175 edges, 431 markings/sec, 295 secs 1032862 edges, 698 markings/sec, 300 secs 1049631 edges, 717 markings/sec, 305 secs 1066286 edges, 681 markings/sec, 310 secs 1084641 edges, 675 markings/sec, 315 secs 1102811 edges, 583 markings/sec, 320 secs 1119437 edges, 591 markings/sec, 325 secs 1138628 edges, 689 markings/sec, 330 secs 1156704 edges, 677 markings/sec, 335 secs 1174701 edges, 587 markings/sec, 340 secs 1187531 edges, 411 markings/sec, 345 secs 1204449 edges, 684 markings/sec, 350 secs 1219437 edges, 680 markings/sec, 355 secs 1236548 edges, 688 markings/sec, 360 secs 1252800 edges, 676 markings/sec, 365 secs 1268242 edges, 673 markings/sec, 370 secs 1287247 edges, 681 markings/sec, 375 secs 1304241 edges, 662 markings/sec, 380 secs 1322152 edges, 679 markings/sec, 385 secs 1343129 edges, 670 markings/sec, 390 secs 1364502 edges, 675 markings/sec, 395 secs 1383679 edges, 678 markings/sec, 400 secs 1401908 edges, 689 markings/sec, 405 secs 1421461 edges, 677 markings/sec, 410 secs 1441858 edges, 690 markings/sec, 415 secs 1461957 edges, 685 markings/sec, 420 secs 1479724 edges, 678 markings/sec, 425 secs 1498482 edges, 678 markings/sec, 430 secs 1520203 edges, 677 markings/sec, 435 secs 1541189 edges, 677 markings/sec, 440 secs 1560841 edges, 653 markings/sec, 445 secs 1578775 edges, 589 markings/sec, 450 secs 1596562 edges, 675 markings/sec, 455 secs 1615407 edges, 680 markings/sec, 460 secs 1636270 edges, 670 markings/sec, 465 secs 1654229 edges, 582 markings/sec, 470 secs 1673971 edges, 646 markings/sec, 475 secs 1694936 edges, 672 markings/sec, 480 secs 1717909 edges, 670 markings/sec, 485 secs 1742158 edges, 668 markings/sec, 490 secs 1755525 edges, 375 markings/sec, 495 secs 1773407 edges, 505 markings/sec, 500 secs 1792169 edges, 682 markings/sec, 505 secs 1812530 edges, 682 markings/sec, 510 secs 1829696 edges, 571 markings/sec, 515 secs 1849938 edges, 677 markings/sec, 520 secs 1872203 edges, 667 markings/sec, 525 secs 1890134 edges, 497 markings/sec, 530 secs 1911324 edges, 600 markings/sec, 535 secs 1926556 edges, 699 markings/sec, 540 secs 1940752 edges, 588 markings/sec, 545 secs 1956275 edges, 636 markings/sec, 550 secs 1975950 edges, 672 markings/sec, 555 secs 1994186 edges, 626 markings/sec, 560 secs 2012211 edges, 649 markings/sec, 565 secs 2030823 edges, 656 markings/sec, 570 secs 2049343 edges, 658 markings/sec, 575 secs 2068530 edges, 688 markings/sec, 580 secs 2089403 edges, 688 markings/sec, 585 secs 2112892 edges, 687 markings/sec, 590 secs 2130605 edges, 533 markings/sec, 595 secs 2145310 edges, 426 markings/sec, 600 secs 2163902 edges, 623 markings/sec, 605 secs 2186587 edges, 691 markings/sec, 610 secs 2207832 edges, 698 markings/sec, 615 secs 2222453 edges, 689 markings/sec, 620 secs 2237330 edges, 690 markings/sec, 625 secs 2254960 edges, 671 markings/sec, 630 secs 2271940 edges, 675 markings/sec, 635 secs 2288736 edges, 687 markings/sec, 640 secs 2307710 edges, 701 markings/sec, 645 secs 2325631 edges, 683 markings/sec, 650 secs 2344918 edges, 676 markings/sec, 655 secs 2366305 edges, 673 markings/sec, 660 secs 2383268 edges, 563 markings/sec, 665 secs 2402175 edges, 659 markings/sec, 670 secs 2420123 edges, 668 markings/sec, 675 secs 2438438 edges, 602 markings/sec, 680 secs 2455383 edges, 557 markings/sec, 685 secs 2471908 edges, 624 markings/sec, 690 secs 2487931 edges, 599 markings/sec, 695 secs 2507303 edges, 616 markings/sec, 700 secs 2526086 edges, 619 markings/sec, 705 secs 2545965 edges, 653 markings/sec, 710 secs 2568644 edges, 672 markings/sec, 715 secs 2584153 edges, 433 markings/sec, 720 secs 2601724 edges, 546 markings/sec, 725 secs 2622644 edges, 684 markings/sec, 730 secs 2637711 edges, 688 markings/sec, 735 secs 2655549 edges, 685 markings/sec, 740 secs 2670311 edges, 514 markings/sec, 745 secs 2686407 edges, 569 markings/sec, 750 secs 2700998 edges, 491 markings/sec, 755 secs 2716560 edges, 557 markings/sec, 760 secs 2734822 edges, 721 markings/sec, 765 secs 2753961 edges, 686 markings/sec, 770 secs 2774260 edges, 692 markings/sec, 775 secs 2791915 edges, 622 markings/sec, 780 secs 2808859 edges, 588 markings/sec, 785 secs 2827857 edges, 563 markings/sec, 790 secs 2845503 edges, 538 markings/sec, 795 secs 2862485 edges, 514 markings/sec, 800 secs 2878239 edges, 451 markings/sec, 805 secs 2896541 edges, 548 markings/sec, 810 secs 2914416 edges, 538 markings/sec, 815 secs 2933137 edges, 621 markings/sec, 820 secs 2950940 edges, 569 markings/sec, 825 secs 2968346 edges, 506 markings/sec, 830 secs 2987519 edges, 656 markings/sec, 835 secs 3003992 edges, 563 markings/sec, 840 secs 3020303 edges, 682 markings/sec, 845 secs 3037008 edges, 632 markings/sec, 850 secs 3052974 edges, 556 markings/sec, 855 secs 3067371 edges, 503 markings/sec, 860 secs 3085134 edges, 676 markings/sec, 865 secs 3104215 edges, 672 markings/sec, 870 secs 3121903 edges, 608 markings/sec, 875 secs 3140713 edges, 558 markings/sec, 880 secs 3155805 edges, 447 markings/sec, 885 secs 3173469 edges, 529 markings/sec, 890 secs 3191252 edges, 618 markings/sec, 895 secs 3206641 edges, 453 markings/sec, 900 secs 3223622 edges, 573 markings/sec, 905 secs 3239568 edges, 582 markings/sec, 910 secs 3258217 edges, 684 markings/sec, 915 secs 3276485 edges, 642 markings/sec, 920 secs 3296825 edges, 655 markings/sec, 925 secs 3317018 edges, 649 markings/sec, 930 secs 3336132 edges, 642 markings/sec, 935 secs 3355519 edges, 601 markings/sec, 940 secs 3373156 edges, 643 markings/sec, 945 secs 3391769 edges, 697 markings/sec, 950 secs 3411354 edges, 703 markings/sec, 955 secs 3432109 edges, 684 markings/sec, 960 secs 3452536 edges, 697 markings/sec, 965 secs 3470195 edges, 618 markings/sec, 970 secs 3488595 edges, 582 markings/sec, 975 secs 3504869 edges, 554 markings/sec, 980 secs 3522474 edges, 556 markings/sec, 985 secs 3540785 edges, 575 markings/sec, 990 secs 3558355 edges, 710 markings/sec, 995 secs 3578286 edges, 697 markings/sec, 1000 secs 3597370 edges, 688 markings/sec, 1005 secs 3615175 edges, 599 markings/sec, 1010 secs 3632996 edges, 577 markings/sec, 1015 secs 3650181 edges, 669 markings/sec, 1020 secs 3667776 edges, 644 markings/sec, 1025 secs 3686974 edges, 630 markings/sec, 1030 secs 3704171 edges, 576 markings/sec, 1035 secs 3720480 edges, 547 markings/sec, 1040 secs 3735063 edges, 660 markings/sec, 1045 secs 3750853 edges, 716 markings/sec, 1050 secs 3767155 edges, 631 markings/sec, 1055 secs 3782881 edges, 678 markings/sec, 1060 secs 3798955 edges, 678 markings/sec, 1065 secs 3817868 edges, 681 markings/sec, 1070 secs 3835820 edges, 692 markings/sec, 1075 secs 3852762 edges, 633 markings/sec, 1080 secs 3873753 edges, 659 markings/sec, 1085 secs 3893353 edges, 642 markings/sec, 1090 secs 3912342 edges, 665 markings/sec, 1095 secs 3930427 edges, 700 markings/sec, 1100 secs 3949904 edges, 668 markings/sec, 1105 secs 3970237 edges, 686 markings/sec, 1110 secs 3989867 edges, 678 markings/sec, 1115 secs 4007873 edges, 680 markings/sec, 1120 secs 4026818 edges, 678 markings/sec, 1125 secs 4048356 edges, 675 markings/sec, 1130 secs 4069266 edges, 671 markings/sec, 1135 secs 4088524 edges, 630 markings/sec, 1140 secs 4105245 edges, 542 markings/sec, 1145 secs 4123189 edges, 677 markings/sec, 1150 secs 4141920 edges, 680 markings/sec, 1155 secs 4162976 edges, 673 markings/sec, 1160 secs 4179343 edges, 526 markings/sec, 1165 secs 4195317 edges, 523 markings/sec, 1170 secs 4216115 edges, 676 markings/sec, 1175 secs 4238263 edges, 676 markings/sec, 1180 secs 4262592 edges, 671 markings/sec, 1185 secs 4279435 edges, 470 markings/sec, 1190 secs 4289642 edges, 278 markings/sec, 1195 secs 4310747 edges, 674 markings/sec, 1200 secs 4329566 edges, 683 markings/sec, 1205 secs 4347698 edges, 580 markings/sec, 1210 secs 4366415 edges, 614 markings/sec, 1215 secs 4387010 edges, 670 markings/sec, 1220 secs 4409415 edges, 643 markings/sec, 1225 secs 4421464 edges, 330 markings/sec, 1230 secs 4442361 edges, 648 markings/sec, 1235 secs 4458070 edges, 610 markings/sec, 1240 secs 4476227 edges, 636 markings/sec, 1245 secs 4494506 edges, 599 markings/sec, 1250 secs 4512625 edges, 634 markings/sec, 1255 secs 4531406 edges, 628 markings/sec, 1260 secs 4552984 edges, 672 markings/sec, 1265 secs 4572381 edges, 530 markings/sec, 1270 secs 4588970 edges, 453 markings/sec, 1275 secs 4608293 edges, 655 markings/sec, 1280 secs 4625246 edges, 655 markings/sec, 1285 secs 4644156 edges, 678 markings/sec, 1290 secs 4665430 edges, 680 markings/sec, 1295 secs 4684016 edges, 618 markings/sec, 1300 secs 4702526 edges, 615 markings/sec, 1305 secs 4722302 edges, 646 markings/sec, 1310 secs 4743519 edges, 671 markings/sec, 1315 secs 4766884 edges, 666 markings/sec, 1320 secs 4791013 edges, 667 markings/sec, 1325 secs - aborting unknown no unknown User defined signal 1 - aborting LoLA unknown no unknown unknown no unknown 355724 KB 3570 seconds JSON (--json) to LTLCardinality.json LTLCardinality.json or communication problem between parent and child process ================ 228584 KB G ((F ((X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317))))) AND (X (F ((((1 <= p220)) AND ((p277 <= 0))))) OR (X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317)))))))lola: 3570 seconds =========lola: JSON (--json) LTL-Formula into a Büchi-Automaton LTLCardinality.json LTLCardinality.json G ((F ((X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317))))) AND (X (F ((((1 <= p220)) AND ((p277 <= 0))))) OR (X (F (((1 <= p194)))) AND (((p417 <= 0)) OR ((1 <= p317))))))) length: 184 file LTLCardinality.xml defined signal 1 - aborting LoLA after 3600 seconds

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="TokenRing-PT-020"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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 gold2020"
echo " Input is TokenRing-PT-020, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r284-smll-162123894300053"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-PT-020.tgz
mv TokenRing-PT-020 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;