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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 604K
-rw-r--r-- 1 mcc users 6.9K Feb 26 15:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 15:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 26 15:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 15:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 15:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K Feb 26 15:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 15:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K Feb 26 15:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 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 79K 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 1678368674995

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-10b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 13:31:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 13:31:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 13:31:16] [INFO ] Load time of PNML (sax parser for PT used): 56 ms
[2023-03-09 13:31:16] [INFO ] Transformed 320 places.
[2023-03-09 13:31:16] [INFO ] Transformed 271 transitions.
[2023-03-09 13:31:16] [INFO ] Found NUPN structural information;
[2023-03-09 13:31:16] [INFO ] Parsed PT model containing 320 places and 271 transitions and 827 arcs in 124 ms.
[2023-03-09 13:31:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 320 places, 271 transitions and 827 arcs took 5 ms.
Total runtime 156 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 10b
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: 320 places, 271 transitions, 827 arcs.
AT ITER 0 NEW BEST:: SOT 52285 SOS 10667 HAS SOPS 10667 HAS SOUS 9638 HAS SOUPS 9638 WITH SCORE 9648.667
AT ITER 7 NEW BEST:: SOT 52175 SOS 10614 HAS SOPS 10614 HAS SOUS 9553 HAS SOUPS 9553 WITH SCORE 9563.614
AT ITER 15 NEW BEST:: SOT 52162 SOS 10630 HAS SOPS 10630 HAS SOUS 9552 HAS SOUPS 9552 WITH SCORE 9562.63
AT ITER 18 NEW BEST:: SOT 52100 SOS 10569 HAS SOPS 10569 HAS SOUS 9491 HAS SOUPS 9491 WITH SCORE 9501.569
AT ITER 19 NEW BEST:: SOT 52098 SOS 10566 HAS SOPS 10566 HAS SOUS 9488 HAS SOUPS 9488 WITH SCORE 9498.566
AT ITER 21 NEW BEST:: SOT 52097 SOS 10534 HAS SOPS 10534 HAS SOUS 9455 HAS SOUPS 9455 WITH SCORE 9465.534
AT ITER 26 NEW BEST:: SOT 52055 SOS 10494 HAS SOPS 10494 HAS SOUS 9415 HAS SOUPS 9415 WITH SCORE 9425.494
AT ITER 54 NEW BEST:: SOT 51908 SOS 10313 HAS SOPS 10313 HAS SOUS 9234 HAS SOUPS 9234 WITH SCORE 9244.313
AT ITER 72 NEW BEST:: SOT 51906 SOS 10301 HAS SOPS 10301 HAS SOUS 9222 HAS SOUPS 9222 WITH SCORE 9232.301
AT ITER 107 NEW BEST:: SOT 51898 SOS 10273 HAS SOPS 10273 HAS SOUS 9212 HAS SOUPS 9212 WITH SCORE 9222.273
AT ITER 117 NEW BEST:: SOT 51738 SOS 10081 HAS SOPS 10081 HAS SOUS 9020 HAS SOUPS 9020 WITH SCORE 9030.081
AT ITER 142 NEW BEST:: SOT 51778 SOS 10092 HAS SOPS 10092 HAS SOUS 9019 HAS SOUPS 9019 WITH SCORE 9029.092
AT ITER 143 NEW BEST:: SOT 51778 SOS 10090 HAS SOPS 10090 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9027.09
AT ITER 158 NEW BEST:: SOT 51777 SOS 10089 HAS SOPS 10089 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9026.089
AT ITER 162 NEW BEST:: SOT 51777 SOS 10073 HAS SOPS 10073 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9026.073
AT ITER 191 NEW BEST:: SOT 51743 SOS 10029 HAS SOPS 10029 HAS SOUS 8972 HAS SOUPS 8972 WITH SCORE 8982.029
AT ITER 254 NEW BEST:: SOT 51726 SOS 10018 HAS SOPS 10018 HAS SOUS 8961 HAS SOUPS 8961 WITH SCORE 8971.018
AT ITER 273 NEW BEST:: SOT 51732 SOS 10019 HAS SOPS 10019 HAS SOUS 8944 HAS SOUPS 8944 WITH SCORE 8954.019
AT ITER 279 NEW BEST:: SOT 51708 SOS 10001 HAS SOPS 10001 HAS SOUS 8926 HAS SOUPS 8926 WITH SCORE 8936.001
AT ITER 288 NEW BEST:: SOT 51708 SOS 9962 HAS SOPS 9962 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8924.962
AT ITER 367 NEW BEST:: SOT 51699 SOS 10023 HAS SOPS 10023 HAS SOUS 8894 HAS SOUPS 8894 WITH SCORE 8904.023
AT ITER 443 NEW BEST:: SOT 51615 SOS 9912 HAS SOPS 9912 HAS SOUS 8747 HAS SOUPS 8747 WITH SCORE 8756.912
AT ITER 448 NEW BEST:: SOT 51588 SOS 9885 HAS SOPS 9885 HAS SOUS 8720 HAS SOUPS 8720 WITH SCORE 8729.885
AT ITER 472 NEW BEST:: SOT 51588 SOS 9880 HAS SOPS 9880 HAS SOUS 8715 HAS SOUPS 8715 WITH SCORE 8724.88
AT ITER 501 NEW BEST:: SOT 51581 SOS 9873 HAS SOPS 9873 HAS SOUS 8708 HAS SOUPS 8708 WITH SCORE 8717.873
AT ITER 517 NEW BEST:: SOT 51572 SOS 9872 HAS SOPS 9872 HAS SOUS 8707 HAS SOUPS 8707 WITH SCORE 8716.872
AT ITER 520 NEW BEST:: SOT 51506 SOS 9936 HAS SOPS 9936 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8687.936
AT ITER 527 NEW BEST:: SOT 51507 SOS 9919 HAS SOPS 9919 HAS SOUS 8661 HAS SOUPS 8661 WITH SCORE 8670.919
AT ITER 531 NEW BEST:: SOT 51456 SOS 9999 HAS SOPS 9999 HAS SOUS 8622 HAS SOUPS 8622 WITH SCORE 8631.999
AT ITER 553 NEW BEST:: SOT 51454 SOS 9996 HAS SOPS 9996 HAS SOUS 8619 HAS SOUPS 8619 WITH SCORE 8628.996
AT ITER 559 NEW BEST:: SOT 51451 SOS 9984 HAS SOPS 9984 HAS SOUS 8607 HAS SOUPS 8607 WITH SCORE 8616.984
AT ITER 566 NEW BEST:: SOT 51447 SOS 9944 HAS SOPS 9944 HAS SOUS 8607 HAS SOUPS 8607 WITH SCORE 8616.944
AT ITER 578 NEW BEST:: SOT 51447 SOS 9940 HAS SOPS 9940 HAS SOUS 8603 HAS SOUPS 8603 WITH SCORE 8612.94
AT ITER 593 NEW BEST:: SOT 51434 SOS 9938 HAS SOPS 9938 HAS SOUS 8601 HAS SOUPS 8601 WITH SCORE 8610.938
AT ITER 599 NEW BEST:: SOT 51423 SOS 9927 HAS SOPS 9927 HAS SOUS 8589 HAS SOUPS 8589 WITH SCORE 8598.927
AT ITER 610 NEW BEST:: SOT 51423 SOS 9921 HAS SOPS 9921 HAS SOUS 8589 HAS SOUPS 8589 WITH SCORE 8598.921
AT ITER 630 NEW BEST:: SOT 51412 SOS 9946 HAS SOPS 9946 HAS SOUS 8586 HAS SOUPS 8586 WITH SCORE 8595.946
AT ITER 656 NEW BEST:: SOT 51412 SOS 9918 HAS SOPS 9918 HAS SOUS 8558 HAS SOUPS 8558 WITH SCORE 8567.918
AT ITER 658 NEW BEST:: SOT 51396 SOS 9915 HAS SOPS 9915 HAS SOUS 8555 HAS SOUPS 8555 WITH SCORE 8564.915
AT ITER 675 NEW BEST:: SOT 51396 SOS 9914 HAS SOPS 9914 HAS SOUS 8554 HAS SOUPS 8554 WITH SCORE 8563.914
AT ITER 697 NEW BEST:: SOT 51393 SOS 9933 HAS SOPS 9933 HAS SOUS 8547 HAS SOUPS 8547 WITH SCORE 8556.933
AT ITER 713 NEW BEST:: SOT 51402 SOS 9937 HAS SOPS 9937 HAS SOUS 8544 HAS SOUPS 8544 WITH SCORE 8553.937
AT ITER 726 NEW BEST:: SOT 51375 SOS 9899 HAS SOPS 9899 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8515.899
AT ITER 743 NEW BEST:: SOT 51356 SOS 9862 HAS SOPS 9862 HAS SOUS 8462 HAS SOUPS 8462 WITH SCORE 8471.862
AT ITER 747 NEW BEST:: SOT 51349 SOS 9860 HAS SOPS 9860 HAS SOUS 8460 HAS SOUPS 8460 WITH SCORE 8469.86
AT ITER 769 NEW BEST:: SOT 51335 SOS 9828 HAS SOPS 9828 HAS SOUS 8444 HAS SOUPS 8444 WITH SCORE 8453.828
AT ITER 790 NEW BEST:: SOT 51335 SOS 9787 HAS SOPS 9787 HAS SOUS 8403 HAS SOUPS 8403 WITH SCORE 8412.787
AT ITER 794 NEW BEST:: SOT 51310 SOS 9749 HAS SOPS 9749 HAS SOUS 8363 HAS SOUPS 8363 WITH SCORE 8372.749
AT ITER 811 NEW BEST:: SOT 51206 SOS 9732 HAS SOPS 9732 HAS SOUS 8284 HAS SOUPS 8284 WITH SCORE 8293.732
AT ITER 825 NEW BEST:: SOT 51206 SOS 9756 HAS SOPS 9756 HAS SOUS 8278 HAS SOUPS 8278 WITH SCORE 8287.756
AT ITER 834 NEW BEST:: SOT 51206 SOS 9753 HAS SOPS 9753 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8284.753
AT ITER 838 NEW BEST:: SOT 51181 SOS 9748 HAS SOPS 9748 HAS SOUS 8270 HAS SOUPS 8270 WITH SCORE 8279.748
AT ITER 842 NEW BEST:: SOT 51181 SOS 9725 HAS SOPS 9725 HAS SOUS 8247 HAS SOUPS 8247 WITH SCORE 8256.725
AT ITER 846 NEW BEST:: SOT 51180 SOS 9724 HAS SOPS 9724 HAS SOUS 8246 HAS SOUPS 8246 WITH SCORE 8255.724
AT ITER 859 NEW BEST:: SOT 51177 SOS 9698 HAS SOPS 9698 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8229.698
AT ITER 892 NEW BEST:: SOT 51193 SOS 9682 HAS SOPS 9682 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8229.682
AT ITER 902 NEW BEST:: SOT 51218 SOS 9704 HAS SOPS 9704 HAS SOUS 8215 HAS SOUPS 8215 WITH SCORE 8224.704
AT ITER 919 NEW BEST:: SOT 51166 SOS 9669 HAS SOPS 9669 HAS SOUS 8180 HAS SOUPS 8180 WITH SCORE 8189.669
AT ITER 938 NEW BEST:: SOT 51186 SOS 9969 HAS SOPS 9969 HAS SOUS 8166 HAS SOUPS 8166 WITH SCORE 8175.969
AT ITER 964 NEW BEST:: SOT 51160 SOS 9811 HAS SOPS 9811 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8121.811
AT ITER 992 NEW BEST:: SOT 51157 SOS 9673 HAS SOPS 9673 HAS SOUS 8097 HAS SOUPS 8097 WITH SCORE 8106.673
AT ITER 1025 NEW BEST:: SOT 51139 SOS 9652 HAS SOPS 9652 HAS SOUS 8076 HAS SOUPS 8076 WITH SCORE 8085.652
AT ITER 1147 NEW BEST:: SOT 51127 SOS 9642 HAS SOPS 9642 HAS SOUS 8064 HAS SOUPS 8064 WITH SCORE 8073.642
AT ITER 1267 NEW BEST:: SOT 51125 SOS 9638 HAS SOPS 9638 HAS SOUS 8060 HAS SOUPS 8060 WITH SCORE 8069.638
AT ITER 1269 NEW BEST:: SOT 51119 SOS 9605 HAS SOPS 9605 HAS SOUS 8050 HAS SOUPS 8050 WITH SCORE 8059.605
AT ITER 1296 NEW BEST:: SOT 51119 SOS 9598 HAS SOPS 9598 HAS SOUS 8043 HAS SOUPS 8043 WITH SCORE 8052.598
AT ITER 1306 NEW BEST:: SOT 51107 SOS 9543 HAS SOPS 9543 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7997.543
AT ITER 1322 NEW BEST:: SOT 51095 SOS 9541 HAS SOPS 9541 HAS SOUS 7980 HAS SOUPS 7980 WITH SCORE 7989.541
AT ITER 1338 NEW BEST:: SOT 51071 SOS 9517 HAS SOPS 9517 HAS SOUS 7956 HAS SOUPS 7956 WITH SCORE 7965.517
AT ITER 1339 NEW BEST:: SOT 51073 SOS 9512 HAS SOPS 9512 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7960.512
AT ITER 1345 NEW BEST:: SOT 51070 SOS 9515 HAS SOPS 9515 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7956.515
AT ITER 1382 NEW BEST:: SOT 51070 SOS 9504 HAS SOPS 9504 HAS SOUS 7936 HAS SOUPS 7936 WITH SCORE 7945.504
AT ITER 1394 NEW BEST:: SOT 51070 SOS 9498 HAS SOPS 9498 HAS SOUS 7930 HAS SOUPS 7930 WITH SCORE 7939.498
AT ITER 1399 NEW BEST:: SOT 51055 SOS 9483 HAS SOPS 9483 HAS SOUS 7915 HAS SOUPS 7915 WITH SCORE 7924.483
AT ITER 1493 NEW BEST:: SOT 51055 SOS 9386 HAS SOPS 9386 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7910.386
AT ITER 1517 NEW BEST:: SOT 51055 SOS 9374 HAS SOPS 9374 HAS SOUS 7889 HAS SOUPS 7889 WITH SCORE 7898.374
AT ITER 1557 NEW BEST:: SOT 51055 SOS 9344 HAS SOPS 9344 HAS SOUS 7889 HAS SOUPS 7889 WITH SCORE 7898.344
AT ITER 1595 NEW BEST:: SOT 51039 SOS 9324 HAS SOPS 9324 HAS SOUS 7868 HAS SOUPS 7868 WITH SCORE 7877.324
AT ITER 1599 NEW BEST:: SOT 51082 SOS 9279 HAS SOPS 9279 HAS SOUS 7860 HAS SOUPS 7860 WITH SCORE 7869.279
AT ITER 1616 NEW BEST:: SOT 51074 SOS 9179 HAS SOPS 9179 HAS SOUS 7830 HAS SOUPS 7830 WITH SCORE 7839.179
AT ITER 1649 NEW BEST:: SOT 51077 SOS 9169 HAS SOPS 9169 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7826.169
AT ITER 1658 NEW BEST:: SOT 51076 SOS 9168 HAS SOPS 9168 HAS SOUS 7816 HAS SOUPS 7816 WITH SCORE 7825.168
AT ITER 1727 NEW BEST:: SOT 51083 SOS 9138 HAS SOPS 9138 HAS SOUS 7786 HAS SOUPS 7786 WITH SCORE 7795.138
AT ITER 1793 NEW BEST:: SOT 51081 SOS 9136 HAS SOPS 9136 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7793.136
AT ITER 1883 NEW BEST:: SOT 51061 SOS 9026 HAS SOPS 9026 HAS SOUS 7754 HAS SOUPS 7754 WITH SCORE 7763.026
AT ITER 1884 NEW BEST:: SOT 51064 SOS 9032 HAS SOPS 9032 HAS SOUS 7742 HAS SOUPS 7742 WITH SCORE 7751.032
AT ITER 1895 NEW BEST:: SOT 51074 SOS 9022 HAS SOPS 9022 HAS SOUS 7732 HAS SOUPS 7732 WITH SCORE 7741.022
AT ITER 1926 NEW BEST:: SOT 51069 SOS 9021 HAS SOPS 9021 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7740.021
AT ITER 1934 NEW BEST:: SOT 51043 SOS 8995 HAS SOPS 8995 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7713.995
AT ITER 1936 NEW BEST:: SOT 51042 SOS 8972 HAS SOPS 8972 HAS SOUS 7701 HAS SOUPS 7701 WITH SCORE 7709.972
AT ITER 2007 NEW BEST:: SOT 51032 SOS 8962 HAS SOPS 8962 HAS SOUS 7691 HAS SOUPS 7691 WITH SCORE 7699.962
AT ITER 2031 NEW BEST:: SOT 51019 SOS 8949 HAS SOPS 8949 HAS SOUS 7678 HAS SOUPS 7678 WITH SCORE 7686.949
AT ITER 2052 NEW BEST:: SOT 51005 SOS 8934 HAS SOPS 8934 HAS SOUS 7663 HAS SOUPS 7663 WITH SCORE 7671.934
AT ITER 2071 NEW BEST:: SOT 51001 SOS 8932 HAS SOPS 8932 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7669.932
AT ITER 2089 NEW BEST:: SOT 50999 SOS 8932 HAS SOPS 8932 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7667.932
AT ITER 2134 NEW BEST:: SOT 50996 SOS 8929 HAS SOPS 8929 HAS SOUS 7656 HAS SOUPS 7656 WITH SCORE 7664.929
AT ITER 2142 NEW BEST:: SOT 50955 SOS 9134 HAS SOPS 9134 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7625.134
AT ITER 2144 NEW BEST:: SOT 50823 SOS 9337 HAS SOPS 9337 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7608.337
AT ITER 2186 NEW BEST:: SOT 50814 SOS 9318 HAS SOPS 9318 HAS SOUS 7589 HAS SOUPS 7589 WITH SCORE 7598.318
AT ITER 2194 NEW BEST:: SOT 50814 SOS 9318 HAS SOPS 9318 HAS SOUS 7585 HAS SOUPS 7585 WITH SCORE 7594.318
AT ITER 2245 NEW BEST:: SOT 50812 SOS 9320 HAS SOPS 9320 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7593.32
AT ITER 2250 NEW BEST:: SOT 50812 SOS 9307 HAS SOPS 9307 HAS SOUS 7571 HAS SOUPS 7571 WITH SCORE 7580.307
AT ITER 2344 NEW BEST:: SOT 50805 SOS 9300 HAS SOPS 9300 HAS SOUS 7564 HAS SOUPS 7564 WITH SCORE 7573.3
AT ITER 2360 NEW BEST:: SOT 50801 SOS 9298 HAS SOPS 9298 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7571.298
AT ITER 2403 NEW BEST:: SOT 50787 SOS 9266 HAS SOPS 9266 HAS SOUS 7530 HAS SOUPS 7530 WITH SCORE 7539.266
AT ITER 2449 NEW BEST:: SOT 50752 SOS 9185 HAS SOPS 9185 HAS SOUS 7449 HAS SOUPS 7449 WITH SCORE 7458.185
AT ITER 2464 NEW BEST:: SOT 50746 SOS 9167 HAS SOPS 9167 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7440.167
AT ITER 2509 NEW BEST:: SOT 50732 SOS 9139 HAS SOPS 9139 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7398.139
AT ITER 2510 NEW BEST:: SOT 50726 SOS 9109 HAS SOPS 9109 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7389.109
AT ITER 2541 NEW BEST:: SOT 50710 SOS 9080 HAS SOPS 9080 HAS SOUS 7349 HAS SOUPS 7349 WITH SCORE 7358.08
AT ITER 2598 NEW BEST:: SOT 50710 SOS 9065 HAS SOPS 9065 HAS SOUS 7334 HAS SOUPS 7334 WITH SCORE 7343.065
AT ITER 2603 NEW BEST:: SOT 50706 SOS 9061 HAS SOPS 9061 HAS SOUS 7330 HAS SOUPS 7330 WITH SCORE 7339.061
AT ITER 2612 NEW BEST:: SOT 50711 SOS 9061 HAS SOPS 9061 HAS SOUS 7325 HAS SOUPS 7325 WITH SCORE 7334.061
AT ITER 2632 NEW BEST:: SOT 50689 SOS 9053 HAS SOPS 9053 HAS SOUS 7317 HAS SOUPS 7317 WITH SCORE 7326.053
AT ITER 2684 NEW BEST:: SOT 50687 SOS 9046 HAS SOPS 9046 HAS SOUS 7312 HAS SOUPS 7312 WITH SCORE 7321.046
AT ITER 2693 NEW BEST:: SOT 50685 SOS 9024 HAS SOPS 9024 HAS SOUS 7290 HAS SOUPS 7290 WITH SCORE 7299.024
AT ITER 2694 NEW BEST:: SOT 50674 SOS 9007 HAS SOPS 9007 HAS SOUS 7278 HAS SOUPS 7278 WITH SCORE 7287.007
AT ITER 2695 NEW BEST:: SOT 50664 SOS 8993 HAS SOPS 8993 HAS SOUS 7268 HAS SOUPS 7268 WITH SCORE 7276.993
AT ITER 2708 NEW BEST:: SOT 50653 SOS 8992 HAS SOPS 8992 HAS SOUS 7267 HAS SOUPS 7267 WITH SCORE 7275.992
AT ITER 2830 NEW BEST:: SOT 50642 SOS 8981 HAS SOPS 8981 HAS SOUS 7256 HAS SOUPS 7256 WITH SCORE 7264.981
AT ITER 2847 NEW BEST:: SOT 50642 SOS 8991 HAS SOPS 8991 HAS SOUS 7252 HAS SOUPS 7252 WITH SCORE 7260.991
AT ITER 2877 NEW BEST:: SOT 50641 SOS 8967 HAS SOPS 8967 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7235.967
AT ITER 2898 NEW BEST:: SOT 50641 SOS 8965 HAS SOPS 8965 HAS SOUS 7225 HAS SOUPS 7225 WITH SCORE 7233.965
AT ITER 3018 NEW BEST:: SOT 50632 SOS 8943 HAS SOPS 8943 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7211.943
AT ITER 3024 NEW BEST:: SOT 50627 SOS 8938 HAS SOPS 8938 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7206.938
AT ITER 3060 NEW BEST:: SOT 50627 SOS 8824 HAS SOPS 8824 HAS SOUS 7194 HAS SOUPS 7194 WITH SCORE 7202.824
AT ITER 3104 NEW BEST:: SOT 50626 SOS 8822 HAS SOPS 8822 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7200.822
AT ITER 3113 NEW BEST:: SOT 50605 SOS 8792 HAS SOPS 8792 HAS SOUS 7162 HAS SOUPS 7162 WITH SCORE 7170.792
AT ITER 3217 NEW BEST:: SOT 50589 SOS 8774 HAS SOPS 8774 HAS SOUS 7144 HAS SOUPS 7144 WITH SCORE 7152.774
AT ITER 3232 NEW BEST:: SOT 50569 SOS 8767 HAS SOPS 8767 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7145.767
AT ITER 3281 NEW BEST:: SOT 50569 SOS 8763 HAS SOPS 8763 HAS SOUS 7133 HAS SOUPS 7133 WITH SCORE 7141.763
AT ITER 3316 NEW BEST:: SOT 50530 SOS 8773 HAS SOPS 8773 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7133.773
AT ITER 3324 NEW BEST:: SOT 50530 SOS 8762 HAS SOPS 8762 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7133.762
AT ITER 3338 NEW BEST:: SOT 50511 SOS 8737 HAS SOPS 8737 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7108.737
AT ITER 3339 NEW BEST:: SOT 50511 SOS 8734 HAS SOPS 8734 HAS SOUS 7097 HAS SOUPS 7097 WITH SCORE 7105.734
AT ITER 3357 NEW BEST:: SOT 50511 SOS 8719 HAS SOPS 8719 HAS SOUS 7070 HAS SOUPS 7070 WITH SCORE 7078.719
AT ITER 3358 NEW BEST:: SOT 50509 SOS 8697 HAS SOPS 8697 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7074.697
AT ITER 3386 NEW BEST:: SOT 50499 SOS 8687 HAS SOPS 8687 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7062.687
AT ITER 3458 NEW BEST:: SOT 50499 SOS 8678 HAS SOPS 8678 HAS SOUS 7051 HAS SOUPS 7051 WITH SCORE 7059.678
AT ITER 3550 NEW BEST:: SOT 50514 SOS 8688 HAS SOPS 8688 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7049.688
AT ITER 3559 NEW BEST:: SOT 50522 SOS 8680 HAS SOPS 8680 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7049.68
AT ITER 3639 NEW BEST:: SOT 50518 SOS 8679 HAS SOPS 8679 HAS SOUS 7036 HAS SOUPS 7036 WITH SCORE 7044.679
AT ITER 3706 NEW BEST:: SOT 50491 SOS 8483 HAS SOPS 8483 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 6996.483
AT ITER 3782 NEW BEST:: SOT 50492 SOS 8479 HAS SOPS 8479 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 6993.479
AT ITER 3791 NEW BEST:: SOT 50492 SOS 8476 HAS SOPS 8476 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6990.476
AT ITER 3803 NEW BEST:: SOT 50483 SOS 8465 HAS SOPS 8465 HAS SOUS 6971 HAS SOUPS 6971 WITH SCORE 6979.465
AT ITER 3841 NEW BEST:: SOT 50471 SOS 8453 HAS SOPS 8453 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6967.453
AT ITER 3856 NEW BEST:: SOT 50474 SOS 8429 HAS SOPS 8429 HAS SOUS 6944 HAS SOUPS 6944 WITH SCORE 6952.429
AT ITER 3904 NEW BEST:: SOT 50474 SOS 8428 HAS SOPS 8428 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6951.428
AT ITER 4004 NEW BEST:: SOT 50471 SOS 8423 HAS SOPS 8423 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6946.423
AT ITER 4045 NEW BEST:: SOT 50477 SOS 8415 HAS SOPS 8415 HAS SOUS 6930 HAS SOUPS 6930 WITH SCORE 6938.415
AT ITER 4047 NEW BEST:: SOT 50457 SOS 8411 HAS SOPS 8411 HAS SOUS 6917 HAS SOUPS 6917 WITH SCORE 6925.411
AT ITER 4094 NEW BEST:: SOT 50457 SOS 8394 HAS SOPS 8394 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6908.394
AT ITER 4157 NEW BEST:: SOT 50454 SOS 8396 HAS SOPS 8396 HAS SOUS 6897 HAS SOUPS 6897 WITH SCORE 6905.396
AT ITER 4169 NEW BEST:: SOT 50454 SOS 8406 HAS SOPS 8406 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6904.406
AT ITER 4193 NEW BEST:: SOT 50441 SOS 8393 HAS SOPS 8393 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6894.393
AT ITER 4289 NEW BEST:: SOT 50446 SOS 8393 HAS SOPS 8393 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6855.393
AT ITER 4308 NEW BEST:: SOT 50436 SOS 8369 HAS SOPS 8369 HAS SOUS 6830 HAS SOUPS 6830 WITH SCORE 6838.369
AT ITER 4354 NEW BEST:: SOT 50428 SOS 8362 HAS SOPS 8362 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6817.362
AT ITER 4404 NEW BEST:: SOT 50431 SOS 8356 HAS SOPS 8356 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6811.356
AT ITER 4433 NEW BEST:: SOT 50425 SOS 8350 HAS SOPS 8350 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6799.35
AT ITER 4452 NEW BEST:: SOT 50423 SOS 8346 HAS SOPS 8346 HAS SOUS 6787 HAS SOUPS 6787 WITH SCORE 6795.346
AT ITER 4455 NEW BEST:: SOT 50415 SOS 8338 HAS SOPS 8338 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6768.338
AT ITER 4477 NEW BEST:: SOT 50412 SOS 8335 HAS SOPS 8335 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6765.335
AT ITER 4489 NEW BEST:: SOT 50402 SOS 8340 HAS SOPS 8340 HAS SOUS 6747 HAS SOUPS 6747 WITH SCORE 6755.34
AT ITER 4506 NEW BEST:: SOT 50404 SOS 8342 HAS SOPS 8342 HAS SOUS 6746 HAS SOUPS 6746 WITH SCORE 6754.342
AT ITER 4507 NEW BEST:: SOT 50398 SOS 8337 HAS SOPS 8337 HAS SOUS 6741 HAS SOUPS 6741 WITH SCORE 6749.337
AT ITER 4524 NEW BEST:: SOT 50399 SOS 8317 HAS SOPS 8317 HAS SOUS 6738 HAS SOUPS 6738 WITH SCORE 6746.317
AT ITER 4548 NEW BEST:: SOT 50402 SOS 8308 HAS SOPS 8308 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6744.308
AT ITER 4567 NEW BEST:: SOT 50400 SOS 8307 HAS SOPS 8307 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6742.307
AT ITER 4582 NEW BEST:: SOT 50384 SOS 8271 HAS SOPS 8271 HAS SOUS 6719 HAS SOUPS 6719 WITH SCORE 6727.271
AT ITER 4598 NEW BEST:: SOT 50382 SOS 8267 HAS SOPS 8267 HAS SOUS 6715 HAS SOUPS 6715 WITH SCORE 6723.267
AT ITER 4666 NEW BEST:: SOT 50377 SOS 8250 HAS SOPS 8250 HAS SOUS 6700 HAS SOUPS 6700 WITH SCORE 6708.25
AT ITER 4673 NEW BEST:: SOT 50352 SOS 8258 HAS SOPS 8258 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6682.258
AT ITER 4699 NEW BEST:: SOT 50347 SOS 8248 HAS SOPS 8248 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6672.248
AT ITER 4717 NEW BEST:: SOT 50338 SOS 8239 HAS SOPS 8239 HAS SOUS 6651 HAS SOUPS 6651 WITH SCORE 6659.239
AT ITER 4763 NEW BEST:: SOT 50326 SOS 8227 HAS SOPS 8227 HAS SOUS 6639 HAS SOUPS 6639 WITH SCORE 6647.227
AT ITER 4878 NEW BEST:: SOT 50318 SOS 8219 HAS SOPS 8219 HAS SOUS 6631 HAS SOUPS 6631 WITH SCORE 6639.219
AT ITER 4907 NEW BEST:: SOT 50323 SOS 8210 HAS SOPS 8210 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6630.21
AT ITER 4974 NEW BEST:: SOT 50318 SOS 8206 HAS SOPS 8206 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6618.206
AT ITER 4996 NEW BEST:: SOT 50315 SOS 8205 HAS SOPS 8205 HAS SOUS 6609 HAS SOUPS 6609 WITH SCORE 6617.205
AT ITER 5001 NEW BEST:: SOT 50315 SOS 8202 HAS SOPS 8202 HAS SOUS 6606 HAS SOUPS 6606 WITH SCORE 6614.202
AT ITER 5050 NEW BEST:: SOT 50313 SOS 8185 HAS SOPS 8185 HAS SOUS 6598 HAS SOUPS 6598 WITH SCORE 6606.185
AT ITER 5103 NEW BEST:: SOT 50314 SOS 8183 HAS SOPS 8183 HAS SOUS 6596 HAS SOUPS 6596 WITH SCORE 6604.183
AT ITER 5117 NEW BEST:: SOT 50307 SOS 8211 HAS SOPS 8211 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6601.211
AT ITER 5129 NEW BEST:: SOT 50306 SOS 8205 HAS SOPS 8205 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6597.205
AT ITER 5143 NEW BEST:: SOT 50306 SOS 8156 HAS SOPS 8156 HAS SOUS 6563 HAS SOUPS 6563 WITH SCORE 6571.156
AT ITER 5204 NEW BEST:: SOT 50289 SOS 8105 HAS SOPS 8105 HAS SOUS 6529 HAS SOUPS 6529 WITH SCORE 6537.105
AT ITER 5242 NEW BEST:: SOT 50286 SOS 8101 HAS SOPS 8101 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6529.101
AT ITER 5247 NEW BEST:: SOT 50285 SOS 8099 HAS SOPS 8099 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6527.099
AT ITER 5306 NEW BEST:: SOT 50270 SOS 8084 HAS SOPS 8084 HAS SOUS 6489 HAS SOUPS 6489 WITH SCORE 6497.084
AT ITER 5311 NEW BEST:: SOT 50272 SOS 8062 HAS SOPS 8062 HAS SOUS 6467 HAS SOUPS 6467 WITH SCORE 6475.062
AT ITER 5326 NEW BEST:: SOT 50267 SOS 8071 HAS SOPS 8071 HAS SOUS 6462 HAS SOUPS 6462 WITH SCORE 6470.071
AT ITER 5332 NEW BEST:: SOT 50235 SOS 8007 HAS SOPS 8007 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6406.007
AT ITER 5349 NEW BEST:: SOT 50232 SOS 8004 HAS SOPS 8004 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6403.004
AT ITER 5376 NEW BEST:: SOT 50229 SOS 8001 HAS SOPS 8001 HAS SOUS 6392 HAS SOUPS 6392 WITH SCORE 6400.001
AT ITER 5385 NEW BEST:: SOT 50228 SOS 7992 HAS SOPS 7992 HAS SOUS 6392 HAS SOUPS 6392 WITH SCORE 6399.992
AT ITER 5448 NEW BEST:: SOT 50226 SOS 7985 HAS SOPS 7985 HAS SOUS 6385 HAS SOUPS 6385 WITH SCORE 6392.985
AT ITER 5463 NEW BEST:: SOT 50224 SOS 7983 HAS SOPS 7983 HAS SOUS 6383 HAS SOUPS 6383 WITH SCORE 6390.983
AT ITER 5513 NEW BEST:: SOT 50233 SOS 8039 HAS SOPS 8039 HAS SOUS 6375 HAS SOUPS 6375 WITH SCORE 6383.039
AT ITER 5515 NEW BEST:: SOT 50227 SOS 8055 HAS SOPS 8055 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6377.055
AT ITER 5553 NEW BEST:: SOT 50226 SOS 8054 HAS SOPS 8054 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6368.054
AT ITER 5765 NEW BEST:: SOT 50225 SOS 8050 HAS SOPS 8050 HAS SOUS 6356 HAS SOUPS 6356 WITH SCORE 6364.05
AT ITER 5801 NEW BEST:: SOT 50223 SOS 8040 HAS SOPS 8040 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6354.04
AT ITER 5816 NEW BEST:: SOT 50228 SOS 8031 HAS SOPS 8031 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6354.031
AT ITER 5876 NEW BEST:: SOT 50227 SOS 8030 HAS SOPS 8030 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6354.03
AT ITER 5891 NEW BEST:: SOT 50227 SOS 8021 HAS SOPS 8021 HAS SOUS 6338 HAS SOUPS 6338 WITH SCORE 6346.021
AT ITER 5893 NEW BEST:: SOT 50226 SOS 8020 HAS SOPS 8020 HAS SOUS 6337 HAS SOUPS 6337 WITH SCORE 6345.02
AT ITER 5903 NEW BEST:: SOT 50225 SOS 8004 HAS SOPS 8004 HAS SOUS 6321 HAS SOUPS 6321 WITH SCORE 6329.004
AT ITER 5966 NEW BEST:: SOT 50225 SOS 8003 HAS SOPS 8003 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6328.003
AT ITER 5972 NEW BEST:: SOT 50216 SOS 7994 HAS SOPS 7994 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6318.994
AT ITER 5996 NEW BEST:: SOT 50200 SOS 7970 HAS SOPS 7970 HAS SOUS 6293 HAS SOUPS 6293 WITH SCORE 6300.97
AT ITER 6005 NEW BEST:: SOT 50200 SOS 7973 HAS SOPS 7973 HAS SOUS 6291 HAS SOUPS 6291 WITH SCORE 6298.973
AT ITER 6030 NEW BEST:: SOT 50197 SOS 7971 HAS SOPS 7971 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6296.971
AT ITER 6036 NEW BEST:: SOT 50197 SOS 7970 HAS SOPS 7970 HAS SOUS 6288 HAS SOUPS 6288 WITH SCORE 6295.97
AT ITER 6073 NEW BEST:: SOT 50204 SOS 7984 HAS SOPS 7984 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6290.984
AT ITER 6249 NEW BEST:: SOT 50187 SOS 7981 HAS SOPS 7981 HAS SOUS 6280 HAS SOUPS 6280 WITH SCORE 6287.981
AT ITER 6280 NEW BEST:: SOT 50187 SOS 7965 HAS SOPS 7965 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6271.965
AT ITER 6329 NEW BEST:: SOT 50206 SOS 7959 HAS SOPS 7959 HAS SOUS 6258 HAS SOUPS 6258 WITH SCORE 6265.959
AT ITER 6372 NEW BEST:: SOT 50207 SOS 7960 HAS SOPS 7960 HAS SOUS 6257 HAS SOUPS 6257 WITH SCORE 6264.96
AT ITER 6390 NEW BEST:: SOT 50207 SOS 7959 HAS SOPS 7959 HAS SOUS 6257 HAS SOUPS 6257 WITH SCORE 6264.959
AT ITER 6418 NEW BEST:: SOT 50199 SOS 7896 HAS SOPS 7896 HAS SOUS 6246 HAS SOUPS 6246 WITH SCORE 6253.896
AT ITER 6490 NEW BEST:: SOT 50198 SOS 7894 HAS SOPS 7894 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6251.894
AT ITER 6572 NEW BEST:: SOT 50176 SOS 7997 HAS SOPS 7997 HAS SOUS 6214 HAS SOUPS 6214 WITH SCORE 6221.997
AT ITER 6657 NEW BEST:: SOT 50174 SOS 7993 HAS SOPS 7993 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6217.993
AT ITER 6660 NEW BEST:: SOT 50185 SOS 7992 HAS SOPS 7992 HAS SOUS 6209 HAS SOUPS 6209 WITH SCORE 6216.992
AT ITER 6759 NEW BEST:: SOT 50185 SOS 7988 HAS SOPS 7988 HAS SOUS 6205 HAS SOUPS 6205 WITH SCORE 6212.988
AT ITER 6763 NEW BEST:: SOT 50185 SOS 7986 HAS SOPS 7986 HAS SOUS 6203 HAS SOUPS 6203 WITH SCORE 6210.986
AT ITER 6864 NEW BEST:: SOT 50169 SOS 7941 HAS SOPS 7941 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6178.941
AT ITER 6871 NEW BEST:: SOT 50161 SOS 7913 HAS SOPS 7913 HAS SOUS 6143 HAS SOUPS 6143 WITH SCORE 6150.913
AT ITER 6889 NEW BEST:: SOT 50133 SOS 7870 HAS SOPS 7870 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6107.87
AT ITER 6971 NEW BEST:: SOT 50128 SOS 7860 HAS SOPS 7860 HAS SOUS 6085 HAS SOUPS 6085 WITH SCORE 6092.86
AT ITER 7003 NEW BEST:: SOT 50128 SOS 7852 HAS SOPS 7852 HAS SOUS 6077 HAS SOUPS 6077 WITH SCORE 6084.852
AT ITER 7052 NEW BEST:: SOT 50128 SOS 7852 HAS SOPS 7852 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6083.852
AT ITER 7341 NEW BEST:: SOT 50126 SOS 7817 HAS SOPS 7817 HAS SOUS 6071 HAS SOUPS 6071 WITH SCORE 6078.817
AT ITER 7350 NEW BEST:: SOT 50126 SOS 7815 HAS SOPS 7815 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6076.815
AT ITER 7381 NEW BEST:: SOT 50126 SOS 7813 HAS SOPS 7813 HAS SOUS 6068 HAS SOUPS 6068 WITH SCORE 6075.813
AT ITER 7494 NEW BEST:: SOT 50126 SOS 7813 HAS SOPS 7813 HAS SOUS 6066 HAS SOUPS 6066 WITH SCORE 6073.813
AT ITER 7507 NEW BEST:: SOT 50125 SOS 7812 HAS SOPS 7812 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6071.812
AT ITER 7557 NEW BEST:: SOT 50125 SOS 7802 HAS SOPS 7802 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6061.802
AT ITER 7678 NEW BEST:: SOT 50121 SOS 7794 HAS SOPS 7794 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6057.794
AT ITER 7709 NEW BEST:: SOT 50118 SOS 7793 HAS SOPS 7793 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6056.793
AT ITER 7839 NEW BEST:: SOT 50120 SOS 7795 HAS SOPS 7795 HAS SOUS 6045 HAS SOUPS 6045 WITH SCORE 6052.795
AT ITER 7871 NEW BEST:: SOT 50120 SOS 7719 HAS SOPS 7719 HAS SOUS 6045 HAS SOUPS 6045 WITH SCORE 6052.719
AT ITER 8005 NEW BEST:: SOT 50114 SOS 7695 HAS SOPS 7695 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6040.695
AT ITER 8089 NEW BEST:: SOT 50106 SOS 7690 HAS SOPS 7690 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6039.69
AT ITER 8271 NEW BEST:: SOT 50105 SOS 7688 HAS SOPS 7688 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6037.688
AT ITER 8282 NEW BEST:: SOT 50105 SOS 7682 HAS SOPS 7682 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6037.682
AT ITER 8339 NEW BEST:: SOT 50101 SOS 7678 HAS SOPS 7678 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6033.678
AT ITER 8391 NEW BEST:: SOT 50100 SOS 7677 HAS SOPS 7677 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6031.677
AT ITER 8493 NEW BEST:: SOT 50101 SOS 7686 HAS SOPS 7686 HAS SOUS 6018 HAS SOUPS 6018 WITH SCORE 6025.686
AT ITER 8640 NEW BEST:: SOT 50101 SOS 7683 HAS SOPS 7683 HAS SOUS 6015 HAS SOUPS 6015 WITH SCORE 6022.683
AT ITER 8641 NEW BEST:: SOT 50096 SOS 7674 HAS SOPS 7674 HAS SOUS 6003 HAS SOUPS 6003 WITH SCORE 6010.674
AT ITER 8780 NEW BEST:: SOT 50096 SOS 7669 HAS SOPS 7669 HAS SOUS 5998 HAS SOUPS 5998 WITH SCORE 6005.669
AT ITER 8784 NEW BEST:: SOT 50093 SOS 7667 HAS SOPS 7667 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6003.667
AT ITER 8860 NEW BEST:: SOT 50071 SOS 7650 HAS SOPS 7650 HAS SOUS 5971 HAS SOUPS 5971 WITH SCORE 5978.65
AT ITER 8900 NEW BEST:: SOT 50067 SOS 7646 HAS SOPS 7646 HAS SOUS 5967 HAS SOUPS 5967 WITH SCORE 5974.646
AT ITER 8905 NEW BEST:: SOT 50069 SOS 7632 HAS SOPS 7632 HAS SOUS 5960 HAS SOUPS 5960 WITH SCORE 5967.632
AT ITER 8988 NEW BEST:: SOT 50064 SOS 7600 HAS SOPS 7600 HAS SOUS 5947 HAS SOUPS 5947 WITH SCORE 5954.6
AT ITER 9013 NEW BEST:: SOT 50064 SOS 7456 HAS SOPS 7456 HAS SOUS 5947 HAS SOUPS 5947 WITH SCORE 5954.456
AT ITER 9098 NEW BEST:: SOT 50064 SOS 7456 HAS SOPS 7456 HAS SOUS 5945 HAS SOUPS 5945 WITH SCORE 5952.456
AT ITER 9143 NEW BEST:: SOT 50064 SOS 7450 HAS SOPS 7450 HAS SOUS 5939 HAS SOUPS 5939 WITH SCORE 5946.45
AT ITER 9239 NEW BEST:: SOT 50060 SOS 7444 HAS SOPS 7444 HAS SOUS 5929 HAS SOUPS 5929 WITH SCORE 5936.444
AT ITER 9270 NEW BEST:: SOT 50057 SOS 7441 HAS SOPS 7441 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5930.441
AT ITER 9288 NEW BEST:: SOT 50053 SOS 7436 HAS SOPS 7436 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5925.436
AT ITER 9473 NEW BEST:: SOT 50051 SOS 7434 HAS SOPS 7434 HAS SOUS 5916 HAS SOUPS 5916 WITH SCORE 5923.434
AT ITER 9503 NEW BEST:: SOT 50046 SOS 7399 HAS SOPS 7399 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5913.399
AT ITER 9529 NEW BEST:: SOT 50041 SOS 7394 HAS SOPS 7394 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5908.394
AT ITER 9546 NEW BEST:: SOT 50039 SOS 7392 HAS SOPS 7392 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5906.392
AT ITER 9687 NEW BEST:: SOT 50039 SOS 7388 HAS SOPS 7388 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5906.388
AT ITER 9781 NEW BEST:: SOT 50035 SOS 7394 HAS SOPS 7394 HAS SOUS 5895 HAS SOUPS 5895 WITH SCORE 5902.394
AT ITER 9862 NEW BEST:: SOT 50035 SOS 7386 HAS SOPS 7386 HAS SOUS 5887 HAS SOUPS 5887 WITH SCORE 5894.386
AT ITER 9914 NEW BEST:: SOT 50031 SOS 7384 HAS SOPS 7384 HAS SOUS 5885 HAS SOUPS 5885 WITH SCORE 5892.384
AT ITER 9950 NEW BEST:: SOT 50024 SOS 7370 HAS SOPS 7370 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5878.37
AT ITER 9979 NEW BEST:: SOT 50018 SOS 7364 HAS SOPS 7364 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5870.364
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7064244 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125828 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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-10b"
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-10b, 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-167814484200424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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