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.r107-tall-167814484300472.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 DES-PT-40b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484300472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 15:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 15:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 15:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 15:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 115K Mar 5 18:22 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 1678376200057

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=DES-PT-40b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 15:36:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 15:36:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 15:36:41] [INFO ] Load time of PNML (sax parser for PT used): 61 ms
[2023-03-09 15:36:41] [INFO ] Transformed 439 places.
[2023-03-09 15:36:41] [INFO ] Transformed 390 transitions.
[2023-03-09 15:36:41] [INFO ] Found NUPN structural information;
[2023-03-09 15:36:41] [INFO ] Parsed PT model containing 439 places and 390 transitions and 1303 arcs in 124 ms.
[2023-03-09 15:36:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 439 places, 390 transitions and 1303 arcs took 7 ms.
Total runtime 157 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 40b
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: 439 places, 390 transitions, 1303 arcs.
AT ITER 0 NEW BEST:: SOT 108714 SOS 24853 HAS SOPS 24853 HAS SOUS 23571 HAS SOUPS 23571 WITH SCORE 23595.853
AT ITER 11 NEW BEST:: SOT 108707 SOS 24792 HAS SOPS 24792 HAS SOUS 23564 HAS SOUPS 23564 WITH SCORE 23588.792
AT ITER 34 NEW BEST:: SOT 108707 SOS 24785 HAS SOPS 24785 HAS SOUS 23557 HAS SOUPS 23557 WITH SCORE 23581.785
AT ITER 76 NEW BEST:: SOT 108707 SOS 24777 HAS SOPS 24777 HAS SOUS 23557 HAS SOUPS 23557 WITH SCORE 23581.777
AT ITER 77 NEW BEST:: SOT 108692 SOS 24763 HAS SOPS 24763 HAS SOUS 23553 HAS SOUPS 23553 WITH SCORE 23577.763
AT ITER 83 NEW BEST:: SOT 108650 SOS 24757 HAS SOPS 24757 HAS SOUS 23547 HAS SOUPS 23547 WITH SCORE 23571.757
AT ITER 85 NEW BEST:: SOT 108523 SOS 25041 HAS SOPS 25041 HAS SOUS 23508 HAS SOUPS 23508 WITH SCORE 23533.041
AT ITER 100 NEW BEST:: SOT 108439 SOS 24942 HAS SOPS 24942 HAS SOUS 23391 HAS SOUPS 23391 WITH SCORE 23415.942
AT ITER 108 NEW BEST:: SOT 108236 SOS 28409 HAS SOPS 28409 HAS SOUS 23359 HAS SOUPS 23359 WITH SCORE 23387.409
AT ITER 117 NEW BEST:: SOT 108206 SOS 28408 HAS SOPS 28408 HAS SOUS 23358 HAS SOUPS 23358 WITH SCORE 23386.408
AT ITER 126 NEW BEST:: SOT 108131 SOS 28395 HAS SOPS 28395 HAS SOUS 23333 HAS SOUPS 23333 WITH SCORE 23361.395
AT ITER 130 NEW BEST:: SOT 108131 SOS 28308 HAS SOPS 28308 HAS SOUS 23333 HAS SOUPS 23333 WITH SCORE 23361.308
AT ITER 157 NEW BEST:: SOT 108129 SOS 28373 HAS SOPS 28373 HAS SOUS 23330 HAS SOUPS 23330 WITH SCORE 23358.373
AT ITER 164 NEW BEST:: SOT 108090 SOS 28372 HAS SOPS 28372 HAS SOUS 23329 HAS SOUPS 23329 WITH SCORE 23357.372
AT ITER 218 NEW BEST:: SOT 108051 SOS 28371 HAS SOPS 28371 HAS SOUS 23328 HAS SOUPS 23328 WITH SCORE 23356.371
AT ITER 222 NEW BEST:: SOT 108051 SOS 28346 HAS SOPS 28346 HAS SOUS 23312 HAS SOUPS 23312 WITH SCORE 23340.346
AT ITER 232 NEW BEST:: SOT 105936 SOS 36157 HAS SOPS 36157 HAS SOUS 21651 HAS SOUPS 21651 WITH SCORE 21687.157
AT ITER 255 NEW BEST:: SOT 105936 SOS 36131 HAS SOPS 36131 HAS SOUS 21632 HAS SOUPS 21632 WITH SCORE 21668.131
AT ITER 263 NEW BEST:: SOT 105936 SOS 36126 HAS SOPS 36126 HAS SOUS 21627 HAS SOUPS 21627 WITH SCORE 21663.126
AT ITER 275 NEW BEST:: SOT 105936 SOS 36124 HAS SOPS 36124 HAS SOUS 21625 HAS SOUPS 21625 WITH SCORE 21661.124
AT ITER 306 NEW BEST:: SOT 105920 SOS 36108 HAS SOPS 36108 HAS SOUS 21598 HAS SOUPS 21598 WITH SCORE 21634.108
AT ITER 314 NEW BEST:: SOT 105918 SOS 36105 HAS SOPS 36105 HAS SOUS 21595 HAS SOUPS 21595 WITH SCORE 21631.105
AT ITER 318 NEW BEST:: SOT 105912 SOS 36099 HAS SOPS 36099 HAS SOUS 21589 HAS SOUPS 21589 WITH SCORE 21625.099
AT ITER 333 NEW BEST:: SOT 105803 SOS 35994 HAS SOPS 35994 HAS SOUS 21484 HAS SOUPS 21484 WITH SCORE 21519.994
AT ITER 375 NEW BEST:: SOT 105793 SOS 35984 HAS SOPS 35984 HAS SOUS 21473 HAS SOUPS 21473 WITH SCORE 21508.984
AT ITER 385 NEW BEST:: SOT 105775 SOS 35966 HAS SOPS 35966 HAS SOUS 21454 HAS SOUPS 21454 WITH SCORE 21489.966
AT ITER 408 NEW BEST:: SOT 105775 SOS 35471 HAS SOPS 35471 HAS SOUS 21453 HAS SOUPS 21453 WITH SCORE 21488.471
AT ITER 425 NEW BEST:: SOT 105740 SOS 35435 HAS SOPS 35435 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21452.435
AT ITER 451 NEW BEST:: SOT 105727 SOS 35435 HAS SOPS 35435 HAS SOUS 21416 HAS SOUPS 21416 WITH SCORE 21451.435
AT ITER 464 NEW BEST:: SOT 105669 SOS 35434 HAS SOPS 35434 HAS SOUS 21415 HAS SOUPS 21415 WITH SCORE 21450.434
AT ITER 471 NEW BEST:: SOT 105669 SOS 35433 HAS SOPS 35433 HAS SOUS 21414 HAS SOUPS 21414 WITH SCORE 21449.433
AT ITER 498 NEW BEST:: SOT 105660 SOS 35431 HAS SOPS 35431 HAS SOUS 21412 HAS SOUPS 21412 WITH SCORE 21447.431
AT ITER 500 NEW BEST:: SOT 105618 SOS 35368 HAS SOPS 35368 HAS SOUS 21349 HAS SOUPS 21349 WITH SCORE 21384.368
AT ITER 503 NEW BEST:: SOT 105619 SOS 35367 HAS SOPS 35367 HAS SOUS 21348 HAS SOUPS 21348 WITH SCORE 21383.367
AT ITER 522 NEW BEST:: SOT 104363 SOS 39230 HAS SOPS 39230 HAS SOUS 20393 HAS SOUPS 20393 WITH SCORE 20432.23
AT ITER 523 NEW BEST:: SOT 104358 SOS 39221 HAS SOPS 39221 HAS SOUS 20375 HAS SOUPS 20375 WITH SCORE 20414.221
AT ITER 551 NEW BEST:: SOT 104292 SOS 39154 HAS SOPS 39154 HAS SOUS 20375 HAS SOUPS 20375 WITH SCORE 20414.154
AT ITER 556 NEW BEST:: SOT 104267 SOS 39111 HAS SOPS 39111 HAS SOUS 20348 HAS SOUPS 20348 WITH SCORE 20387.111
AT ITER 575 NEW BEST:: SOT 104254 SOS 39072 HAS SOPS 39072 HAS SOUS 20333 HAS SOUPS 20333 WITH SCORE 20372.072
AT ITER 578 NEW BEST:: SOT 104249 SOS 39062 HAS SOPS 39062 HAS SOUS 20323 HAS SOUPS 20323 WITH SCORE 20362.062
AT ITER 594 NEW BEST:: SOT 103812 SOS 38624 HAS SOPS 38624 HAS SOUS 19885 HAS SOUPS 19885 WITH SCORE 19923.624
AT ITER 654 NEW BEST:: SOT 103812 SOS 38640 HAS SOPS 38640 HAS SOUS 19884 HAS SOUPS 19884 WITH SCORE 19922.64
AT ITER 656 NEW BEST:: SOT 103800 SOS 38616 HAS SOPS 38616 HAS SOUS 19831 HAS SOUPS 19831 WITH SCORE 19869.616
AT ITER 678 NEW BEST:: SOT 103713 SOS 36670 HAS SOPS 36670 HAS SOUS 19720 HAS SOUPS 19720 WITH SCORE 19756.67
AT ITER 682 NEW BEST:: SOT 103266 SOS 36188 HAS SOPS 36188 HAS SOUS 19238 HAS SOUPS 19238 WITH SCORE 19274.188
AT ITER 683 NEW BEST:: SOT 103266 SOS 36175 HAS SOPS 36175 HAS SOUS 19225 HAS SOUPS 19225 WITH SCORE 19261.175
AT ITER 704 NEW BEST:: SOT 103266 SOS 31191 HAS SOPS 31191 HAS SOUS 19225 HAS SOUPS 19225 WITH SCORE 19256.191
AT ITER 705 NEW BEST:: SOT 103257 SOS 31190 HAS SOPS 31190 HAS SOUS 19224 HAS SOUPS 19224 WITH SCORE 19255.19
AT ITER 712 NEW BEST:: SOT 103252 SOS 31177 HAS SOPS 31177 HAS SOUS 19211 HAS SOUPS 19211 WITH SCORE 19242.177
AT ITER 741 NEW BEST:: SOT 103252 SOS 31169 HAS SOPS 31169 HAS SOUS 19203 HAS SOUPS 19203 WITH SCORE 19234.169
AT ITER 750 NEW BEST:: SOT 102790 SOS 35738 HAS SOPS 35738 HAS SOUS 18996 HAS SOUPS 18996 WITH SCORE 19031.738
AT ITER 751 NEW BEST:: SOT 102790 SOS 35737 HAS SOPS 35737 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19030.737
AT ITER 757 NEW BEST:: SOT 102763 SOS 35710 HAS SOPS 35710 HAS SOUS 18967 HAS SOUPS 18967 WITH SCORE 19002.71
AT ITER 787 NEW BEST:: SOT 102744 SOS 35706 HAS SOPS 35706 HAS SOUS 18967 HAS SOUPS 18967 WITH SCORE 19002.706
AT ITER 810 NEW BEST:: SOT 102683 SOS 35666 HAS SOPS 35666 HAS SOUS 18927 HAS SOUPS 18927 WITH SCORE 18962.666
AT ITER 813 NEW BEST:: SOT 102620 SOS 35663 HAS SOPS 35663 HAS SOUS 18841 HAS SOUPS 18841 WITH SCORE 18876.663
AT ITER 839 NEW BEST:: SOT 102550 SOS 35593 HAS SOPS 35593 HAS SOUS 18771 HAS SOUPS 18771 WITH SCORE 18806.593
AT ITER 867 NEW BEST:: SOT 102521 SOS 35562 HAS SOPS 35562 HAS SOUS 18740 HAS SOUPS 18740 WITH SCORE 18775.562
AT ITER 871 NEW BEST:: SOT 102521 SOS 35561 HAS SOPS 35561 HAS SOUS 18740 HAS SOUPS 18740 WITH SCORE 18775.561
AT ITER 876 NEW BEST:: SOT 102500 SOS 35540 HAS SOPS 35540 HAS SOUS 18698 HAS SOUPS 18698 WITH SCORE 18733.54
AT ITER 881 NEW BEST:: SOT 102500 SOS 35522 HAS SOPS 35522 HAS SOUS 18689 HAS SOUPS 18689 WITH SCORE 18724.522
AT ITER 941 NEW BEST:: SOT 102497 SOS 35525 HAS SOPS 35525 HAS SOUS 18686 HAS SOUPS 18686 WITH SCORE 18721.525
AT ITER 953 NEW BEST:: SOT 102464 SOS 35492 HAS SOPS 35492 HAS SOUS 18685 HAS SOUPS 18685 WITH SCORE 18720.492
AT ITER 955 NEW BEST:: SOT 102463 SOS 35491 HAS SOPS 35491 HAS SOUS 18684 HAS SOUPS 18684 WITH SCORE 18719.491
AT ITER 977 NEW BEST:: SOT 102462 SOS 35489 HAS SOPS 35489 HAS SOUS 18682 HAS SOUPS 18682 WITH SCORE 18717.489
AT ITER 1005 NEW BEST:: SOT 102205 SOS 35232 HAS SOPS 35232 HAS SOUS 18425 HAS SOUPS 18425 WITH SCORE 18460.232
AT ITER 1022 NEW BEST:: SOT 102203 SOS 35198 HAS SOPS 35198 HAS SOUS 18421 HAS SOUPS 18421 WITH SCORE 18456.198
AT ITER 1024 NEW BEST:: SOT 102200 SOS 35194 HAS SOPS 35194 HAS SOUS 18417 HAS SOUPS 18417 WITH SCORE 18452.194
AT ITER 1088 NEW BEST:: SOT 102150 SOS 35225 HAS SOPS 35225 HAS SOUS 18370 HAS SOUPS 18370 WITH SCORE 18405.225
AT ITER 1121 NEW BEST:: SOT 101247 SOS 34939 HAS SOPS 34939 HAS SOUS 17499 HAS SOUPS 17499 WITH SCORE 17533.939
AT ITER 1204 NEW BEST:: SOT 101087 SOS 34779 HAS SOPS 34779 HAS SOUS 17339 HAS SOUPS 17339 WITH SCORE 17373.779
AT ITER 1233 NEW BEST:: SOT 101088 SOS 34771 HAS SOPS 34771 HAS SOUS 17331 HAS SOUPS 17331 WITH SCORE 17365.771
AT ITER 1248 NEW BEST:: SOT 101074 SOS 34735 HAS SOPS 34735 HAS SOUS 17315 HAS SOUPS 17315 WITH SCORE 17349.735
AT ITER 1282 NEW BEST:: SOT 101008 SOS 34721 HAS SOPS 34721 HAS SOUS 17301 HAS SOUPS 17301 WITH SCORE 17335.721
AT ITER 1331 NEW BEST:: SOT 101005 SOS 34715 HAS SOPS 34715 HAS SOUS 17292 HAS SOUPS 17292 WITH SCORE 17326.715
AT ITER 1351 NEW BEST:: SOT 100967 SOS 34601 HAS SOPS 34601 HAS SOUS 17216 HAS SOUPS 17216 WITH SCORE 17250.601
AT ITER 1355 NEW BEST:: SOT 100935 SOS 34537 HAS SOPS 34537 HAS SOUS 17184 HAS SOUPS 17184 WITH SCORE 17218.537
AT ITER 1362 NEW BEST:: SOT 100934 SOS 34536 HAS SOPS 34536 HAS SOUS 17182 HAS SOUPS 17182 WITH SCORE 17216.536
AT ITER 1375 NEW BEST:: SOT 100923 SOS 34520 HAS SOPS 34520 HAS SOUS 17166 HAS SOUPS 17166 WITH SCORE 17200.52
AT ITER 1397 NEW BEST:: SOT 100911 SOS 34515 HAS SOPS 34515 HAS SOUS 17161 HAS SOUPS 17161 WITH SCORE 17195.515
AT ITER 1428 NEW BEST:: SOT 100880 SOS 34484 HAS SOPS 34484 HAS SOUS 17161 HAS SOUPS 17161 WITH SCORE 17195.484
AT ITER 1436 NEW BEST:: SOT 100879 SOS 34484 HAS SOPS 34484 HAS SOUS 17160 HAS SOUPS 17160 WITH SCORE 17194.484
AT ITER 1437 NEW BEST:: SOT 100878 SOS 34485 HAS SOPS 34485 HAS SOUS 17159 HAS SOUPS 17159 WITH SCORE 17193.485
AT ITER 1468 NEW BEST:: SOT 100806 SOS 34412 HAS SOPS 34412 HAS SOUS 17120 HAS SOUPS 17120 WITH SCORE 17154.412
AT ITER 1533 NEW BEST:: SOT 100805 SOS 34411 HAS SOPS 34411 HAS SOUS 17085 HAS SOUPS 17085 WITH SCORE 17119.411
AT ITER 1555 NEW BEST:: SOT 100825 SOS 34403 HAS SOPS 34403 HAS SOUS 17077 HAS SOUPS 17077 WITH SCORE 17111.403
AT ITER 1556 NEW BEST:: SOT 100808 SOS 34355 HAS SOPS 34355 HAS SOUS 17071 HAS SOUPS 17071 WITH SCORE 17105.355
AT ITER 1579 NEW BEST:: SOT 100710 SOS 34075 HAS SOPS 34075 HAS SOUS 16926 HAS SOUPS 16926 WITH SCORE 16960.075
AT ITER 1603 NEW BEST:: SOT 100709 SOS 34074 HAS SOPS 34074 HAS SOUS 16925 HAS SOUPS 16925 WITH SCORE 16959.074
AT ITER 1649 NEW BEST:: SOT 100729 SOS 34054 HAS SOPS 34054 HAS SOUS 16925 HAS SOUPS 16925 WITH SCORE 16959.054
AT ITER 1659 NEW BEST:: SOT 100729 SOS 34053 HAS SOPS 34053 HAS SOUS 16924 HAS SOUPS 16924 WITH SCORE 16958.053
AT ITER 1662 NEW BEST:: SOT 100714 SOS 34047 HAS SOPS 34047 HAS SOUS 16918 HAS SOUPS 16918 WITH SCORE 16952.047
AT ITER 1694 NEW BEST:: SOT 100713 SOS 34046 HAS SOPS 34046 HAS SOUS 16912 HAS SOUPS 16912 WITH SCORE 16946.046
AT ITER 1710 NEW BEST:: SOT 100618 SOS 33845 HAS SOPS 33845 HAS SOUS 16830 HAS SOUPS 16830 WITH SCORE 16863.845
AT ITER 1740 NEW BEST:: SOT 100618 SOS 33833 HAS SOPS 33833 HAS SOUS 16829 HAS SOUPS 16829 WITH SCORE 16862.833
AT ITER 1748 NEW BEST:: SOT 100600 SOS 33815 HAS SOPS 33815 HAS SOUS 16811 HAS SOUPS 16811 WITH SCORE 16844.815
AT ITER 1774 NEW BEST:: SOT 100600 SOS 33784 HAS SOPS 33784 HAS SOUS 16780 HAS SOUPS 16780 WITH SCORE 16813.784
AT ITER 1781 NEW BEST:: SOT 100567 SOS 33695 HAS SOPS 33695 HAS SOUS 16714 HAS SOUPS 16714 WITH SCORE 16747.695
AT ITER 1793 NEW BEST:: SOT 100537 SOS 33635 HAS SOPS 33635 HAS SOUS 16654 HAS SOUPS 16654 WITH SCORE 16687.635
AT ITER 1814 NEW BEST:: SOT 100535 SOS 33633 HAS SOPS 33633 HAS SOUS 16650 HAS SOUPS 16650 WITH SCORE 16683.633
AT ITER 1848 NEW BEST:: SOT 100441 SOS 33847 HAS SOPS 33847 HAS SOUS 16560 HAS SOUPS 16560 WITH SCORE 16593.847
AT ITER 1861 NEW BEST:: SOT 100431 SOS 33837 HAS SOPS 33837 HAS SOUS 16550 HAS SOUPS 16550 WITH SCORE 16583.837
AT ITER 1880 NEW BEST:: SOT 100425 SOS 33752 HAS SOPS 33752 HAS SOUS 16546 HAS SOUPS 16546 WITH SCORE 16579.752
AT ITER 1933 NEW BEST:: SOT 100425 SOS 33751 HAS SOPS 33751 HAS SOUS 16545 HAS SOUPS 16545 WITH SCORE 16578.751
AT ITER 1935 NEW BEST:: SOT 100425 SOS 33675 HAS SOPS 33675 HAS SOUS 16545 HAS SOUPS 16545 WITH SCORE 16578.675
AT ITER 1945 NEW BEST:: SOT 100403 SOS 33481 HAS SOPS 33481 HAS SOUS 16519 HAS SOUPS 16519 WITH SCORE 16552.481
AT ITER 1954 NEW BEST:: SOT 100403 SOS 33471 HAS SOPS 33471 HAS SOUS 16519 HAS SOUPS 16519 WITH SCORE 16552.471
AT ITER 1971 NEW BEST:: SOT 100395 SOS 33456 HAS SOPS 33456 HAS SOUS 16504 HAS SOUPS 16504 WITH SCORE 16537.456
AT ITER 1992 NEW BEST:: SOT 100277 SOS 33240 HAS SOPS 33240 HAS SOUS 16268 HAS SOUPS 16268 WITH SCORE 16301.24
AT ITER 1996 NEW BEST:: SOT 100249 SOS 33197 HAS SOPS 33197 HAS SOUS 16225 HAS SOUPS 16225 WITH SCORE 16258.197
AT ITER 1998 NEW BEST:: SOT 100248 SOS 33196 HAS SOPS 33196 HAS SOUS 16223 HAS SOUPS 16223 WITH SCORE 16256.196
AT ITER 2020 NEW BEST:: SOT 100209 SOS 33198 HAS SOPS 33198 HAS SOUS 16204 HAS SOUPS 16204 WITH SCORE 16237.198
AT ITER 2042 NEW BEST:: SOT 100202 SOS 33190 HAS SOPS 33190 HAS SOUS 16203 HAS SOUPS 16203 WITH SCORE 16236.19
AT ITER 2043 NEW BEST:: SOT 100198 SOS 33165 HAS SOPS 33165 HAS SOUS 16178 HAS SOUPS 16178 WITH SCORE 16211.165
AT ITER 2127 NEW BEST:: SOT 100176 SOS 33101 HAS SOPS 33101 HAS SOUS 16156 HAS SOUPS 16156 WITH SCORE 16189.101
AT ITER 2162 NEW BEST:: SOT 100175 SOS 33100 HAS SOPS 33100 HAS SOUS 16155 HAS SOUPS 16155 WITH SCORE 16188.1
AT ITER 2174 NEW BEST:: SOT 100150 SOS 33075 HAS SOPS 33075 HAS SOUS 16105 HAS SOUPS 16105 WITH SCORE 16138.075
AT ITER 2182 NEW BEST:: SOT 100116 SOS 33041 HAS SOPS 33041 HAS SOUS 16037 HAS SOUPS 16037 WITH SCORE 16070.041
AT ITER 2217 NEW BEST:: SOT 98046 SOS 36152 HAS SOPS 36152 HAS SOUS 14357 HAS SOUPS 14357 WITH SCORE 14393.152
AT ITER 2223 NEW BEST:: SOT 97856 SOS 35962 HAS SOPS 35962 HAS SOUS 14167 HAS SOUPS 14167 WITH SCORE 14202.962
AT ITER 2231 NEW BEST:: SOT 97828 SOS 35934 HAS SOPS 35934 HAS SOUS 14116 HAS SOUPS 14116 WITH SCORE 14151.934
AT ITER 2287 NEW BEST:: SOT 97828 SOS 35934 HAS SOPS 35934 HAS SOUS 14115 HAS SOUPS 14115 WITH SCORE 14150.934
AT ITER 2324 NEW BEST:: SOT 97836 SOS 35942 HAS SOPS 35942 HAS SOUS 14081 HAS SOUPS 14081 WITH SCORE 14116.942
AT ITER 2328 NEW BEST:: SOT 97832 SOS 35939 HAS SOPS 35939 HAS SOUS 14078 HAS SOUPS 14078 WITH SCORE 14113.939
AT ITER 2340 NEW BEST:: SOT 97830 SOS 35937 HAS SOPS 35937 HAS SOUS 14076 HAS SOUPS 14076 WITH SCORE 14111.937
AT ITER 2345 NEW BEST:: SOT 97829 SOS 35936 HAS SOPS 35936 HAS SOUS 14066 HAS SOUPS 14066 WITH SCORE 14101.936
AT ITER 2346 NEW BEST:: SOT 97823 SOS 35930 HAS SOPS 35930 HAS SOUS 14054 HAS SOUPS 14054 WITH SCORE 14089.93
AT ITER 2365 NEW BEST:: SOT 97844 SOS 35927 HAS SOPS 35927 HAS SOUS 14051 HAS SOUPS 14051 WITH SCORE 14086.927
AT ITER 2368 NEW BEST:: SOT 97843 SOS 35926 HAS SOPS 35926 HAS SOUS 14035 HAS SOUPS 14035 WITH SCORE 14070.926
AT ITER 2443 NEW BEST:: SOT 97842 SOS 35925 HAS SOPS 35925 HAS SOUS 14033 HAS SOUPS 14033 WITH SCORE 14068.925
AT ITER 2468 NEW BEST:: SOT 97851 SOS 35934 HAS SOPS 35934 HAS SOUS 13969 HAS SOUPS 13969 WITH SCORE 14004.934
AT ITER 2487 NEW BEST:: SOT 97861 SOS 35944 HAS SOPS 35944 HAS SOUS 13966 HAS SOUPS 13966 WITH SCORE 14001.944
AT ITER 2492 NEW BEST:: SOT 97850 SOS 35908 HAS SOPS 35908 HAS SOUS 13930 HAS SOUPS 13930 WITH SCORE 13965.908
AT ITER 2533 NEW BEST:: SOT 97849 SOS 35907 HAS SOPS 35907 HAS SOUS 13929 HAS SOUPS 13929 WITH SCORE 13964.907
AT ITER 2573 NEW BEST:: SOT 97847 SOS 35905 HAS SOPS 35905 HAS SOUS 13925 HAS SOUPS 13925 WITH SCORE 13960.905
AT ITER 2618 NEW BEST:: SOT 97847 SOS 35905 HAS SOPS 35905 HAS SOUS 13893 HAS SOUPS 13893 WITH SCORE 13928.905
AT ITER 2638 NEW BEST:: SOT 97262 SOS 35342 HAS SOPS 35342 HAS SOUS 13330 HAS SOUPS 13330 WITH SCORE 13365.342
AT ITER 2643 NEW BEST:: SOT 97262 SOS 35342 HAS SOPS 35342 HAS SOUS 13305 HAS SOUPS 13305 WITH SCORE 13340.342
AT ITER 2679 NEW BEST:: SOT 97251 SOS 35339 HAS SOPS 35339 HAS SOUS 13294 HAS SOUPS 13294 WITH SCORE 13329.339
AT ITER 2695 NEW BEST:: SOT 97251 SOS 35338 HAS SOPS 35338 HAS SOUS 13293 HAS SOUPS 13293 WITH SCORE 13328.338
AT ITER 2704 NEW BEST:: SOT 97196 SOS 35316 HAS SOPS 35316 HAS SOUS 13245 HAS SOUPS 13245 WITH SCORE 13280.316
AT ITER 2716 NEW BEST:: SOT 97119 SOS 35207 HAS SOPS 35207 HAS SOUS 13133 HAS SOUPS 13133 WITH SCORE 13168.207
AT ITER 2722 NEW BEST:: SOT 97117 SOS 35205 HAS SOPS 35205 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13164.205
AT ITER 2734 NEW BEST:: SOT 97104 SOS 35190 HAS SOPS 35190 HAS SOUS 13114 HAS SOUPS 13114 WITH SCORE 13149.19
AT ITER 2762 NEW BEST:: SOT 97103 SOS 35189 HAS SOPS 35189 HAS SOUS 13099 HAS SOUPS 13099 WITH SCORE 13134.189
AT ITER 2791 NEW BEST:: SOT 97074 SOS 35160 HAS SOPS 35160 HAS SOUS 13041 HAS SOUPS 13041 WITH SCORE 13076.16
AT ITER 2809 NEW BEST:: SOT 97016 SOS 33601 HAS SOPS 33601 HAS SOUS 12946 HAS SOUPS 12946 WITH SCORE 12979.601
AT ITER 2857 NEW BEST:: SOT 96944 SOS 33469 HAS SOPS 33469 HAS SOUS 12841 HAS SOUPS 12841 WITH SCORE 12874.469
AT ITER 2862 NEW BEST:: SOT 96925 SOS 33450 HAS SOPS 33450 HAS SOUS 12803 HAS SOUPS 12803 WITH SCORE 12836.45
AT ITER 2910 NEW BEST:: SOT 96922 SOS 33447 HAS SOPS 33447 HAS SOUS 12799 HAS SOUPS 12799 WITH SCORE 12832.447
AT ITER 2940 NEW BEST:: SOT 96921 SOS 33461 HAS SOPS 33461 HAS SOUS 12797 HAS SOUPS 12797 WITH SCORE 12830.461
AT ITER 2948 NEW BEST:: SOT 96919 SOS 33457 HAS SOPS 33457 HAS SOUS 12795 HAS SOUPS 12795 WITH SCORE 12828.457
AT ITER 2949 NEW BEST:: SOT 96955 SOS 33456 HAS SOPS 33456 HAS SOUS 12794 HAS SOUPS 12794 WITH SCORE 12827.456
AT ITER 2964 NEW BEST:: SOT 96947 SOS 33448 HAS SOPS 33448 HAS SOUS 12794 HAS SOUPS 12794 WITH SCORE 12827.448
AT ITER 2995 NEW BEST:: SOT 96917 SOS 33431 HAS SOPS 33431 HAS SOUS 12777 HAS SOUPS 12777 WITH SCORE 12810.431
AT ITER 3065 NEW BEST:: SOT 96915 SOS 33428 HAS SOPS 33428 HAS SOUS 12774 HAS SOUPS 12774 WITH SCORE 12807.428
AT ITER 3080 NEW BEST:: SOT 96885 SOS 33398 HAS SOPS 33398 HAS SOUS 12714 HAS SOUPS 12714 WITH SCORE 12747.398
AT ITER 3081 NEW BEST:: SOT 96914 SOS 33313 HAS SOPS 33313 HAS SOUS 12665 HAS SOUPS 12665 WITH SCORE 12698.313
AT ITER 3110 NEW BEST:: SOT 96915 SOS 33298 HAS SOPS 33298 HAS SOUS 12658 HAS SOUPS 12658 WITH SCORE 12691.298
AT ITER 3157 NEW BEST:: SOT 96866 SOS 33249 HAS SOPS 33249 HAS SOUS 12560 HAS SOUPS 12560 WITH SCORE 12593.249
AT ITER 3158 NEW BEST:: SOT 96837 SOS 33220 HAS SOPS 33220 HAS SOUS 12502 HAS SOUPS 12502 WITH SCORE 12535.22
AT ITER 3212 NEW BEST:: SOT 96837 SOS 33198 HAS SOPS 33198 HAS SOUS 12480 HAS SOUPS 12480 WITH SCORE 12513.198
AT ITER 3225 NEW BEST:: SOT 96804 SOS 33163 HAS SOPS 33163 HAS SOUS 12445 HAS SOUPS 12445 WITH SCORE 12478.163
AT ITER 3266 NEW BEST:: SOT 96791 SOS 33150 HAS SOPS 33150 HAS SOUS 12419 HAS SOUPS 12419 WITH SCORE 12452.15
AT ITER 3285 NEW BEST:: SOT 96782 SOS 33141 HAS SOPS 33141 HAS SOUS 12401 HAS SOUPS 12401 WITH SCORE 12434.141
AT ITER 3304 NEW BEST:: SOT 96771 SOS 33130 HAS SOPS 33130 HAS SOUS 12379 HAS SOUPS 12379 WITH SCORE 12412.13
AT ITER 3314 NEW BEST:: SOT 96710 SOS 33069 HAS SOPS 33069 HAS SOUS 12257 HAS SOUPS 12257 WITH SCORE 12290.069
AT ITER 3360 NEW BEST:: SOT 96717 SOS 33090 HAS SOPS 33090 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12288.09
AT ITER 3403 NEW BEST:: SOT 96717 SOS 33050 HAS SOPS 33050 HAS SOUS 12254 HAS SOUPS 12254 WITH SCORE 12287.05
AT ITER 3410 NEW BEST:: SOT 96673 SOS 32678 HAS SOPS 32678 HAS SOUS 12202 HAS SOUPS 12202 WITH SCORE 12234.678
AT ITER 3415 NEW BEST:: SOT 96673 SOS 32674 HAS SOPS 32674 HAS SOUS 12198 HAS SOUPS 12198 WITH SCORE 12230.674
AT ITER 3454 NEW BEST:: SOT 96672 SOS 32636 HAS SOPS 32636 HAS SOUS 12190 HAS SOUPS 12190 WITH SCORE 12222.636
AT ITER 3460 NEW BEST:: SOT 96641 SOS 32605 HAS SOPS 32605 HAS SOUS 12128 HAS SOUPS 12128 WITH SCORE 12160.605
AT ITER 3486 NEW BEST:: SOT 96634 SOS 32598 HAS SOPS 32598 HAS SOUS 12114 HAS SOUPS 12114 WITH SCORE 12146.598
AT ITER 3552 NEW BEST:: SOT 96594 SOS 32538 HAS SOPS 32538 HAS SOUS 12083 HAS SOUPS 12083 WITH SCORE 12115.538
AT ITER 3571 NEW BEST:: SOT 96593 SOS 32537 HAS SOPS 32537 HAS SOUS 12081 HAS SOUPS 12081 WITH SCORE 12113.537
AT ITER 3573 NEW BEST:: SOT 96584 SOS 32177 HAS SOPS 32177 HAS SOUS 12063 HAS SOUPS 12063 WITH SCORE 12095.177
AT ITER 3585 NEW BEST:: SOT 96584 SOS 32169 HAS SOPS 32169 HAS SOUS 12055 HAS SOUPS 12055 WITH SCORE 12087.169
AT ITER 3608 NEW BEST:: SOT 96584 SOS 32166 HAS SOPS 32166 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12084.166
AT ITER 3611 NEW BEST:: SOT 96584 SOS 32127 HAS SOPS 32127 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12084.127
AT ITER 3658 NEW BEST:: SOT 96584 SOS 32121 HAS SOPS 32121 HAS SOUS 12046 HAS SOUPS 12046 WITH SCORE 12078.121
AT ITER 3694 NEW BEST:: SOT 96583 SOS 32120 HAS SOPS 32120 HAS SOUS 12045 HAS SOUPS 12045 WITH SCORE 12077.12
AT ITER 3729 NEW BEST:: SOT 96581 SOS 32113 HAS SOPS 32113 HAS SOUS 12039 HAS SOUPS 12039 WITH SCORE 12071.113
AT ITER 3737 NEW BEST:: SOT 96569 SOS 32101 HAS SOPS 32101 HAS SOUS 12015 HAS SOUPS 12015 WITH SCORE 12047.101
AT ITER 3738 NEW BEST:: SOT 96566 SOS 32099 HAS SOPS 32099 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12045.099
AT ITER 3756 NEW BEST:: SOT 96561 SOS 32089 HAS SOPS 32089 HAS SOUS 12003 HAS SOUPS 12003 WITH SCORE 12035.089
AT ITER 3856 NEW BEST:: SOT 96560 SOS 32120 HAS SOPS 32120 HAS SOUS 12001 HAS SOUPS 12001 WITH SCORE 12033.12
AT ITER 3872 NEW BEST:: SOT 96540 SOS 32100 HAS SOPS 32100 HAS SOUS 11961 HAS SOUPS 11961 WITH SCORE 11993.1
AT ITER 3903 NEW BEST:: SOT 96526 SOS 32086 HAS SOPS 32086 HAS SOUS 11947 HAS SOUPS 11947 WITH SCORE 11979.086
AT ITER 3952 NEW BEST:: SOT 96516 SOS 32066 HAS SOPS 32066 HAS SOUS 11927 HAS SOUPS 11927 WITH SCORE 11959.066
AT ITER 3990 NEW BEST:: SOT 96495 SOS 32062 HAS SOPS 32062 HAS SOUS 11923 HAS SOUPS 11923 WITH SCORE 11955.062
AT ITER 4061 NEW BEST:: SOT 96469 SOS 32074 HAS SOPS 32074 HAS SOUS 11913 HAS SOUPS 11913 WITH SCORE 11945.074
AT ITER 4082 NEW BEST:: SOT 96468 SOS 32073 HAS SOPS 32073 HAS SOUS 11911 HAS SOUPS 11911 WITH SCORE 11943.073
AT ITER 4089 NEW BEST:: SOT 96467 SOS 32072 HAS SOPS 32072 HAS SOUS 11909 HAS SOUPS 11909 WITH SCORE 11941.072
AT ITER 4146 NEW BEST:: SOT 96451 SOS 32056 HAS SOPS 32056 HAS SOUS 11877 HAS SOUPS 11877 WITH SCORE 11909.056
AT ITER 4203 NEW BEST:: SOT 96449 SOS 32054 HAS SOPS 32054 HAS SOUS 11873 HAS SOUPS 11873 WITH SCORE 11905.054
AT ITER 4227 NEW BEST:: SOT 96448 SOS 32053 HAS SOPS 32053 HAS SOUS 11871 HAS SOUPS 11871 WITH SCORE 11903.053
AT ITER 4251 NEW BEST:: SOT 96399 SOS 32015 HAS SOPS 32015 HAS SOUS 11833 HAS SOUPS 11833 WITH SCORE 11865.015
AT ITER 4253 NEW BEST:: SOT 96395 SOS 32014 HAS SOPS 32014 HAS SOUS 11826 HAS SOUPS 11826 WITH SCORE 11858.014
AT ITER 4258 NEW BEST:: SOT 96383 SOS 31989 HAS SOPS 31989 HAS SOUS 11801 HAS SOUPS 11801 WITH SCORE 11832.989
AT ITER 4263 NEW BEST:: SOT 96380 SOS 31986 HAS SOPS 31986 HAS SOUS 11801 HAS SOUPS 11801 WITH SCORE 11832.986
AT ITER 4296 NEW BEST:: SOT 96361 SOS 31978 HAS SOPS 31978 HAS SOUS 11782 HAS SOUPS 11782 WITH SCORE 11813.978
AT ITER 4329 NEW BEST:: SOT 96347 SOS 31980 HAS SOPS 31980 HAS SOUS 11771 HAS SOUPS 11771 WITH SCORE 11802.98
AT ITER 4330 NEW BEST:: SOT 96346 SOS 31979 HAS SOPS 31979 HAS SOUS 11769 HAS SOUPS 11769 WITH SCORE 11800.979
AT ITER 4386 NEW BEST:: SOT 96345 SOS 31976 HAS SOPS 31976 HAS SOUS 11769 HAS SOUPS 11769 WITH SCORE 11800.976
AT ITER 4439 NEW BEST:: SOT 96326 SOS 31968 HAS SOPS 31968 HAS SOUS 11761 HAS SOUPS 11761 WITH SCORE 11792.968
AT ITER 4451 NEW BEST:: SOT 96336 SOS 31978 HAS SOPS 31978 HAS SOUS 11749 HAS SOUPS 11749 WITH SCORE 11780.978
AT ITER 4558 NEW BEST:: SOT 96313 SOS 31965 HAS SOPS 31965 HAS SOUS 11723 HAS SOUPS 11723 WITH SCORE 11754.965
AT ITER 4618 NEW BEST:: SOT 96295 SOS 31947 HAS SOPS 31947 HAS SOUS 11687 HAS SOUPS 11687 WITH SCORE 11718.947
AT ITER 4709 NEW BEST:: SOT 96295 SOS 31947 HAS SOPS 31947 HAS SOUS 11656 HAS SOUPS 11656 WITH SCORE 11687.947
AT ITER 4731 NEW BEST:: SOT 96286 SOS 31944 HAS SOPS 31944 HAS SOUS 11653 HAS SOUPS 11653 WITH SCORE 11684.944
AT ITER 4737 NEW BEST:: SOT 96287 SOS 31945 HAS SOPS 31945 HAS SOUS 11643 HAS SOUPS 11643 WITH SCORE 11674.945
AT ITER 4750 NEW BEST:: SOT 96259 SOS 31917 HAS SOPS 31917 HAS SOUS 11587 HAS SOUPS 11587 WITH SCORE 11618.917
AT ITER 4807 NEW BEST:: SOT 96268 SOS 31921 HAS SOPS 31921 HAS SOUS 11582 HAS SOUPS 11582 WITH SCORE 11613.921
AT ITER 4840 NEW BEST:: SOT 96267 SOS 31920 HAS SOPS 31920 HAS SOUS 11580 HAS SOUPS 11580 WITH SCORE 11611.92
AT ITER 4855 NEW BEST:: SOT 96265 SOS 31916 HAS SOPS 31916 HAS SOUS 11576 HAS SOUPS 11576 WITH SCORE 11607.916
AT ITER 4857 NEW BEST:: SOT 96165 SOS 31816 HAS SOPS 31816 HAS SOUS 11454 HAS SOUPS 11454 WITH SCORE 11485.816
AT ITER 4866 NEW BEST:: SOT 96163 SOS 31814 HAS SOPS 31814 HAS SOUS 11450 HAS SOUPS 11450 WITH SCORE 11481.814
AT ITER 4900 NEW BEST:: SOT 96160 SOS 31806 HAS SOPS 31806 HAS SOUS 11442 HAS SOUPS 11442 WITH SCORE 11473.806
AT ITER 4963 NEW BEST:: SOT 96159 SOS 31805 HAS SOPS 31805 HAS SOUS 11440 HAS SOUPS 11440 WITH SCORE 11471.805
AT ITER 5008 NEW BEST:: SOT 96158 SOS 31804 HAS SOPS 31804 HAS SOUS 11438 HAS SOUPS 11438 WITH SCORE 11469.804
AT ITER 5039 NEW BEST:: SOT 96157 SOS 31801 HAS SOPS 31801 HAS SOUS 11436 HAS SOUPS 11436 WITH SCORE 11467.801
AT ITER 5052 NEW BEST:: SOT 96156 SOS 31800 HAS SOPS 31800 HAS SOUS 11434 HAS SOUPS 11434 WITH SCORE 11465.8
AT ITER 5104 NEW BEST:: SOT 96149 SOS 31799 HAS SOPS 31799 HAS SOUS 11433 HAS SOUPS 11433 WITH SCORE 11464.799
AT ITER 5167 NEW BEST:: SOT 96085 SOS 31735 HAS SOPS 31735 HAS SOUS 11305 HAS SOUPS 11305 WITH SCORE 11336.735
AT ITER 5198 NEW BEST:: SOT 96070 SOS 31713 HAS SOPS 31713 HAS SOUS 11283 HAS SOUPS 11283 WITH SCORE 11314.713
AT ITER 5227 NEW BEST:: SOT 96068 SOS 31711 HAS SOPS 31711 HAS SOUS 11281 HAS SOUPS 11281 WITH SCORE 11312.711
AT ITER 5417 NEW BEST:: SOT 96062 SOS 31543 HAS SOPS 31543 HAS SOUS 11267 HAS SOUPS 11267 WITH SCORE 11298.543
AT ITER 5529 NEW BEST:: SOT 96062 SOS 31528 HAS SOPS 31528 HAS SOUS 11262 HAS SOUPS 11262 WITH SCORE 11293.528
AT ITER 5577 NEW BEST:: SOT 96022 SOS 31488 HAS SOPS 31488 HAS SOUS 11182 HAS SOUPS 11182 WITH SCORE 11213.488
AT ITER 5621 NEW BEST:: SOT 96012 SOS 31478 HAS SOPS 31478 HAS SOUS 11162 HAS SOUPS 11162 WITH SCORE 11193.478
AT ITER 5630 NEW BEST:: SOT 96004 SOS 31482 HAS SOPS 31482 HAS SOUS 11158 HAS SOUPS 11158 WITH SCORE 11189.482
AT ITER 5740 NEW BEST:: SOT 96009 SOS 31477 HAS SOPS 31477 HAS SOUS 11153 HAS SOUPS 11153 WITH SCORE 11184.477
AT ITER 5749 NEW BEST:: SOT 95982 SOS 31450 HAS SOPS 31450 HAS SOUS 11099 HAS SOUPS 11099 WITH SCORE 11130.45
AT ITER 5769 NEW BEST:: SOT 95945 SOS 31413 HAS SOPS 31413 HAS SOUS 11062 HAS SOUPS 11062 WITH SCORE 11093.413
AT ITER 5772 NEW BEST:: SOT 95942 SOS 31410 HAS SOPS 31410 HAS SOUS 11056 HAS SOUPS 11056 WITH SCORE 11087.41
AT ITER 5782 NEW BEST:: SOT 95941 SOS 31409 HAS SOPS 31409 HAS SOUS 11054 HAS SOUPS 11054 WITH SCORE 11085.409
AT ITER 5901 NEW BEST:: SOT 95928 SOS 31396 HAS SOPS 31396 HAS SOUS 11028 HAS SOUPS 11028 WITH SCORE 11059.396
AT ITER 5922 NEW BEST:: SOT 95928 SOS 31389 HAS SOPS 31389 HAS SOUS 11021 HAS SOUPS 11021 WITH SCORE 11052.389
AT ITER 5935 NEW BEST:: SOT 95922 SOS 31383 HAS SOPS 31383 HAS SOUS 11009 HAS SOUPS 11009 WITH SCORE 11040.383
AT ITER 5967 NEW BEST:: SOT 95928 SOS 31397 HAS SOPS 31397 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11038.397
AT ITER 5975 NEW BEST:: SOT 95924 SOS 31393 HAS SOPS 31393 HAS SOUS 11003 HAS SOUPS 11003 WITH SCORE 11034.393
AT ITER 6003 NEW BEST:: SOT 95901 SOS 31370 HAS SOPS 31370 HAS SOUS 10957 HAS SOUPS 10957 WITH SCORE 10988.37
AT ITER 6012 NEW BEST:: SOT 95900 SOS 31369 HAS SOPS 31369 HAS SOUS 10955 HAS SOUPS 10955 WITH SCORE 10986.369
AT ITER 6014 NEW BEST:: SOT 95899 SOS 31368 HAS SOPS 31368 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10984.368
AT ITER 6058 NEW BEST:: SOT 95885 SOS 31354 HAS SOPS 31354 HAS SOUS 10925 HAS SOUPS 10925 WITH SCORE 10956.354
AT ITER 6122 NEW BEST:: SOT 95884 SOS 31340 HAS SOPS 31340 HAS SOUS 10923 HAS SOUPS 10923 WITH SCORE 10954.34
AT ITER 6135 NEW BEST:: SOT 95884 SOS 31340 HAS SOPS 31340 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10951.34
AT ITER 6136 NEW BEST:: SOT 95858 SOS 30718 HAS SOPS 30718 HAS SOUS 10879 HAS SOUPS 10879 WITH SCORE 10909.718
AT ITER 6152 NEW BEST:: SOT 95857 SOS 30717 HAS SOPS 30717 HAS SOUS 10877 HAS SOUPS 10877 WITH SCORE 10907.717
AT ITER 6260 NEW BEST:: SOT 95858 SOS 30705 HAS SOPS 30705 HAS SOUS 10865 HAS SOUPS 10865 WITH SCORE 10895.705
AT ITER 6323 NEW BEST:: SOT 95843 SOS 30690 HAS SOPS 30690 HAS SOUS 10835 HAS SOUPS 10835 WITH SCORE 10865.69
AT ITER 6419 NEW BEST:: SOT 95837 SOS 30684 HAS SOPS 30684 HAS SOUS 10823 HAS SOUPS 10823 WITH SCORE 10853.684
AT ITER 6436 NEW BEST:: SOT 95819 SOS 30666 HAS SOPS 30666 HAS SOUS 10805 HAS SOUPS 10805 WITH SCORE 10835.666
AT ITER 6467 NEW BEST:: SOT 95819 SOS 30663 HAS SOPS 30663 HAS SOUS 10802 HAS SOUPS 10802 WITH SCORE 10832.663
AT ITER 6474 NEW BEST:: SOT 95828 SOS 30658 HAS SOPS 30658 HAS SOUS 10795 HAS SOUPS 10795 WITH SCORE 10825.658
AT ITER 6499 NEW BEST:: SOT 95821 SOS 30650 HAS SOPS 30650 HAS SOUS 10787 HAS SOUPS 10787 WITH SCORE 10817.65
AT ITER 6531 NEW BEST:: SOT 95784 SOS 30613 HAS SOPS 30613 HAS SOUS 10713 HAS SOUPS 10713 WITH SCORE 10743.613
AT ITER 6547 NEW BEST:: SOT 95769 SOS 30598 HAS SOPS 30598 HAS SOUS 10683 HAS SOUPS 10683 WITH SCORE 10713.598
AT ITER 6581 NEW BEST:: SOT 95806 SOS 30574 HAS SOPS 30574 HAS SOUS 10659 HAS SOUPS 10659 WITH SCORE 10689.574
AT ITER 6589 NEW BEST:: SOT 95851 SOS 30550 HAS SOPS 30550 HAS SOUS 10644 HAS SOUPS 10644 WITH SCORE 10674.55
AT ITER 6651 NEW BEST:: SOT 95846 SOS 30545 HAS SOPS 30545 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10664.545
AT ITER 6672 NEW BEST:: SOT 95846 SOS 30526 HAS SOPS 30526 HAS SOUS 10615 HAS SOUPS 10615 WITH SCORE 10645.526
AT ITER 6677 NEW BEST:: SOT 95817 SOS 30516 HAS SOPS 30516 HAS SOUS 10605 HAS SOUPS 10605 WITH SCORE 10635.516
AT ITER 6705 NEW BEST:: SOT 95809 SOS 30508 HAS SOPS 30508 HAS SOUS 10589 HAS SOUPS 10589 WITH SCORE 10619.508
AT ITER 6871 NEW BEST:: SOT 95803 SOS 30505 HAS SOPS 30505 HAS SOUS 10586 HAS SOUPS 10586 WITH SCORE 10616.505
AT ITER 6897 NEW BEST:: SOT 95807 SOS 30456 HAS SOPS 30456 HAS SOUS 10575 HAS SOUPS 10575 WITH SCORE 10605.456
AT ITER 6972 NEW BEST:: SOT 95798 SOS 30453 HAS SOPS 30453 HAS SOUS 10572 HAS SOUPS 10572 WITH SCORE 10602.453
AT ITER 6983 NEW BEST:: SOT 95786 SOS 30441 HAS SOPS 30441 HAS SOUS 10548 HAS SOUPS 10548 WITH SCORE 10578.441
AT ITER 7038 NEW BEST:: SOT 95781 SOS 30436 HAS SOPS 30436 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10573.436
AT ITER 7081 NEW BEST:: SOT 95748 SOS 30403 HAS SOPS 30403 HAS SOUS 10477 HAS SOUPS 10477 WITH SCORE 10507.403
AT ITER 7115 NEW BEST:: SOT 95729 SOS 30336 HAS SOPS 30336 HAS SOUS 10415 HAS SOUPS 10415 WITH SCORE 10445.336
AT ITER 7118 NEW BEST:: SOT 95719 SOS 30323 HAS SOPS 30323 HAS SOUS 10400 HAS SOUPS 10400 WITH SCORE 10430.323
AT ITER 7144 NEW BEST:: SOT 95713 SOS 30317 HAS SOPS 30317 HAS SOUS 10394 HAS SOUPS 10394 WITH SCORE 10424.317
AT ITER 7173 NEW BEST:: SOT 95713 SOS 29570 HAS SOPS 29570 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10396.57
AT ITER 7249 NEW BEST:: SOT 95758 SOS 29615 HAS SOPS 29615 HAS SOUS 10362 HAS SOUPS 10362 WITH SCORE 10391.615
AT ITER 7254 NEW BEST:: SOT 95757 SOS 29614 HAS SOPS 29614 HAS SOUS 10360 HAS SOUPS 10360 WITH SCORE 10389.614
AT ITER 7264 NEW BEST:: SOT 95757 SOS 29614 HAS SOPS 29614 HAS SOUS 10359 HAS SOUPS 10359 WITH SCORE 10388.614
AT ITER 7280 NEW BEST:: SOT 95751 SOS 29605 HAS SOPS 29605 HAS SOUS 10350 HAS SOUPS 10350 WITH SCORE 10379.605
AT ITER 7422 NEW BEST:: SOT 95743 SOS 29597 HAS SOPS 29597 HAS SOUS 10342 HAS SOUPS 10342 WITH SCORE 10371.597
AT ITER 7488 NEW BEST:: SOT 95735 SOS 29597 HAS SOPS 29597 HAS SOUS 10326 HAS SOUPS 10326 WITH SCORE 10355.597
AT ITER 7559 NEW BEST:: SOT 95732 SOS 29225 HAS SOPS 29225 HAS SOUS 10321 HAS SOUPS 10321 WITH SCORE 10350.225
AT ITER 7563 NEW BEST:: SOT 95714 SOS 29243 HAS SOPS 29243 HAS SOUS 10319 HAS SOUPS 10319 WITH SCORE 10348.243
AT ITER 7601 NEW BEST:: SOT 95708 SOS 29229 HAS SOPS 29229 HAS SOUS 10307 HAS SOUPS 10307 WITH SCORE 10336.229
AT ITER 7620 NEW BEST:: SOT 95694 SOS 29099 HAS SOPS 29099 HAS SOUS 10219 HAS SOUPS 10219 WITH SCORE 10248.099
AT ITER 7632 NEW BEST:: SOT 95704 SOS 29361 HAS SOPS 29361 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10244.361
AT ITER 7724 NEW BEST:: SOT 95702 SOS 29359 HAS SOPS 29359 HAS SOUS 10213 HAS SOUPS 10213 WITH SCORE 10242.359
AT ITER 7728 NEW BEST:: SOT 95689 SOS 29341 HAS SOPS 29341 HAS SOUS 10195 HAS SOUPS 10195 WITH SCORE 10224.341
AT ITER 7729 NEW BEST:: SOT 95687 SOS 29339 HAS SOPS 29339 HAS SOUS 10191 HAS SOUPS 10191 WITH SCORE 10220.339
AT ITER 7791 NEW BEST:: SOT 95669 SOS 29362 HAS SOPS 29362 HAS SOUS 10172 HAS SOUPS 10172 WITH SCORE 10201.362
AT ITER 7881 NEW BEST:: SOT 95665 SOS 29331 HAS SOPS 29331 HAS SOUS 10141 HAS SOUPS 10141 WITH SCORE 10170.331
AT ITER 7909 NEW BEST:: SOT 95665 SOS 29331 HAS SOPS 29331 HAS SOUS 10140 HAS SOUPS 10140 WITH SCORE 10169.331
AT ITER 7945 NEW BEST:: SOT 95665 SOS 29329 HAS SOPS 29329 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10149.329
AT ITER 7963 NEW BEST:: SOT 95664 SOS 29328 HAS SOPS 29328 HAS SOUS 10118 HAS SOUPS 10118 WITH SCORE 10147.328
AT ITER 8022 NEW BEST:: SOT 95663 SOS 29325 HAS SOPS 29325 HAS SOUS 10115 HAS SOUPS 10115 WITH SCORE 10144.325
AT ITER 8124 NEW BEST:: SOT 95639 SOS 29277 HAS SOPS 29277 HAS SOUS 10091 HAS SOUPS 10091 WITH SCORE 10120.277
AT ITER 8151 NEW BEST:: SOT 95637 SOS 29275 HAS SOPS 29275 HAS SOUS 10089 HAS SOUPS 10089 WITH SCORE 10118.275
AT ITER 8279 NEW BEST:: SOT 95636 SOS 29272 HAS SOPS 29272 HAS SOUS 10086 HAS SOUPS 10086 WITH SCORE 10115.272
AT ITER 8309 NEW BEST:: SOT 95630 SOS 29266 HAS SOPS 29266 HAS SOUS 10074 HAS SOUPS 10074 WITH SCORE 10103.266
AT ITER 8311 NEW BEST:: SOT 95626 SOS 29262 HAS SOPS 29262 HAS SOUS 10066 HAS SOUPS 10066 WITH SCORE 10095.262
AT ITER 8328 NEW BEST:: SOT 95622 SOS 29266 HAS SOPS 29266 HAS SOUS 10064 HAS SOUPS 10064 WITH SCORE 10093.266
AT ITER 8336 NEW BEST:: SOT 95620 SOS 29244 HAS SOPS 29244 HAS SOUS 10063 HAS SOUPS 10063 WITH SCORE 10092.244
AT ITER 8386 NEW BEST:: SOT 95620 SOS 29211 HAS SOPS 29211 HAS SOUS 10054 HAS SOUPS 10054 WITH SCORE 10083.211
AT ITER 8396 NEW BEST:: SOT 95618 SOS 29209 HAS SOPS 29209 HAS SOUS 10052 HAS SOUPS 10052 WITH SCORE 10081.209
AT ITER 8477 NEW BEST:: SOT 95621 SOS 29277 HAS SOPS 29277 HAS SOUS 10037 HAS SOUPS 10037 WITH SCORE 10066.277
AT ITER 8514 NEW BEST:: SOT 95620 SOS 29278 HAS SOPS 29278 HAS SOUS 10033 HAS SOUPS 10033 WITH SCORE 10062.278
AT ITER 8619 NEW BEST:: SOT 95620 SOS 29259 HAS SOPS 29259 HAS SOUS 10033 HAS SOUPS 10033 WITH SCORE 10062.259
AT ITER 8629 NEW BEST:: SOT 95614 SOS 29246 HAS SOPS 29246 HAS SOUS 10020 HAS SOUPS 10020 WITH SCORE 10049.246
AT ITER 8713 NEW BEST:: SOT 95614 SOS 29245 HAS SOPS 29245 HAS SOUS 10019 HAS SOUPS 10019 WITH SCORE 10048.245
AT ITER 8739 NEW BEST:: SOT 95615 SOS 29284 HAS SOPS 29284 HAS SOUS 10012 HAS SOUPS 10012 WITH SCORE 10041.284
AT ITER 8745 NEW BEST:: SOT 95611 SOS 29277 HAS SOPS 29277 HAS SOUS 10009 HAS SOUPS 10009 WITH SCORE 10038.277
AT ITER 8763 NEW BEST:: SOT 95602 SOS 29268 HAS SOPS 29268 HAS SOUS 10000 HAS SOUPS 10000 WITH SCORE 10029.268
AT ITER 8855 NEW BEST:: SOT 95612 SOS 29264 HAS SOPS 29264 HAS SOUS 9996 HAS SOUPS 9996 WITH SCORE 10025.264
AT ITER 8870 NEW BEST:: SOT 95587 SOS 29239 HAS SOPS 29239 HAS SOUS 9946 HAS SOUPS 9946 WITH SCORE 9975.239
AT ITER 8886 NEW BEST:: SOT 95572 SOS 29228 HAS SOPS 29228 HAS SOUS 9938 HAS SOUPS 9938 WITH SCORE 9967.228
AT ITER 8892 NEW BEST:: SOT 95572 SOS 29222 HAS SOPS 29222 HAS SOUS 9932 HAS SOUPS 9932 WITH SCORE 9961.222
AT ITER 8899 NEW BEST:: SOT 95571 SOS 29181 HAS SOPS 29181 HAS SOUS 9929 HAS SOUPS 9929 WITH SCORE 9958.181
AT ITER 8966 NEW BEST:: SOT 95569 SOS 29179 HAS SOPS 29179 HAS SOUS 9925 HAS SOUPS 9925 WITH SCORE 9954.179
AT ITER 8979 NEW BEST:: SOT 95569 SOS 29179 HAS SOPS 29179 HAS SOUS 9923 HAS SOUPS 9923 WITH SCORE 9952.179
AT ITER 9013 NEW BEST:: SOT 95569 SOS 29162 HAS SOPS 29162 HAS SOUS 9906 HAS SOUPS 9906 WITH SCORE 9935.162
AT ITER 9015 NEW BEST:: SOT 95556 SOS 29151 HAS SOPS 29151 HAS SOUS 9830 HAS SOUPS 9830 WITH SCORE 9859.151
AT ITER 9025 NEW BEST:: SOT 95559 SOS 29154 HAS SOPS 29154 HAS SOUS 9826 HAS SOUPS 9826 WITH SCORE 9855.154
AT ITER 9046 NEW BEST:: SOT 95547 SOS 29142 HAS SOPS 29142 HAS SOUS 9814 HAS SOUPS 9814 WITH SCORE 9843.142
AT ITER 9059 NEW BEST:: SOT 95551 SOS 29124 HAS SOPS 29124 HAS SOUS 9796 HAS SOUPS 9796 WITH SCORE 9825.124
AT ITER 9092 NEW BEST:: SOT 95551 SOS 29124 HAS SOPS 29124 HAS SOUS 9790 HAS SOUPS 9790 WITH SCORE 9819.124
AT ITER 9144 NEW BEST:: SOT 95534 SOS 28837 HAS SOPS 28837 HAS SOUS 9766 HAS SOUPS 9766 WITH SCORE 9794.837
AT ITER 9164 NEW BEST:: SOT 95496 SOS 28761 HAS SOPS 28761 HAS SOUS 9715 HAS SOUPS 9715 WITH SCORE 9743.761
AT ITER 9200 NEW BEST:: SOT 95501 SOS 28757 HAS SOPS 28757 HAS SOUS 9711 HAS SOUPS 9711 WITH SCORE 9739.757
AT ITER 9202 NEW BEST:: SOT 95500 SOS 28758 HAS SOPS 28758 HAS SOUS 9707 HAS SOUPS 9707 WITH SCORE 9735.758
AT ITER 9291 NEW BEST:: SOT 95470 SOS 28728 HAS SOPS 28728 HAS SOUS 9647 HAS SOUPS 9647 WITH SCORE 9675.728
AT ITER 9295 NEW BEST:: SOT 95469 SOS 28727 HAS SOPS 28727 HAS SOUS 9645 HAS SOUPS 9645 WITH SCORE 9673.727
AT ITER 9427 NEW BEST:: SOT 95423 SOS 28571 HAS SOPS 28571 HAS SOUS 9581 HAS SOUPS 9581 WITH SCORE 9609.571
AT ITER 9436 NEW BEST:: SOT 95422 SOS 28570 HAS SOPS 28570 HAS SOUS 9579 HAS SOUPS 9579 WITH SCORE 9607.57
AT ITER 9476 NEW BEST:: SOT 95417 SOS 28565 HAS SOPS 28565 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9602.565
AT ITER 9564 NEW BEST:: SOT 95416 SOS 28550 HAS SOPS 28550 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9601.55
AT ITER 9611 NEW BEST:: SOT 95416 SOS 28543 HAS SOPS 28543 HAS SOUS 9571 HAS SOUPS 9571 WITH SCORE 9599.543
AT ITER 9643 NEW BEST:: SOT 95419 SOS 28546 HAS SOPS 28546 HAS SOUS 9565 HAS SOUPS 9565 WITH SCORE 9593.546
AT ITER 9674 NEW BEST:: SOT 95410 SOS 28591 HAS SOPS 28591 HAS SOUS 9553 HAS SOUPS 9553 WITH SCORE 9581.591
AT ITER 9699 NEW BEST:: SOT 95408 SOS 28589 HAS SOPS 28589 HAS SOUS 9553 HAS SOUPS 9553 WITH SCORE 9581.589
AT ITER 9725 NEW BEST:: SOT 95407 SOS 28588 HAS SOPS 28588 HAS SOUS 9551 HAS SOUPS 9551 WITH SCORE 9579.588
AT ITER 9760 NEW BEST:: SOT 95407 SOS 28601 HAS SOPS 28601 HAS SOUS 9543 HAS SOUPS 9543 WITH SCORE 9571.601
AT ITER 9800 NEW BEST:: SOT 95406 SOS 28600 HAS SOPS 28600 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9569.6
AT ITER 9830 NEW BEST:: SOT 95405 SOS 28599 HAS SOPS 28599 HAS SOUS 9539 HAS SOUPS 9539 WITH SCORE 9567.599
AT ITER 9836 NEW BEST:: SOT 95403 SOS 28589 HAS SOPS 28589 HAS SOUS 9529 HAS SOUPS 9529 WITH SCORE 9557.589
AT ITER 9852 NEW BEST:: SOT 95384 SOS 28555 HAS SOPS 28555 HAS SOUS 9502 HAS SOUPS 9502 WITH SCORE 9530.555
AT ITER 9866 NEW BEST:: SOT 95378 SOS 28553 HAS SOPS 28553 HAS SOUS 9500 HAS SOUPS 9500 WITH SCORE 9528.553
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 3734260 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125892 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="DES-PT-40b"
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 DES-PT-40b, 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 r107-tall-167814484300472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-40b.tgz
mv DES-PT-40b 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 ;