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.r491-tall-167912710700600.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 TokenRing-COL-020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710700600
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 8.6K Feb 25 15:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 15:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 14:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 14:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 17:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 16:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 16:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 25 16:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 18K 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 1679270324459

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=TokenRing-COL-020
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 23:58:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 23:58:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 23:58:46] [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-19 23:58:46] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 23:58:46] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 561 ms
[2023-03-19 23:58:47] [INFO ] Imported 1 HL places and 2 HL transitions for a total of 441 PT places and 9282.0 transition bindings in 25 ms.
[2023-03-19 23:58:47] [INFO ] Unfolded HLPN to a Petri net with 441 places and 8421 transitions 33684 arcs in 158 ms.
[2023-03-19 23:58:47] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-19 23:58:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 441 places, 8421 transitions and 33684 arcs took 50 ms.
Total runtime 920 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running TokenRing (COL), instance 020
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: 441 places, 8421 transitions, 33684 arcs.
AT ITER 0 NEW BEST:: SOT 1979590 SOS 391874 HAS SOPS 238727 HAS SOUS 198273 HAS SOUPS 189520 WITH SCORE 189911.874
AT ITER 1 NEW BEST:: SOT 1979636 SOS 392992 HAS SOPS 239501 HAS SOUS 197717 HAS SOUPS 188965 WITH SCORE 189357.992
AT ITER 4 NEW BEST:: SOT 1978561 SOS 392444 HAS SOPS 240205 HAS SOUS 197373 HAS SOUPS 188669 WITH SCORE 189061.444
AT ITER 56 NEW BEST:: SOT 1978541 SOS 392444 HAS SOPS 240185 HAS SOUS 197334 HAS SOUPS 188630 WITH SCORE 189022.444
AT ITER 81 NEW BEST:: SOT 1978927 SOS 394124 HAS SOPS 241853 HAS SOUS 196825 HAS SOUPS 188120 WITH SCORE 188514.124
AT ITER 119 NEW BEST:: SOT 1979441 SOS 395875 HAS SOPS 243567 HAS SOUS 196438 HAS SOUPS 187729 WITH SCORE 188124.875
AT ITER 166 NEW BEST:: SOT 1979441 SOS 395865 HAS SOPS 243567 HAS SOUS 196428 HAS SOUPS 187729 WITH SCORE 188124.865
AT ITER 201 NEW BEST:: SOT 1979669 SOS 396402 HAS SOPS 244325 HAS SOUS 196376 HAS SOUPS 187668 WITH SCORE 188064.402
AT ITER 282 NEW BEST:: SOT 1979457 SOS 396326 HAS SOPS 244569 HAS SOUS 196196 HAS SOUPS 187504 WITH SCORE 187900.326
AT ITER 311 NEW BEST:: SOT 1979734 SOS 397476 HAS SOPS 245810 HAS SOUS 196166 HAS SOUPS 187467 WITH SCORE 187864.476
AT ITER 386 NEW BEST:: SOT 1979864 SOS 397820 HAS SOPS 246284 HAS SOUS 196135 HAS SOUPS 187437 WITH SCORE 187834.82
AT ITER 391 NEW BEST:: SOT 1979986 SOS 399204 HAS SOPS 247668 HAS SOUS 196045 HAS SOUPS 187347 WITH SCORE 187746.204
AT ITER 429 NEW BEST:: SOT 1980339 SOS 400925 HAS SOPS 249355 HAS SOUS 195387 HAS SOUPS 186686 WITH SCORE 187086.925
AT ITER 446 NEW BEST:: SOT 1980503 SOS 401333 HAS SOPS 249927 HAS SOUS 195385 HAS SOUPS 186685 WITH SCORE 187086.333
AT ITER 534 NEW BEST:: SOT 1980623 SOS 401873 HAS SOPS 250587 HAS SOUS 195231 HAS SOUPS 186536 WITH SCORE 186937.873
AT ITER 548 NEW BEST:: SOT 1980801 SOS 403291 HAS SOPS 252005 HAS SOUS 195135 HAS SOUPS 186440 WITH SCORE 186843.291
AT ITER 553 NEW BEST:: SOT 1980839 SOS 403443 HAS SOPS 252157 HAS SOUS 195039 HAS SOUPS 186345 WITH SCORE 186748.443
AT ITER 625 NEW BEST:: SOT 1980763 SOS 403215 HAS SOPS 252081 HAS SOUS 194863 HAS SOUPS 186181 WITH SCORE 186584.215
AT ITER 663 NEW BEST:: SOT 1980751 SOS 403568 HAS SOPS 252421 HAS SOUS 194508 HAS SOUPS 185826 WITH SCORE 186229.568
AT ITER 667 NEW BEST:: SOT 1981152 SOS 405331 HAS SOPS 254184 HAS SOUS 194093 HAS SOUPS 185411 WITH SCORE 185816.331
AT ITER 726 NEW BEST:: SOT 1981221 SOS 405808 HAS SOPS 254661 HAS SOUS 193880 HAS SOUPS 185198 WITH SCORE 185603.808
AT ITER 798 NEW BEST:: SOT 1981428 SOS 406249 HAS SOPS 255268 HAS SOUS 193838 HAS SOUPS 185156 WITH SCORE 185562.249
AT ITER 964 NEW BEST:: SOT 1981539 SOS 406650 HAS SOPS 255651 HAS SOUS 193722 HAS SOUPS 185037 WITH SCORE 185443.65
AT ITER 986 NEW BEST:: SOT 1981463 SOS 406574 HAS SOPS 255575 HAS SOUS 193646 HAS SOUPS 184961 WITH SCORE 185367.574
AT ITER 1005 NEW BEST:: SOT 1981501 SOS 406688 HAS SOPS 255689 HAS SOUS 193588 HAS SOUPS 184904 WITH SCORE 185310.688
AT ITER 1006 NEW BEST:: SOT 1981625 SOS 407062 HAS SOPS 256187 HAS SOUS 193517 HAS SOUPS 184834 WITH SCORE 185241.062
AT ITER 1021 NEW BEST:: SOT 1981167 SOS 406637 HAS SOPS 256340 HAS SOUS 193360 HAS SOUPS 184701 WITH SCORE 185107.637
AT ITER 1022 NEW BEST:: SOT 1981139 SOS 406651 HAS SOPS 256338 HAS SOUS 193347 HAS SOUPS 184657 WITH SCORE 185063.651
AT ITER 1076 NEW BEST:: SOT 1981133 SOS 406663 HAS SOPS 256344 HAS SOUS 193324 HAS SOUPS 184634 WITH SCORE 185040.663
AT ITER 1078 NEW BEST:: SOT 1981238 SOS 406938 HAS SOPS 257065 HAS SOUS 193289 HAS SOUPS 184599 WITH SCORE 185005.938
AT ITER 1128 NEW BEST:: SOT 1981358 SOS 407270 HAS SOPS 257513 HAS SOUS 193213 HAS SOUPS 184523 WITH SCORE 184930.27
AT ITER 1243 NEW BEST:: SOT 1981582 SOS 408390 HAS SOPS 258633 HAS SOUS 192541 HAS SOUPS 183851 WITH SCORE 184259.39
AT ITER 1272 NEW BEST:: SOT 1981727 SOS 408456 HAS SOPS 258476 HAS SOUS 192534 HAS SOUPS 183833 WITH SCORE 184241.456
AT ITER 1278 NEW BEST:: SOT 1981857 SOS 408812 HAS SOPS 258892 HAS SOUS 192420 HAS SOUPS 183719 WITH SCORE 184127.812
AT ITER 1295 NEW BEST:: SOT 1982235 SOS 410069 HAS SOPS 260146 HAS SOUS 192066 HAS SOUPS 183362 WITH SCORE 183772.069
AT ITER 1331 NEW BEST:: SOT 1982775 SOS 410678 HAS SOPS 259554 HAS SOUS 191908 HAS SOUPS 183163 WITH SCORE 183573.678
AT ITER 1354 NEW BEST:: SOT 1983310 SOS 412442 HAS SOPS 261263 HAS SOUS 191447 HAS SOUPS 182692 WITH SCORE 183104.442
AT ITER 1357 NEW BEST:: SOT 1983248 SOS 413012 HAS SOPS 261905 HAS SOUS 191095 HAS SOUPS 182344 WITH SCORE 182757.012
AT ITER 1391 NEW BEST:: SOT 1983068 SOS 412508 HAS SOPS 261393 HAS SOUS 190966 HAS SOUPS 182216 WITH SCORE 182628.508
AT ITER 1450 NEW BEST:: SOT 1983424 SOS 413701 HAS SOPS 262581 HAS SOUS 190485 HAS SOUPS 181735 WITH SCORE 182148.701
AT ITER 1454 NEW BEST:: SOT 1983465 SOS 415052 HAS SOPS 263936 HAS SOUS 190327 HAS SOUPS 181581 WITH SCORE 181996.052
AT ITER 1511 NEW BEST:: SOT 1983328 SOS 414807 HAS SOPS 263755 HAS SOUS 190214 HAS SOUPS 181472 WITH SCORE 181886.807
AT ITER 1599 NEW BEST:: SOT 1983252 SOS 414715 HAS SOPS 263587 HAS SOUS 190108 HAS SOUPS 181366 WITH SCORE 181780.715
AT ITER 1602 NEW BEST:: SOT 1983102 SOS 414869 HAS SOPS 263893 HAS SOUS 189794 HAS SOUPS 181047 WITH SCORE 181461.869
AT ITER 1635 NEW BEST:: SOT 1983186 SOS 415508 HAS SOPS 264673 HAS SOUS 189533 HAS SOUPS 180792 WITH SCORE 181207.508
AT ITER 1733 NEW BEST:: SOT 1983720 SOS 416833 HAS SOPS 265975 HAS SOUS 189318 HAS SOUPS 180575 WITH SCORE 180991.833
AT ITER 1761 NEW BEST:: SOT 1983671 SOS 416946 HAS SOPS 266560 HAS SOUS 189008 HAS SOUPS 180275 WITH SCORE 180691.946
AT ITER 1897 NEW BEST:: SOT 1982977 SOS 416217 HAS SOPS 266322 HAS SOUS 188580 HAS SOUPS 179838 WITH SCORE 180254.217
AT ITER 1948 NEW BEST:: SOT 1982966 SOS 416206 HAS SOPS 266311 HAS SOUS 188569 HAS SOUPS 179827 WITH SCORE 180243.206
AT ITER 1968 NEW BEST:: SOT 1982949 SOS 416168 HAS SOPS 266294 HAS SOUS 188531 HAS SOUPS 179791 WITH SCORE 180207.168
AT ITER 1973 NEW BEST:: SOT 1982926 SOS 416111 HAS SOPS 266271 HAS SOUS 188479 HAS SOUPS 179742 WITH SCORE 180158.111
AT ITER 2027 NEW BEST:: SOT 1982902 SOS 416035 HAS SOPS 266247 HAS SOUS 188423 HAS SOUPS 179690 WITH SCORE 180106.035
AT ITER 2052 NEW BEST:: SOT 1982852 SOS 416548 HAS SOPS 266583 HAS SOUS 188178 HAS SOUPS 179447 WITH SCORE 179863.548
AT ITER 2055 NEW BEST:: SOT 1982657 SOS 416367 HAS SOPS 266836 HAS SOUS 187590 HAS SOUPS 178878 WITH SCORE 179294.367
AT ITER 2137 NEW BEST:: SOT 1982769 SOS 417954 HAS SOPS 268488 HAS SOUS 187571 HAS SOUPS 178859 WITH SCORE 179276.954
AT ITER 2188 NEW BEST:: SOT 1983533 SOS 419220 HAS SOPS 270566 HAS SOUS 187356 HAS SOUPS 178633 WITH SCORE 179052.22
AT ITER 2228 NEW BEST:: SOT 1983755 SOS 419730 HAS SOPS 271298 HAS SOUS 187268 HAS SOUPS 178545 WITH SCORE 178964.73
AT ITER 2264 NEW BEST:: SOT 1984544 SOS 420984 HAS SOPS 271884 HAS SOUS 187058 HAS SOUPS 178297 WITH SCORE 178717.984
AT ITER 2270 NEW BEST:: SOT 1984230 SOS 420635 HAS SOPS 271747 HAS SOUS 186800 HAS SOUPS 178055 WITH SCORE 178475.635
AT ITER 2281 NEW BEST:: SOT 1984176 SOS 420718 HAS SOPS 271827 HAS SOUS 186597 HAS SOUPS 177864 WITH SCORE 178284.718
AT ITER 2304 NEW BEST:: SOT 1984343 SOS 421927 HAS SOPS 273036 HAS SOUS 185722 HAS SOUPS 176989 WITH SCORE 177410.927
AT ITER 2319 NEW BEST:: SOT 1985195 SOS 424861 HAS SOPS 275408 HAS SOUS 185353 HAS SOUPS 176583 WITH SCORE 177007.861
AT ITER 2344 NEW BEST:: SOT 1985326 SOS 426325 HAS SOPS 276875 HAS SOUS 185264 HAS SOUPS 176497 WITH SCORE 176923.325
AT ITER 2466 NEW BEST:: SOT 1985242 SOS 426233 HAS SOPS 276859 HAS SOUS 185256 HAS SOUPS 176493 WITH SCORE 176919.233
AT ITER 2543 NEW BEST:: SOT 1984386 SOS 425747 HAS SOPS 276983 HAS SOUS 184752 HAS SOUPS 176027 WITH SCORE 176452.747
AT ITER 2575 NEW BEST:: SOT 1983783 SOS 425295 HAS SOPS 276772 HAS SOUS 184481 HAS SOUPS 175779 WITH SCORE 176204.295
AT ITER 2593 NEW BEST:: SOT 1983589 SOS 425086 HAS SOPS 276578 HAS SOUS 184171 HAS SOUPS 175477 WITH SCORE 175902.086
AT ITER 2596 NEW BEST:: SOT 1983695 SOS 425334 HAS SOPS 276932 HAS SOUS 184146 HAS SOUPS 175450 WITH SCORE 175875.334
AT ITER 2628 NEW BEST:: SOT 1983987 SOS 427226 HAS SOPS 279052 HAS SOUS 183972 HAS SOUPS 175288 WITH SCORE 175715.226
AT ITER 2695 NEW BEST:: SOT 1983614 SOS 426866 HAS SOPS 279039 HAS SOUS 183892 HAS SOUPS 175226 WITH SCORE 175652.866
AT ITER 2759 NEW BEST:: SOT 1983598 SOS 427044 HAS SOPS 279201 HAS SOUS 183697 HAS SOUPS 175031 WITH SCORE 175458.044
AT ITER 2859 NEW BEST:: SOT 1983715 SOS 427141 HAS SOPS 279546 HAS SOUS 183614 HAS SOUPS 174958 WITH SCORE 175385.141
AT ITER 2870 NEW BEST:: SOT 1983763 SOS 427637 HAS SOPS 280042 HAS SOUS 183550 HAS SOUPS 174894 WITH SCORE 175321.637
AT ITER 2894 NEW BEST:: SOT 1983724 SOS 427580 HAS SOPS 280003 HAS SOUS 183466 HAS SOUPS 174813 WITH SCORE 175240.58
AT ITER 2919 NEW BEST:: SOT 1984061 SOS 429106 HAS SOPS 281524 HAS SOUS 183097 HAS SOUPS 174443 WITH SCORE 174872.106
AT ITER 2934 NEW BEST:: SOT 1984024 SOS 429049 HAS SOPS 281487 HAS SOUS 183017 HAS SOUPS 174366 WITH SCORE 174795.049
AT ITER 2980 NEW BEST:: SOT 1984034 SOS 429077 HAS SOPS 281515 HAS SOUS 183009 HAS SOUPS 174358 WITH SCORE 174787.077
AT ITER 3027 NEW BEST:: SOT 1984275 SOS 429565 HAS SOPS 282212 HAS SOUS 182878 HAS SOUPS 174224 WITH SCORE 174653.565
AT ITER 3046 NEW BEST:: SOT 1984199 SOS 429541 HAS SOPS 282108 HAS SOUS 182754 HAS SOUPS 174100 WITH SCORE 174529.541
AT ITER 3049 NEW BEST:: SOT 1984180 SOS 429522 HAS SOPS 282089 HAS SOUS 182735 HAS SOUPS 174081 WITH SCORE 174510.522
AT ITER 3063 NEW BEST:: SOT 1984228 SOS 429706 HAS SOPS 282289 HAS SOUS 182647 HAS SOUPS 173993 WITH SCORE 174422.706
AT ITER 3101 NEW BEST:: SOT 1984133 SOS 429711 HAS SOPS 282234 HAS SOUS 182487 HAS SOUPS 173840 WITH SCORE 174269.711
AT ITER 3159 NEW BEST:: SOT 1984324 SOS 430054 HAS SOPS 282739 HAS SOUS 182473 HAS SOUPS 173826 WITH SCORE 174256.054
AT ITER 3193 NEW BEST:: SOT 1984717 SOS 430828 HAS SOPS 283778 HAS SOUS 182407 HAS SOUPS 173759 WITH SCORE 174189.828
AT ITER 3240 NEW BEST:: SOT 1984713 SOS 430888 HAS SOPS 283834 HAS SOUS 182343 HAS SOUPS 173695 WITH SCORE 174125.888
AT ITER 3271 NEW BEST:: SOT 1984989 SOS 432123 HAS SOPS 285068 HAS SOUS 181660 HAS SOUPS 173012 WITH SCORE 173444.123
AT ITER 3311 NEW BEST:: SOT 1984934 SOS 432081 HAS SOPS 285129 HAS SOUS 181487 HAS SOUPS 172844 WITH SCORE 173276.081
AT ITER 3357 NEW BEST:: SOT 1984934 SOS 431873 HAS SOPS 285129 HAS SOUS 181432 HAS SOUPS 172835 WITH SCORE 173266.873
AT ITER 3365 NEW BEST:: SOT 1985006 SOS 432166 HAS SOPS 285419 HAS SOUS 181304 HAS SOUPS 172706 WITH SCORE 173138.166
AT ITER 3400 NEW BEST:: SOT 1985026 SOS 432184 HAS SOPS 285341 HAS SOUS 181263 HAS SOUPS 172662 WITH SCORE 173094.184
AT ITER 3413 NEW BEST:: SOT 1985399 SOS 433357 HAS SOPS 286592 HAS SOUS 180836 HAS SOUPS 172235 WITH SCORE 172668.357
AT ITER 3508 NEW BEST:: SOT 1985496 SOS 433914 HAS SOPS 287149 HAS SOUS 180683 HAS SOUPS 172082 WITH SCORE 172515.914
AT ITER 3519 NEW BEST:: SOT 1985474 SOS 433920 HAS SOPS 287133 HAS SOUS 180635 HAS SOUPS 172034 WITH SCORE 172467.92
AT ITER 3575 NEW BEST:: SOT 1985630 SOS 434302 HAS SOPS 287547 HAS SOUS 180518 HAS SOUPS 171917 WITH SCORE 172351.302
AT ITER 3822 NEW BEST:: SOT 1986056 SOS 435450 HAS SOPS 288785 HAS SOUS 180222 HAS SOUPS 171621 WITH SCORE 172056.45
AT ITER 3855 NEW BEST:: SOT 1986099 SOS 434748 HAS SOPS 288814 HAS SOUS 180114 HAS SOUPS 171531 WITH SCORE 171965.748
AT ITER 3940 NEW BEST:: SOT 1986038 SOS 434676 HAS SOPS 288889 HAS SOUS 179917 HAS SOUPS 171341 WITH SCORE 171775.676
AT ITER 3956 NEW BEST:: SOT 1986467 SOS 435850 HAS SOPS 290092 HAS SOUS 179685 HAS SOUPS 171109 WITH SCORE 171544.85
AT ITER 3974 NEW BEST:: SOT 1986634 SOS 436325 HAS SOPS 290627 HAS SOUS 179522 HAS SOUPS 170946 WITH SCORE 171382.325
AT ITER 3997 NEW BEST:: SOT 1986881 SOS 436777 HAS SOPS 291554 HAS SOUS 179396 HAS SOUPS 170836 WITH SCORE 171272.777
AT ITER 4007 NEW BEST:: SOT 1986892 SOS 436826 HAS SOPS 291677 HAS SOUS 179243 HAS SOUPS 170689 WITH SCORE 171125.826
AT ITER 4026 NEW BEST:: SOT 1986838 SOS 436830 HAS SOPS 291573 HAS SOUS 179197 HAS SOUPS 170640 WITH SCORE 171076.83
AT ITER 4076 NEW BEST:: SOT 1986717 SOS 436464 HAS SOPS 291428 HAS SOUS 178924 HAS SOUPS 170342 WITH SCORE 170778.464
AT ITER 4196 NEW BEST:: SOT 1986862 SOS 436988 HAS SOPS 292117 HAS SOUS 178823 HAS SOUPS 170242 WITH SCORE 170678.988
AT ITER 4206 NEW BEST:: SOT 1986974 SOS 437731 HAS SOPS 292437 HAS SOUS 178764 HAS SOUPS 170162 WITH SCORE 170599.731
AT ITER 4212 NEW BEST:: SOT 1986926 SOS 437560 HAS SOPS 292389 HAS SOUS 178650 HAS SOUPS 170057 WITH SCORE 170494.56
AT ITER 4248 NEW BEST:: SOT 1986903 SOS 437501 HAS SOPS 292442 HAS SOUS 178579 HAS SOUPS 169990 WITH SCORE 170427.501
AT ITER 4284 NEW BEST:: SOT 1986854 SOS 437444 HAS SOPS 292393 HAS SOUS 178475 HAS SOUPS 169889 WITH SCORE 170326.444
AT ITER 4314 NEW BEST:: SOT 1987064 SOS 438131 HAS SOPS 293079 HAS SOUS 178460 HAS SOUPS 169874 WITH SCORE 170312.131
AT ITER 4323 NEW BEST:: SOT 1987066 SOS 438149 HAS SOPS 293044 HAS SOUS 178447 HAS SOUPS 169860 WITH SCORE 170298.149
AT ITER 4329 NEW BEST:: SOT 1986978 SOS 438035 HAS SOPS 292956 HAS SOUS 178259 HAS SOUPS 169678 WITH SCORE 170116.035
AT ITER 4364 NEW BEST:: SOT 1986938 SOS 438091 HAS SOPS 292940 HAS SOUS 178131 HAS SOUPS 169550 WITH SCORE 169988.091
AT ITER 4411 NEW BEST:: SOT 1986851 SOS 437818 HAS SOPS 292667 HAS SOUS 177978 HAS SOUPS 169397 WITH SCORE 169834.818
AT ITER 4432 NEW BEST:: SOT 1986838 SOS 437799 HAS SOPS 292654 HAS SOUS 177950 HAS SOUPS 169370 WITH SCORE 169807.799
AT ITER 4437 NEW BEST:: SOT 1986999 SOS 438340 HAS SOPS 293195 HAS SOUS 177731 HAS SOUPS 169151 WITH SCORE 169589.34
AT ITER 4548 NEW BEST:: SOT 1987109 SOS 438772 HAS SOPS 293627 HAS SOUS 177519 HAS SOUPS 168939 WITH SCORE 169377.772
AT ITER 4580 NEW BEST:: SOT 1987086 SOS 438715 HAS SOPS 293604 HAS SOUS 177467 HAS SOUPS 168890 WITH SCORE 169328.715
AT ITER 4735 NEW BEST:: SOT 1987994 SOS 440775 HAS SOPS 295736 HAS SOUS 177244 HAS SOUPS 168668 WITH SCORE 169108.775
AT ITER 4759 NEW BEST:: SOT 1988759 SOS 442903 HAS SOPS 297565 HAS SOUS 177024 HAS SOUPS 168430 WITH SCORE 168872.903
AT ITER 4854 NEW BEST:: SOT 1988633 SOS 442549 HAS SOPS 297211 HAS SOUS 176958 HAS SOUPS 168364 WITH SCORE 168806.549
AT ITER 4865 NEW BEST:: SOT 1988654 SOS 442602 HAS SOPS 297264 HAS SOUS 176947 HAS SOUPS 168353 WITH SCORE 168795.602
AT ITER 4917 NEW BEST:: SOT 1988470 SOS 442174 HAS SOPS 296836 HAS SOUS 176629 HAS SOUPS 168035 WITH SCORE 168477.174
AT ITER 4918 NEW BEST:: SOT 1988442 SOS 441965 HAS SOPS 296808 HAS SOUS 176551 HAS SOUPS 167968 WITH SCORE 168409.965
AT ITER 4981 NEW BEST:: SOT 1988952 SOS 443160 HAS SOPS 297900 HAS SOUS 176502 HAS SOUPS 167913 WITH SCORE 168356.16
AT ITER 5019 NEW BEST:: SOT 1989793 SOS 443805 HAS SOPS 298537 HAS SOUS 176360 HAS SOUPS 167782 WITH SCORE 168225.805
AT ITER 5026 NEW BEST:: SOT 1989838 SOS 443850 HAS SOPS 298567 HAS SOUS 176345 HAS SOUPS 167767 WITH SCORE 168210.85
AT ITER 5048 NEW BEST:: SOT 1989758 SOS 443852 HAS SOPS 298489 HAS SOUS 176189 HAS SOUPS 167611 WITH SCORE 168054.852
AT ITER 5076 NEW BEST:: SOT 1989753 SOS 443853 HAS SOPS 298480 HAS SOUS 176178 HAS SOUPS 167600 WITH SCORE 168043.853
AT ITER 5136 NEW BEST:: SOT 1989860 SOS 444047 HAS SOPS 298899 HAS SOUS 176114 HAS SOUPS 167541 WITH SCORE 167985.047
AT ITER 5215 NEW BEST:: SOT 1989684 SOS 443855 HAS SOPS 298527 HAS SOUS 175963 HAS SOUPS 167390 WITH SCORE 167833.855
AT ITER 5256 NEW BEST:: SOT 1989579 SOS 443351 HAS SOPS 298453 HAS SOUS 175725 HAS SOUPS 167183 WITH SCORE 167626.351
AT ITER 5402 NEW BEST:: SOT 1989575 SOS 443332 HAS SOPS 298449 HAS SOUS 175715 HAS SOUPS 167174 WITH SCORE 167617.332
AT ITER 5446 NEW BEST:: SOT 1989947 SOS 444218 HAS SOPS 299335 HAS SOUS 175573 HAS SOUPS 167032 WITH SCORE 167476.218
AT ITER 5449 NEW BEST:: SOT 1989923 SOS 444066 HAS SOPS 299311 HAS SOUS 175509 HAS SOUPS 166976 WITH SCORE 167420.066
AT ITER 5474 NEW BEST:: SOT 1989688 SOS 443230 HAS SOPS 299076 HAS SOUS 174951 HAS SOUPS 166462 WITH SCORE 166905.23
AT ITER 5492 NEW BEST:: SOT 1989783 SOS 443513 HAS SOPS 299359 HAS SOUS 174900 HAS SOUPS 166411 WITH SCORE 166854.513
AT ITER 5494 NEW BEST:: SOT 1989702 SOS 443417 HAS SOPS 299248 HAS SOUS 174734 HAS SOUPS 166250 WITH SCORE 166693.417
AT ITER 5582 NEW BEST:: SOT 1989597 SOS 443303 HAS SOPS 299143 HAS SOUS 174554 HAS SOUPS 166074 WITH SCORE 166517.303
AT ITER 5619 NEW BEST:: SOT 1989587 SOS 443268 HAS SOPS 299133 HAS SOUS 174519 HAS SOUPS 166064 WITH SCORE 166507.268
AT ITER 5665 NEW BEST:: SOT 1989552 SOS 443116 HAS SOPS 299098 HAS SOUS 174433 HAS SOUPS 165986 WITH SCORE 166429.116
AT ITER 5741 NEW BEST:: SOT 1990148 SOS 444840 HAS SOPS 300428 HAS SOUS 174321 HAS SOUPS 165854 WITH SCORE 166298.84
AT ITER 5756 NEW BEST:: SOT 1989992 SOS 444528 HAS SOPS 300012 HAS SOUS 174287 HAS SOUPS 165820 WITH SCORE 166264.528
AT ITER 5803 NEW BEST:: SOT 1990168 SOS 444716 HAS SOPS 300025 HAS SOUS 174235 HAS SOUPS 165767 WITH SCORE 166211.716
AT ITER 5836 NEW BEST:: SOT 1990606 SOS 445906 HAS SOPS 301215 HAS SOUS 174089 HAS SOUPS 165621 WITH SCORE 166066.906
AT ITER 5929 NEW BEST:: SOT 1990469 SOS 445710 HAS SOPS 300938 HAS SOUS 173927 HAS SOUPS 165455 WITH SCORE 165900.71
AT ITER 6031 NEW BEST:: SOT 1991093 SOS 446350 HAS SOPS 301096 HAS SOUS 173727 HAS SOUPS 165246 WITH SCORE 165692.35
AT ITER 6086 NEW BEST:: SOT 1991083 SOS 446333 HAS SOPS 301087 HAS SOUS 173703 HAS SOUPS 165224 WITH SCORE 165670.333
AT ITER 6145 NEW BEST:: SOT 1991273 SOS 446713 HAS SOPS 302043 HAS SOUS 173598 HAS SOUPS 165128 WITH SCORE 165574.713
AT ITER 6200 NEW BEST:: SOT 1991658 SOS 447918 HAS SOPS 303242 HAS SOUS 173184 HAS SOUPS 164713 WITH SCORE 165160.918
AT ITER 6227 NEW BEST:: SOT 1992072 SOS 449024 HAS SOPS 304348 HAS SOUS 173158 HAS SOUPS 164687 WITH SCORE 165136.024
AT ITER 6228 NEW BEST:: SOT 1992028 SOS 448958 HAS SOPS 304262 HAS SOUS 173136 HAS SOUPS 164665 WITH SCORE 165113.958
AT ITER 6281 NEW BEST:: SOT 1991889 SOS 448426 HAS SOPS 304123 HAS SOUS 172802 HAS SOUPS 164359 WITH SCORE 164807.426
AT ITER 6298 NEW BEST:: SOT 1992361 SOS 449495 HAS SOPS 305143 HAS SOUS 172782 HAS SOUPS 164334 WITH SCORE 164783.495
AT ITER 6395 NEW BEST:: SOT 1992360 SOS 449448 HAS SOPS 305038 HAS SOUS 172783 HAS SOUPS 164333 WITH SCORE 164782.448
AT ITER 6423 NEW BEST:: SOT 1992090 SOS 449202 HAS SOPS 304548 HAS SOUS 172500 HAS SOUPS 164050 WITH SCORE 164499.202
AT ITER 6443 NEW BEST:: SOT 1992423 SOS 450215 HAS SOPS 305561 HAS SOUS 172447 HAS SOUPS 163997 WITH SCORE 164447.215
AT ITER 6527 NEW BEST:: SOT 1992286 SOS 449971 HAS SOPS 305366 HAS SOUS 172312 HAS SOUPS 163867 WITH SCORE 164316.971
AT ITER 6534 NEW BEST:: SOT 1992169 SOS 449725 HAS SOPS 305127 HAS SOUS 172303 HAS SOUPS 163859 WITH SCORE 164308.725
AT ITER 6551 NEW BEST:: SOT 1992768 SOS 451250 HAS SOPS 306554 HAS SOUS 172186 HAS SOUPS 163736 WITH SCORE 164187.25
AT ITER 6604 NEW BEST:: SOT 1992544 SOS 450852 HAS SOPS 306148 HAS SOUS 172136 HAS SOUPS 163686 WITH SCORE 164136.852
AT ITER 6733 NEW BEST:: SOT 1992737 SOS 450658 HAS SOPS 305965 HAS SOUS 172032 HAS SOUPS 163601 WITH SCORE 164051.658
AT ITER 6749 NEW BEST:: SOT 1992754 SOS 450755 HAS SOPS 306062 HAS SOUS 171969 HAS SOUPS 163538 WITH SCORE 163988.755
AT ITER 6845 NEW BEST:: SOT 1992754 SOS 450622 HAS SOPS 306062 HAS SOUS 171955 HAS SOUPS 163531 WITH SCORE 163981.622
AT ITER 6964 NEW BEST:: SOT 1993795 SOS 453152 HAS SOPS 308591 HAS SOUS 171906 HAS SOUPS 163481 WITH SCORE 163934.152
AT ITER 7004 NEW BEST:: SOT 1993485 SOS 452811 HAS SOPS 308389 HAS SOUS 171657 HAS SOUPS 163242 WITH SCORE 163694.811
AT ITER 7007 NEW BEST:: SOT 1993511 SOS 452876 HAS SOPS 308465 HAS SOUS 171623 HAS SOUPS 163209 WITH SCORE 163661.876
AT ITER 7065 NEW BEST:: SOT 1993487 SOS 452876 HAS SOPS 308421 HAS SOUS 171571 HAS SOUPS 163157 WITH SCORE 163609.876
AT ITER 7124 NEW BEST:: SOT 1993630 SOS 452973 HAS SOPS 308492 HAS SOUS 171491 HAS SOUPS 163080 WITH SCORE 163532.973
AT ITER 7152 NEW BEST:: SOT 1993714 SOS 453157 HAS SOPS 308676 HAS SOUS 171475 HAS SOUPS 163064 WITH SCORE 163517.157
AT ITER 7156 NEW BEST:: SOT 1993702 SOS 453360 HAS SOPS 308680 HAS SOUS 171468 HAS SOUPS 163047 WITH SCORE 163500.36
AT ITER 7174 NEW BEST:: SOT 1993664 SOS 453475 HAS SOPS 308632 HAS SOUS 171410 HAS SOUPS 162983 WITH SCORE 163436.475
AT ITER 7176 NEW BEST:: SOT 1993671 SOS 453506 HAS SOPS 308663 HAS SOUS 171393 HAS SOUPS 162966 WITH SCORE 163419.506
AT ITER 7180 NEW BEST:: SOT 1993930 SOS 454184 HAS SOPS 309310 HAS SOUS 171359 HAS SOUPS 162930 WITH SCORE 163384.184
AT ITER 7292 NEW BEST:: SOT 1993928 SOS 454183 HAS SOPS 309306 HAS SOUS 171356 HAS SOUPS 162927 WITH SCORE 163381.183
AT ITER 7326 NEW BEST:: SOT 1993468 SOS 453976 HAS SOPS 308348 HAS SOUS 171275 HAS SOUPS 162840 WITH SCORE 163293.976
AT ITER 7500 NEW BEST:: SOT 1993505 SOS 454089 HAS SOPS 308439 HAS SOUS 171257 HAS SOUPS 162821 WITH SCORE 163275.089
AT ITER 7553 NEW BEST:: SOT 1993767 SOS 454878 HAS SOPS 309143 HAS SOUS 171202 HAS SOUPS 162756 WITH SCORE 163210.878
AT ITER 7555 NEW BEST:: SOT 1993746 SOS 454848 HAS SOPS 309098 HAS SOUS 171190 HAS SOUPS 162744 WITH SCORE 163198.848
AT ITER 7559 NEW BEST:: SOT 1993870 SOS 455048 HAS SOPS 308807 HAS SOUS 171037 HAS SOUPS 162575 WITH SCORE 163030.048
AT ITER 7620 NEW BEST:: SOT 1993532 SOS 455406 HAS SOPS 308231 HAS SOUS 170993 HAS SOUPS 162486 WITH SCORE 162941.406
AT ITER 7772 NEW BEST:: SOT 1993498 SOS 455370 HAS SOPS 308200 HAS SOUS 170980 HAS SOUPS 162474 WITH SCORE 162929.37
AT ITER 7817 NEW BEST:: SOT 1993022 SOS 454439 HAS SOPS 307270 HAS SOUS 170560 HAS SOUPS 162055 WITH SCORE 162509.439
AT ITER 7873 NEW BEST:: SOT 1993428 SOS 454902 HAS SOPS 307073 HAS SOUS 170184 HAS SOUPS 161648 WITH SCORE 162102.902
AT ITER 8044 NEW BEST:: SOT 1993437 SOS 454907 HAS SOPS 307090 HAS SOUS 170175 HAS SOUPS 161640 WITH SCORE 162094.907
AT ITER 8097 NEW BEST:: SOT 1993389 SOS 454848 HAS SOPS 307070 HAS SOUS 170134 HAS SOUPS 161602 WITH SCORE 162056.848
AT ITER 8103 NEW BEST:: SOT 1992856 SOS 454804 HAS SOPS 306133 HAS SOUS 169558 HAS SOUPS 161038 WITH SCORE 161492.804
AT ITER 8136 NEW BEST:: SOT 1992854 SOS 454786 HAS SOPS 306131 HAS SOUS 169540 HAS SOUPS 161036 WITH SCORE 161490.786
AT ITER 8165 NEW BEST:: SOT 1993064 SOS 455236 HAS SOPS 306613 HAS SOUS 169522 HAS SOUPS 161018 WITH SCORE 161473.236
AT ITER 8204 NEW BEST:: SOT 1993467 SOS 456178 HAS SOPS 307566 HAS SOUS 169386 HAS SOUPS 160882 WITH SCORE 161338.178
AT ITER 8219 NEW BEST:: SOT 1993471 SOS 456438 HAS SOPS 307830 HAS SOUS 169155 HAS SOUPS 160651 WITH SCORE 161107.438
AT ITER 8226 NEW BEST:: SOT 1993437 SOS 456368 HAS SOPS 307762 HAS SOUS 169136 HAS SOUPS 160633 WITH SCORE 161089.368
AT ITER 8360 NEW BEST:: SOT 1994046 SOS 457798 HAS SOPS 309049 HAS SOUS 169134 HAS SOUPS 160621 WITH SCORE 161078.798
AT ITER 8362 NEW BEST:: SOT 1993976 SOS 457914 HAS SOPS 309001 HAS SOUS 168982 HAS SOUPS 160465 WITH SCORE 160922.914
AT ITER 8369 NEW BEST:: SOT 1994047 SOS 458043 HAS SOPS 309072 HAS SOUS 168952 HAS SOUPS 160435 WITH SCORE 160893.043
AT ITER 8453 NEW BEST:: SOT 1993965 SOS 457847 HAS SOPS 308876 HAS SOUS 168858 HAS SOUPS 160341 WITH SCORE 160798.847
AT ITER 8454 NEW BEST:: SOT 1993655 SOS 457476 HAS SOPS 308830 HAS SOUS 168738 HAS SOUPS 160250 WITH SCORE 160707.476
AT ITER 8504 NEW BEST:: SOT 1993618 SOS 457438 HAS SOPS 308793 HAS SOUS 168681 HAS SOUPS 160194 WITH SCORE 160651.438
AT ITER 8633 NEW BEST:: SOT 1993759 SOS 457735 HAS SOPS 309090 HAS SOUS 168666 HAS SOUPS 160179 WITH SCORE 160636.735
AT ITER 8705 NEW BEST:: SOT 1993226 SOS 457364 HAS SOPS 307949 HAS SOUS 168675 HAS SOUPS 160156 WITH SCORE 160613.364
AT ITER 8900 NEW BEST:: SOT 1993121 SOS 457085 HAS SOPS 307670 HAS SOUS 168660 HAS SOUPS 160141 WITH SCORE 160598.085
AT ITER 8943 NEW BEST:: SOT 1992952 SOS 457100 HAS SOPS 307353 HAS SOUS 168527 HAS SOUPS 159998 WITH SCORE 160455.1
AT ITER 8981 NEW BEST:: SOT 1993782 SOS 456538 HAS SOPS 306652 HAS SOUS 168542 HAS SOUPS 159998 WITH SCORE 160454.538
AT ITER 9115 NEW BEST:: SOT 1993860 SOS 456760 HAS SOPS 306872 HAS SOUS 168494 HAS SOUPS 159950 WITH SCORE 160406.76
AT ITER 9180 NEW BEST:: SOT 1993338 SOS 455975 HAS SOPS 305886 HAS SOUS 168111 HAS SOUPS 159574 WITH SCORE 160029.975
AT ITER 9239 NEW BEST:: SOT 1993674 SOS 456812 HAS SOPS 306724 HAS SOUS 168072 HAS SOUPS 159535 WITH SCORE 159991.812
AT ITER 9389 NEW BEST:: SOT 1994055 SOS 457671 HAS SOPS 307583 HAS SOUS 168017 HAS SOUPS 159480 WITH SCORE 159937.671
AT ITER 9396 NEW BEST:: SOT 1994030 SOS 457651 HAS SOPS 307530 HAS SOUS 168007 HAS SOUPS 159470 WITH SCORE 159927.651
AT ITER 9450 NEW BEST:: SOT 1993934 SOS 457479 HAS SOPS 307602 HAS SOUS 167735 HAS SOUPS 159210 WITH SCORE 159667.479
AT ITER 9495 NEW BEST:: SOT 1993974 SOS 457569 HAS SOPS 307732 HAS SOUS 167730 HAS SOUPS 159205 WITH SCORE 159662.569
AT ITER 9515 NEW BEST:: SOT 1993986 SOS 457603 HAS SOPS 307768 HAS SOUS 167720 HAS SOUPS 159195 WITH SCORE 159652.603
AT ITER 9536 NEW BEST:: SOT 1994156 SOS 457905 HAS SOPS 308088 HAS SOUS 167715 HAS SOUPS 159190 WITH SCORE 159647.905
AT ITER 9656 NEW BEST:: SOT 1994156 SOS 457886 HAS SOPS 308088 HAS SOUS 167713 HAS SOUPS 159189 WITH SCORE 159646.886
AT ITER 9715 NEW BEST:: SOT 1994051 SOS 457696 HAS SOPS 307983 HAS SOUS 167483 HAS SOUPS 158969 WITH SCORE 159426.696
AT ITER 9733 NEW BEST:: SOT 1994089 SOS 457781 HAS SOPS 308071 HAS SOUS 167474 HAS SOUPS 158960 WITH SCORE 159417.781
AT ITER 9855 NEW BEST:: SOT 1994204 SOS 458082 HAS SOPS 308362 HAS SOUS 167466 HAS SOUPS 158949 WITH SCORE 159407.082
AT ITER 9888 NEW BEST:: SOT 1994050 SOS 458078 HAS SOPS 308210 HAS SOUS 167184 HAS SOUPS 158667 WITH SCORE 159125.078
STATE_SPACE STATES 24466267459 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 21 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 244662670640 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679271464827

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 547 Killed ${SMART}/smart ${INPUT_SM}

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-COL-020"
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 TokenRing-COL-020, 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 r491-tall-167912710700600"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-COL-020.tgz
mv TokenRing-COL-020 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 ;