Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r299-tall-167873953500848.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is QuasiCertifProtocol-COL-28, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953500848
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 6.1K Feb 26 01:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 01:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 01:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 01:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 01:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 26 01:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 01:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 01:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 120K Mar 5 18:23 model.pnml

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

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679557818956

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=QuasiCertifProtocol-COL-28
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 07:50:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 07:50:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 07:50:20] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-23 07:50:20] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-23 07:50:21] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 748 ms
[2023-03-23 07:50:21] [INFO ] Imported 30 HL places and 26 HL transitions for a total of 2998 PT places and 446.0 transition bindings in 17 ms.
[2023-03-23 07:50:21] [INFO ] Unfolded HLPN to a Petri net with 2998 places and 446 transitions 6489 arcs in 32 ms.
[2023-03-23 07:50:21] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-23 07:50:21] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2998 places, 446 transitions and 6489 arcs took 16 ms.
Total runtime 904 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (COL), instance 28
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 2998 places, 446 transitions, 6489 arcs.
AT ITER 0 NEW BEST:: SOT 744224 SOS 587988 HAS SOPS 587988 HAS SOUS 481852 HAS SOUPS 481852 WITH SCORE 482439.988
AT ITER 40 NEW BEST:: SOT 744224 SOS 587975 HAS SOPS 587975 HAS SOUS 481839 HAS SOUPS 481839 WITH SCORE 482426.975
AT ITER 92 NEW BEST:: SOT 744918 SOS 587916 HAS SOPS 587916 HAS SOUS 480928 HAS SOUPS 480928 WITH SCORE 481515.916
AT ITER 118 NEW BEST:: SOT 744918 SOS 587564 HAS SOPS 587564 HAS SOUS 480604 HAS SOUPS 480604 WITH SCORE 481191.564
AT ITER 141 NEW BEST:: SOT 746367 SOS 585784 HAS SOPS 585784 HAS SOUS 480516 HAS SOUPS 480516 WITH SCORE 481101.784
AT ITER 241 NEW BEST:: SOT 746367 SOS 585352 HAS SOPS 585352 HAS SOUS 480112 HAS SOUPS 480112 WITH SCORE 480697.352
AT ITER 259 NEW BEST:: SOT 746338 SOS 585295 HAS SOPS 585295 HAS SOUS 479978 HAS SOUPS 479978 WITH SCORE 480563.295
AT ITER 288 NEW BEST:: SOT 746338 SOS 585090 HAS SOPS 585090 HAS SOUS 479587 HAS SOUPS 479587 WITH SCORE 480172.09
AT ITER 451 NEW BEST:: SOT 747127 SOS 584691 HAS SOPS 584691 HAS SOUS 478949 HAS SOUPS 478949 WITH SCORE 479533.691
AT ITER 472 NEW BEST:: SOT 747127 SOS 584670 HAS SOPS 584670 HAS SOUS 478928 HAS SOUPS 478928 WITH SCORE 479512.67
AT ITER 477 NEW BEST:: SOT 747127 SOS 583596 HAS SOPS 583596 HAS SOUS 478486 HAS SOUPS 478486 WITH SCORE 479069.596
AT ITER 565 NEW BEST:: SOT 747127 SOS 583590 HAS SOPS 583590 HAS SOUS 478480 HAS SOUPS 478480 WITH SCORE 479063.59
AT ITER 604 NEW BEST:: SOT 747127 SOS 582550 HAS SOPS 582550 HAS SOUS 477934 HAS SOUPS 477934 WITH SCORE 478516.55
AT ITER 676 NEW BEST:: SOT 747127 SOS 579655 HAS SOPS 579655 HAS SOUS 476490 HAS SOUPS 476490 WITH SCORE 477069.655
AT ITER 711 NEW BEST:: SOT 747266 SOS 578536 HAS SOPS 578536 HAS SOUS 474587 HAS SOUPS 474587 WITH SCORE 475165.536
AT ITER 740 NEW BEST:: SOT 747266 SOS 578708 HAS SOPS 578708 HAS SOUS 474155 HAS SOUPS 474155 WITH SCORE 474733.708
AT ITER 746 NEW BEST:: SOT 747265 SOS 578707 HAS SOPS 578707 HAS SOUS 474154 HAS SOUPS 474154 WITH SCORE 474732.707
AT ITER 782 NEW BEST:: SOT 747265 SOS 576361 HAS SOPS 576361 HAS SOUS 471836 HAS SOUPS 471836 WITH SCORE 472412.361
AT ITER 865 NEW BEST:: SOT 747265 SOS 576317 HAS SOPS 576317 HAS SOUS 471326 HAS SOUPS 471326 WITH SCORE 471902.317
AT ITER 904 NEW BEST:: SOT 747265 SOS 576201 HAS SOPS 576201 HAS SOUS 471210 HAS SOUPS 471210 WITH SCORE 471786.201
AT ITER 943 NEW BEST:: SOT 747345 SOS 572169 HAS SOPS 572169 HAS SOUS 468625 HAS SOUPS 468625 WITH SCORE 469197.169
AT ITER 982 NEW BEST:: SOT 748607 SOS 572168 HAS SOPS 572168 HAS SOUS 468624 HAS SOUPS 468624 WITH SCORE 469196.168
AT ITER 1003 NEW BEST:: SOT 749186 SOS 571729 HAS SOPS 571729 HAS SOUS 467831 HAS SOUPS 467831 WITH SCORE 468402.729
AT ITER 1006 NEW BEST:: SOT 749157 SOS 571529 HAS SOPS 571529 HAS SOUS 467659 HAS SOUPS 467659 WITH SCORE 468230.529
AT ITER 1040 NEW BEST:: SOT 749734 SOS 571500 HAS SOPS 571500 HAS SOUS 467630 HAS SOUPS 467630 WITH SCORE 468201.5
AT ITER 1052 NEW BEST:: SOT 751153 SOS 569656 HAS SOPS 569656 HAS SOUS 467262 HAS SOUPS 467262 WITH SCORE 467831.656
AT ITER 1061 NEW BEST:: SOT 751583 SOS 569521 HAS SOPS 569521 HAS SOUS 467127 HAS SOUPS 467127 WITH SCORE 467696.521
AT ITER 1063 NEW BEST:: SOT 751583 SOS 568599 HAS SOPS 568599 HAS SOUS 466205 HAS SOUPS 466205 WITH SCORE 466773.599
AT ITER 1067 NEW BEST:: SOT 751773 SOS 567445 HAS SOPS 567445 HAS SOUS 464267 HAS SOUPS 464267 WITH SCORE 464834.445
AT ITER 1088 NEW BEST:: SOT 751772 SOS 567444 HAS SOPS 567444 HAS SOUS 464266 HAS SOUPS 464266 WITH SCORE 464833.444
AT ITER 1135 NEW BEST:: SOT 752323 SOS 564506 HAS SOPS 564506 HAS SOUS 463158 HAS SOUPS 463158 WITH SCORE 463722.506
AT ITER 1185 NEW BEST:: SOT 753150 SOS 564123 HAS SOPS 564123 HAS SOUS 463129 HAS SOUPS 463129 WITH SCORE 463693.123
AT ITER 1221 NEW BEST:: SOT 753121 SOS 563964 HAS SOPS 563964 HAS SOUS 463035 HAS SOUPS 463035 WITH SCORE 463598.964
AT ITER 1359 NEW BEST:: SOT 753121 SOS 562076 HAS SOPS 562076 HAS SOUS 462145 HAS SOUPS 462145 WITH SCORE 462707.076
AT ITER 1378 NEW BEST:: SOT 753121 SOS 559369 HAS SOPS 559369 HAS SOUS 459466 HAS SOUPS 459466 WITH SCORE 460025.369
AT ITER 1395 NEW BEST:: SOT 753175 SOS 559369 HAS SOPS 559369 HAS SOUS 459412 HAS SOUPS 459412 WITH SCORE 459971.369
AT ITER 1428 NEW BEST:: SOT 753175 SOS 559368 HAS SOPS 559368 HAS SOUS 459411 HAS SOUPS 459411 WITH SCORE 459970.368
AT ITER 1494 NEW BEST:: SOT 753777 SOS 558535 HAS SOPS 558535 HAS SOUS 458059 HAS SOUPS 458059 WITH SCORE 458617.535
AT ITER 1540 NEW BEST:: SOT 753777 SOS 556609 HAS SOPS 556609 HAS SOUS 457159 HAS SOUPS 457159 WITH SCORE 457715.609
AT ITER 1569 NEW BEST:: SOT 754421 SOS 556087 HAS SOPS 556087 HAS SOUS 456200 HAS SOUPS 456200 WITH SCORE 456756.087
AT ITER 1634 NEW BEST:: SOT 754392 SOS 555873 HAS SOPS 555873 HAS SOUS 456155 HAS SOUPS 456155 WITH SCORE 456710.873
AT ITER 1636 NEW BEST:: SOT 754392 SOS 555577 HAS SOPS 555577 HAS SOUS 455859 HAS SOUPS 455859 WITH SCORE 456414.577
AT ITER 1673 NEW BEST:: SOT 754392 SOS 555156 HAS SOPS 555156 HAS SOUS 455588 HAS SOUPS 455588 WITH SCORE 456143.156
AT ITER 1855 NEW BEST:: SOT 755234 SOS 555127 HAS SOPS 555127 HAS SOUS 455559 HAS SOUPS 455559 WITH SCORE 456114.127
AT ITER 1898 NEW BEST:: SOT 755234 SOS 554969 HAS SOPS 554969 HAS SOUS 455437 HAS SOUPS 455437 WITH SCORE 455991.969
AT ITER 1937 NEW BEST:: SOT 755234 SOS 554139 HAS SOPS 554139 HAS SOUS 454567 HAS SOUPS 454567 WITH SCORE 455121.139
AT ITER 2030 NEW BEST:: SOT 755234 SOS 554138 HAS SOPS 554138 HAS SOUS 454566 HAS SOUPS 454566 WITH SCORE 455120.138
AT ITER 2079 NEW BEST:: SOT 755234 SOS 552965 HAS SOPS 552965 HAS SOUS 453926 HAS SOUPS 453926 WITH SCORE 454478.965
AT ITER 2085 NEW BEST:: SOT 755960 SOS 552404 HAS SOPS 552404 HAS SOUS 452999 HAS SOUPS 452999 WITH SCORE 453551.404
AT ITER 2231 NEW BEST:: SOT 755959 SOS 551150 HAS SOPS 551150 HAS SOUS 451773 HAS SOUPS 451773 WITH SCORE 452324.15
AT ITER 2301 NEW BEST:: SOT 755959 SOS 549391 HAS SOPS 549391 HAS SOUS 450903 HAS SOUPS 450903 WITH SCORE 451452.391
AT ITER 2323 NEW BEST:: SOT 755959 SOS 548959 HAS SOPS 548959 HAS SOUS 450471 HAS SOUPS 450471 WITH SCORE 451019.959
AT ITER 2392 NEW BEST:: SOT 755959 SOS 548927 HAS SOPS 548927 HAS SOUS 450060 HAS SOUPS 450060 WITH SCORE 450608.927
AT ITER 2422 NEW BEST:: SOT 756754 SOS 548887 HAS SOPS 548887 HAS SOUS 450060 HAS SOUPS 450060 WITH SCORE 450608.887
AT ITER 2459 NEW BEST:: SOT 757021 SOS 546046 HAS SOPS 546046 HAS SOUS 449843 HAS SOUPS 449843 WITH SCORE 450389.046
AT ITER 2668 NEW BEST:: SOT 757358 SOS 545709 HAS SOPS 545709 HAS SOUS 449843 HAS SOUPS 449843 WITH SCORE 450388.709
AT ITER 2673 NEW BEST:: SOT 757358 SOS 497870 HAS SOPS 497870 HAS SOUS 449409 HAS SOUPS 449409 WITH SCORE 449906.87
AT ITER 2686 NEW BEST:: SOT 758418 SOS 497462 HAS SOPS 497462 HAS SOUS 449380 HAS SOUPS 449380 WITH SCORE 449877.462
AT ITER 2690 NEW BEST:: SOT 759473 SOS 496995 HAS SOPS 496995 HAS SOUS 449351 HAS SOUPS 449351 WITH SCORE 449847.995
AT ITER 2706 NEW BEST:: SOT 759473 SOS 496868 HAS SOPS 496868 HAS SOUS 449224 HAS SOUPS 449224 WITH SCORE 449720.868
AT ITER 2742 NEW BEST:: SOT 759774 SOS 496839 HAS SOPS 496839 HAS SOUS 449195 HAS SOUPS 449195 WITH SCORE 449691.839
AT ITER 2759 NEW BEST:: SOT 759774 SOS 496838 HAS SOPS 496838 HAS SOUS 449194 HAS SOUPS 449194 WITH SCORE 449690.838
AT ITER 2770 NEW BEST:: SOT 759774 SOS 496819 HAS SOPS 496819 HAS SOUS 449175 HAS SOUPS 449175 WITH SCORE 449671.819
AT ITER 2929 NEW BEST:: SOT 759774 SOS 495211 HAS SOPS 495211 HAS SOUS 448444 HAS SOUPS 448444 WITH SCORE 448939.211
AT ITER 3000 NEW BEST:: SOT 759909 SOS 494717 HAS SOPS 494717 HAS SOUS 447540 HAS SOUPS 447540 WITH SCORE 448034.717
AT ITER 3010 NEW BEST:: SOT 759917 SOS 494678 HAS SOPS 494678 HAS SOUS 447488 HAS SOUPS 447488 WITH SCORE 447982.678
AT ITER 3029 NEW BEST:: SOT 760515 SOS 494674 HAS SOPS 494674 HAS SOUS 447484 HAS SOUPS 447484 WITH SCORE 447978.674
AT ITER 3109 NEW BEST:: SOT 760514 SOS 494657 HAS SOPS 494657 HAS SOUS 447467 HAS SOUPS 447467 WITH SCORE 447961.657
AT ITER 3122 NEW BEST:: SOT 760514 SOS 493247 HAS SOPS 493247 HAS SOUS 446527 HAS SOUPS 446527 WITH SCORE 447020.247
AT ITER 3303 NEW BEST:: SOT 760750 SOS 493218 HAS SOPS 493218 HAS SOUS 446498 HAS SOUPS 446498 WITH SCORE 446991.218
AT ITER 3306 NEW BEST:: SOT 760753 SOS 490616 HAS SOPS 490616 HAS SOUS 444634 HAS SOUPS 444634 WITH SCORE 445124.616
AT ITER 3316 NEW BEST:: SOT 760818 SOS 489957 HAS SOPS 489957 HAS SOUS 443257 HAS SOUPS 443257 WITH SCORE 443746.957
AT ITER 3335 NEW BEST:: SOT 761020 SOS 489956 HAS SOPS 489956 HAS SOUS 443256 HAS SOUPS 443256 WITH SCORE 443745.956
AT ITER 3431 NEW BEST:: SOT 761020 SOS 489955 HAS SOPS 489955 HAS SOUS 443255 HAS SOUPS 443255 WITH SCORE 443744.955
AT ITER 3491 NEW BEST:: SOT 761020 SOS 489899 HAS SOPS 489899 HAS SOUS 443199 HAS SOUPS 443199 WITH SCORE 443688.899
AT ITER 3564 NEW BEST:: SOT 761020 SOS 489899 HAS SOPS 489899 HAS SOUS 443198 HAS SOUPS 443198 WITH SCORE 443687.899
AT ITER 3620 NEW BEST:: SOT 761020 SOS 489884 HAS SOPS 489884 HAS SOUS 443156 HAS SOUPS 443156 WITH SCORE 443645.884
AT ITER 3628 NEW BEST:: SOT 761020 SOS 489130 HAS SOPS 489130 HAS SOUS 442426 HAS SOUPS 442426 WITH SCORE 442915.13
AT ITER 3719 NEW BEST:: SOT 761170 SOS 487431 HAS SOPS 487431 HAS SOUS 442390 HAS SOUPS 442390 WITH SCORE 442877.431
AT ITER 3783 NEW BEST:: SOT 761142 SOS 487403 HAS SOPS 487403 HAS SOUS 442362 HAS SOUPS 442362 WITH SCORE 442849.403
AT ITER 3830 NEW BEST:: SOT 761142 SOS 486417 HAS SOPS 486417 HAS SOUS 442343 HAS SOUPS 442343 WITH SCORE 442829.417
AT ITER 3875 NEW BEST:: SOT 761141 SOS 486416 HAS SOPS 486416 HAS SOUS 442342 HAS SOUPS 442342 WITH SCORE 442828.416
AT ITER 3904 NEW BEST:: SOT 761141 SOS 486204 HAS SOPS 486204 HAS SOUS 442303 HAS SOUPS 442303 WITH SCORE 442789.204
AT ITER 3953 NEW BEST:: SOT 761140 SOS 486203 HAS SOPS 486203 HAS SOUS 442302 HAS SOUPS 442302 WITH SCORE 442788.203
AT ITER 4112 NEW BEST:: SOT 761139 SOS 486202 HAS SOPS 486202 HAS SOUS 442301 HAS SOUPS 442301 WITH SCORE 442787.202
AT ITER 4117 NEW BEST:: SOT 761138 SOS 486201 HAS SOPS 486201 HAS SOUS 442300 HAS SOUPS 442300 WITH SCORE 442786.201
AT ITER 4199 NEW BEST:: SOT 761138 SOS 485720 HAS SOPS 485720 HAS SOUS 441819 HAS SOUPS 441819 WITH SCORE 442304.72
AT ITER 4265 NEW BEST:: SOT 762402 SOS 484056 HAS SOPS 484056 HAS SOUS 441475 HAS SOUPS 441475 WITH SCORE 441959.056
AT ITER 4286 NEW BEST:: SOT 762402 SOS 484015 HAS SOPS 484015 HAS SOUS 441434 HAS SOUPS 441434 WITH SCORE 441918.015
AT ITER 4330 NEW BEST:: SOT 762402 SOS 483994 HAS SOPS 483994 HAS SOUS 441407 HAS SOUPS 441407 WITH SCORE 441890.994
AT ITER 4338 NEW BEST:: SOT 762402 SOS 483394 HAS SOPS 483394 HAS SOUS 441107 HAS SOUPS 441107 WITH SCORE 441590.394
AT ITER 4363 NEW BEST:: SOT 762377 SOS 483384 HAS SOPS 483384 HAS SOUS 441097 HAS SOUPS 441097 WITH SCORE 441580.384
AT ITER 4433 NEW BEST:: SOT 762376 SOS 483383 HAS SOPS 483383 HAS SOUS 441096 HAS SOUPS 441096 WITH SCORE 441579.383
AT ITER 4456 NEW BEST:: SOT 762376 SOS 483380 HAS SOPS 483380 HAS SOUS 441062 HAS SOUPS 441062 WITH SCORE 441545.38
AT ITER 4526 NEW BEST:: SOT 763018 SOS 483831 HAS SOPS 483831 HAS SOUS 441040 HAS SOUPS 441040 WITH SCORE 441523.831
AT ITER 4534 NEW BEST:: SOT 763236 SOS 480850 HAS SOPS 480850 HAS SOUS 439059 HAS SOUPS 439059 WITH SCORE 439539.85
AT ITER 4537 NEW BEST:: SOT 763236 SOS 480266 HAS SOPS 480266 HAS SOUS 438767 HAS SOUPS 438767 WITH SCORE 439247.266
AT ITER 4563 NEW BEST:: SOT 763236 SOS 480230 HAS SOPS 480230 HAS SOUS 438749 HAS SOUPS 438749 WITH SCORE 439229.23
AT ITER 4667 NEW BEST:: SOT 763236 SOS 478426 HAS SOPS 478426 HAS SOUS 437867 HAS SOUPS 437867 WITH SCORE 438345.426
AT ITER 4672 NEW BEST:: SOT 763236 SOS 477550 HAS SOPS 477550 HAS SOUS 436991 HAS SOUPS 436991 WITH SCORE 437468.55
AT ITER 4673 NEW BEST:: SOT 763235 SOS 477549 HAS SOPS 477549 HAS SOUS 436990 HAS SOUPS 436990 WITH SCORE 437467.549
AT ITER 4708 NEW BEST:: SOT 763235 SOS 476749 HAS SOPS 476749 HAS SOUS 436590 HAS SOUPS 436590 WITH SCORE 437066.749
AT ITER 4750 NEW BEST:: SOT 763235 SOS 475529 HAS SOPS 475529 HAS SOUS 435939 HAS SOUPS 435939 WITH SCORE 436414.529
AT ITER 4789 NEW BEST:: SOT 763459 SOS 475423 HAS SOPS 475423 HAS SOUS 435910 HAS SOUPS 435910 WITH SCORE 436385.423
AT ITER 4858 NEW BEST:: SOT 763459 SOS 475422 HAS SOPS 475422 HAS SOUS 435909 HAS SOUPS 435909 WITH SCORE 436384.422
AT ITER 4859 NEW BEST:: SOT 763459 SOS 474712 HAS SOPS 474712 HAS SOUS 435554 HAS SOUPS 435554 WITH SCORE 436028.712
AT ITER 4927 NEW BEST:: SOT 763459 SOS 474386 HAS SOPS 474386 HAS SOUS 435228 HAS SOUPS 435228 WITH SCORE 435702.386
AT ITER 4932 NEW BEST:: SOT 763667 SOS 474357 HAS SOPS 474357 HAS SOUS 435199 HAS SOUPS 435199 WITH SCORE 435673.357
AT ITER 4977 NEW BEST:: SOT 763667 SOS 472609 HAS SOPS 472609 HAS SOUS 434762 HAS SOUPS 434762 WITH SCORE 435234.609
AT ITER 5176 NEW BEST:: SOT 763667 SOS 472563 HAS SOPS 472563 HAS SOUS 434586 HAS SOUPS 434586 WITH SCORE 435058.563
AT ITER 5344 NEW BEST:: SOT 763667 SOS 472558 HAS SOPS 472558 HAS SOUS 434581 HAS SOUPS 434581 WITH SCORE 435053.558
AT ITER 5361 NEW BEST:: SOT 763667 SOS 472464 HAS SOPS 472464 HAS SOUS 434487 HAS SOUPS 434487 WITH SCORE 434959.464
AT ITER 5492 NEW BEST:: SOT 763863 SOS 472107 HAS SOPS 472107 HAS SOUS 434130 HAS SOUPS 434130 WITH SCORE 434602.107
AT ITER 5554 NEW BEST:: SOT 764199 SOS 471619 HAS SOPS 471619 HAS SOUS 433645 HAS SOUPS 433645 WITH SCORE 434116.619
AT ITER 5565 NEW BEST:: SOT 764198 SOS 471618 HAS SOPS 471618 HAS SOUS 433644 HAS SOUPS 433644 WITH SCORE 434115.618
AT ITER 5603 NEW BEST:: SOT 764557 SOS 470535 HAS SOPS 470535 HAS SOUS 432593 HAS SOUPS 432593 WITH SCORE 433063.535
AT ITER 5619 NEW BEST:: SOT 764801 SOS 469393 HAS SOPS 469393 HAS SOUS 432144 HAS SOUPS 432144 WITH SCORE 432613.393
AT ITER 5670 NEW BEST:: SOT 764801 SOS 469380 HAS SOPS 469380 HAS SOUS 432131 HAS SOUPS 432131 WITH SCORE 432600.38
AT ITER 5735 NEW BEST:: SOT 764799 SOS 469378 HAS SOPS 469378 HAS SOUS 432129 HAS SOUPS 432129 WITH SCORE 432598.378
AT ITER 5826 NEW BEST:: SOT 764799 SOS 468488 HAS SOPS 468488 HAS SOUS 431824 HAS SOUPS 431824 WITH SCORE 432292.488
AT ITER 5855 NEW BEST:: SOT 764799 SOS 468505 HAS SOPS 468505 HAS SOUS 431493 HAS SOUPS 431493 WITH SCORE 431961.505
AT ITER 5940 NEW BEST:: SOT 764799 SOS 468324 HAS SOPS 468324 HAS SOUS 431312 HAS SOUPS 431312 WITH SCORE 431780.324
AT ITER 6033 NEW BEST:: SOT 764799 SOS 468248 HAS SOPS 468248 HAS SOUS 431295 HAS SOUPS 431295 WITH SCORE 431763.248
AT ITER 6055 NEW BEST:: SOT 764799 SOS 468235 HAS SOPS 468235 HAS SOUS 431282 HAS SOUPS 431282 WITH SCORE 431750.235
AT ITER 6125 NEW BEST:: SOT 764755 SOS 468191 HAS SOPS 468191 HAS SOUS 431226 HAS SOUPS 431226 WITH SCORE 431694.191
AT ITER 6159 NEW BEST:: SOT 764755 SOS 468177 HAS SOPS 468177 HAS SOUS 431212 HAS SOUPS 431212 WITH SCORE 431680.177
AT ITER 6163 NEW BEST:: SOT 764755 SOS 468177 HAS SOPS 468177 HAS SOUS 431211 HAS SOUPS 431211 WITH SCORE 431679.177
AT ITER 6282 NEW BEST:: SOT 764713 SOS 468135 HAS SOPS 468135 HAS SOUS 431169 HAS SOUPS 431169 WITH SCORE 431637.135
AT ITER 6293 NEW BEST:: SOT 765280 SOS 468097 HAS SOPS 468097 HAS SOUS 431136 HAS SOUPS 431136 WITH SCORE 431604.097
AT ITER 6310 NEW BEST:: SOT 765280 SOS 467674 HAS SOPS 467674 HAS SOUS 430713 HAS SOUPS 430713 WITH SCORE 431180.674
AT ITER 6350 NEW BEST:: SOT 765280 SOS 467674 HAS SOPS 467674 HAS SOUS 430693 HAS SOUPS 430693 WITH SCORE 431160.674
AT ITER 6401 NEW BEST:: SOT 765280 SOS 467433 HAS SOPS 467433 HAS SOUS 430340 HAS SOUPS 430340 WITH SCORE 430807.433
AT ITER 6423 NEW BEST:: SOT 765280 SOS 465996 HAS SOPS 465996 HAS SOUS 429715 HAS SOUPS 429715 WITH SCORE 430180.996
AT ITER 6427 NEW BEST:: SOT 765514 SOS 465028 HAS SOPS 465028 HAS SOUS 429302 HAS SOUPS 429302 WITH SCORE 429767.028
AT ITER 6446 NEW BEST:: SOT 765514 SOS 464999 HAS SOPS 464999 HAS SOUS 429273 HAS SOUPS 429273 WITH SCORE 429737.999
AT ITER 6552 NEW BEST:: SOT 765514 SOS 464999 HAS SOPS 464999 HAS SOUS 428889 HAS SOUPS 428889 WITH SCORE 429353.999
AT ITER 6583 NEW BEST:: SOT 765514 SOS 464085 HAS SOPS 464085 HAS SOUS 428406 HAS SOUPS 428406 WITH SCORE 428870.085
AT ITER 6603 NEW BEST:: SOT 765651 SOS 462593 HAS SOPS 462593 HAS SOUS 427998 HAS SOUPS 427998 WITH SCORE 428460.593
AT ITER 6615 NEW BEST:: SOT 765650 SOS 462592 HAS SOPS 462592 HAS SOUS 427997 HAS SOUPS 427997 WITH SCORE 428459.592
AT ITER 6681 NEW BEST:: SOT 766669 SOS 462591 HAS SOPS 462591 HAS SOUS 427996 HAS SOUPS 427996 WITH SCORE 428458.591
AT ITER 6768 NEW BEST:: SOT 766915 SOS 462837 HAS SOPS 462837 HAS SOUS 427535 HAS SOUPS 427535 WITH SCORE 427997.837
AT ITER 6795 NEW BEST:: SOT 766915 SOS 462830 HAS SOPS 462830 HAS SOUS 427528 HAS SOUPS 427528 WITH SCORE 427990.83
AT ITER 6816 NEW BEST:: SOT 767499 SOS 462622 HAS SOPS 462622 HAS SOUS 427320 HAS SOUPS 427320 WITH SCORE 427782.622
AT ITER 6817 NEW BEST:: SOT 767835 SOS 461550 HAS SOPS 461550 HAS SOUS 426952 HAS SOUPS 426952 WITH SCORE 427413.55
AT ITER 6965 NEW BEST:: SOT 767835 SOS 461084 HAS SOPS 461084 HAS SOUS 426700 HAS SOUPS 426700 WITH SCORE 427161.084
AT ITER 7165 NEW BEST:: SOT 767834 SOS 461083 HAS SOPS 461083 HAS SOUS 426699 HAS SOUPS 426699 WITH SCORE 427160.083
AT ITER 7191 NEW BEST:: SOT 768861 SOS 461018 HAS SOPS 461018 HAS SOUS 426634 HAS SOUPS 426634 WITH SCORE 427095.018
AT ITER 7283 NEW BEST:: SOT 770601 SOS 459963 HAS SOPS 459963 HAS SOUS 426605 HAS SOUPS 426605 WITH SCORE 427064.963
AT ITER 7301 NEW BEST:: SOT 770601 SOS 459880 HAS SOPS 459880 HAS SOUS 426522 HAS SOUPS 426522 WITH SCORE 426981.88
AT ITER 7311 NEW BEST:: SOT 770601 SOS 459746 HAS SOPS 459746 HAS SOUS 426455 HAS SOUPS 426455 WITH SCORE 426914.746
AT ITER 7324 NEW BEST:: SOT 770600 SOS 459745 HAS SOPS 459745 HAS SOUS 426454 HAS SOUPS 426454 WITH SCORE 426913.745
AT ITER 7466 NEW BEST:: SOT 770599 SOS 459744 HAS SOPS 459744 HAS SOUS 426453 HAS SOUPS 426453 WITH SCORE 426912.744
AT ITER 7525 NEW BEST:: SOT 770599 SOS 459738 HAS SOPS 459738 HAS SOUS 426447 HAS SOUPS 426447 WITH SCORE 426906.738
AT ITER 7547 NEW BEST:: SOT 770599 SOS 459625 HAS SOPS 459625 HAS SOUS 426334 HAS SOUPS 426334 WITH SCORE 426793.625
AT ITER 7564 NEW BEST:: SOT 770599 SOS 459489 HAS SOPS 459489 HAS SOUS 426283 HAS SOUPS 426283 WITH SCORE 426742.489
AT ITER 7674 NEW BEST:: SOT 771164 SOS 457583 HAS SOPS 457583 HAS SOUS 425688 HAS SOUPS 425688 WITH SCORE 426145.583
AT ITER 7709 NEW BEST:: SOT 771146 SOS 457565 HAS SOPS 457565 HAS SOUS 425670 HAS SOUPS 425670 WITH SCORE 426127.565
AT ITER 7725 NEW BEST:: SOT 771146 SOS 457400 HAS SOPS 457400 HAS SOUS 425505 HAS SOUPS 425505 WITH SCORE 425962.4
AT ITER 7794 NEW BEST:: SOT 770851 SOS 457379 HAS SOPS 457379 HAS SOUS 425484 HAS SOUPS 425484 WITH SCORE 425941.379
AT ITER 7814 NEW BEST:: SOT 771011 SOS 457375 HAS SOPS 457375 HAS SOUS 425480 HAS SOUPS 425480 WITH SCORE 425937.375
AT ITER 7856 NEW BEST:: SOT 771011 SOS 457013 HAS SOPS 457013 HAS SOUS 425299 HAS SOUPS 425299 WITH SCORE 425756.013
AT ITER 7903 NEW BEST:: SOT 770982 SOS 456967 HAS SOPS 456967 HAS SOUS 425226 HAS SOUPS 425226 WITH SCORE 425682.967
AT ITER 7949 NEW BEST:: SOT 771136 SOS 456813 HAS SOPS 456813 HAS SOUS 425226 HAS SOUPS 425226 WITH SCORE 425682.813
AT ITER 7989 NEW BEST:: SOT 771136 SOS 456813 HAS SOPS 456813 HAS SOUS 425225 HAS SOUPS 425225 WITH SCORE 425681.813
AT ITER 8013 NEW BEST:: SOT 771135 SOS 456812 HAS SOPS 456812 HAS SOUS 425224 HAS SOUPS 425224 WITH SCORE 425680.812
AT ITER 8031 NEW BEST:: SOT 771135 SOS 456763 HAS SOPS 456763 HAS SOUS 425175 HAS SOUPS 425175 WITH SCORE 425631.763
AT ITER 8032 NEW BEST:: SOT 771272 SOS 456661 HAS SOPS 456661 HAS SOUS 425095 HAS SOUPS 425095 WITH SCORE 425551.661
AT ITER 8096 NEW BEST:: SOT 772336 SOS 456632 HAS SOPS 456632 HAS SOUS 425066 HAS SOUPS 425066 WITH SCORE 425522.632
AT ITER 8123 NEW BEST:: SOT 772802 SOS 456631 HAS SOPS 456631 HAS SOUS 425065 HAS SOUPS 425065 WITH SCORE 425521.631
AT ITER 8162 NEW BEST:: SOT 773256 SOS 456602 HAS SOPS 456602 HAS SOUS 425036 HAS SOUPS 425036 WITH SCORE 425492.602
AT ITER 8190 NEW BEST:: SOT 773256 SOS 456602 HAS SOPS 456602 HAS SOUS 425035 HAS SOUPS 425035 WITH SCORE 425491.602
AT ITER 8227 NEW BEST:: SOT 773256 SOS 456320 HAS SOPS 456320 HAS SOUS 424894 HAS SOUPS 424894 WITH SCORE 425350.32
AT ITER 8292 NEW BEST:: SOT 773909 SOS 456165 HAS SOPS 456165 HAS SOUS 424739 HAS SOUPS 424739 WITH SCORE 425195.165
AT ITER 8308 NEW BEST:: SOT 774120 SOS 455896 HAS SOPS 455896 HAS SOUS 424710 HAS SOUPS 424710 WITH SCORE 425165.896
AT ITER 8313 NEW BEST:: SOT 774120 SOS 455892 HAS SOPS 455892 HAS SOUS 424706 HAS SOUPS 424706 WITH SCORE 425161.892
AT ITER 8368 NEW BEST:: SOT 774084 SOS 455866 HAS SOPS 455866 HAS SOUS 424670 HAS SOUPS 424670 WITH SCORE 425125.866
AT ITER 8384 NEW BEST:: SOT 774453 SOS 454673 HAS SOPS 454673 HAS SOUS 424546 HAS SOUPS 424546 WITH SCORE 425000.673
AT ITER 8423 NEW BEST:: SOT 774452 SOS 454671 HAS SOPS 454671 HAS SOUS 424544 HAS SOUPS 424544 WITH SCORE 424998.671
AT ITER 8465 NEW BEST:: SOT 774452 SOS 454691 HAS SOPS 454691 HAS SOUS 424470 HAS SOUPS 424470 WITH SCORE 424924.691
AT ITER 8511 NEW BEST:: SOT 774315 SOS 454554 HAS SOPS 454554 HAS SOUS 424333 HAS SOUPS 424333 WITH SCORE 424787.554
AT ITER 8544 NEW BEST:: SOT 774314 SOS 454553 HAS SOPS 454553 HAS SOUS 424332 HAS SOUPS 424332 WITH SCORE 424786.553
AT ITER 8578 NEW BEST:: SOT 774314 SOS 454548 HAS SOPS 454548 HAS SOUS 424327 HAS SOUPS 424327 WITH SCORE 424781.548
AT ITER 8671 NEW BEST:: SOT 774314 SOS 454547 HAS SOPS 454547 HAS SOUS 424326 HAS SOUPS 424326 WITH SCORE 424780.547
AT ITER 8756 NEW BEST:: SOT 774314 SOS 454540 HAS SOPS 454540 HAS SOUS 424319 HAS SOUPS 424319 WITH SCORE 424773.54
AT ITER 8954 NEW BEST:: SOT 774314 SOS 454356 HAS SOPS 454356 HAS SOUS 424265 HAS SOUPS 424265 WITH SCORE 424719.356
AT ITER 9004 NEW BEST:: SOT 774313 SOS 454355 HAS SOPS 454355 HAS SOUS 424264 HAS SOUPS 424264 WITH SCORE 424718.355
AT ITER 9023 NEW BEST:: SOT 774313 SOS 453607 HAS SOPS 453607 HAS SOUS 424150 HAS SOUPS 424150 WITH SCORE 424603.607
AT ITER 9140 NEW BEST:: SOT 774374 SOS 453546 HAS SOPS 453546 HAS SOUS 424150 HAS SOUPS 424150 WITH SCORE 424603.546
AT ITER 9159 NEW BEST:: SOT 774374 SOS 453537 HAS SOPS 453537 HAS SOUS 424141 HAS SOUPS 424141 WITH SCORE 424594.537
AT ITER 9191 NEW BEST:: SOT 775607 SOS 453115 HAS SOPS 453115 HAS SOUS 423719 HAS SOUPS 423719 WITH SCORE 424172.115
AT ITER 9193 NEW BEST:: SOT 775283 SOS 453102 HAS SOPS 453102 HAS SOUS 423706 HAS SOUPS 423706 WITH SCORE 424159.102
AT ITER 9202 NEW BEST:: SOT 775470 SOS 453073 HAS SOPS 453073 HAS SOUS 423677 HAS SOUPS 423677 WITH SCORE 424130.073
AT ITER 9267 NEW BEST:: SOT 775483 SOS 452366 HAS SOPS 452366 HAS SOUS 423330 HAS SOUPS 423330 WITH SCORE 423782.366
AT ITER 9429 NEW BEST:: SOT 775483 SOS 452359 HAS SOPS 452359 HAS SOUS 423323 HAS SOUPS 423323 WITH SCORE 423775.359
AT ITER 9430 NEW BEST:: SOT 775518 SOS 451503 HAS SOPS 451503 HAS SOUS 423128 HAS SOUPS 423128 WITH SCORE 423579.503
AT ITER 9442 NEW BEST:: SOT 776503 SOS 451474 HAS SOPS 451474 HAS SOUS 423099 HAS SOUPS 423099 WITH SCORE 423550.474
AT ITER 9479 NEW BEST:: SOT 776474 SOS 451445 HAS SOPS 451445 HAS SOUS 423070 HAS SOUPS 423070 WITH SCORE 423521.445
AT ITER 9487 NEW BEST:: SOT 776462 SOS 451433 HAS SOPS 451433 HAS SOUS 423058 HAS SOUPS 423058 WITH SCORE 423509.433
AT ITER 9833 NEW BEST:: SOT 776462 SOS 450913 HAS SOPS 450913 HAS SOUS 422538 HAS SOUPS 422538 WITH SCORE 422988.913
AT ITER 9909 NEW BEST:: SOT 776737 SOS 450366 HAS SOPS 450366 HAS SOUS 422402 HAS SOUPS 422402 WITH SCORE 422852.366
AT ITER 9917 NEW BEST:: SOT 776737 SOS 449935 HAS SOPS 449935 HAS SOUS 422047 HAS SOUPS 422047 WITH SCORE 422496.935
AT ITER 9998 NEW BEST:: SOT 776589 SOS 449918 HAS SOPS 449918 HAS SOUS 422030 HAS SOUPS 422030 WITH SCORE 422479.918
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8679900 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120760 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="QuasiCertifProtocol-COL-28"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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-5348"
echo " Executing tool smartxred"
echo " Input is QuasiCertifProtocol-COL-28, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r299-tall-167873953500848"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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