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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 7.8K Feb 26 15:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 15:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K 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.5K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 26 15:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 15:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 26 15:37 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 69K 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 1678367424388

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-02b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 13:10:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 13:10:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 13:10:26] [INFO ] Load time of PNML (sax parser for PT used): 51 ms
[2023-03-09 13:10:26] [INFO ] Transformed 288 places.
[2023-03-09 13:10:26] [INFO ] Transformed 239 transitions.
[2023-03-09 13:10:26] [INFO ] Found NUPN structural information;
[2023-03-09 13:10:26] [INFO ] Parsed PT model containing 288 places and 239 transitions and 699 arcs in 117 ms.
[2023-03-09 13:10:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 288 places, 239 transitions and 699 arcs took 5 ms.
Total runtime 150 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 02b
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: 288 places, 239 transitions, 699 arcs.
AT ITER 0 NEW BEST:: SOT 40180 SOS 8943 HAS SOPS 8943 HAS SOUS 7692 HAS SOUPS 7692 WITH SCORE 7700.943
AT ITER 68 NEW BEST:: SOT 40120 SOS 9092 HAS SOPS 9092 HAS SOUS 7675 HAS SOUPS 7675 WITH SCORE 7684.092
AT ITER 91 NEW BEST:: SOT 40103 SOS 9106 HAS SOPS 9106 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7681.106
AT ITER 152 NEW BEST:: SOT 40099 SOS 9098 HAS SOPS 9098 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7681.098
AT ITER 159 NEW BEST:: SOT 40098 SOS 9096 HAS SOPS 9096 HAS SOUS 7671 HAS SOUPS 7671 WITH SCORE 7680.096
AT ITER 186 NEW BEST:: SOT 40098 SOS 9075 HAS SOPS 9075 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7678.075
AT ITER 187 NEW BEST:: SOT 40015 SOS 8990 HAS SOPS 8990 HAS SOUS 7573 HAS SOUPS 7573 WITH SCORE 7581.99
AT ITER 197 NEW BEST:: SOT 39988 SOS 8961 HAS SOPS 8961 HAS SOUS 7544 HAS SOUPS 7544 WITH SCORE 7552.961
AT ITER 210 NEW BEST:: SOT 39970 SOS 8925 HAS SOPS 8925 HAS SOUS 7508 HAS SOUPS 7508 WITH SCORE 7516.925
AT ITER 236 NEW BEST:: SOT 39935 SOS 8855 HAS SOPS 8855 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7467.855
AT ITER 240 NEW BEST:: SOT 39881 SOS 8790 HAS SOPS 8790 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7384.79
AT ITER 288 NEW BEST:: SOT 39877 SOS 8785 HAS SOPS 8785 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7379.785
AT ITER 299 NEW BEST:: SOT 39883 SOS 8779 HAS SOPS 8779 HAS SOUS 7365 HAS SOUPS 7365 WITH SCORE 7373.779
AT ITER 301 NEW BEST:: SOT 39883 SOS 8775 HAS SOPS 8775 HAS SOUS 7361 HAS SOUPS 7361 WITH SCORE 7369.775
AT ITER 325 NEW BEST:: SOT 39872 SOS 8764 HAS SOPS 8764 HAS SOUS 7350 HAS SOUPS 7350 WITH SCORE 7358.764
AT ITER 397 NEW BEST:: SOT 39872 SOS 8763 HAS SOPS 8763 HAS SOUS 7350 HAS SOUPS 7350 WITH SCORE 7358.763
AT ITER 399 NEW BEST:: SOT 39868 SOS 8758 HAS SOPS 8758 HAS SOUS 7345 HAS SOUPS 7345 WITH SCORE 7353.758
AT ITER 408 NEW BEST:: SOT 39849 SOS 8717 HAS SOPS 8717 HAS SOUS 7341 HAS SOUPS 7341 WITH SCORE 7349.717
AT ITER 421 NEW BEST:: SOT 39848 SOS 8716 HAS SOPS 8716 HAS SOUS 7340 HAS SOUPS 7340 WITH SCORE 7348.716
AT ITER 427 NEW BEST:: SOT 39855 SOS 8669 HAS SOPS 8669 HAS SOUS 7320 HAS SOUPS 7320 WITH SCORE 7328.669
AT ITER 474 NEW BEST:: SOT 39841 SOS 8669 HAS SOPS 8669 HAS SOUS 7306 HAS SOUPS 7306 WITH SCORE 7314.669
AT ITER 560 NEW BEST:: SOT 39841 SOS 8569 HAS SOPS 8569 HAS SOUS 7306 HAS SOUPS 7306 WITH SCORE 7314.569
AT ITER 562 NEW BEST:: SOT 39810 SOS 8542 HAS SOPS 8542 HAS SOUS 7266 HAS SOUPS 7266 WITH SCORE 7274.542
AT ITER 569 NEW BEST:: SOT 39809 SOS 8541 HAS SOPS 8541 HAS SOUS 7264 HAS SOUPS 7264 WITH SCORE 7272.541
AT ITER 577 NEW BEST:: SOT 39809 SOS 8562 HAS SOPS 8562 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7271.562
AT ITER 585 NEW BEST:: SOT 39805 SOS 8556 HAS SOPS 8556 HAS SOUS 7257 HAS SOUPS 7257 WITH SCORE 7265.556
AT ITER 653 NEW BEST:: SOT 39805 SOS 8548 HAS SOPS 8548 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7257.548
AT ITER 708 NEW BEST:: SOT 39798 SOS 8543 HAS SOPS 8543 HAS SOUS 7244 HAS SOUPS 7244 WITH SCORE 7252.543
AT ITER 715 NEW BEST:: SOT 39798 SOS 8540 HAS SOPS 8540 HAS SOUS 7241 HAS SOUPS 7241 WITH SCORE 7249.54
AT ITER 726 NEW BEST:: SOT 39791 SOS 8612 HAS SOPS 8612 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7235.612
AT ITER 735 NEW BEST:: SOT 39791 SOS 8607 HAS SOPS 8607 HAS SOUS 7222 HAS SOUPS 7222 WITH SCORE 7230.607
AT ITER 736 NEW BEST:: SOT 39791 SOS 8606 HAS SOPS 8606 HAS SOUS 7221 HAS SOUPS 7221 WITH SCORE 7229.606
AT ITER 740 NEW BEST:: SOT 39782 SOS 8581 HAS SOPS 8581 HAS SOUS 7211 HAS SOUPS 7211 WITH SCORE 7219.581
AT ITER 780 NEW BEST:: SOT 39751 SOS 8570 HAS SOPS 8570 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7208.57
AT ITER 789 NEW BEST:: SOT 39757 SOS 8560 HAS SOPS 8560 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7206.56
AT ITER 826 NEW BEST:: SOT 39741 SOS 8541 HAS SOPS 8541 HAS SOUS 7179 HAS SOUPS 7179 WITH SCORE 7187.541
AT ITER 853 NEW BEST:: SOT 39732 SOS 8539 HAS SOPS 8539 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7185.539
AT ITER 888 NEW BEST:: SOT 39712 SOS 8521 HAS SOPS 8521 HAS SOUS 7158 HAS SOUPS 7158 WITH SCORE 7166.521
AT ITER 905 NEW BEST:: SOT 39712 SOS 8520 HAS SOPS 8520 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7165.52
AT ITER 910 NEW BEST:: SOT 39702 SOS 8475 HAS SOPS 8475 HAS SOUS 7132 HAS SOUPS 7132 WITH SCORE 7140.475
AT ITER 929 NEW BEST:: SOT 39694 SOS 8467 HAS SOPS 8467 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7133.467
AT ITER 933 NEW BEST:: SOT 39692 SOS 8436 HAS SOPS 8436 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7100.436
AT ITER 934 NEW BEST:: SOT 39659 SOS 8414 HAS SOPS 8414 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7067.414
AT ITER 943 NEW BEST:: SOT 39659 SOS 8400 HAS SOPS 8400 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7066.4
AT ITER 953 NEW BEST:: SOT 39635 SOS 8371 HAS SOPS 8371 HAS SOUS 7033 HAS SOUPS 7033 WITH SCORE 7041.371
AT ITER 962 NEW BEST:: SOT 39635 SOS 8370 HAS SOPS 8370 HAS SOUS 7032 HAS SOUPS 7032 WITH SCORE 7040.37
AT ITER 987 NEW BEST:: SOT 39635 SOS 8373 HAS SOPS 8373 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7038.373
AT ITER 1007 NEW BEST:: SOT 39635 SOS 8367 HAS SOPS 8367 HAS SOUS 7024 HAS SOUPS 7024 WITH SCORE 7032.367
AT ITER 1043 NEW BEST:: SOT 39635 SOS 8354 HAS SOPS 8354 HAS SOUS 7011 HAS SOUPS 7011 WITH SCORE 7019.354
AT ITER 1060 NEW BEST:: SOT 39635 SOS 8340 HAS SOPS 8340 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7005.34
AT ITER 1076 NEW BEST:: SOT 39612 SOS 8342 HAS SOPS 8342 HAS SOUS 6986 HAS SOUPS 6986 WITH SCORE 6994.342
AT ITER 1084 NEW BEST:: SOT 39608 SOS 8338 HAS SOPS 8338 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6990.338
AT ITER 1133 NEW BEST:: SOT 39608 SOS 8330 HAS SOPS 8330 HAS SOUS 6975 HAS SOUPS 6975 WITH SCORE 6983.33
AT ITER 1187 NEW BEST:: SOT 39607 SOS 8329 HAS SOPS 8329 HAS SOUS 6974 HAS SOUPS 6974 WITH SCORE 6982.329
AT ITER 1195 NEW BEST:: SOT 39582 SOS 8347 HAS SOPS 8347 HAS SOUS 6960 HAS SOUPS 6960 WITH SCORE 6968.347
AT ITER 1199 NEW BEST:: SOT 39582 SOS 8343 HAS SOPS 8343 HAS SOUS 6956 HAS SOUPS 6956 WITH SCORE 6964.343
AT ITER 1202 NEW BEST:: SOT 39580 SOS 8325 HAS SOPS 8325 HAS SOUS 6954 HAS SOUPS 6954 WITH SCORE 6962.325
AT ITER 1204 NEW BEST:: SOT 39593 SOS 8323 HAS SOPS 8323 HAS SOUS 6952 HAS SOUPS 6952 WITH SCORE 6960.323
AT ITER 1231 NEW BEST:: SOT 39587 SOS 8320 HAS SOPS 8320 HAS SOUS 6949 HAS SOUPS 6949 WITH SCORE 6957.32
AT ITER 1249 NEW BEST:: SOT 39591 SOS 8334 HAS SOPS 8334 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6956.334
AT ITER 1252 NEW BEST:: SOT 39577 SOS 8318 HAS SOPS 8318 HAS SOUS 6932 HAS SOUPS 6932 WITH SCORE 6940.318
AT ITER 1272 NEW BEST:: SOT 39577 SOS 8317 HAS SOPS 8317 HAS SOUS 6931 HAS SOUPS 6931 WITH SCORE 6939.317
AT ITER 1294 NEW BEST:: SOT 39550 SOS 8290 HAS SOPS 8290 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6909.29
AT ITER 1313 NEW BEST:: SOT 39550 SOS 8291 HAS SOPS 8291 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6908.291
AT ITER 1328 NEW BEST:: SOT 39550 SOS 8290 HAS SOPS 8290 HAS SOUS 6899 HAS SOUPS 6899 WITH SCORE 6907.29
AT ITER 1335 NEW BEST:: SOT 39567 SOS 8269 HAS SOPS 8269 HAS SOUS 6899 HAS SOUPS 6899 WITH SCORE 6907.269
AT ITER 1348 NEW BEST:: SOT 39561 SOS 8263 HAS SOPS 8263 HAS SOUS 6893 HAS SOUPS 6893 WITH SCORE 6901.263
AT ITER 1408 NEW BEST:: SOT 39558 SOS 8257 HAS SOPS 8257 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6895.257
AT ITER 1418 NEW BEST:: SOT 39549 SOS 8256 HAS SOPS 8256 HAS SOUS 6878 HAS SOUPS 6878 WITH SCORE 6886.256
AT ITER 1422 NEW BEST:: SOT 39527 SOS 8238 HAS SOPS 8238 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6868.238
AT ITER 1438 NEW BEST:: SOT 39534 SOS 8239 HAS SOPS 8239 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6862.239
AT ITER 1452 NEW BEST:: SOT 39524 SOS 8210 HAS SOPS 8210 HAS SOUS 6853 HAS SOUPS 6853 WITH SCORE 6861.21
AT ITER 1459 NEW BEST:: SOT 39505 SOS 8185 HAS SOPS 8185 HAS SOUS 6828 HAS SOUPS 6828 WITH SCORE 6836.185
AT ITER 1491 NEW BEST:: SOT 39496 SOS 8177 HAS SOPS 8177 HAS SOUS 6819 HAS SOUPS 6819 WITH SCORE 6827.177
AT ITER 1500 NEW BEST:: SOT 39486 SOS 8142 HAS SOPS 8142 HAS SOUS 6813 HAS SOUPS 6813 WITH SCORE 6821.142
AT ITER 1557 NEW BEST:: SOT 39465 SOS 8138 HAS SOPS 8138 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6817.138
AT ITER 1580 NEW BEST:: SOT 39456 SOS 8100 HAS SOPS 8100 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6802.1
AT ITER 1590 NEW BEST:: SOT 39450 SOS 8088 HAS SOPS 8088 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6796.088
AT ITER 1592 NEW BEST:: SOT 39450 SOS 8082 HAS SOPS 8082 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6790.082
AT ITER 1636 NEW BEST:: SOT 39450 SOS 8081 HAS SOPS 8081 HAS SOUS 6781 HAS SOUPS 6781 WITH SCORE 6789.081
AT ITER 1639 NEW BEST:: SOT 39431 SOS 8043 HAS SOPS 8043 HAS SOUS 6762 HAS SOUPS 6762 WITH SCORE 6770.043
AT ITER 1732 NEW BEST:: SOT 39378 SOS 7988 HAS SOPS 7988 HAS SOUS 6700 HAS SOUPS 6700 WITH SCORE 6707.988
AT ITER 1737 NEW BEST:: SOT 39378 SOS 7997 HAS SOPS 7997 HAS SOUS 6691 HAS SOUPS 6691 WITH SCORE 6698.997
AT ITER 1824 NEW BEST:: SOT 39360 SOS 7931 HAS SOPS 7931 HAS SOUS 6661 HAS SOUPS 6661 WITH SCORE 6668.931
AT ITER 1828 NEW BEST:: SOT 39354 SOS 7919 HAS SOPS 7919 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6662.919
AT ITER 1957 NEW BEST:: SOT 39354 SOS 7954 HAS SOPS 7954 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6627.954
AT ITER 1975 NEW BEST:: SOT 39336 SOS 7925 HAS SOPS 7925 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6598.925
AT ITER 1983 NEW BEST:: SOT 39329 SOS 7922 HAS SOPS 7922 HAS SOUS 6588 HAS SOUPS 6588 WITH SCORE 6595.922
AT ITER 2054 NEW BEST:: SOT 39320 SOS 7917 HAS SOPS 7917 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6590.917
AT ITER 2057 NEW BEST:: SOT 39320 SOS 7915 HAS SOPS 7915 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6588.915
AT ITER 2078 NEW BEST:: SOT 39263 SOS 7858 HAS SOPS 7858 HAS SOUS 6581 HAS SOUPS 6581 WITH SCORE 6588.858
AT ITER 2089 NEW BEST:: SOT 39253 SOS 7848 HAS SOPS 7848 HAS SOUS 6571 HAS SOUPS 6571 WITH SCORE 6578.848
AT ITER 2099 NEW BEST:: SOT 39253 SOS 7847 HAS SOPS 7847 HAS SOUS 6570 HAS SOUPS 6570 WITH SCORE 6577.847
AT ITER 2136 NEW BEST:: SOT 39252 SOS 7845 HAS SOPS 7845 HAS SOUS 6568 HAS SOUPS 6568 WITH SCORE 6575.845
AT ITER 2152 NEW BEST:: SOT 39239 SOS 7831 HAS SOPS 7831 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6561.831
AT ITER 2174 NEW BEST:: SOT 39242 SOS 7816 HAS SOPS 7816 HAS SOUS 6539 HAS SOUPS 6539 WITH SCORE 6546.816
AT ITER 2176 NEW BEST:: SOT 39238 SOS 7814 HAS SOPS 7814 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6544.814
AT ITER 2226 NEW BEST:: SOT 39211 SOS 7775 HAS SOPS 7775 HAS SOUS 6498 HAS SOUPS 6498 WITH SCORE 6505.775
AT ITER 2233 NEW BEST:: SOT 39205 SOS 7763 HAS SOPS 7763 HAS SOUS 6493 HAS SOUPS 6493 WITH SCORE 6500.763
AT ITER 2241 NEW BEST:: SOT 39207 SOS 7758 HAS SOPS 7758 HAS SOUS 6484 HAS SOUPS 6484 WITH SCORE 6491.758
AT ITER 2274 NEW BEST:: SOT 39199 SOS 7726 HAS SOPS 7726 HAS SOUS 6468 HAS SOUPS 6468 WITH SCORE 6475.726
AT ITER 2275 NEW BEST:: SOT 39191 SOS 7683 HAS SOPS 7683 HAS SOUS 6451 HAS SOUPS 6451 WITH SCORE 6458.683
AT ITER 2277 NEW BEST:: SOT 39191 SOS 7681 HAS SOPS 7681 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6457.681
AT ITER 2289 NEW BEST:: SOT 39191 SOS 7674 HAS SOPS 7674 HAS SOUS 6443 HAS SOUPS 6443 WITH SCORE 6450.674
AT ITER 2298 NEW BEST:: SOT 39192 SOS 7673 HAS SOPS 7673 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6449.673
AT ITER 2317 NEW BEST:: SOT 39204 SOS 7678 HAS SOPS 7678 HAS SOUS 6435 HAS SOUPS 6435 WITH SCORE 6442.678
AT ITER 2320 NEW BEST:: SOT 39173 SOS 7674 HAS SOPS 7674 HAS SOUS 6418 HAS SOUPS 6418 WITH SCORE 6425.674
AT ITER 2398 NEW BEST:: SOT 39168 SOS 7675 HAS SOPS 7675 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6424.675
AT ITER 2408 NEW BEST:: SOT 39158 SOS 7665 HAS SOPS 7665 HAS SOUS 6407 HAS SOUPS 6407 WITH SCORE 6414.665
AT ITER 2426 NEW BEST:: SOT 39156 SOS 7664 HAS SOPS 7664 HAS SOUS 6407 HAS SOUPS 6407 WITH SCORE 6414.664
AT ITER 2431 NEW BEST:: SOT 39146 SOS 7633 HAS SOPS 7633 HAS SOUS 6386 HAS SOUPS 6386 WITH SCORE 6393.633
AT ITER 2483 NEW BEST:: SOT 39146 SOS 7633 HAS SOPS 7633 HAS SOUS 6384 HAS SOUPS 6384 WITH SCORE 6391.633
AT ITER 2491 NEW BEST:: SOT 39146 SOS 7623 HAS SOPS 7623 HAS SOUS 6382 HAS SOUPS 6382 WITH SCORE 6389.623
AT ITER 2504 NEW BEST:: SOT 39139 SOS 7621 HAS SOPS 7621 HAS SOUS 6374 HAS SOUPS 6374 WITH SCORE 6381.621
AT ITER 2512 NEW BEST:: SOT 39138 SOS 7618 HAS SOPS 7618 HAS SOUS 6371 HAS SOUPS 6371 WITH SCORE 6378.618
AT ITER 2564 NEW BEST:: SOT 39122 SOS 7586 HAS SOPS 7586 HAS SOUS 6336 HAS SOUPS 6336 WITH SCORE 6343.586
AT ITER 2639 NEW BEST:: SOT 39113 SOS 7568 HAS SOPS 7568 HAS SOUS 6318 HAS SOUPS 6318 WITH SCORE 6325.568
AT ITER 2650 NEW BEST:: SOT 39112 SOS 7565 HAS SOPS 7565 HAS SOUS 6315 HAS SOUPS 6315 WITH SCORE 6322.565
AT ITER 2659 NEW BEST:: SOT 39108 SOS 7572 HAS SOPS 7572 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6318.572
AT ITER 2717 NEW BEST:: SOT 39097 SOS 7558 HAS SOPS 7558 HAS SOUS 6297 HAS SOUPS 6297 WITH SCORE 6304.558
AT ITER 2738 NEW BEST:: SOT 39097 SOS 7556 HAS SOPS 7556 HAS SOUS 6297 HAS SOUPS 6297 WITH SCORE 6304.556
AT ITER 2772 NEW BEST:: SOT 39105 SOS 7505 HAS SOPS 7505 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6276.505
AT ITER 2787 NEW BEST:: SOT 39106 SOS 7496 HAS SOPS 7496 HAS SOUS 6265 HAS SOUPS 6265 WITH SCORE 6272.496
AT ITER 2864 NEW BEST:: SOT 39095 SOS 7489 HAS SOPS 7489 HAS SOUS 6258 HAS SOUPS 6258 WITH SCORE 6265.489
AT ITER 2930 NEW BEST:: SOT 39101 SOS 7485 HAS SOPS 7485 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6250.485
AT ITER 2959 NEW BEST:: SOT 39092 SOS 7474 HAS SOPS 7474 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6240.474
AT ITER 2987 NEW BEST:: SOT 39092 SOS 7470 HAS SOPS 7470 HAS SOUS 6229 HAS SOUPS 6229 WITH SCORE 6236.47
AT ITER 2992 NEW BEST:: SOT 39087 SOS 7410 HAS SOPS 7410 HAS SOUS 6223 HAS SOUPS 6223 WITH SCORE 6230.41
AT ITER 3008 NEW BEST:: SOT 39085 SOS 7408 HAS SOPS 7408 HAS SOUS 6221 HAS SOUPS 6221 WITH SCORE 6228.408
AT ITER 3021 NEW BEST:: SOT 39076 SOS 7407 HAS SOPS 7407 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6227.407
AT ITER 3035 NEW BEST:: SOT 39054 SOS 7394 HAS SOPS 7394 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6214.394
AT ITER 3051 NEW BEST:: SOT 39048 SOS 7450 HAS SOPS 7450 HAS SOUS 6199 HAS SOUPS 6199 WITH SCORE 6206.45
AT ITER 3054 NEW BEST:: SOT 39048 SOS 7447 HAS SOPS 7447 HAS SOUS 6196 HAS SOUPS 6196 WITH SCORE 6203.447
AT ITER 3105 NEW BEST:: SOT 39047 SOS 7446 HAS SOPS 7446 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6202.446
AT ITER 3119 NEW BEST:: SOT 39045 SOS 7438 HAS SOPS 7438 HAS SOUS 6187 HAS SOUPS 6187 WITH SCORE 6194.438
AT ITER 3192 NEW BEST:: SOT 39032 SOS 7427 HAS SOPS 7427 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6183.427
AT ITER 3216 NEW BEST:: SOT 39032 SOS 7422 HAS SOPS 7422 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6183.422
AT ITER 3226 NEW BEST:: SOT 39045 SOS 7435 HAS SOPS 7435 HAS SOUS 6174 HAS SOUPS 6174 WITH SCORE 6181.435
AT ITER 3237 NEW BEST:: SOT 39042 SOS 7423 HAS SOPS 7423 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6178.423
AT ITER 3256 NEW BEST:: SOT 39035 SOS 7414 HAS SOPS 7414 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6169.414
AT ITER 3278 NEW BEST:: SOT 39035 SOS 7410 HAS SOPS 7410 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6167.41
AT ITER 3310 NEW BEST:: SOT 38999 SOS 7371 HAS SOPS 7371 HAS SOUS 6121 HAS SOUPS 6121 WITH SCORE 6128.371
AT ITER 3351 NEW BEST:: SOT 38999 SOS 7362 HAS SOPS 7362 HAS SOUS 6121 HAS SOUPS 6121 WITH SCORE 6128.362
AT ITER 3358 NEW BEST:: SOT 38999 SOS 7361 HAS SOPS 7361 HAS SOUS 6121 HAS SOUPS 6121 WITH SCORE 6128.361
AT ITER 3397 NEW BEST:: SOT 38999 SOS 7358 HAS SOPS 7358 HAS SOUS 6118 HAS SOUPS 6118 WITH SCORE 6125.358
AT ITER 3444 NEW BEST:: SOT 38997 SOS 7352 HAS SOPS 7352 HAS SOUS 6116 HAS SOUPS 6116 WITH SCORE 6123.352
AT ITER 3479 NEW BEST:: SOT 39002 SOS 7343 HAS SOPS 7343 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6097.343
AT ITER 3518 NEW BEST:: SOT 39002 SOS 7343 HAS SOPS 7343 HAS SOUS 6089 HAS SOUPS 6089 WITH SCORE 6096.343
AT ITER 3574 NEW BEST:: SOT 38999 SOS 7340 HAS SOPS 7340 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6093.34
AT ITER 3579 NEW BEST:: SOT 38989 SOS 7330 HAS SOPS 7330 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6093.33
AT ITER 3614 NEW BEST:: SOT 38989 SOS 7323 HAS SOPS 7323 HAS SOUS 6070 HAS SOUPS 6070 WITH SCORE 6077.323
AT ITER 3623 NEW BEST:: SOT 38987 SOS 7326 HAS SOPS 7326 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6071.326
AT ITER 3663 NEW BEST:: SOT 39041 SOS 7396 HAS SOPS 7396 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6070.396
AT ITER 3712 NEW BEST:: SOT 39035 SOS 7384 HAS SOPS 7384 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6051.384
AT ITER 3718 NEW BEST:: SOT 39023 SOS 7369 HAS SOPS 7369 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6039.369
AT ITER 3788 NEW BEST:: SOT 39023 SOS 7331 HAS SOPS 7331 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6039.331
AT ITER 3796 NEW BEST:: SOT 39015 SOS 7333 HAS SOPS 7333 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6027.333
AT ITER 3806 NEW BEST:: SOT 39015 SOS 7333 HAS SOPS 7333 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6024.333
AT ITER 3858 NEW BEST:: SOT 39015 SOS 7332 HAS SOPS 7332 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6024.332
AT ITER 3888 NEW BEST:: SOT 39015 SOS 7314 HAS SOPS 7314 HAS SOUS 6015 HAS SOUPS 6015 WITH SCORE 6022.314
AT ITER 3901 NEW BEST:: SOT 39006 SOS 7297 HAS SOPS 7297 HAS SOUS 5998 HAS SOUPS 5998 WITH SCORE 6005.297
AT ITER 3940 NEW BEST:: SOT 39014 SOS 7222 HAS SOPS 7222 HAS SOUS 5942 HAS SOUPS 5942 WITH SCORE 5949.222
AT ITER 3941 NEW BEST:: SOT 39014 SOS 7217 HAS SOPS 7217 HAS SOUS 5937 HAS SOUPS 5937 WITH SCORE 5944.217
AT ITER 4011 NEW BEST:: SOT 39014 SOS 7211 HAS SOPS 7211 HAS SOUS 5931 HAS SOUPS 5931 WITH SCORE 5938.211
AT ITER 4023 NEW BEST:: SOT 39014 SOS 7210 HAS SOPS 7210 HAS SOUS 5930 HAS SOUPS 5930 WITH SCORE 5937.21
AT ITER 4101 NEW BEST:: SOT 39017 SOS 7196 HAS SOPS 7196 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5931.196
AT ITER 4199 NEW BEST:: SOT 39017 SOS 7191 HAS SOPS 7191 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5931.191
AT ITER 4233 NEW BEST:: SOT 39019 SOS 7189 HAS SOPS 7189 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5930.189
AT ITER 4259 NEW BEST:: SOT 39023 SOS 7178 HAS SOPS 7178 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5929.178
AT ITER 4336 NEW BEST:: SOT 39023 SOS 7169 HAS SOPS 7169 HAS SOUS 5913 HAS SOUPS 5913 WITH SCORE 5920.169
AT ITER 4351 NEW BEST:: SOT 39023 SOS 7162 HAS SOPS 7162 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5913.162
AT ITER 4353 NEW BEST:: SOT 39047 SOS 7148 HAS SOPS 7148 HAS SOUS 5892 HAS SOUPS 5892 WITH SCORE 5899.148
AT ITER 4373 NEW BEST:: SOT 39042 SOS 7138 HAS SOPS 7138 HAS SOUS 5876 HAS SOUPS 5876 WITH SCORE 5883.138
AT ITER 4416 NEW BEST:: SOT 39035 SOS 7136 HAS SOPS 7136 HAS SOUS 5873 HAS SOUPS 5873 WITH SCORE 5880.136
AT ITER 4472 NEW BEST:: SOT 39033 SOS 7132 HAS SOPS 7132 HAS SOUS 5869 HAS SOUPS 5869 WITH SCORE 5876.132
AT ITER 4539 NEW BEST:: SOT 38986 SOS 7100 HAS SOPS 7100 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5844.1
AT ITER 4550 NEW BEST:: SOT 38986 SOS 7114 HAS SOPS 7114 HAS SOUS 5835 HAS SOUPS 5835 WITH SCORE 5842.114
AT ITER 4574 NEW BEST:: SOT 38967 SOS 7123 HAS SOPS 7123 HAS SOUS 5785 HAS SOUPS 5785 WITH SCORE 5792.123
AT ITER 4581 NEW BEST:: SOT 38967 SOS 7086 HAS SOPS 7086 HAS SOUS 5785 HAS SOUPS 5785 WITH SCORE 5792.086
AT ITER 4631 NEW BEST:: SOT 38967 SOS 7081 HAS SOPS 7081 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5787.081
AT ITER 4656 NEW BEST:: SOT 38964 SOS 7052 HAS SOPS 7052 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5783.052
AT ITER 4690 NEW BEST:: SOT 38956 SOS 7042 HAS SOPS 7042 HAS SOUS 5766 HAS SOUPS 5766 WITH SCORE 5773.042
AT ITER 4900 NEW BEST:: SOT 38949 SOS 7041 HAS SOPS 7041 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5772.041
AT ITER 5000 NEW BEST:: SOT 38940 SOS 6999 HAS SOPS 6999 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5762.999
AT ITER 5043 NEW BEST:: SOT 38935 SOS 6994 HAS SOPS 6994 HAS SOUS 5751 HAS SOUPS 5751 WITH SCORE 5757.994
AT ITER 5097 NEW BEST:: SOT 38932 SOS 6991 HAS SOPS 6991 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5751.991
AT ITER 5117 NEW BEST:: SOT 38932 SOS 6996 HAS SOPS 6996 HAS SOUS 5744 HAS SOUPS 5744 WITH SCORE 5750.996
AT ITER 5119 NEW BEST:: SOT 38927 SOS 6986 HAS SOPS 6986 HAS SOUS 5739 HAS SOUPS 5739 WITH SCORE 5745.986
AT ITER 5136 NEW BEST:: SOT 38927 SOS 6977 HAS SOPS 6977 HAS SOUS 5739 HAS SOUPS 5739 WITH SCORE 5745.977
AT ITER 5215 NEW BEST:: SOT 38925 SOS 6973 HAS SOPS 6973 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5743.973
AT ITER 5223 NEW BEST:: SOT 38923 SOS 6967 HAS SOPS 6967 HAS SOUS 5731 HAS SOUPS 5731 WITH SCORE 5737.967
AT ITER 5243 NEW BEST:: SOT 38915 SOS 6900 HAS SOPS 6900 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5734.9
AT ITER 5251 NEW BEST:: SOT 38910 SOS 6890 HAS SOPS 6890 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5724.89
AT ITER 5313 NEW BEST:: SOT 38909 SOS 6881 HAS SOPS 6881 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5715.881
AT ITER 5357 NEW BEST:: SOT 38906 SOS 6875 HAS SOPS 6875 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5708.875
AT ITER 5442 NEW BEST:: SOT 38906 SOS 6873 HAS SOPS 6873 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5706.873
AT ITER 5511 NEW BEST:: SOT 38904 SOS 6869 HAS SOPS 6869 HAS SOUS 5696 HAS SOUPS 5696 WITH SCORE 5702.869
AT ITER 5608 NEW BEST:: SOT 38909 SOS 6861 HAS SOPS 6861 HAS SOUS 5688 HAS SOUPS 5688 WITH SCORE 5694.861
AT ITER 5621 NEW BEST:: SOT 38906 SOS 6858 HAS SOPS 6858 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5691.858
AT ITER 5654 NEW BEST:: SOT 38917 SOS 6865 HAS SOPS 6865 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5687.865
AT ITER 5712 NEW BEST:: SOT 38931 SOS 6864 HAS SOPS 6864 HAS SOUS 5680 HAS SOUPS 5680 WITH SCORE 5686.864
AT ITER 5739 NEW BEST:: SOT 38927 SOS 6848 HAS SOPS 6848 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5678.848
AT ITER 5757 NEW BEST:: SOT 38927 SOS 6848 HAS SOPS 6848 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5677.848
AT ITER 5781 NEW BEST:: SOT 38926 SOS 6847 HAS SOPS 6847 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5676.847
AT ITER 5809 NEW BEST:: SOT 38926 SOS 6847 HAS SOPS 6847 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5673.847
AT ITER 5868 NEW BEST:: SOT 38923 SOS 6845 HAS SOPS 6845 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5671.845
AT ITER 5929 NEW BEST:: SOT 38915 SOS 6841 HAS SOPS 6841 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5667.841
AT ITER 5948 NEW BEST:: SOT 38918 SOS 6771 HAS SOPS 6771 HAS SOUS 5652 HAS SOUPS 5652 WITH SCORE 5658.771
AT ITER 5984 NEW BEST:: SOT 38915 SOS 6810 HAS SOPS 6810 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5657.81
AT ITER 6024 NEW BEST:: SOT 38907 SOS 6802 HAS SOPS 6802 HAS SOUS 5643 HAS SOUPS 5643 WITH SCORE 5649.802
AT ITER 6027 NEW BEST:: SOT 38885 SOS 6806 HAS SOPS 6806 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5635.806
AT ITER 6035 NEW BEST:: SOT 38882 SOS 6802 HAS SOPS 6802 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5632.802
AT ITER 6051 NEW BEST:: SOT 38875 SOS 6791 HAS SOPS 6791 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5628.791
AT ITER 6177 NEW BEST:: SOT 38847 SOS 6788 HAS SOPS 6788 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5625.788
AT ITER 6242 NEW BEST:: SOT 38846 SOS 6786 HAS SOPS 6786 HAS SOUS 5617 HAS SOUPS 5617 WITH SCORE 5623.786
AT ITER 6275 NEW BEST:: SOT 38846 SOS 6785 HAS SOPS 6785 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5622.785
AT ITER 6294 NEW BEST:: SOT 38852 SOS 6847 HAS SOPS 6847 HAS SOUS 5611 HAS SOUPS 5611 WITH SCORE 5617.847
AT ITER 6382 NEW BEST:: SOT 38845 SOS 6800 HAS SOPS 6800 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5610.8
AT ITER 6462 NEW BEST:: SOT 38848 SOS 6797 HAS SOPS 6797 HAS SOUS 5601 HAS SOUPS 5601 WITH SCORE 5607.797
AT ITER 6483 NEW BEST:: SOT 38816 SOS 6819 HAS SOPS 6819 HAS SOUS 5587 HAS SOUPS 5587 WITH SCORE 5593.819
AT ITER 6506 NEW BEST:: SOT 38842 SOS 6839 HAS SOPS 6839 HAS SOUS 5581 HAS SOUPS 5581 WITH SCORE 5587.839
AT ITER 6520 NEW BEST:: SOT 38841 SOS 6838 HAS SOPS 6838 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5586.838
AT ITER 6599 NEW BEST:: SOT 38827 SOS 6810 HAS SOPS 6810 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5572.81
AT ITER 6730 NEW BEST:: SOT 38797 SOS 6781 HAS SOPS 6781 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5543.781
AT ITER 6764 NEW BEST:: SOT 38796 SOS 6779 HAS SOPS 6779 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5542.779
AT ITER 6868 NEW BEST:: SOT 38795 SOS 6774 HAS SOPS 6774 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5537.774
AT ITER 6984 NEW BEST:: SOT 38769 SOS 6737 HAS SOPS 6737 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5500.737
AT ITER 6994 NEW BEST:: SOT 38768 SOS 6735 HAS SOPS 6735 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5484.735
AT ITER 7042 NEW BEST:: SOT 38771 SOS 6735 HAS SOPS 6735 HAS SOUS 5472 HAS SOUPS 5472 WITH SCORE 5478.735
AT ITER 7045 NEW BEST:: SOT 38770 SOS 6734 HAS SOPS 6734 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5477.734
AT ITER 7173 NEW BEST:: SOT 38761 SOS 6708 HAS SOPS 6708 HAS SOUS 5445 HAS SOUPS 5445 WITH SCORE 5451.708
AT ITER 7187 NEW BEST:: SOT 38755 SOS 6700 HAS SOPS 6700 HAS SOUS 5437 HAS SOUPS 5437 WITH SCORE 5443.7
AT ITER 7227 NEW BEST:: SOT 38755 SOS 6694 HAS SOPS 6694 HAS SOUS 5433 HAS SOUPS 5433 WITH SCORE 5439.694
AT ITER 7258 NEW BEST:: SOT 38754 SOS 6693 HAS SOPS 6693 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5438.693
AT ITER 7331 NEW BEST:: SOT 38755 SOS 6692 HAS SOPS 6692 HAS SOUS 5431 HAS SOUPS 5431 WITH SCORE 5437.692
AT ITER 7368 NEW BEST:: SOT 38754 SOS 6691 HAS SOPS 6691 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5436.691
AT ITER 7455 NEW BEST:: SOT 38756 SOS 6684 HAS SOPS 6684 HAS SOUS 5423 HAS SOUPS 5423 WITH SCORE 5429.684
AT ITER 7467 NEW BEST:: SOT 38720 SOS 6612 HAS SOPS 6612 HAS SOUS 5371 HAS SOUPS 5371 WITH SCORE 5377.612
AT ITER 7486 NEW BEST:: SOT 38719 SOS 6598 HAS SOPS 6598 HAS SOUS 5366 HAS SOUPS 5366 WITH SCORE 5372.598
AT ITER 7555 NEW BEST:: SOT 38718 SOS 6594 HAS SOPS 6594 HAS SOUS 5361 HAS SOUPS 5361 WITH SCORE 5367.594
AT ITER 7593 NEW BEST:: SOT 38714 SOS 6624 HAS SOPS 6624 HAS SOUS 5353 HAS SOUPS 5353 WITH SCORE 5359.624
AT ITER 7619 NEW BEST:: SOT 38704 SOS 6615 HAS SOPS 6615 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5350.615
AT ITER 7628 NEW BEST:: SOT 38702 SOS 6613 HAS SOPS 6613 HAS SOUS 5342 HAS SOUPS 5342 WITH SCORE 5348.613
AT ITER 7691 NEW BEST:: SOT 38696 SOS 6611 HAS SOPS 6611 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5341.611
AT ITER 7708 NEW BEST:: SOT 38695 SOS 6610 HAS SOPS 6610 HAS SOUS 5334 HAS SOUPS 5334 WITH SCORE 5340.61
AT ITER 7711 NEW BEST:: SOT 38700 SOS 6615 HAS SOPS 6615 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5338.615
AT ITER 7725 NEW BEST:: SOT 38703 SOS 6620 HAS SOPS 6620 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5334.62
AT ITER 7727 NEW BEST:: SOT 38698 SOS 6617 HAS SOPS 6617 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5329.617
AT ITER 7750 NEW BEST:: SOT 38683 SOS 6602 HAS SOPS 6602 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5314.602
AT ITER 7802 NEW BEST:: SOT 38682 SOS 6600 HAS SOPS 6600 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5313.6
AT ITER 7916 NEW BEST:: SOT 38682 SOS 6599 HAS SOPS 6599 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5313.599
AT ITER 7941 NEW BEST:: SOT 38682 SOS 6596 HAS SOPS 6596 HAS SOUS 5306 HAS SOUPS 5306 WITH SCORE 5312.596
AT ITER 7952 NEW BEST:: SOT 38665 SOS 6590 HAS SOPS 6590 HAS SOUS 5300 HAS SOUPS 5300 WITH SCORE 5306.59
AT ITER 7981 NEW BEST:: SOT 38663 SOS 6588 HAS SOPS 6588 HAS SOUS 5298 HAS SOUPS 5298 WITH SCORE 5304.588
AT ITER 8004 NEW BEST:: SOT 38658 SOS 6583 HAS SOPS 6583 HAS SOUS 5293 HAS SOUPS 5293 WITH SCORE 5299.583
AT ITER 8031 NEW BEST:: SOT 38658 SOS 6565 HAS SOPS 6565 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5290.565
AT ITER 8050 NEW BEST:: SOT 38654 SOS 6563 HAS SOPS 6563 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5285.563
AT ITER 8116 NEW BEST:: SOT 38649 SOS 6559 HAS SOPS 6559 HAS SOUS 5275 HAS SOUPS 5275 WITH SCORE 5281.559
AT ITER 8367 NEW BEST:: SOT 38654 SOS 6553 HAS SOPS 6553 HAS SOUS 5269 HAS SOUPS 5269 WITH SCORE 5275.553
AT ITER 8506 NEW BEST:: SOT 38652 SOS 6549 HAS SOPS 6549 HAS SOUS 5267 HAS SOUPS 5267 WITH SCORE 5273.549
AT ITER 8569 NEW BEST:: SOT 38651 SOS 6545 HAS SOPS 6545 HAS SOUS 5265 HAS SOUPS 5265 WITH SCORE 5271.545
AT ITER 8663 NEW BEST:: SOT 38662 SOS 6540 HAS SOPS 6540 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5266.54
AT ITER 8704 NEW BEST:: SOT 38662 SOS 6538 HAS SOPS 6538 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5264.538
AT ITER 8808 NEW BEST:: SOT 38661 SOS 6538 HAS SOPS 6538 HAS SOUS 5255 HAS SOUPS 5255 WITH SCORE 5261.538
AT ITER 8813 NEW BEST:: SOT 38661 SOS 6543 HAS SOPS 6543 HAS SOUS 5254 HAS SOUPS 5254 WITH SCORE 5260.543
AT ITER 8818 NEW BEST:: SOT 38661 SOS 6542 HAS SOPS 6542 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5259.542
AT ITER 8942 NEW BEST:: SOT 38664 SOS 6545 HAS SOPS 6545 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5255.545
AT ITER 8976 NEW BEST:: SOT 38664 SOS 6544 HAS SOPS 6544 HAS SOUS 5248 HAS SOUPS 5248 WITH SCORE 5254.544
AT ITER 9106 NEW BEST:: SOT 38676 SOS 6518 HAS SOPS 6518 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5228.518
AT ITER 9149 NEW BEST:: SOT 38672 SOS 6514 HAS SOPS 6514 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5224.514
AT ITER 9173 NEW BEST:: SOT 38670 SOS 6512 HAS SOPS 6512 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5220.512
AT ITER 9281 NEW BEST:: SOT 38663 SOS 6498 HAS SOPS 6498 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5206.498
AT ITER 9358 NEW BEST:: SOT 38664 SOS 6500 HAS SOPS 6500 HAS SOUS 5199 HAS SOUPS 5199 WITH SCORE 5205.5
AT ITER 9465 NEW BEST:: SOT 38664 SOS 6520 HAS SOPS 6520 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5195.52
AT ITER 9471 NEW BEST:: SOT 38660 SOS 6516 HAS SOPS 6516 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5191.516
AT ITER 9517 NEW BEST:: SOT 38654 SOS 6516 HAS SOPS 6516 HAS SOUS 5179 HAS SOUPS 5179 WITH SCORE 5185.516
AT ITER 9612 NEW BEST:: SOT 38647 SOS 6516 HAS SOPS 6516 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5178.516
AT ITER 9655 NEW BEST:: SOT 38643 SOS 6512 HAS SOPS 6512 HAS SOUS 5167 HAS SOUPS 5167 WITH SCORE 5173.512
AT ITER 9665 NEW BEST:: SOT 38631 SOS 6511 HAS SOPS 6511 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5158.511
AT ITER 9684 NEW BEST:: SOT 38631 SOS 6521 HAS SOPS 6521 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5148.521
AT ITER 9714 NEW BEST:: SOT 38630 SOS 6516 HAS SOPS 6516 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5143.516
AT ITER 9773 NEW BEST:: SOT 38627 SOS 6512 HAS SOPS 6512 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5139.512
AT ITER 9815 NEW BEST:: SOT 38588 SOS 6506 HAS SOPS 6506 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5124.506
AT ITER 9823 NEW BEST:: SOT 38594 SOS 6500 HAS SOPS 6500 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5120.5
AT ITER 9854 NEW BEST:: SOT 38595 SOS 6496 HAS SOPS 6496 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5116.496
AT ITER 9884 NEW BEST:: SOT 38592 SOS 6495 HAS SOPS 6495 HAS SOUS 5109 HAS SOUPS 5109 WITH SCORE 5115.495
AT ITER 9926 NEW BEST:: SOT 38599 SOS 6491 HAS SOPS 6491 HAS SOUS 5105 HAS SOUPS 5105 WITH SCORE 5111.491
AT ITER 9935 NEW BEST:: SOT 38599 SOS 6489 HAS SOPS 6489 HAS SOUS 5105 HAS SOUPS 5105 WITH SCORE 5111.489
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 4268236 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124688 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-02b"
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-02b, 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-167814484200392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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