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.r075-smll-167814401000384.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 CloudDeployment-PT-3a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814401000384
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 7.7K Feb 25 14:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 14:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 14:49 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:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 14:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 152K Feb 25 14:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 14:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 25 14:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 97K 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 1678341045705

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=CloudDeployment-PT-3a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 05:50:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 05:50:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 05:50:49] [INFO ] Load time of PNML (sax parser for PT used): 211 ms
[2023-03-09 05:50:49] [INFO ] Transformed 104 places.
[2023-03-09 05:50:49] [INFO ] Transformed 308 transitions.
[2023-03-09 05:50:49] [INFO ] Found NUPN structural information;
[2023-03-09 05:50:49] [INFO ] Parsed PT model containing 104 places and 308 transitions and 1611 arcs in 415 ms.
[2023-03-09 05:50:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 104 places, 308 transitions and 1611 arcs took 11 ms.
Total runtime 494 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 3a
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: 104 places, 308 transitions, 1611 arcs.
AT ITER 0 NEW BEST:: SOT 23078 SOS 13510 HAS SOPS 12426 HAS SOUS 10732 HAS SOUPS 9730 WITH SCORE 9743.51
AT ITER 2 NEW BEST:: SOT 23018 SOS 13498 HAS SOPS 12414 HAS SOUS 10723 HAS SOUPS 9721 WITH SCORE 9734.498
AT ITER 3 NEW BEST:: SOT 23066 SOS 13469 HAS SOPS 12385 HAS SOUS 10609 HAS SOUPS 9607 WITH SCORE 9620.469
AT ITER 14 NEW BEST:: SOT 23066 SOS 13463 HAS SOPS 12379 HAS SOUS 10603 HAS SOUPS 9601 WITH SCORE 9614.463
AT ITER 15 NEW BEST:: SOT 23001 SOS 13423 HAS SOPS 12357 HAS SOUS 10570 HAS SOUPS 9586 WITH SCORE 9599.423
AT ITER 17 NEW BEST:: SOT 23079 SOS 13467 HAS SOPS 12401 HAS SOUS 10521 HAS SOUPS 9537 WITH SCORE 9550.467
AT ITER 18 NEW BEST:: SOT 23200 SOS 13549 HAS SOPS 12483 HAS SOUS 10517 HAS SOUPS 9533 WITH SCORE 9546.549
AT ITER 22 NEW BEST:: SOT 23275 SOS 13558 HAS SOPS 12492 HAS SOUS 10515 HAS SOUPS 9531 WITH SCORE 9544.558
AT ITER 24 NEW BEST:: SOT 23242 SOS 13552 HAS SOPS 12501 HAS SOUS 10452 HAS SOUPS 9483 WITH SCORE 9496.552
AT ITER 31 NEW BEST:: SOT 23416 SOS 13603 HAS SOPS 12609 HAS SOUS 10264 HAS SOUPS 9354 WITH SCORE 9367.603
AT ITER 34 NEW BEST:: SOT 23454 SOS 13622 HAS SOPS 12647 HAS SOUS 10226 HAS SOUPS 9335 WITH SCORE 9348.622
AT ITER 35 NEW BEST:: SOT 23442 SOS 13613 HAS SOPS 12638 HAS SOUS 10215 HAS SOUPS 9324 WITH SCORE 9337.613
AT ITER 38 NEW BEST:: SOT 23566 SOS 13597 HAS SOPS 12684 HAS SOUS 10001 HAS SOUPS 9172 WITH SCORE 9185.597
AT ITER 39 NEW BEST:: SOT 23642 SOS 13672 HAS SOPS 12797 HAS SOUS 9962 HAS SOUPS 9171 WITH SCORE 9184.672
AT ITER 41 NEW BEST:: SOT 23660 SOS 13664 HAS SOPS 12789 HAS SOUS 9960 HAS SOUPS 9169 WITH SCORE 9182.664
AT ITER 42 NEW BEST:: SOT 23475 SOS 13515 HAS SOPS 12638 HAS SOUS 9808 HAS SOUPS 9021 WITH SCORE 9034.515
AT ITER 43 NEW BEST:: SOT 23339 SOS 13420 HAS SOPS 12543 HAS SOUS 9725 HAS SOUPS 8938 WITH SCORE 8951.42
AT ITER 48 NEW BEST:: SOT 23315 SOS 13388 HAS SOPS 12505 HAS SOUS 9687 HAS SOUPS 8900 WITH SCORE 8913.388
AT ITER 50 NEW BEST:: SOT 23210 SOS 13244 HAS SOPS 12326 HAS SOUS 9621 HAS SOUPS 8799 WITH SCORE 8812.244
AT ITER 53 NEW BEST:: SOT 23185 SOS 13179 HAS SOPS 12261 HAS SOUS 9585 HAS SOUPS 8763 WITH SCORE 8776.179
AT ITER 57 NEW BEST:: SOT 23185 SOS 13167 HAS SOPS 12239 HAS SOUS 9587 HAS SOUPS 8755 WITH SCORE 8768.167
AT ITER 58 NEW BEST:: SOT 23264 SOS 13178 HAS SOPS 12250 HAS SOUS 9508 HAS SOUPS 8676 WITH SCORE 8689.178
AT ITER 59 NEW BEST:: SOT 23182 SOS 13113 HAS SOPS 12185 HAS SOUS 9494 HAS SOUPS 8662 WITH SCORE 8675.113
AT ITER 60 NEW BEST:: SOT 23201 SOS 13138 HAS SOPS 12210 HAS SOUS 9448 HAS SOUPS 8616 WITH SCORE 8629.138
AT ITER 61 NEW BEST:: SOT 23157 SOS 13083 HAS SOPS 12155 HAS SOUS 9393 HAS SOUPS 8561 WITH SCORE 8574.083
AT ITER 62 NEW BEST:: SOT 23205 SOS 13089 HAS SOPS 12146 HAS SOUS 9386 HAS SOUPS 8539 WITH SCORE 8552.089
AT ITER 65 NEW BEST:: SOT 23179 SOS 13037 HAS SOPS 12094 HAS SOUS 9314 HAS SOUPS 8467 WITH SCORE 8480.037
AT ITER 67 NEW BEST:: SOT 23149 SOS 13013 HAS SOPS 12070 HAS SOUS 9310 HAS SOUPS 8463 WITH SCORE 8476.013
AT ITER 69 NEW BEST:: SOT 23140 SOS 12977 HAS SOPS 12004 HAS SOUS 9299 HAS SOUPS 8428 WITH SCORE 8440.977
AT ITER 70 NEW BEST:: SOT 23139 SOS 12975 HAS SOPS 12001 HAS SOUS 9296 HAS SOUPS 8424 WITH SCORE 8436.975
AT ITER 72 NEW BEST:: SOT 23134 SOS 12965 HAS SOPS 11991 HAS SOUS 9271 HAS SOUPS 8399 WITH SCORE 8411.965
AT ITER 80 NEW BEST:: SOT 23127 SOS 12949 HAS SOPS 11971 HAS SOUS 9251 HAS SOUPS 8379 WITH SCORE 8391.949
AT ITER 85 NEW BEST:: SOT 23376 SOS 13054 HAS SOPS 12076 HAS SOUS 9168 HAS SOUPS 8296 WITH SCORE 8309.054
AT ITER 86 NEW BEST:: SOT 23400 SOS 13052 HAS SOPS 12074 HAS SOUS 9168 HAS SOUPS 8296 WITH SCORE 8309.052
AT ITER 91 NEW BEST:: SOT 23416 SOS 13068 HAS SOPS 12090 HAS SOUS 9164 HAS SOUPS 8292 WITH SCORE 8305.068
AT ITER 93 NEW BEST:: SOT 23429 SOS 13030 HAS SOPS 12052 HAS SOUS 9160 HAS SOUPS 8288 WITH SCORE 8301.03
AT ITER 97 NEW BEST:: SOT 23450 SOS 13044 HAS SOPS 12066 HAS SOUS 9153 HAS SOUPS 8281 WITH SCORE 8294.044
AT ITER 99 NEW BEST:: SOT 23454 SOS 13042 HAS SOPS 12064 HAS SOUS 9125 HAS SOUPS 8253 WITH SCORE 8266.042
AT ITER 101 NEW BEST:: SOT 23499 SOS 13057 HAS SOPS 12079 HAS SOUS 9060 HAS SOUPS 8188 WITH SCORE 8201.057
AT ITER 102 NEW BEST:: SOT 23511 SOS 13048 HAS SOPS 12070 HAS SOUS 9060 HAS SOUPS 8188 WITH SCORE 8201.048
AT ITER 106 NEW BEST:: SOT 23503 SOS 12922 HAS SOPS 11944 HAS SOUS 8964 HAS SOUPS 8092 WITH SCORE 8104.922
AT ITER 113 NEW BEST:: SOT 23411 SOS 12932 HAS SOPS 11873 HAS SOUS 8911 HAS SOUPS 8045 WITH SCORE 8057.932
AT ITER 120 NEW BEST:: SOT 23551 SOS 12899 HAS SOPS 11840 HAS SOUS 8801 HAS SOUPS 7935 WITH SCORE 7947.899
AT ITER 121 NEW BEST:: SOT 23633 SOS 12877 HAS SOPS 11856 HAS SOUS 8635 HAS SOUPS 7809 WITH SCORE 7821.877
AT ITER 122 NEW BEST:: SOT 23617 SOS 12885 HAS SOPS 11856 HAS SOUS 8641 HAS SOUPS 7807 WITH SCORE 7819.885
AT ITER 124 NEW BEST:: SOT 23617 SOS 12885 HAS SOPS 11856 HAS SOUS 8563 HAS SOUPS 7729 WITH SCORE 7741.885
AT ITER 127 NEW BEST:: SOT 23622 SOS 12898 HAS SOPS 11894 HAS SOUS 8535 HAS SOUPS 7726 WITH SCORE 7738.898
AT ITER 130 NEW BEST:: SOT 23594 SOS 12873 HAS SOPS 11863 HAS SOUS 8505 HAS SOUPS 7695 WITH SCORE 7707.873
AT ITER 135 NEW BEST:: SOT 23745 SOS 13023 HAS SOPS 12041 HAS SOUS 8459 HAS SOUPS 7682 WITH SCORE 7695.023
AT ITER 139 NEW BEST:: SOT 23681 SOS 13023 HAS SOPS 12041 HAS SOUS 8421 HAS SOUPS 7644 WITH SCORE 7657.023
AT ITER 143 NEW BEST:: SOT 23681 SOS 13000 HAS SOPS 12018 HAS SOUS 8271 HAS SOUPS 7494 WITH SCORE 7507.0
AT ITER 148 NEW BEST:: SOT 23672 SOS 12973 HAS SOPS 11982 HAS SOUS 8267 HAS SOUPS 7481 WITH SCORE 7493.973
AT ITER 149 NEW BEST:: SOT 23672 SOS 12868 HAS SOPS 11869 HAS SOUS 8232 HAS SOUPS 7446 WITH SCORE 7458.868
AT ITER 150 NEW BEST:: SOT 23672 SOS 12863 HAS SOPS 11864 HAS SOUS 8232 HAS SOUPS 7446 WITH SCORE 7458.863
AT ITER 151 NEW BEST:: SOT 23680 SOS 12891 HAS SOPS 11904 HAS SOUS 8204 HAS SOUPS 7430 WITH SCORE 7442.891
AT ITER 159 NEW BEST:: SOT 23682 SOS 12892 HAS SOPS 11908 HAS SOUS 8198 HAS SOUPS 7427 WITH SCORE 7439.892
AT ITER 160 NEW BEST:: SOT 23648 SOS 12908 HAS SOPS 11924 HAS SOUS 8068 HAS SOUPS 7297 WITH SCORE 7309.908
AT ITER 164 NEW BEST:: SOT 23648 SOS 12890 HAS SOPS 11906 HAS SOUS 8047 HAS SOUPS 7276 WITH SCORE 7288.89
AT ITER 171 NEW BEST:: SOT 23636 SOS 12894 HAS SOPS 11912 HAS SOUS 8037 HAS SOUPS 7270 WITH SCORE 7282.894
AT ITER 173 NEW BEST:: SOT 23786 SOS 12924 HAS SOPS 11942 HAS SOUS 7910 HAS SOUPS 7143 WITH SCORE 7155.924
AT ITER 179 NEW BEST:: SOT 23732 SOS 12860 HAS SOPS 11834 HAS SOUS 7867 HAS SOUPS 7069 WITH SCORE 7081.86
AT ITER 188 NEW BEST:: SOT 23615 SOS 12786 HAS SOPS 11760 HAS SOUS 7859 HAS SOUPS 7061 WITH SCORE 7073.786
AT ITER 190 NEW BEST:: SOT 23545 SOS 12679 HAS SOPS 11620 HAS SOUS 7868 HAS SOUPS 7060 WITH SCORE 7072.679
AT ITER 195 NEW BEST:: SOT 23647 SOS 12711 HAS SOPS 11652 HAS SOUS 7800 HAS SOUPS 6992 WITH SCORE 7004.711
AT ITER 197 NEW BEST:: SOT 23647 SOS 12711 HAS SOPS 11651 HAS SOUS 7789 HAS SOUPS 6981 WITH SCORE 6993.711
AT ITER 198 NEW BEST:: SOT 23667 SOS 12740 HAS SOPS 11690 HAS SOUS 7770 HAS SOUPS 6972 WITH SCORE 6984.74
AT ITER 199 NEW BEST:: SOT 23644 SOS 12720 HAS SOPS 11674 HAS SOUS 7763 HAS SOUPS 6971 WITH SCORE 6983.72
AT ITER 200 NEW BEST:: SOT 23805 SOS 12725 HAS SOPS 11712 HAS SOUS 7580 HAS SOUPS 6798 WITH SCORE 6810.725
AT ITER 201 NEW BEST:: SOT 23805 SOS 12744 HAS SOPS 11740 HAS SOUS 7571 HAS SOUPS 6789 WITH SCORE 6801.744
AT ITER 213 NEW BEST:: SOT 23776 SOS 12740 HAS SOPS 11704 HAS SOUS 7560 HAS SOUPS 6777 WITH SCORE 6789.74
AT ITER 224 NEW BEST:: SOT 23776 SOS 12677 HAS SOPS 11641 HAS SOUS 7539 HAS SOUPS 6756 WITH SCORE 6768.677
AT ITER 229 NEW BEST:: SOT 23746 SOS 12169 HAS SOPS 11080 HAS SOUS 7520 HAS SOUPS 6732 WITH SCORE 6744.169
AT ITER 234 NEW BEST:: SOT 23783 SOS 12445 HAS SOPS 11425 HAS SOUS 7445 HAS SOUPS 6689 WITH SCORE 6701.445
AT ITER 237 NEW BEST:: SOT 23228 SOS 12166 HAS SOPS 11098 HAS SOUS 7085 HAS SOUPS 6425 WITH SCORE 6437.166
AT ITER 245 NEW BEST:: SOT 23224 SOS 12171 HAS SOPS 11068 HAS SOUS 7077 HAS SOUPS 6406 WITH SCORE 6418.171
AT ITER 252 NEW BEST:: SOT 23158 SOS 12121 HAS SOPS 10996 HAS SOUS 7096 HAS SOUPS 6403 WITH SCORE 6415.121
AT ITER 254 NEW BEST:: SOT 22980 SOS 12281 HAS SOPS 10818 HAS SOUS 6961 HAS SOUPS 6268 WITH SCORE 6280.281
AT ITER 258 NEW BEST:: SOT 22980 SOS 12245 HAS SOPS 10741 HAS SOUS 6907 HAS SOUPS 6205 WITH SCORE 6217.245
AT ITER 260 NEW BEST:: SOT 22882 SOS 12206 HAS SOPS 10700 HAS SOUS 6846 HAS SOUPS 6144 WITH SCORE 6156.206
AT ITER 262 NEW BEST:: SOT 22874 SOS 12198 HAS SOPS 10710 HAS SOUS 6816 HAS SOUPS 6114 WITH SCORE 6126.198
AT ITER 265 NEW BEST:: SOT 22848 SOS 12202 HAS SOPS 10714 HAS SOUS 6805 HAS SOUPS 6103 WITH SCORE 6115.202
AT ITER 272 NEW BEST:: SOT 22825 SOS 12286 HAS SOPS 10746 HAS SOUS 6810 HAS SOUPS 6095 WITH SCORE 6107.286
AT ITER 281 NEW BEST:: SOT 22885 SOS 12169 HAS SOPS 10629 HAS SOUS 6795 HAS SOUPS 6080 WITH SCORE 6092.169
AT ITER 287 NEW BEST:: SOT 22874 SOS 12160 HAS SOPS 10620 HAS SOUS 6782 HAS SOUPS 6067 WITH SCORE 6079.16
AT ITER 293 NEW BEST:: SOT 22874 SOS 12168 HAS SOPS 10628 HAS SOUS 6758 HAS SOUPS 6043 WITH SCORE 6055.168
AT ITER 302 NEW BEST:: SOT 22968 SOS 12264 HAS SOPS 10802 HAS SOUS 6718 HAS SOUPS 6036 WITH SCORE 6048.264
AT ITER 308 NEW BEST:: SOT 22935 SOS 12215 HAS SOPS 10753 HAS SOUS 6657 HAS SOUPS 5975 WITH SCORE 5987.215
AT ITER 311 NEW BEST:: SOT 22963 SOS 12215 HAS SOPS 10767 HAS SOUS 6608 HAS SOUPS 5940 WITH SCORE 5952.215
AT ITER 317 NEW BEST:: SOT 22957 SOS 12053 HAS SOPS 10581 HAS SOUS 6598 HAS SOUPS 5926 WITH SCORE 5938.053
AT ITER 325 NEW BEST:: SOT 22918 SOS 12060 HAS SOPS 10605 HAS SOUS 6544 HAS SOUPS 5889 WITH SCORE 5901.06
AT ITER 333 NEW BEST:: SOT 22875 SOS 12060 HAS SOPS 10565 HAS SOUS 6545 HAS SOUPS 5867 WITH SCORE 5879.06
AT ITER 336 NEW BEST:: SOT 22863 SOS 11914 HAS SOPS 10397 HAS SOUS 6533 HAS SOUPS 5853 WITH SCORE 5864.914
AT ITER 340 NEW BEST:: SOT 22853 SOS 11889 HAS SOPS 10383 HAS SOUS 6488 HAS SOUPS 5808 WITH SCORE 5819.889
AT ITER 344 NEW BEST:: SOT 22853 SOS 11889 HAS SOPS 10383 HAS SOUS 6447 HAS SOUPS 5767 WITH SCORE 5778.889
AT ITER 345 NEW BEST:: SOT 22846 SOS 11868 HAS SOPS 10362 HAS SOUS 6426 HAS SOUPS 5746 WITH SCORE 5757.868
AT ITER 350 NEW BEST:: SOT 22837 SOS 11862 HAS SOPS 10356 HAS SOUS 6426 HAS SOUPS 5746 WITH SCORE 5757.862
AT ITER 357 NEW BEST:: SOT 22780 SOS 11831 HAS SOPS 10322 HAS SOUS 6384 HAS SOUPS 5704 WITH SCORE 5715.831
AT ITER 358 NEW BEST:: SOT 22899 SOS 12021 HAS SOPS 10474 HAS SOUS 6239 HAS SOUPS 5525 WITH SCORE 5537.021
AT ITER 359 NEW BEST:: SOT 22820 SOS 11951 HAS SOPS 10416 HAS SOUS 6162 HAS SOUPS 5449 WITH SCORE 5460.951
AT ITER 360 NEW BEST:: SOT 22813 SOS 11942 HAS SOPS 10404 HAS SOUS 6140 HAS SOUPS 5427 WITH SCORE 5438.942
AT ITER 364 NEW BEST:: SOT 22431 SOS 11654 HAS SOPS 10284 HAS SOUS 5926 HAS SOUPS 5281 WITH SCORE 5292.654
AT ITER 370 NEW BEST:: SOT 22265 SOS 11778 HAS SOPS 10168 HAS SOUS 5776 HAS SOUPS 5160 WITH SCORE 5171.778
AT ITER 379 NEW BEST:: SOT 22265 SOS 11779 HAS SOPS 10170 HAS SOUS 5774 HAS SOUPS 5159 WITH SCORE 5170.779
AT ITER 387 NEW BEST:: SOT 22275 SOS 11777 HAS SOPS 10077 HAS SOUS 5764 HAS SOUPS 5135 WITH SCORE 5146.777
AT ITER 388 NEW BEST:: SOT 22274 SOS 11766 HAS SOPS 10069 HAS SOUS 5751 HAS SOUPS 5125 WITH SCORE 5136.766
AT ITER 397 NEW BEST:: SOT 22158 SOS 11705 HAS SOPS 10064 HAS SOUS 5710 HAS SOUPS 5118 WITH SCORE 5129.705
AT ITER 403 NEW BEST:: SOT 22045 SOS 11599 HAS SOPS 9915 HAS SOUS 5709 HAS SOUPS 5094 WITH SCORE 5105.599
AT ITER 406 NEW BEST:: SOT 21705 SOS 12192 HAS SOPS 9637 HAS SOUS 5662 HAS SOUPS 5015 WITH SCORE 5027.192
AT ITER 408 NEW BEST:: SOT 21705 SOS 12588 HAS SOPS 9617 HAS SOUS 5669 HAS SOUPS 5013 WITH SCORE 5025.588
AT ITER 412 NEW BEST:: SOT 21326 SOS 12887 HAS SOPS 9414 HAS SOUS 5528 HAS SOUPS 4855 WITH SCORE 4867.887
AT ITER 413 NEW BEST:: SOT 21377 SOS 12841 HAS SOPS 9741 HAS SOUS 5401 HAS SOUPS 4828 WITH SCORE 4840.841
AT ITER 415 NEW BEST:: SOT 21680 SOS 13206 HAS SOPS 10092 HAS SOUS 5322 HAS SOUPS 4749 WITH SCORE 4762.206
AT ITER 416 NEW BEST:: SOT 21700 SOS 13166 HAS SOPS 10097 HAS SOUS 5317 HAS SOUPS 4749 WITH SCORE 4762.166
AT ITER 426 NEW BEST:: SOT 21798 SOS 13067 HAS SOPS 10056 HAS SOUS 5295 HAS SOUPS 4745 WITH SCORE 4758.067
AT ITER 431 NEW BEST:: SOT 21780 SOS 12941 HAS SOPS 9841 HAS SOUS 5263 HAS SOUPS 4711 WITH SCORE 4723.941
AT ITER 433 NEW BEST:: SOT 21837 SOS 12939 HAS SOPS 9839 HAS SOUS 5258 HAS SOUPS 4706 WITH SCORE 4718.939
AT ITER 434 NEW BEST:: SOT 21631 SOS 13025 HAS SOPS 9809 HAS SOUS 5224 HAS SOUPS 4702 WITH SCORE 4715.025
AT ITER 441 NEW BEST:: SOT 21367 SOS 12814 HAS SOPS 9618 HAS SOUS 5180 HAS SOUPS 4649 WITH SCORE 4661.814
AT ITER 450 NEW BEST:: SOT 21375 SOS 12824 HAS SOPS 9604 HAS SOUS 5183 HAS SOUPS 4640 WITH SCORE 4652.824
AT ITER 456 NEW BEST:: SOT 21375 SOS 12815 HAS SOPS 9613 HAS SOUS 5183 HAS SOUPS 4640 WITH SCORE 4652.815
AT ITER 463 NEW BEST:: SOT 21371 SOS 12805 HAS SOPS 9605 HAS SOUS 5177 HAS SOUPS 4634 WITH SCORE 4646.805
AT ITER 475 NEW BEST:: SOT 21372 SOS 12802 HAS SOPS 9603 HAS SOUS 5177 HAS SOUPS 4634 WITH SCORE 4646.802
AT ITER 497 NEW BEST:: SOT 21300 SOS 12863 HAS SOPS 9607 HAS SOUS 5187 HAS SOUPS 4626 WITH SCORE 4638.863
AT ITER 498 NEW BEST:: SOT 21342 SOS 12227 HAS SOPS 9604 HAS SOUS 5124 HAS SOUPS 4607 WITH SCORE 4619.227
AT ITER 506 NEW BEST:: SOT 21342 SOS 12223 HAS SOPS 9604 HAS SOUS 5115 HAS SOUPS 4601 WITH SCORE 4613.223
AT ITER 519 NEW BEST:: SOT 21332 SOS 12213 HAS SOPS 9577 HAS SOUS 5098 HAS SOUPS 4584 WITH SCORE 4596.213
AT ITER 520 NEW BEST:: SOT 21325 SOS 12211 HAS SOPS 9571 HAS SOUS 5089 HAS SOUPS 4575 WITH SCORE 4587.211
AT ITER 522 NEW BEST:: SOT 21214 SOS 12157 HAS SOPS 9505 HAS SOUS 5011 HAS SOUPS 4497 WITH SCORE 4509.157
AT ITER 533 NEW BEST:: SOT 21206 SOS 12147 HAS SOPS 9483 HAS SOUS 5009 HAS SOUPS 4489 WITH SCORE 4501.147
AT ITER 536 NEW BEST:: SOT 21188 SOS 12117 HAS SOPS 9477 HAS SOUS 4991 HAS SOUPS 4483 WITH SCORE 4495.117
AT ITER 537 NEW BEST:: SOT 21195 SOS 12117 HAS SOPS 9477 HAS SOUS 4977 HAS SOUPS 4469 WITH SCORE 4481.117
AT ITER 540 NEW BEST:: SOT 21062 SOS 11978 HAS SOPS 9347 HAS SOUS 4927 HAS SOUPS 4419 WITH SCORE 4430.978
AT ITER 543 NEW BEST:: SOT 21043 SOS 11905 HAS SOPS 9070 HAS SOUS 4896 HAS SOUPS 4375 WITH SCORE 4386.905
AT ITER 549 NEW BEST:: SOT 20979 SOS 11857 HAS SOPS 9026 HAS SOUS 4877 HAS SOUPS 4356 WITH SCORE 4367.857
AT ITER 553 NEW BEST:: SOT 19876 SOS 11458 HAS SOPS 8784 HAS SOUS 4557 HAS SOUPS 4114 WITH SCORE 4125.458
AT ITER 556 NEW BEST:: SOT 19871 SOS 11453 HAS SOPS 8779 HAS SOUS 4552 HAS SOUPS 4109 WITH SCORE 4120.453
AT ITER 558 NEW BEST:: SOT 19959 SOS 11537 HAS SOPS 8785 HAS SOUS 4521 HAS SOUPS 4097 WITH SCORE 4108.537
AT ITER 562 NEW BEST:: SOT 19927 SOS 11569 HAS SOPS 8753 HAS SOUS 4509 HAS SOUPS 4069 WITH SCORE 4080.569
AT ITER 564 NEW BEST:: SOT 19919 SOS 11558 HAS SOPS 8667 HAS SOUS 4501 HAS SOUPS 4062 WITH SCORE 4073.558
AT ITER 566 NEW BEST:: SOT 19954 SOS 11552 HAS SOPS 8661 HAS SOUS 4477 HAS SOUPS 4038 WITH SCORE 4049.552
AT ITER 567 NEW BEST:: SOT 19954 SOS 11537 HAS SOPS 8651 HAS SOUS 4457 HAS SOUPS 4023 WITH SCORE 4034.537
AT ITER 570 NEW BEST:: SOT 19948 SOS 11543 HAS SOPS 8645 HAS SOUS 4457 HAS SOUPS 4020 WITH SCORE 4031.543
AT ITER 571 NEW BEST:: SOT 19995 SOS 11538 HAS SOPS 8654 HAS SOUS 4439 HAS SOUPS 4005 WITH SCORE 4016.538
AT ITER 587 NEW BEST:: SOT 19756 SOS 11402 HAS SOPS 8501 HAS SOUS 4427 HAS SOUPS 3973 WITH SCORE 3984.402
AT ITER 593 NEW BEST:: SOT 19754 SOS 11398 HAS SOPS 8497 HAS SOUS 4419 HAS SOUPS 3965 WITH SCORE 3976.398
AT ITER 597 NEW BEST:: SOT 19691 SOS 11320 HAS SOPS 8392 HAS SOUS 4391 HAS SOUPS 3931 WITH SCORE 3942.32
AT ITER 606 NEW BEST:: SOT 19693 SOS 11336 HAS SOPS 8384 HAS SOUS 4392 HAS SOUPS 3926 WITH SCORE 3937.336
AT ITER 630 NEW BEST:: SOT 19815 SOS 11349 HAS SOPS 8479 HAS SOUS 4391 HAS SOUPS 3925 WITH SCORE 3936.349
AT ITER 642 NEW BEST:: SOT 19811 SOS 11355 HAS SOPS 8471 HAS SOUS 4360 HAS SOUPS 3880 WITH SCORE 3891.355
AT ITER 692 NEW BEST:: SOT 19808 SOS 11352 HAS SOPS 8473 HAS SOUS 4351 HAS SOUPS 3874 WITH SCORE 3885.352
AT ITER 693 NEW BEST:: SOT 19631 SOS 11167 HAS SOPS 8288 HAS SOUS 4325 HAS SOUPS 3848 WITH SCORE 3859.167
AT ITER 697 NEW BEST:: SOT 19608 SOS 11144 HAS SOPS 8242 HAS SOUS 4266 HAS SOUPS 3802 WITH SCORE 3813.144
AT ITER 708 NEW BEST:: SOT 19606 SOS 11138 HAS SOPS 8236 HAS SOUS 4263 HAS SOUPS 3799 WITH SCORE 3810.138
AT ITER 717 NEW BEST:: SOT 19594 SOS 11132 HAS SOPS 8230 HAS SOUS 4257 HAS SOUPS 3793 WITH SCORE 3804.132
AT ITER 729 NEW BEST:: SOT 19564 SOS 11129 HAS SOPS 8227 HAS SOUS 4256 HAS SOUPS 3792 WITH SCORE 3803.129
AT ITER 749 NEW BEST:: SOT 19561 SOS 11147 HAS SOPS 8225 HAS SOUS 4229 HAS SOUPS 3765 WITH SCORE 3776.147
AT ITER 755 NEW BEST:: SOT 19545 SOS 11115 HAS SOPS 8193 HAS SOUS 4203 HAS SOUPS 3739 WITH SCORE 3750.115
AT ITER 759 NEW BEST:: SOT 19521 SOS 11091 HAS SOPS 8175 HAS SOUS 4194 HAS SOUPS 3736 WITH SCORE 3747.091
AT ITER 762 NEW BEST:: SOT 19496 SOS 11066 HAS SOPS 8150 HAS SOUS 4173 HAS SOUPS 3715 WITH SCORE 3726.066
AT ITER 785 NEW BEST:: SOT 19498 SOS 11068 HAS SOPS 8150 HAS SOUS 4169 HAS SOUPS 3711 WITH SCORE 3722.068
AT ITER 791 NEW BEST:: SOT 19453 SOS 11023 HAS SOPS 8096 HAS SOUS 4079 HAS SOUPS 3621 WITH SCORE 3632.023
AT ITER 793 NEW BEST:: SOT 19488 SOS 11058 HAS SOPS 8134 HAS SOUS 4072 HAS SOUPS 3614 WITH SCORE 3625.058
AT ITER 809 NEW BEST:: SOT 19420 SOS 11071 HAS SOPS 8115 HAS SOUS 4069 HAS SOUPS 3600 WITH SCORE 3611.071
AT ITER 813 NEW BEST:: SOT 19434 SOS 11078 HAS SOPS 8115 HAS SOUS 4055 HAS SOUPS 3586 WITH SCORE 3597.078
AT ITER 816 NEW BEST:: SOT 19447 SOS 11091 HAS SOPS 8121 HAS SOUS 4047 HAS SOUPS 3578 WITH SCORE 3589.091
AT ITER 818 NEW BEST:: SOT 19450 SOS 11102 HAS SOPS 8131 HAS SOUS 4029 HAS SOUPS 3563 WITH SCORE 3574.102
AT ITER 840 NEW BEST:: SOT 19460 SOS 11070 HAS SOPS 8135 HAS SOUS 4018 HAS SOUPS 3561 WITH SCORE 3572.07
AT ITER 844 NEW BEST:: SOT 19662 SOS 10950 HAS SOPS 8135 HAS SOUS 4058 HAS SOUPS 3556 WITH SCORE 3566.95
AT ITER 866 NEW BEST:: SOT 19652 SOS 10925 HAS SOPS 8110 HAS SOUS 4038 HAS SOUPS 3536 WITH SCORE 3546.925
AT ITER 882 NEW BEST:: SOT 19610 SOS 11044 HAS SOPS 8103 HAS SOUS 4031 HAS SOUPS 3533 WITH SCORE 3544.044
AT ITER 884 NEW BEST:: SOT 19241 SOS 11977 HAS SOPS 8082 HAS SOUS 4004 HAS SOUPS 3527 WITH SCORE 3538.977
AT ITER 902 NEW BEST:: SOT 19181 SOS 12564 HAS SOPS 8081 HAS SOUS 4015 HAS SOUPS 3526 WITH SCORE 3538.564
AT ITER 908 NEW BEST:: SOT 19184 SOS 12555 HAS SOPS 8069 HAS SOUS 4012 HAS SOUPS 3526 WITH SCORE 3538.555
AT ITER 923 NEW BEST:: SOT 19178 SOS 12549 HAS SOPS 8063 HAS SOUS 4006 HAS SOUPS 3520 WITH SCORE 3532.549
AT ITER 943 NEW BEST:: SOT 19178 SOS 12549 HAS SOPS 8061 HAS SOUS 4000 HAS SOUPS 3514 WITH SCORE 3526.549
AT ITER 965 NEW BEST:: SOT 19175 SOS 12546 HAS SOPS 8058 HAS SOUS 4000 HAS SOUPS 3514 WITH SCORE 3526.546
AT ITER 971 NEW BEST:: SOT 19187 SOS 12536 HAS SOPS 8052 HAS SOUS 4000 HAS SOUPS 3514 WITH SCORE 3526.536
AT ITER 1006 NEW BEST:: SOT 19183 SOS 12530 HAS SOPS 8047 HAS SOUS 3998 HAS SOUPS 3512 WITH SCORE 3524.53
AT ITER 1008 NEW BEST:: SOT 19183 SOS 12530 HAS SOPS 8042 HAS SOUS 3988 HAS SOUPS 3502 WITH SCORE 3514.53
AT ITER 1015 NEW BEST:: SOT 19184 SOS 12531 HAS SOPS 8043 HAS SOUS 3986 HAS SOUPS 3500 WITH SCORE 3512.531
AT ITER 1017 NEW BEST:: SOT 19181 SOS 12507 HAS SOPS 8029 HAS SOUS 3985 HAS SOUPS 3499 WITH SCORE 3511.507
AT ITER 1019 NEW BEST:: SOT 19182 SOS 12505 HAS SOPS 8027 HAS SOUS 3983 HAS SOUPS 3497 WITH SCORE 3509.505
AT ITER 1022 NEW BEST:: SOT 19181 SOS 12502 HAS SOPS 8025 HAS SOUS 3983 HAS SOUPS 3496 WITH SCORE 3508.502
AT ITER 1033 NEW BEST:: SOT 19343 SOS 12393 HAS SOPS 8266 HAS SOUS 3921 HAS SOUPS 3467 WITH SCORE 3479.393
AT ITER 1037 NEW BEST:: SOT 19348 SOS 12388 HAS SOPS 8258 HAS SOUS 3914 HAS SOUPS 3463 WITH SCORE 3475.388
AT ITER 1052 NEW BEST:: SOT 19314 SOS 12346 HAS SOPS 8236 HAS SOUS 3892 HAS SOUPS 3441 WITH SCORE 3453.346
AT ITER 1055 NEW BEST:: SOT 19307 SOS 12342 HAS SOPS 8232 HAS SOUS 3889 HAS SOUPS 3438 WITH SCORE 3450.342
AT ITER 1065 NEW BEST:: SOT 19305 SOS 12340 HAS SOPS 8230 HAS SOUS 3887 HAS SOUPS 3436 WITH SCORE 3448.34
AT ITER 1076 NEW BEST:: SOT 19271 SOS 12348 HAS SOPS 8212 HAS SOUS 3883 HAS SOUPS 3412 WITH SCORE 3424.348
AT ITER 1094 NEW BEST:: SOT 19276 SOS 12351 HAS SOPS 8212 HAS SOUS 3881 HAS SOUPS 3410 WITH SCORE 3422.351
AT ITER 1111 NEW BEST:: SOT 19098 SOS 12161 HAS SOPS 8096 HAS SOUS 3905 HAS SOUPS 3362 WITH SCORE 3374.161
AT ITER 1131 NEW BEST:: SOT 19098 SOS 12153 HAS SOPS 8088 HAS SOUS 3903 HAS SOUPS 3360 WITH SCORE 3372.153
AT ITER 1148 NEW BEST:: SOT 19094 SOS 12147 HAS SOPS 8078 HAS SOUS 3899 HAS SOUPS 3356 WITH SCORE 3368.147
AT ITER 1151 NEW BEST:: SOT 19093 SOS 12157 HAS SOPS 8085 HAS SOUS 3898 HAS SOUPS 3355 WITH SCORE 3367.157
AT ITER 1157 NEW BEST:: SOT 19063 SOS 12115 HAS SOPS 8043 HAS SOUS 3865 HAS SOUPS 3322 WITH SCORE 3334.115
AT ITER 1202 NEW BEST:: SOT 19135 SOS 12053 HAS SOPS 8043 HAS SOUS 3864 HAS SOUPS 3317 WITH SCORE 3329.053
AT ITER 1206 NEW BEST:: SOT 19111 SOS 12043 HAS SOPS 7919 HAS SOUS 3844 HAS SOUPS 3297 WITH SCORE 3309.043
AT ITER 1207 NEW BEST:: SOT 19088 SOS 12017 HAS SOPS 7908 HAS SOUS 3840 HAS SOUPS 3290 WITH SCORE 3302.017
AT ITER 1233 NEW BEST:: SOT 19074 SOS 12003 HAS SOPS 7880 HAS SOUS 3812 HAS SOUPS 3262 WITH SCORE 3274.003
AT ITER 1263 NEW BEST:: SOT 19074 SOS 11993 HAS SOPS 7860 HAS SOUS 3802 HAS SOUPS 3252 WITH SCORE 3263.993
AT ITER 1318 NEW BEST:: SOT 19071 SOS 11975 HAS SOPS 7844 HAS SOUS 3796 HAS SOUPS 3246 WITH SCORE 3257.975
AT ITER 1342 NEW BEST:: SOT 19014 SOS 12148 HAS SOPS 7839 HAS SOUS 3821 HAS SOUPS 3233 WITH SCORE 3245.148
AT ITER 1344 NEW BEST:: SOT 19199 SOS 12112 HAS SOPS 7839 HAS SOUS 3835 HAS SOUPS 3233 WITH SCORE 3245.112
AT ITER 1347 NEW BEST:: SOT 19195 SOS 12108 HAS SOPS 7831 HAS SOUS 3824 HAS SOUPS 3225 WITH SCORE 3237.108
AT ITER 1380 NEW BEST:: SOT 19195 SOS 12068 HAS SOPS 7791 HAS SOUS 3804 HAS SOUPS 3205 WITH SCORE 3217.068
AT ITER 1381 NEW BEST:: SOT 19165 SOS 12068 HAS SOPS 7771 HAS SOUS 3794 HAS SOUPS 3195 WITH SCORE 3207.068
AT ITER 1391 NEW BEST:: SOT 19169 SOS 12062 HAS SOPS 7789 HAS SOUS 3794 HAS SOUPS 3195 WITH SCORE 3207.062
AT ITER 1410 NEW BEST:: SOT 19176 SOS 12066 HAS SOPS 7789 HAS SOUS 3785 HAS SOUPS 3186 WITH SCORE 3198.066
AT ITER 1411 NEW BEST:: SOT 19160 SOS 12029 HAS SOPS 7752 HAS SOUS 3762 HAS SOUPS 3163 WITH SCORE 3175.029
AT ITER 1416 NEW BEST:: SOT 19120 SOS 12096 HAS SOPS 7736 HAS SOUS 3783 HAS SOUPS 3149 WITH SCORE 3161.096
AT ITER 1420 NEW BEST:: SOT 19117 SOS 12101 HAS SOPS 7736 HAS SOUS 3784 HAS SOUPS 3148 WITH SCORE 3160.101
AT ITER 1431 NEW BEST:: SOT 19064 SOS 12067 HAS SOPS 7702 HAS SOUS 3750 HAS SOUPS 3114 WITH SCORE 3126.067
AT ITER 1436 NEW BEST:: SOT 19050 SOS 12042 HAS SOPS 7677 HAS SOUS 3737 HAS SOUPS 3101 WITH SCORE 3113.042
AT ITER 1448 NEW BEST:: SOT 19038 SOS 12018 HAS SOPS 7653 HAS SOUS 3725 HAS SOUPS 3089 WITH SCORE 3101.018
AT ITER 1457 NEW BEST:: SOT 19037 SOS 12017 HAS SOPS 7652 HAS SOUS 3724 HAS SOUPS 3088 WITH SCORE 3100.017
AT ITER 1466 NEW BEST:: SOT 19029 SOS 12039 HAS SOPS 7659 HAS SOUS 3718 HAS SOUPS 3082 WITH SCORE 3094.039
AT ITER 1473 NEW BEST:: SOT 19029 SOS 12037 HAS SOPS 7659 HAS SOUS 3720 HAS SOUPS 3082 WITH SCORE 3094.037
AT ITER 1486 NEW BEST:: SOT 19014 SOS 11980 HAS SOPS 7602 HAS SOUS 3711 HAS SOUPS 3073 WITH SCORE 3084.98
AT ITER 1488 NEW BEST:: SOT 19013 SOS 11992 HAS SOPS 7601 HAS SOUS 3702 HAS SOUPS 3064 WITH SCORE 3075.992
AT ITER 1561 NEW BEST:: SOT 19013 SOS 11965 HAS SOPS 7597 HAS SOUS 3698 HAS SOUPS 3064 WITH SCORE 3075.965
AT ITER 1567 NEW BEST:: SOT 19014 SOS 11968 HAS SOPS 7599 HAS SOUS 3697 HAS SOUPS 3063 WITH SCORE 3074.968
AT ITER 1590 NEW BEST:: SOT 19008 SOS 11956 HAS SOPS 7590 HAS SOUS 3694 HAS SOUPS 3063 WITH SCORE 3074.956
AT ITER 1603 NEW BEST:: SOT 19030 SOS 11950 HAS SOPS 7588 HAS SOUS 3693 HAS SOUPS 3062 WITH SCORE 3073.95
AT ITER 1611 NEW BEST:: SOT 19023 SOS 11948 HAS SOPS 7586 HAS SOUS 3692 HAS SOUPS 3061 WITH SCORE 3072.948
AT ITER 1617 NEW BEST:: SOT 19023 SOS 11927 HAS SOPS 7602 HAS SOUS 3674 HAS SOUPS 3059 WITH SCORE 3070.927
AT ITER 1640 NEW BEST:: SOT 19023 SOS 11925 HAS SOPS 7604 HAS SOUS 3672 HAS SOUPS 3057 WITH SCORE 3068.925
AT ITER 1714 NEW BEST:: SOT 18640 SOS 12292 HAS SOPS 7613 HAS SOUS 3659 HAS SOUPS 3053 WITH SCORE 3065.292
AT ITER 1719 NEW BEST:: SOT 18630 SOS 12282 HAS SOPS 7603 HAS SOUS 3655 HAS SOUPS 3049 WITH SCORE 3061.282
AT ITER 1753 NEW BEST:: SOT 18622 SOS 12268 HAS SOPS 7591 HAS SOUS 3647 HAS SOUPS 3041 WITH SCORE 3053.268
AT ITER 1758 NEW BEST:: SOT 18617 SOS 12264 HAS SOPS 7586 HAS SOUS 3645 HAS SOUPS 3039 WITH SCORE 3051.264
AT ITER 1759 NEW BEST:: SOT 18614 SOS 12258 HAS SOPS 7580 HAS SOUS 3642 HAS SOUPS 3036 WITH SCORE 3048.258
AT ITER 1783 NEW BEST:: SOT 18618 SOS 12257 HAS SOPS 7576 HAS SOUS 3637 HAS SOUPS 3031 WITH SCORE 3043.257
AT ITER 1791 NEW BEST:: SOT 18678 SOS 12232 HAS SOPS 7576 HAS SOUS 3640 HAS SOUPS 3031 WITH SCORE 3043.232
AT ITER 1792 NEW BEST:: SOT 18687 SOS 12145 HAS SOPS 7576 HAS SOUS 3640 HAS SOUPS 3028 WITH SCORE 3040.145
AT ITER 1795 NEW BEST:: SOT 18680 SOS 12121 HAS SOPS 7552 HAS SOUS 3636 HAS SOUPS 3024 WITH SCORE 3036.121
AT ITER 1809 NEW BEST:: SOT 18680 SOS 12106 HAS SOPS 7542 HAS SOUS 3631 HAS SOUPS 3019 WITH SCORE 3031.106
AT ITER 1814 NEW BEST:: SOT 18684 SOS 12106 HAS SOPS 7542 HAS SOUS 3627 HAS SOUPS 3015 WITH SCORE 3027.106
AT ITER 1827 NEW BEST:: SOT 18654 SOS 12071 HAS SOPS 7527 HAS SOUS 3631 HAS SOUPS 3010 WITH SCORE 3022.071
AT ITER 1832 NEW BEST:: SOT 18666 SOS 12075 HAS SOPS 7519 HAS SOUS 3619 HAS SOUPS 3006 WITH SCORE 3018.075
AT ITER 1833 NEW BEST:: SOT 18687 SOS 12073 HAS SOPS 7517 HAS SOUS 3617 HAS SOUPS 3004 WITH SCORE 3016.073
AT ITER 1920 NEW BEST:: SOT 18685 SOS 12071 HAS SOPS 7515 HAS SOUS 3614 HAS SOUPS 3001 WITH SCORE 3013.071
AT ITER 1921 NEW BEST:: SOT 18651 SOS 12023 HAS SOPS 7481 HAS SOUS 3605 HAS SOUPS 2978 WITH SCORE 2990.023
AT ITER 1952 NEW BEST:: SOT 18645 SOS 11990 HAS SOPS 7442 HAS SOUS 3566 HAS SOUPS 2948 WITH SCORE 2959.99
AT ITER 2061 NEW BEST:: SOT 18646 SOS 11988 HAS SOPS 7438 HAS SOUS 3564 HAS SOUPS 2946 WITH SCORE 2957.988
AT ITER 2093 NEW BEST:: SOT 18656 SOS 11972 HAS SOPS 7422 HAS SOUS 3560 HAS SOUPS 2942 WITH SCORE 2953.972
AT ITER 2096 NEW BEST:: SOT 18627 SOS 11943 HAS SOPS 7391 HAS SOUS 3560 HAS SOUPS 2942 WITH SCORE 2953.943
AT ITER 2134 NEW BEST:: SOT 18610 SOS 11926 HAS SOPS 7374 HAS SOUS 3560 HAS SOUPS 2942 WITH SCORE 2953.926
AT ITER 2165 NEW BEST:: SOT 18613 SOS 11935 HAS SOPS 7380 HAS SOUS 3557 HAS SOUPS 2939 WITH SCORE 2950.935
AT ITER 2194 NEW BEST:: SOT 18613 SOS 11935 HAS SOPS 7372 HAS SOUS 3547 HAS SOUPS 2934 WITH SCORE 2945.935
AT ITER 2206 NEW BEST:: SOT 18614 SOS 11912 HAS SOPS 7360 HAS SOUS 3542 HAS SOUPS 2929 WITH SCORE 2940.912
AT ITER 2227 NEW BEST:: SOT 18598 SOS 11915 HAS SOPS 7197 HAS SOUS 3542 HAS SOUPS 2919 WITH SCORE 2930.915
AT ITER 2231 NEW BEST:: SOT 18602 SOS 11908 HAS SOPS 7190 HAS SOUS 3540 HAS SOUPS 2917 WITH SCORE 2928.908
AT ITER 2237 NEW BEST:: SOT 18601 SOS 11908 HAS SOPS 7189 HAS SOUS 3539 HAS SOUPS 2916 WITH SCORE 2927.908
AT ITER 2299 NEW BEST:: SOT 18391 SOS 11698 HAS SOPS 6986 HAS SOUS 3537 HAS SOUPS 2914 WITH SCORE 2925.698
AT ITER 2362 NEW BEST:: SOT 18394 SOS 11695 HAS SOPS 6986 HAS SOUS 3531 HAS SOUPS 2911 WITH SCORE 2922.695
AT ITER 2377 NEW BEST:: SOT 18394 SOS 11683 HAS SOPS 6974 HAS SOUS 3525 HAS SOUPS 2905 WITH SCORE 2916.683
AT ITER 2383 NEW BEST:: SOT 18396 SOS 11684 HAS SOPS 6972 HAS SOUS 3524 HAS SOUPS 2904 WITH SCORE 2915.684
AT ITER 2384 NEW BEST:: SOT 18397 SOS 11686 HAS SOPS 6973 HAS SOUS 3522 HAS SOUPS 2902 WITH SCORE 2913.686
AT ITER 2396 NEW BEST:: SOT 18397 SOS 11682 HAS SOPS 6971 HAS SOUS 3522 HAS SOUPS 2902 WITH SCORE 2913.682
AT ITER 2407 NEW BEST:: SOT 18402 SOS 11680 HAS SOPS 6971 HAS SOUS 3522 HAS SOUPS 2902 WITH SCORE 2913.68
AT ITER 2424 NEW BEST:: SOT 18347 SOS 11722 HAS SOPS 6957 HAS SOUS 3533 HAS SOUPS 2897 WITH SCORE 2908.722
AT ITER 2437 NEW BEST:: SOT 18376 SOS 11757 HAS SOPS 6990 HAS SOUS 3526 HAS SOUPS 2890 WITH SCORE 2901.757
AT ITER 2458 NEW BEST:: SOT 18382 SOS 11760 HAS SOPS 6990 HAS SOUS 3522 HAS SOUPS 2889 WITH SCORE 2900.76
AT ITER 2470 NEW BEST:: SOT 18368 SOS 11732 HAS SOPS 6969 HAS SOUS 3515 HAS SOUPS 2882 WITH SCORE 2893.732
AT ITER 2471 NEW BEST:: SOT 18380 SOS 11744 HAS SOPS 6993 HAS SOUS 3490 HAS SOUPS 2880 WITH SCORE 2891.744
AT ITER 2491 NEW BEST:: SOT 18378 SOS 11737 HAS SOPS 6986 HAS SOUS 3484 HAS SOUPS 2874 WITH SCORE 2885.737
AT ITER 2497 NEW BEST:: SOT 18378 SOS 11737 HAS SOPS 6986 HAS SOUS 3483 HAS SOUPS 2873 WITH SCORE 2884.737
AT ITER 2508 NEW BEST:: SOT 18492 SOS 11881 HAS SOPS 7130 HAS SOUS 3470 HAS SOUPS 2860 WITH SCORE 2871.881
AT ITER 2564 NEW BEST:: SOT 18491 SOS 11880 HAS SOPS 7135 HAS SOUS 3470 HAS SOUPS 2860 WITH SCORE 2871.88
AT ITER 2570 NEW BEST:: SOT 18491 SOS 11878 HAS SOPS 7137 HAS SOUS 3470 HAS SOUPS 2860 WITH SCORE 2871.878
AT ITER 2592 NEW BEST:: SOT 18491 SOS 11874 HAS SOPS 7133 HAS SOUS 3469 HAS SOUPS 2859 WITH SCORE 2870.874
AT ITER 2600 NEW BEST:: SOT 18484 SOS 11869 HAS SOPS 7125 HAS SOUS 3468 HAS SOUPS 2858 WITH SCORE 2869.869
AT ITER 2620 NEW BEST:: SOT 18494 SOS 11875 HAS SOPS 7131 HAS SOUS 3466 HAS SOUPS 2856 WITH SCORE 2867.875
AT ITER 2688 NEW BEST:: SOT 18488 SOS 11869 HAS SOPS 7125 HAS SOUS 3462 HAS SOUPS 2852 WITH SCORE 2863.869
AT ITER 2709 NEW BEST:: SOT 18496 SOS 11871 HAS SOPS 7139 HAS SOUS 3458 HAS SOUPS 2850 WITH SCORE 2861.871
AT ITER 2732 NEW BEST:: SOT 18494 SOS 11870 HAS SOPS 7137 HAS SOUS 3457 HAS SOUPS 2848 WITH SCORE 2859.87
AT ITER 2752 NEW BEST:: SOT 18510 SOS 11882 HAS SOPS 7153 HAS SOUS 3453 HAS SOUPS 2844 WITH SCORE 2855.882
AT ITER 2760 NEW BEST:: SOT 18509 SOS 11880 HAS SOPS 7151 HAS SOUS 3452 HAS SOUPS 2843 WITH SCORE 2854.88
AT ITER 2840 NEW BEST:: SOT 18509 SOS 11877 HAS SOPS 7149 HAS SOUS 3452 HAS SOUPS 2843 WITH SCORE 2854.877
AT ITER 2847 NEW BEST:: SOT 18526 SOS 11883 HAS SOPS 7149 HAS SOUS 3446 HAS SOUPS 2837 WITH SCORE 2848.883
AT ITER 2860 NEW BEST:: SOT 18524 SOS 11899 HAS SOPS 7145 HAS SOUS 3444 HAS SOUPS 2835 WITH SCORE 2846.899
AT ITER 2861 NEW BEST:: SOT 18489 SOS 11888 HAS SOPS 7131 HAS SOUS 3439 HAS SOUPS 2829 WITH SCORE 2840.888
AT ITER 2880 NEW BEST:: SOT 18485 SOS 11882 HAS SOPS 7124 HAS SOUS 3436 HAS SOUPS 2826 WITH SCORE 2837.882
AT ITER 2911 NEW BEST:: SOT 18485 SOS 11880 HAS SOPS 7122 HAS SOUS 3436 HAS SOUPS 2826 WITH SCORE 2837.88
AT ITER 2923 NEW BEST:: SOT 18481 SOS 11876 HAS SOPS 7115 HAS SOUS 3432 HAS SOUPS 2822 WITH SCORE 2833.876
AT ITER 2935 NEW BEST:: SOT 18481 SOS 11870 HAS SOPS 7111 HAS SOUS 3429 HAS SOUPS 2820 WITH SCORE 2831.87
AT ITER 2985 NEW BEST:: SOT 18481 SOS 11874 HAS SOPS 7115 HAS SOUS 3427 HAS SOUPS 2818 WITH SCORE 2829.874
AT ITER 2991 NEW BEST:: SOT 18481 SOS 11873 HAS SOPS 7114 HAS SOUS 3427 HAS SOUPS 2818 WITH SCORE 2829.873
AT ITER 3024 NEW BEST:: SOT 18478 SOS 11859 HAS SOPS 7183 HAS SOUS 3415 HAS SOUPS 2811 WITH SCORE 2822.859
AT ITER 3043 NEW BEST:: SOT 18494 SOS 11867 HAS SOPS 7199 HAS SOUS 3407 HAS SOUPS 2807 WITH SCORE 2818.867
AT ITER 3055 NEW BEST:: SOT 18480 SOS 11857 HAS SOPS 7198 HAS SOUS 3411 HAS SOUPS 2807 WITH SCORE 2818.857
AT ITER 3088 NEW BEST:: SOT 18443 SOS 11843 HAS SOPS 7187 HAS SOUS 3399 HAS SOUPS 2795 WITH SCORE 2806.843
AT ITER 3107 NEW BEST:: SOT 18429 SOS 11818 HAS SOPS 7166 HAS SOUS 3383 HAS SOUPS 2779 WITH SCORE 2790.818
AT ITER 3112 NEW BEST:: SOT 18436 SOS 11825 HAS SOPS 7165 HAS SOUS 3382 HAS SOUPS 2778 WITH SCORE 2789.825
AT ITER 3167 NEW BEST:: SOT 18435 SOS 11824 HAS SOPS 7165 HAS SOUS 3382 HAS SOUPS 2778 WITH SCORE 2789.824
AT ITER 3263 NEW BEST:: SOT 18316 SOS 12110 HAS SOPS 7161 HAS SOUS 3387 HAS SOUPS 2774 WITH SCORE 2786.11
AT ITER 3271 NEW BEST:: SOT 18311 SOS 12109 HAS SOPS 7142 HAS SOUS 3385 HAS SOUPS 2772 WITH SCORE 2784.109
AT ITER 3274 NEW BEST:: SOT 18312 SOS 12107 HAS SOPS 7142 HAS SOUS 3385 HAS SOUPS 2772 WITH SCORE 2784.107
AT ITER 3330 NEW BEST:: SOT 18313 SOS 12109 HAS SOPS 7140 HAS SOUS 3383 HAS SOUPS 2771 WITH SCORE 2783.109
AT ITER 3346 NEW BEST:: SOT 18306 SOS 12102 HAS SOPS 7139 HAS SOUS 3382 HAS SOUPS 2770 WITH SCORE 2782.102
AT ITER 3373 NEW BEST:: SOT 18281 SOS 12082 HAS SOPS 7113 HAS SOUS 3382 HAS SOUPS 2770 WITH SCORE 2782.082
AT ITER 3377 NEW BEST:: SOT 18278 SOS 12073 HAS SOPS 7107 HAS SOUS 3379 HAS SOUPS 2767 WITH SCORE 2779.073
AT ITER 3521 NEW BEST:: SOT 18280 SOS 12073 HAS SOPS 7107 HAS SOUS 3377 HAS SOUPS 2765 WITH SCORE 2777.073
AT ITER 3549 NEW BEST:: SOT 18277 SOS 12071 HAS SOPS 7020 HAS SOUS 3375 HAS SOUPS 2758 WITH SCORE 2770.071
AT ITER 3572 NEW BEST:: SOT 18268 SOS 12041 HAS SOPS 6993 HAS SOUS 3363 HAS SOUPS 2746 WITH SCORE 2758.041
AT ITER 3573 NEW BEST:: SOT 18256 SOS 12023 HAS SOPS 6981 HAS SOUS 3357 HAS SOUPS 2740 WITH SCORE 2752.023
AT ITER 3673 NEW BEST:: SOT 18253 SOS 12021 HAS SOPS 6979 HAS SOUS 3356 HAS SOUPS 2739 WITH SCORE 2751.021
AT ITER 3768 NEW BEST:: SOT 18247 SOS 12030 HAS SOPS 6978 HAS SOUS 3355 HAS SOUPS 2738 WITH SCORE 2750.03
AT ITER 3818 NEW BEST:: SOT 18245 SOS 12026 HAS SOPS 6974 HAS SOUS 3355 HAS SOUPS 2738 WITH SCORE 2750.026
AT ITER 3828 NEW BEST:: SOT 18236 SOS 12018 HAS SOPS 6966 HAS SOUS 3352 HAS SOUPS 2737 WITH SCORE 2749.018
AT ITER 3863 NEW BEST:: SOT 18231 SOS 11992 HAS SOPS 6944 HAS SOUS 3345 HAS SOUPS 2730 WITH SCORE 2741.992
AT ITER 3903 NEW BEST:: SOT 18227 SOS 11988 HAS SOPS 6964 HAS SOUS 3345 HAS SOUPS 2730 WITH SCORE 2741.988
AT ITER 3908 NEW BEST:: SOT 18227 SOS 11984 HAS SOPS 6962 HAS SOUS 3345 HAS SOUPS 2730 WITH SCORE 2741.984
AT ITER 3924 NEW BEST:: SOT 18177 SOS 11936 HAS SOPS 6927 HAS SOUS 3338 HAS SOUPS 2723 WITH SCORE 2734.936
AT ITER 3946 NEW BEST:: SOT 18203 SOS 11963 HAS SOPS 6934 HAS SOUS 3332 HAS SOUPS 2720 WITH SCORE 2731.963
AT ITER 3961 NEW BEST:: SOT 18253 SOS 12013 HAS SOPS 6983 HAS SOUS 3321 HAS SOUPS 2709 WITH SCORE 2721.013
AT ITER 3992 NEW BEST:: SOT 18326 SOS 11829 HAS SOPS 6985 HAS SOUS 3311 HAS SOUPS 2705 WITH SCORE 2716.829
AT ITER 3993 NEW BEST:: SOT 18339 SOS 11831 HAS SOPS 6987 HAS SOUS 3310 HAS SOUPS 2704 WITH SCORE 2715.831
AT ITER 4005 NEW BEST:: SOT 18355 SOS 11844 HAS SOPS 6999 HAS SOUS 3304 HAS SOUPS 2698 WITH SCORE 2709.844
AT ITER 4023 NEW BEST:: SOT 18354 SOS 11843 HAS SOPS 6999 HAS SOUS 3304 HAS SOUPS 2698 WITH SCORE 2709.843
AT ITER 4027 NEW BEST:: SOT 18299 SOS 11968 HAS SOPS 6993 HAS SOUS 3302 HAS SOUPS 2692 WITH SCORE 2703.968
AT ITER 4091 NEW BEST:: SOT 18297 SOS 11964 HAS SOPS 6990 HAS SOUS 3302 HAS SOUPS 2692 WITH SCORE 2703.964
AT ITER 4107 NEW BEST:: SOT 18296 SOS 11963 HAS SOPS 6988 HAS SOUS 3300 HAS SOUPS 2690 WITH SCORE 2701.963
AT ITER 4179 NEW BEST:: SOT 18293 SOS 11960 HAS SOPS 6985 HAS SOUS 3300 HAS SOUPS 2690 WITH SCORE 2701.96
AT ITER 4182 NEW BEST:: SOT 18289 SOS 11957 HAS SOPS 6982 HAS SOUS 3297 HAS SOUPS 2687 WITH SCORE 2698.957
AT ITER 4211 NEW BEST:: SOT 18287 SOS 11956 HAS SOPS 6981 HAS SOUS 3295 HAS SOUPS 2685 WITH SCORE 2696.956
AT ITER 4278 NEW BEST:: SOT 18287 SOS 11952 HAS SOPS 6983 HAS SOUS 3292 HAS SOUPS 2683 WITH SCORE 2694.952
AT ITER 4280 NEW BEST:: SOT 18282 SOS 11948 HAS SOPS 6978 HAS SOUS 3290 HAS SOUPS 2681 WITH SCORE 2692.948
AT ITER 4302 NEW BEST:: SOT 18255 SOS 11921 HAS SOPS 6906 HAS SOUS 3281 HAS SOUPS 2663 WITH SCORE 2674.921
AT ITER 4322 NEW BEST:: SOT 18247 SOS 11913 HAS SOPS 6890 HAS SOUS 3300 HAS SOUPS 2663 WITH SCORE 2674.913
AT ITER 4376 NEW BEST:: SOT 18247 SOS 11909 HAS SOPS 6887 HAS SOUS 3300 HAS SOUPS 2663 WITH SCORE 2674.909
AT ITER 4406 NEW BEST:: SOT 18253 SOS 11906 HAS SOPS 6884 HAS SOUS 3298 HAS SOUPS 2661 WITH SCORE 2672.906
AT ITER 4442 NEW BEST:: SOT 18242 SOS 11902 HAS SOPS 6880 HAS SOUS 3295 HAS SOUPS 2658 WITH SCORE 2669.902
AT ITER 4535 NEW BEST:: SOT 18245 SOS 11893 HAS SOPS 6881 HAS SOUS 3289 HAS SOUPS 2657 WITH SCORE 2668.893
AT ITER 4584 NEW BEST:: SOT 18196 SOS 11844 HAS SOPS 6833 HAS SOUS 3279 HAS SOUPS 2647 WITH SCORE 2658.844
AT ITER 4588 NEW BEST:: SOT 18184 SOS 11836 HAS SOPS 6831 HAS SOUS 3279 HAS SOUPS 2645 WITH SCORE 2656.836
AT ITER 4618 NEW BEST:: SOT 18184 SOS 11838 HAS SOPS 6833 HAS SOUS 3278 HAS SOUPS 2644 WITH SCORE 2655.838
AT ITER 4847 NEW BEST:: SOT 18181 SOS 11836 HAS SOPS 6831 HAS SOUS 3278 HAS SOUPS 2643 WITH SCORE 2654.836
AT ITER 5024 NEW BEST:: SOT 18183 SOS 11808 HAS SOPS 6803 HAS SOUS 3264 HAS SOUPS 2629 WITH SCORE 2640.808
AT ITER 5027 NEW BEST:: SOT 18184 SOS 11806 HAS SOPS 6801 HAS SOUS 3262 HAS SOUPS 2627 WITH SCORE 2638.806
AT ITER 5123 NEW BEST:: SOT 18201 SOS 11815 HAS SOPS 6802 HAS SOUS 3256 HAS SOUPS 2621 WITH SCORE 2632.815
AT ITER 5143 NEW BEST:: SOT 18197 SOS 11815 HAS SOPS 6794 HAS SOUS 3252 HAS SOUPS 2617 WITH SCORE 2628.815
AT ITER 5228 NEW BEST:: SOT 18201 SOS 11818 HAS SOPS 6798 HAS SOUS 3251 HAS SOUPS 2616 WITH SCORE 2627.818
AT ITER 5266 NEW BEST:: SOT 18180 SOS 11800 HAS SOPS 6784 HAS SOUS 3245 HAS SOUPS 2607 WITH SCORE 2618.8
AT ITER 5414 NEW BEST:: SOT 18089 SOS 11780 HAS SOPS 6783 HAS SOUS 3260 HAS SOUPS 2607 WITH SCORE 2618.78
AT ITER 5418 NEW BEST:: SOT 17963 SOS 11759 HAS SOPS 6783 HAS SOUS 3290 HAS SOUPS 2607 WITH SCORE 2618.759
AT ITER 5464 NEW BEST:: SOT 17982 SOS 11749 HAS SOPS 6773 HAS SOUS 3281 HAS SOUPS 2598 WITH SCORE 2609.749
AT ITER 5534 NEW BEST:: SOT 17993 SOS 11755 HAS SOPS 6775 HAS SOUS 3275 HAS SOUPS 2592 WITH SCORE 2603.755
AT ITER 5562 NEW BEST:: SOT 18002 SOS 11753 HAS SOPS 6773 HAS SOUS 3271 HAS SOUPS 2588 WITH SCORE 2599.753
AT ITER 5612 NEW BEST:: SOT 18000 SOS 11747 HAS SOPS 6779 HAS SOUS 3267 HAS SOUPS 2586 WITH SCORE 2597.747
AT ITER 5676 NEW BEST:: SOT 17940 SOS 11737 HAS SOPS 6779 HAS SOUS 3287 HAS SOUPS 2586 WITH SCORE 2597.737
AT ITER 5681 NEW BEST:: SOT 17910 SOS 11717 HAS SOPS 6749 HAS SOUS 3284 HAS SOUPS 2578 WITH SCORE 2589.717
AT ITER 5756 NEW BEST:: SOT 17914 SOS 11728 HAS SOPS 6757 HAS SOUS 3283 HAS SOUPS 2577 WITH SCORE 2588.728
AT ITER 5764 NEW BEST:: SOT 17912 SOS 11726 HAS SOPS 6757 HAS SOUS 3283 HAS SOUPS 2577 WITH SCORE 2588.726
AT ITER 5843 NEW BEST:: SOT 17921 SOS 11730 HAS SOPS 6761 HAS SOUS 3278 HAS SOUPS 2572 WITH SCORE 2583.73
AT ITER 5852 NEW BEST:: SOT 17909 SOS 11718 HAS SOPS 6749 HAS SOUS 3266 HAS SOUPS 2560 WITH SCORE 2571.718
AT ITER 5854 NEW BEST:: SOT 17942 SOS 11744 HAS SOPS 6765 HAS SOUS 3264 HAS SOUPS 2558 WITH SCORE 2569.744
AT ITER 5855 NEW BEST:: SOT 17944 SOS 11744 HAS SOPS 6765 HAS SOUS 3263 HAS SOUPS 2557 WITH SCORE 2568.744
AT ITER 6047 NEW BEST:: SOT 17945 SOS 11743 HAS SOPS 6764 HAS SOUS 3262 HAS SOUPS 2556 WITH SCORE 2567.743
AT ITER 6055 NEW BEST:: SOT 17944 SOS 11741 HAS SOPS 6762 HAS SOUS 3262 HAS SOUPS 2556 WITH SCORE 2567.741
AT ITER 6247 NEW BEST:: SOT 17939 SOS 11739 HAS SOPS 6675 HAS SOUS 3262 HAS SOUPS 2551 WITH SCORE 2562.739
AT ITER 6266 NEW BEST:: SOT 17950 SOS 11753 HAS SOPS 6690 HAS SOUS 3258 HAS SOUPS 2549 WITH SCORE 2560.753
AT ITER 6322 NEW BEST:: SOT 17948 SOS 11749 HAS SOPS 6688 HAS SOUS 3256 HAS SOUPS 2547 WITH SCORE 2558.749
AT ITER 6361 NEW BEST:: SOT 17953 SOS 11750 HAS SOPS 6689 HAS SOUS 3253 HAS SOUPS 2544 WITH SCORE 2555.75
AT ITER 6362 NEW BEST:: SOT 17950 SOS 11758 HAS SOPS 6451 HAS SOUS 3261 HAS SOUPS 2534 WITH SCORE 2545.758
AT ITER 6377 NEW BEST:: SOT 17966 SOS 11769 HAS SOPS 6458 HAS SOUS 3247 HAS SOUPS 2521 WITH SCORE 2532.769
AT ITER 6392 NEW BEST:: SOT 17964 SOS 11769 HAS SOPS 6462 HAS SOUS 3246 HAS SOUPS 2520 WITH SCORE 2531.769
AT ITER 6462 NEW BEST:: SOT 17960 SOS 11749 HAS SOPS 6462 HAS SOUS 3247 HAS SOUPS 2520 WITH SCORE 2531.749
AT ITER 6463 NEW BEST:: SOT 17961 SOS 11746 HAS SOPS 6459 HAS SOUS 3245 HAS SOUPS 2518 WITH SCORE 2529.746
AT ITER 6516 NEW BEST:: SOT 17962 SOS 11741 HAS SOPS 6453 HAS SOUS 3243 HAS SOUPS 2517 WITH SCORE 2528.741
AT ITER 6570 NEW BEST:: SOT 17964 SOS 11733 HAS SOPS 6453 HAS SOUS 3243 HAS SOUPS 2517 WITH SCORE 2528.733
AT ITER 6671 NEW BEST:: SOT 17960 SOS 11726 HAS SOPS 6444 HAS SOUS 3239 HAS SOUPS 2512 WITH SCORE 2523.726
AT ITER 6918 NEW BEST:: SOT 17957 SOS 11720 HAS SOPS 6440 HAS SOUS 3238 HAS SOUPS 2511 WITH SCORE 2522.72
AT ITER 7085 NEW BEST:: SOT 17957 SOS 11719 HAS SOPS 6443 HAS SOUS 3236 HAS SOUPS 2510 WITH SCORE 2521.719
AT ITER 7098 NEW BEST:: SOT 17949 SOS 11711 HAS SOPS 6437 HAS SOUS 3233 HAS SOUPS 2508 WITH SCORE 2519.711
AT ITER 7137 NEW BEST:: SOT 17934 SOS 11702 HAS SOPS 6182 HAS SOUS 3221 HAS SOUPS 2474 WITH SCORE 2485.702
AT ITER 7190 NEW BEST:: SOT 17929 SOS 11701 HAS SOPS 6181 HAS SOUS 3222 HAS SOUPS 2474 WITH SCORE 2485.701
AT ITER 7243 NEW BEST:: SOT 17927 SOS 11697 HAS SOPS 6178 HAS SOUS 3221 HAS SOUPS 2473 WITH SCORE 2484.697
AT ITER 7338 NEW BEST:: SOT 17928 SOS 11698 HAS SOPS 6176 HAS SOUS 3217 HAS SOUPS 2469 WITH SCORE 2480.698
AT ITER 7469 NEW BEST:: SOT 17902 SOS 11685 HAS SOPS 6098 HAS SOUS 3223 HAS SOUPS 2467 WITH SCORE 2478.685
AT ITER 7686 NEW BEST:: SOT 17901 SOS 11680 HAS SOPS 6094 HAS SOUS 3223 HAS SOUPS 2467 WITH SCORE 2478.68
AT ITER 7903 NEW BEST:: SOT 17902 SOS 11677 HAS SOPS 6092 HAS SOUS 3218 HAS SOUPS 2462 WITH SCORE 2473.677
AT ITER 7906 NEW BEST:: SOT 17904 SOS 11676 HAS SOPS 6092 HAS SOUS 3218 HAS SOUPS 2462 WITH SCORE 2473.676
AT ITER 7913 NEW BEST:: SOT 17903 SOS 11675 HAS SOPS 6090 HAS SOUS 3216 HAS SOUPS 2460 WITH SCORE 2471.675
AT ITER 8044 NEW BEST:: SOT 17901 SOS 11672 HAS SOPS 6087 HAS SOUS 3213 HAS SOUPS 2457 WITH SCORE 2468.672
AT ITER 8301 NEW BEST:: SOT 17887 SOS 11664 HAS SOPS 6079 HAS SOUS 3213 HAS SOUPS 2457 WITH SCORE 2468.664
AT ITER 8533 NEW BEST:: SOT 17886 SOS 11663 HAS SOPS 6077 HAS SOUS 3212 HAS SOUPS 2455 WITH SCORE 2466.663
AT ITER 8635 NEW BEST:: SOT 17883 SOS 11645 HAS SOPS 6062 HAS SOUS 3205 HAS SOUPS 2448 WITH SCORE 2459.645
AT ITER 8643 NEW BEST:: SOT 17884 SOS 11642 HAS SOPS 6059 HAS SOUS 3205 HAS SOUPS 2448 WITH SCORE 2459.642
AT ITER 8721 NEW BEST:: SOT 17889 SOS 11643 HAS SOPS 6058 HAS SOUS 3204 HAS SOUPS 2447 WITH SCORE 2458.643
AT ITER 8861 NEW BEST:: SOT 17888 SOS 11642 HAS SOPS 6061 HAS SOUS 3201 HAS SOUPS 2445 WITH SCORE 2456.642
AT ITER 8862 NEW BEST:: SOT 17892 SOS 11645 HAS SOPS 5982 HAS SOUS 3202 HAS SOUPS 2438 WITH SCORE 2449.645
AT ITER 8903 NEW BEST:: SOT 17887 SOS 11647 HAS SOPS 5983 HAS SOUS 3196 HAS SOUPS 2435 WITH SCORE 2446.647
AT ITER 8956 NEW BEST:: SOT 17872 SOS 11638 HAS SOPS 5971 HAS SOUS 3193 HAS SOUPS 2432 WITH SCORE 2443.638
AT ITER 8963 NEW BEST:: SOT 17836 SOS 11734 HAS SOPS 5971 HAS SOUS 3192 HAS SOUPS 2431 WITH SCORE 2442.734
AT ITER 9176 NEW BEST:: SOT 17835 SOS 11728 HAS SOPS 5964 HAS SOUS 3190 HAS SOUPS 2429 WITH SCORE 2440.728
AT ITER 9600 NEW BEST:: SOT 17832 SOS 11737 HAS SOPS 5647 HAS SOUS 3187 HAS SOUPS 2394 WITH SCORE 2405.737
AT ITER 9696 NEW BEST:: SOT 17831 SOS 11734 HAS SOPS 5645 HAS SOUS 3187 HAS SOUPS 2393 WITH SCORE 2404.734
AT ITER 9941 NEW BEST:: SOT 17844 SOS 11742 HAS SOPS 5645 HAS SOUS 3179 HAS SOUPS 2385 WITH SCORE 2396.742
AT ITER 9962 NEW BEST:: SOT 17834 SOS 11722 HAS SOPS 5631 HAS SOUS 3178 HAS SOUPS 2380 WITH SCORE 2391.722
STATE_SPACE STATES 190102 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 13 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 7698055 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678341073165

--------------------
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

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="CloudDeployment-PT-3a"
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 CloudDeployment-PT-3a, 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 r075-smll-167814401000384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-3a.tgz
mv CloudDeployment-PT-3a 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 ;